Une démonstration de l'égalité cos(a-b)=cos(a)cos(b)+sin(a)sin(b)