LIPADE, 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 28 fax: (33) (0)1 44 55 35 35 e-mail: bruno.bouzy@parisdescartes.fr http://www.mi.parisdescartes.fr/~bouzy/
Last modification 29 september 2015.