Inria, a driving force behind digital technology