1450 ravellin (Aveu de Méru, A. N. Q 853² ds Gdf. Compl.); 1500 revellin (J. d'Auton, Chron., éd. Maulde la Clavière, t. 1, p. 134); 1544-53 ravelin (Monluc, Comment., l. II, I, 425 ds Hug.). Empr. à l'ital. rivellino, terme de fortif. att. dep. le xv^e s. (L. Pulci d'apr. DEI), var. ravellino (1555, Franzesi, ibid.), dér. dimin. de riva (rive*). Voir FEW t. 10, pp. 413b-414a, et Hope, p. 49.