calcul différentiel non commutatif