Finished testing implementation of p_arbre_poly: OK