certaines visites auraient du être plus tard pour nous donner plus de temps, possibilité de prendre des churros le 1er matin ? menu pintxo le dernier jour devenu menu tapas, avec entre autres une omelette aux champignons…