Chapitre 1: Eléments de logique 

et méthodes de démonstration