, INRIA / LIRMM, Montpellier, France