Pórtico, fachada y torre de la catedral de San Mauricio