Champion olympique 2012 et ex-détenteur du record du monde, le perchiste Renaud Lavillenie dit adieu aux JO de Paris