This repository is now read-only because it has been moved to https://gitlab-research.centralesupelec.fr/RiseClipseGroup/riseclipse-main