Centre de Recherche en Informatique de Paris 5 (CRIP5) UFR de mathematiques et d'informatique Universite Rene Descartes 45, rue des Saints-Peres 75270 Paris Cedex 06 FRANCE tel: (33) (0)1 44 55 35 58 fax: (33) (0)1 44 55 35 35 e-mail: bouzy@math-info.univ-paris5.fr http://www.math-info.univ-paris5.fr/~bouzy/