Non-commutative logic III : focusing proofs