Résoudre sin x + cos x = \sqrt 2 sur R . (Utiliser .)