Chap3
Completion requirements
Raisonnement dans la logique propositionnelle