Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
This is needed during make dist, which may occure before make all. So explicit our...