Chapitre 1: Elément de logique et méthodes de démonstration