muMATH, initiation au calcul formel et à LISP — Jacques Oberdoerffer