Définitionsrivelaine

rivelaine

nom féminin
/ʁiv.lɛn/
  1. Sorte de marteau dont les houilleurs se servent.Il avait travaillé de ses mains là même [dans une houillère] où ses ancêtres avaient manié le pic, la pince, la rivelaine et la pioche.

Définitions issus du Wiktionnaire (via DBnary), sous licence CC BY-SA 3.0.