En la misma ruta ha de irse a venerar el muy santo cuerpo del bienaventurado Sernin, obispo y mártir (...) de la ciudad de Toulouse; (…); su fiesta se celebra el 29 de noviembre.