Grøvdal perset på 3000-meteren i Paris – forbi Kristiansen på norsk rekordliste