Budget des JO de Paris 2024 : des « efforts d'optimisation à faire » selon la Cour des comptes