irenopolitano ét. de Irenópolis de Isauria, Anon.Mirac.Thecl.34.58.