Ευθύμιος Ζιγαβήνος - Ευθύμιος, Ζιγαβηνός, 12ος αιώνας (Ελληνική Πατρολογία Patrologia Graeca, 2000)