Comment faire apprendre la démonstration du dernier théorème de Fermat à un ordinateur ?