Dictionnaire de Trévoux/6e édition, 1771/ARÉVALO, AREVALOS, ou AREBALO
(1, p. 489).
ARÉVALO, AREVALOS, ou AREBALO. Petite ville de la vieille Castille, province d’Espagne. Arevalum. Elle est au voisinage du royaume de Léon, plus au midi que Valladolid, à six lieues de Medina del Campo.