Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Rename gras_chrono_{init,exit} to gras_emul_{init,exit}, and call them at the right...