Mondiaux d'athlétisme : exploit de Jimmy Gressier, sacré champion du monde du 10 000 mètres