Porte incendiée de la mairie de Bordeaux : poids, installation, conception… ce que l’on sait de son remplacement