LIPADE UFR math info Universite Paris Cite 45, rue des Saints-Peres 75270 Paris Cedex 06 FRANCE e-mail: bruno.bouzy@u-paris.fr http://www.mi.parisdescartes.fr/~bouzy/
