An underground excavation for the extraction of mineral deposits, in contrast to surface excavations
Excavation souterraine en vue de l'exploitation de gîtes minéraux. Par opposition aux excavations à ciel ouvert.