Serena IVALDIchargée de recherche Inria au Loria (CNRS/INRIA/UL)