Sanctus gaudentius brixiae episcopus (Patres saeculi, 1882)