L'Espagne et le Royaume-Uni sont parvenus à un accord de principe pour Gibraltar