Athlétisme. Joshua Cheptegei bat le record du monde du 10 000 m