Free software
The various programs used in this work are ``free'' software
1
. They can be found either on the CD-ROM accompanying this work, or by downloading them from the Internet. This is the case for Objective CAML, developed at Inria.
