RAVALEMENT - n.m. :

[Maç.] Travail de finition sur un mur en pierre de taille.

[Rev.] Nettoyage d'un mur extérieur pouvant comprendre un grattage, sablage ou décapage selon le revêtement, puis une remise à neuf.