, INRIA, LIRMM, Montpellier; Université de Montpellier, Montpellier, France