===> Cleaning for solvespace-3.0