ppolynome: implemented procedure extraire_racine
ppolynome: defined encode_aux to make it recursive + minor modifications