Il y a huit ans, Renaud Lavillenie battait le record du monde du saut à la perche