Ravelin : définition, signification, synonymes et antonymes [ravœlɛ̃]