Martirum Agaunensium ingressus, vitam venerabilem duxit"».