Le calcul formel est un procédé de transformation d'expressions mathématiques. Les objets de ce calcul ne sont plus les variables de l'expression mathématique mais les opérations elle-mêmes. On y ...