Herve Frezza-Buet Laboratoire Laboratoire LOrrain de Recherche en Informatique et ses Applications Accueil Chercheurs Herve Frezza-Buet