Ειρηναίος Λουγδούνων - Ειρηναίος, Επίσκοπος Λουγδούνων (Ελληνική πατρολογία, 2002)