reorganizing test-suite
modules
suppression de theories