Résoudre sin x + cos x = 1 sur [0, 2pi)