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