En ouvrant la linguistique aux techniques de traitement de l'information, les sémanticiens cherchent à théoriser leur discipline. L'auteur propose une introduction à un outil de formalisation sémantique. Il montre à travers des exercices, l'intérêt de l'utilisation de cet outil formel.