on admet que (pi/12) = racine de 6 - racine de 2 /4 trouver cos (pi/12)