RAVELIN, s. m. (Fortification.) c’est le nom qu’on donnoit autrefois à la demi-lune. Voyez Demi-lune.
