Le travail d'un mathématicien est composé de 5 % d'intuition créative et de 95 % d'auto-vérification — Vladimir Voevodsky (Médaille Fields, 2002)