[LeMagIT] Inria construit la grande bibliothèque mondiale du code source