formule de Cartan