Démontre que pour tout réel x
Cos 3x = 4cos³x - 3 cosx ​