Title: Partition syntaxique d'un système logique décrit en CASSANDRE