Begun implementation of p_arbre_poly: CHECK ALL FUNCTIONS