Définition Ravelin

Définition de ravelin