Des garanties de dernière minute exigées par Madrid sur le sort de Gibraltar représentaient le dernier obstacle à un accord global sur le Brexit.