alors cos (x) =( racine de 6 + racine de 2) / 4
donc cos (2x) = 2 ( racine de 6 + racince de 2 ) / 4
= 2racine de 6 + 2racine de 2 / 4 ???