le fichier pdf (205 ko)
le fichier dvi (61 ko)
le fichier ps.gz (1620 ko)
les sources en Caml, version Macintosh (7,5 ko)
les sources en Caml, version Windows (7,5 ko)