Text this: Formaliser les langues avec l'ordinateur : de INTEX à Nooj