Calcul-Formel-Caml

Un programme de calcul formel : de la dérivation, et un peu d'intégration par bfs, en Caml