JO 2024 : en or à domicile, Teddy Riner entre un peu plus dans la légende des Jeux olympiques