Problem 2 : preuve de Swap et Refine_One