Dictionnaire de Trévoux/6e édition, 1771/AROCHE
(1, p. 516).
AROCHE. Bourg d’Andalousie, en Espagne. Aruci vicus. Il est dans le territoire de Séville, vers les frontières de l’Estramadure d’Espagne, & sur celles de Portugal, à l’occident de Séville.
La sierra d’Aroche, ou les montagnes d’Aroche. C’est une chaîne de montagnes qui regnent le long des confins de l’Estramadure d’Espagne, depuis la frontière de Portugal, jusqu’en deçà des sources du Guadiamac. Arucitanus mons. C’est une des quatre contrées du territoire de Séville. Ces montagnes tirent leur nom du bourg d’Aroche, qui en est le lieu le plus considérable.