Portal de entrada a la catedral, JACA