Système interactif d’aide à la représentation de connaissances et au traitement formel d’élements du discours.