Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Move MC_ignore_local_variable and MC_ignore_global_variable to initialisation...