Portada de la catedral de San Pedro, JACA