Grand Prix Inria 2011 : Gérard Huet