Pedro, Obispo de Oviedo, cf.