French runner misses 5K world record by one second (running downhill)

Théo Detienne ran 5K downhill in 12:52, falling just short of the current world record