26/04/2004: quelques coquilles dans les notes sur l'induction sur les listes.

04/04/2004: mise en ligne des vraies notes sur l'induction sur les entiers
            (par erreur, j'avais mis celles de l'annee passee).

23/2/2004: modification des notes Preliminaires.pdf, en ajoutant la 
           construction de l'odre sur les classes d'equivalence 
		   d'un preordre, et en precisant la construction de l'ordre
		   produit et lexicographique.

16/2/2004: modifie les notes pour l'introduction a OCaml, en ajoutant 
	   des explications sur les constructeurs de type et sur les
	   conventions syntaxiques.

6/2/2004: initialisation du fichier===============================================