Démonstration de la formule d'addition du cosinus