Les Journées nationales de l’architecture célèbrent le patrimoine minier