† ravellino (anche revellino , revelino , revlino , oggi rivellino ) s. m. mil. / armi 1555 (1470 [forma odierna] rivellino). Opera di fortificazione collocata all’esterno della piazzaforte di un castello per difenderlo dagli attacchi nemici e proteggere le sortite degli assediati. (GDU; DEI).
ravelin s. m. mil. / armi 1450 (ravellin, 1500 revellin) (GR).
ravelin < fr. (OED) → ravelin
† Revelin (Revelino) s. m. mil. / armi ?1571 (Wis).