Qui a dit que les mathématiques étaient trop abstraites ? Formulée en 1611, la conjecture de Kepler étudie la meilleure façon d’empiler des oranges ! En 1998, elle est prouvée par Thomas Hales, grâce à des méthodes informatiques peu orthodoxes pour ses collègues...