Athlétisme: Jimmy Gressier bat son record personnel sur 1 500 m