Saut à la perche : Armand Duplantis bat le record du monde de Renaud Lavillenie