Christian Laugier, INRIA Grenoble, France