Portada de la iglesia de Ntra. Sra. del Carmen, JACA