Le traitement automatique de textes de spécifications écrits en langage naturel pose au moins deux problèmes : disposer d'outils généraux permettant de reconnaître les constituants de ces textes ; trouver une représentation de leur contenu permettant à l'utilisateur de les modifier et de vérifier leur cohérence. Les textes analysés ici spécifient les logiques d'alarmes d'un avion. On veut en extraire des règles pour un système expert simulant le comportement des processeurs embarqués, chargés de gérer ces alarmes. Le système ACTES offre, d'une part, un formalisme permettant de définir des grammaires et de construire une représentation sémantique intermédiaire des textes, et, d'autre part, un environnement de développement de grammaires et d'analyse de textes. Le formalisme s'inspire des grammaires d'unification et de la Théorie de la Représentation du Discours. L'approche mise en oeuvre ici présente l'avantage d'être unifiée: la syntaxe et la sémantique sont traitées par la même opération d'unification Prolog. Toutefois, Prolog ne prenant pas en compte les mécanismes d'héritage, une opération d'unification étendue gérant les contraintes hiérarchiques de types entre éléments du formalisme a été définie. L'environnement du système comprend, notamment, un module de résolution d'anaphores intégrant des sources de contraintes multiples ayant chacune leur propre stratégie dans une architecture en 'tableau noir'. Quant au modèle de représentation finale du contenu d'un texte, il s'inspire de la logique des défauts. Cette logique reflète bien la construction non-monotone de ces textes. Elle permet d'envisager la modification interactive avec vérification de cohérence.