Jean-Bernard Stefani, INRIA