Tous les records du monde ne sont pas très utiles, mais il faut quand même saluer l'exploit