Un éditeur de définitions formelles pour les connaissances lexicales de la théorie Sens-Texte. - Maxime Lefrançois; Fabien Gandon; Alain Giboin; Romain Gugert (IC, 2014)