Revert "Merge branch 'slxsim' of git.lsv.fr:barbot/Cosmos"

Yann Duplouyrequested to merge
revert-f266cf00 into master

This reverts commit f266cf00

Merge request reports