Groupe interministériel pour la restructuration des zones minières : abréviations, définitions et exemples