égriser
- Domaine
-
- industrie de la constructionpierre de taille
Définition :
Frotter le parement d'une pierre, taillée ou simplement sciée, avec un morceau de grès, ou avec un autre abrasif, pour rendre ce parement uni, et pour faire disparaître les traces des outils employés dans les phases précédentes du façonnage.
Terme :
- égriser v.