Ajout de p_polynome.ads
Ajout des fonctions Ap_Pere_Existe, Ap_Frere_Existe, Ap_Fils_Existe
Remise en forme pour suivre la convention des spécifications.
Remise en forme de l'invariant.
Suppression de Ap_Fils_Existe, Ap_Pere_Existe (doublon)
Ajout de Ap_Inserer_Dernier_Fils/Frere et Ap_Copier