Creation du module Polymod.
Module Polynome générifié.
Exemple d'utilisation du module Polynome.
Correction de la fonction convert polyString.
Correction de la fonction d'affichage.
Ajout des fonctions div/mod_polynome. div devient quomod_polynome.
Correction des fonctions div et mod.
La division ne fonctionne pas !
Merge branch 'Polynome' into Polymod
Creation de la structure du module Polymod.
On commence par Zn[X].
Ajout de quelques fonctions utiles dans le module.
Merge branch 'Entier' into Entiermod
Ajout d'autres fonctions utiles.
Merge branch 'Entier' into Entiermod
Ajout de quelques fonctions utiles.
Merge branch 'Entiermod' into Polymod
Ajout des opérations add/mult_polymod.
Ajout des fonctions polymod_of_polyString et string_of_polynome.
Ajout d'une fonction create pour creer un nombre dans Z/nZ.
Merge branch 'Entiermod' into Polymod
Correction de la fonction polymod_of_polyString.