JO de Tokyo : champion olympique du 400 m haies, le Norvégien Karsten Warholm pulvérise le record du monde