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