Résumé Cette thèse s' intéresse à la conception des termes et à la structure des preuves.
Un terme (ou une expression) peut désigner toute structure syntaxique, y compris les …