Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Bugfix: killall should execute all processes after killing them in order to let them...