L'Ougandais Joshua Cheptegei bat le record du monde du 5.000 m en 12:35.36