Emilien Kofman, INRIA, France