Correction Feuille 5 - Calcul des séquents

Grâce à elles, on peut retrouver le résultat de l'exercice 2 . (. ) 3 cos 3 cos 2 cos 2 cos sin 2 ...