[inria.fr] Mature, la forge collaborative LibreSource passe sous GPL