1. Maçonnerie(Vieilli) Masse de fer emmanchée, pour casser les pierres.Les pionniers rempliront et répareront les ornières, à mesure qu’il s’en formera, avec de la pierraille ou du bon gravier ; ils auront soin de ne jamais se servir de sable, ni de pierres plus grosses que des œufs, sans les avoir cassées avec le batterand.