| RAVELIN, subst. masc. Étymol. et Hist. 1450 ravellin (Aveu de Méru, A. N. Q 8532ds 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 xves. (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. |