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