Ajout de la signature SigPolynome pour le module Polynome.
Ajout d'une fonction polyStr_of_poly dans Polynome.
Abstraction du type polynome grâce a SigPolynome.