Adoucissage (n.m.)

opération consistant à polir de la glace, de la pierre, du marbre.