[paola.tubaro@inria.fr] Laboratoire de Recherche en Informatique CNRS-INRIA-Université Paris Sud Bât 650 Ada Lovelace Université Paris Sud 91405 Orsay Cedex France https://www.lri.fr/presentation.php