À Gibraltar, on perd une frontière, il y a de quoi se réjouir