LIPADE UFR de mathematiques et d'informatique Universite de Paris 45, rue des Saints-Peres 75270 Paris Cedex 06 FRANCE e-mail: bruno.bouzy@u-paris.fr http://www.mi.parisdescartes.fr/~bouzy/
