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 ...