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