JO de Paris 2024 : quel est le coût pour l'État de toutes les médailles françaises ?