Antoine Delignat-Lavaud, INRIA Paris-Rocquencourt