Université Louis Pasteur,
UFR de Mathématique et Informatique,
URA CNRS 001,
7 rue René Descartes,
F-67 084 Strasbourg Cedex,
France