implementation of p_arbre_poly: modified type arbre_poly and functions to new type coefficient: can be either a variable (char) or a constant (integer) depending on the value of coeff_variable (' ' meaning a constant coeff)