, INRIA-LIRMM – Université de Montpellier, Campus Saint Priest – Montpellier, France