Portada de la iglesia del Carmen, JACA