Ajout de fonctions d'affichage des polynomes.
Ajout egalement d'un type polyStr facilitant l'ecriture ...
Ajout du module type coeff_poly pour typer le module du foncteur de Polynome.