La gran temporada es en primavera, cuando, según dicen, entran los ingleses por Gibraltar.