Proofs, French

proof 1a
proof 2
prof 3