L'Inria veut rapprocher logiciels libres et industriels