, LORIA, UMR 7503, INRIA Nancy-Grand Est, Université de Lorraine, CNRS