MINEUR [mi-ne'ur] s. m

[ÉTYM. Dérivé de mine 2, § 112. || xiie-xni'= s. Si mirent des mineurs par dessous terre, villeh.\rd. 353.]

Il 1° Celui qui travaille dans une mine pour en extraire les matières qu'on exploite. Les mineurs se sont mis en grève. P. appos. Ouvrier — . || Fig. Insecte —, qui creuse la terre ou le tronc des arbres pour s'y loger ou pour y loger ses œufs.

Il 2« Celui qui travaille à pratiquer les mines pour l'attaque ou la défense des places. P. appos. Un sapeur — . Anciennt. Attacher le — , l'introduire dans un trou fait au rempart pour qu'il l'agrandisse.