Stav dette: Formaliser les langues avec l’ordinateur : de INTEX à Nooj