TD1
Completion requirements
Série n°1 sur la Logique Propositionnelle