● rabotin nom masculin (de rabot) Outil du tailleur de pierre tendre, proche du chemin de fer, pour achever de dresser un parement.
rabotin [ʀabɔtɛ̃] n. m.
ÉTYM. 1904; de rabot.
❖
♦ Techn. Outil de tailleur de pierre pour dresser, équarrir la pierre.
Encyclopédie Universelle. 2012.