Preuve de formules conditionnelles dans des… · Super Livre