pioche (N) — piocheur (N)
piocheur : Celui qui manie la pioche.