PIOCHEUR. n. m. Celui qui manie la pioche. Il ne s'emploie guère que figurément et familièrement pour désigner un Travailleur opiniâtre. Cet écolier est un piocheur.
Tout ou partie de cette définition est extrait du Dictionnaire de l'Académie française, huitième édition, 1932-1935