Démonstration d'une relation fondamentale : rot(rot)=grad(div)-laplacien