TD3
Completion requirements
série n°3 sur le raisonnement dans la Logique Propositionnelle