Groupe Interministériel pour la Restructuration des Zones Minières.