Travaux d'étanchéité au-dessus du local Son, Palais Garnier — Opéra national de Paris. Direction des bâtiments et des investissements, José Mayor