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