dérivée de Lie