L'accord - qui n'est pas encore devenu un traité - permet aux travailleurs espagnols de continuer à entrer librement à Gibraltar.