ce matin kipchoge vient de battre le record du monde du marathon (à berlin) : 2 h 01 min 39 s