Source repository

Sources are available on INRIA's forge