Miguel, Obispo de Lugo, cf.