Cérémonie de Clôture des JO 2024 : Antoine Dupont porte-drapeau plutôt que Léon Marchand