pique-mine

PIQUE-MINE

(pi-ke-mi-n') s. m.
Terme de métallurgie. Ouvrier qui bocarde. Au plur. Des pique-mine.

ÉTYMOLOGIE

  • Piquer, la mine.