if An_valeur(p1).val /= '0' then
            for I in Integer range 0 .. 9 loop
               if An_Nombre_Noeuds_Valeur(p1,(An_Valeur(p1).val, I))/=0 and An_Nombre_Noeuds_Valeur(p2,(An_Valeur(p1).val, I))/=0 then -- On a les mêmes exposants, on descend aux valeurs suivantes
                  p_final:=An_Creer_Feuille(An_Valeur(p1));
                  p_final_fils:=Additionner(An_Fils(p1,1),An_Fils(p2,1));
                  An_Inserer_Fils(p_final,p_final_fils);

               elsif An_Nombre_Noeuds_Valeur(p1,(An_Valeur(p1).val, I))/=0 or An_Nombre_Noeuds_Valeur(p2,(An_Valeur(p1).val, I))/=0 then -- On a un un des deux polynômes possédant un couple valeur/exposant non nul

                  if An_Nombre_Noeuds_Valeur(p1,(An_Valeur(p1).val, I))/=0 then -- Si c'est p1
                     if An_Vide(p_final) = True then
                        p_final:=new noeud;
                        p_final.all:=p1.all;

                     else
                        p_final_fils:= new noeud;
                        p_final_fils.all:=p1.all;
                        An_Inserer_Frere(p_final, p_final_fils);

                     end if;

                  else  -- Si c'est p2
                     if An_Vide(p_final) = True then
                        p_final:=new noeud;
                        p_final.all:=p2.all;

                     else

                        p_final_fils:= new noeud;
                        p_final_fils.all:=p2.all;
                        An_Inserer_Frere(p_final, p_final_fils);

                     end if;

                  end if;
               end if;
            end loop;

         else -- On est au multiplicateur, toutes les valeurs précèdentes étaient donc égales, on additionne les multiplicateurs
            if An_valeur(p1).exposant+An_valeur(p2).exposant /=0 then
               p_final:=An_Creer_Feuille(('0',An_valeur(p1).exposant+An_valeur(p2).exposant));
            else
               p_final:=An_Creer_Vide;
            end if;

         end if;