Historique du pourcentage d'évolution du record du monde depuis 1896. En rouge, la performance de Dennis Kimetto.