Idris, Mourad; Ould-Amar, Mohamed
(1987)
Sous le nom de mine on désigne actuellement tout aussi bien les lieux d'où l'on extrait les minéraux que l'ensemble des travaux qui servent à exploiter un gite de matière utile.
On pourrait dire d'une matière générale que ...