DERNIÈRE MINUTE : "Aristote a maintenant écrit la majorité des solutions formalisées publiques sur ." — Boris Alexeev, mathématicien