Dictionnaire de Trévoux/6e édition, 1771/AJAJOUNI, ou AJAJUNI
(1, p. 172).
☞ AJAJOUNI, ou AJAJUNI. Nom que les Turcs donnent aujourd’hui à une ville de la Natolie, dans la province d’Aidin, qui est la Carie des anciens. Ce nom est corrompu d’Agios Joannes qui signifie saint Jean. Les Grecs l’ont ainsi nommée, bien persuadés que ce saint y a été enterré, & ils en montrent encore aujourd’hui le tombeau. Les Grecs lui donnent encore le nom d’Agios Theologos, parce que saint Jean est aussi appelé le Théologien. Les Turcs, en corrompant son nom, l’appellent Aia Salug. Elle est connue dans nos cartes modernes, sous le nom d’Hagia.