Chantier du métro 3: le toit du Palais du Midi sera-t-il démonté?