Un dossier de La Recherche sur le rapport entre informatique et preuve mathématique. En plein sur un des sujets qui m'intéressent, et avec des articles par mes collègues Gérard Berry, Gilles Dowek, Pierre Lescanne et Andreas Enge (copinage).