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