Minier

Sauf indication particulière dans l'ouvrage, le mot "minier" est utilisé dans son sens générique le plus général, en vue de désigner un lieu quelconque riche d'un gisement minéral ou de plusieurs ("territoire minier"), ou pour signaler le bien en cause ("richesse minière") ou encore afin de faire référence à l'une ou l'autre des variantes de l'art minier ("exploitation minière des minerais métalliques", "exploitation minière des hydrocarbures").