PIOCHEURnom 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.