Mondial d'athlétisme à Tokyo : le Français Jimmy Gressier crée l'exploit et s'impose sur 10.000 m