grageoir

GRAGEOIR

(gra-joir) s. m.
Pilon pour écraser le gros sel, [DELBOULLE, Gloss. de la vallée d'Yères, p. 172]