Dans cet article, nous présentons une méthodologie pour construire des interlangues lisibles et vérifiables, qui combinent à la fois expressivité et simplicité. Comme celles-ci sont représentées dans le même formalisme que celui utilisé pour l'analyse syntaxique et la génération, leur bonne formation peut être décrite par des grammaires d'unification, qui permettent naturellement (1) de générer une glose lisible par l'être humain d'une représentation structurée, (2) pour déterminer si cette dernière est bien formée sémantiquement. Bien plus que de simples pivots pour la traduction, les interlangues participent ainsi directement à l'amélioration de la reconnaissance vocale (en filtrant les phrases asémantiques) et du cycle du développement (qui peut se faire de manière entièrement monolingue, via la glose).