« pique-mine », définition dans le dictionnaire Littré
pique-mine
Définition dans d'autres dictionnaires :
Fac-simile de l'édition originale du Littré (BNF)
pique-mine
(pi-ke-mi-n') s. m.
- Terme de métallurgie. Ouvrier qui bocarde.
Au plur. Des pique-mine.
ÉTYMOLOGIE
Piquer, la mine.