À la recherche de la preuve en mathématiques — Hervé Lehning