1. Clermont Université, Université Blaise Pascal, Institut Pascal, UMR CNRS 6602; BP 10448 63000 Clermont-Ferrand France
2. Laboratoire Lorrain de Recherche en Informatique et ses Applications, UMR CNRS 7503; Université de Lorraine, CNRS, INRIA projet Magrit, Campus Scientifique; BP 239 54506 Vandoeuvre-lès-Nancy Cedex France