Luc Maranget, INRIA Rocquencourt Previous Index Next