Robert de Simone, INRIA, France