Champion du monde du 10 000 mètres, le Français Jimmy Gressier entre dans la légende