Dictionnaire de Trévoux/6e édition, 1771/AGRIGENTE
(1, p. 168).
☞ AGRIGENTE. Ancienne ville de Sicile. Son ancien nom étoit Omphace. Les Latin la nommoient Agrigentum, & les Grecs ἄγραγας, soit à cause du mont Agragas sur lequel elle étoit bâtie, soit à cause du fleuve Agragas qui couloit au pied de la montagne.