JO de Paris 2024 : pourquoi le véritable record du monde masculin du lancer de javelot ne sera (sans doute) jamais battu