Dix milliards d'années pour lire la plus longue "preuve mathématique"