(Nicea, actual Turquía, c.