Renforcer la confiance qu'on a dans la démonstration d'un théorème difficile est possible. Il faudrait le faire pour le grand théorème de Fermat.