Annotation formelle pour la fouille de texte