Combien coûterait à la Grande-Bretagne une sortie de l’Union européenne ?