, INRIA, LIRMM, Montpellier, France