Logo Portail
Définition du dictionnaire de l’Académie française, 8e édition (1935)

PIOCHEUR

nom masculin
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.