Antoine Petit, 54 ans, a été nommé président de l'Institut national de recherche en informatique et en automatique (Inria), dont les 3400 chercheurs sont chargés d'inventer les technologies numériques de demain. Il remplace Michel Cosnard, dont le mandat de cinq ans était arrivé à terme. Antoine Petit, qui a déjà passé huit ans au sein de la maison, était directeur général adjoint de l'Inria. Aupravant, il a exercé plusieurs postes de directeur au sein du CNRS (Centre national de la recherche scientifique).