On the structure of the Sobolev space H1/2 with values into the circle