Les infrastructures des JO-2020 sont prêtes, à 4 mois de l’ouverture