Il y a quelques mois, le théorème Feit-Thompson, monument de l'algèbre, devenait une certitude. Grâce à des outils informatiques performants, nouveaux assistants des mathématiciens.