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