MINE (n.f.) (d’après MG)
Exploitation d’un gisement de minerai, généralement sous terre.