mineur

6e édition

[I.] MINEUR.

s. m.
↪ voir aussi : [II.] Mineur, eure (adj. comparatif)
■  Celui qui fouille la mine pour en tirer la matière minérale.
Il signifie aussi, Celui qui est employé aux travaux des mines pratiquées pour l’attaque ou la défense des places. Attacher le mineur à un bastion. Le trou du mineur. Une compagnie de mineurs. Capitaine de mineurs. On emploie souvent les mineurs aux travaux des fortifications.
Vous pouvez cliquer sur n’importe quel mot pour naviguer dans le dictionnaire.