Vous avez déjà répondu aux deux premières questions que j'avais prévu de vous poser, monsieur Castex, mais il m'en reste une troisième, portant sur l'articulation entre la Coupe du monde de rugby à XV 2023 et les JOP 2024. Vous l'avez dit tout à l'heure, le calendrier d'organisation des manifestations relatives à ces deux grands événements va être très serré, et on ne peut exclure le risque de chevauchements de certaines installations. Pouvez-vous nous préciser dans quelle mesure l'organisation de la Coupe du monde de rugby est susceptible de compliquer l'organisation des JO, mais aussi, à l'inverse, si vous pensez que les JO pourraient profiter, à certains titres, de cette compétition qui se tiendra l'année précédente ?