Résolvez cos x + sin x = 1 sur [0, 2pi) . (Utilisez cos x + sin x = \sqrt 2 sin(x + pi/4) .)