===> Cleaning for solvespace-3.1