Résoudre cos x = \sqrt 3/2 sur [0, 2pi)