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