rabotin nom masculin (de rabot) Outil du tailleur de pierre tendre, proche du chemin de fer, pour achever de dresser un parement.