Entrada al Convento del Carmen, que acoge un restaurante