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