rabotin
nom masculin
(de rabot)
- Outil du tailleur de pierre tendre, proche du chemin de fer, pour achever de dresser un parement.
nom masculin
(de rabot)
À DÉCOUVRIR DANS L'ENCYCLOPÉDIE
De quel verbe proviennent les mots « gisant » et « ci-gît » ?