de notions de base, chacune facile `a comprendre, et dont la combinaison ...
Tous les exemples de ce livre sont présentés dans le syst`eme Caml Light, un en
- ..... pour calculer la formule qui définit une fonction (ce qu'on appelle le corps de
la ... 
