Et au fait, que sont devenues toutes les installations sportives construites pour les JO depuis 1896 ?