Mondiaux d'athlétisme : l'exploit de Jimmy Gressier en chiffres