Comment dériver un produit de 2 fonctions polynôme-logarithme ?