Norway’s Jakob Ingebrigtsen, the reigning Olympic 5,000m champion, set a new indoor mile world record of 3:45.14 at a meet in northern France on Thursday.