Définition du dictionnaire de l’Académie française, 8e édition (1935)
MINEUR
nom masculin
Celui qui travaille à l'exploitation d'une mine.
Il désigne aussi le Soldat chargé des travaux de mines. Une compagnie de mineurs. Par apposition, Un sapeur mineur.