Partition syntaxique d'un système logique décrit en CASSANDRE. - Patrick Liddell (1970)