Les démonstrations¤ Les fondements de la preuve¤ Les grands classiques de la démonstration¤ De nouvelles formes de preuves¤ Les apports de l'informatiqueLa possibilité de convaincre avec une absolue certitude fait à elle seule la spécificité des mathématiques. Mais les bases de la logique sont-elles immuables ? Qu'est-ce qu'une preuve ? Peut-on convaincre avec un dessin ou un programme informatique ? Une affirmation est-elle nécessairement vraie ou fausse ?De la méthode d'exh