Résoudre cos x = 1 sur [0, 4pi)