Conception et réalisation d'un logiciel pour la manipulation formelle des polynômes en plusieurs indéterminées — Marc Gaetano