Dérivation et produit scalaire