Centre de Recherche de Sophia-Antipolis Méditerranée, INRIA