Des experts viennent de valider la démonstration, par ordinateur, du célèbre problème de Kepler. Oui, mais à... 99% seulement ! Où est donc passée l'exigence de certitude si chère aux mathématiciens ?