Ligue de Diamant: le Norvégien Jakob Ingebrigtsen établit un nouveau record du monde du 3.000 m