Formules d’addition des fonctions circulaires, formules de duplication, formules de linéarisation de cos²a et de sin²a