Kipyegon bat le record du monde du mile, Gressier bat le record de France du 5000 m