Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Argh I was confused between UM_FULL and UM_LAZY. This commit sets it right.