rabotin

nom masculin

(de rabot)

  • Outil du tailleur de pierre tendre, proche du chemin de fer, pour achever de dresser un parement.