Démonstration de la formule d'addition du sinus