L’Encyclopédie/1re édition/RAVALEMENT
(Tome 13, p. 830).
RAVALEMENT, s. m. (Maçonnerie.) c’est dans les pilastres & corps de maçonnerie ou de menuiserie, un petit enfoncement simple au bord d’une baguette ou d’un talon. Daviler.
Ravalement, (Marine.) nom qu’on donne à des retranchemens faits sur le haut de l’arriere de quelque vaisseau pour y mettre les mousqueteries.