Le but de ce texte est de d etailler la mani ere d'utiliser les objets caract eris es par ce que l'on appelle une propri et e universelle ; vous en avez rencontr e sans doute essentiellement en alg ebre (quotients divers, alg ebres de polynômes...) et en topologie (compl et e d'un espace m etrique, espace topologique quotient...). Pour bien les comprendre, et eviter de se laisser noyer dans la ...

Je vous prie, Monsieur, de vouloir bien énoncer, dans votre recueil, le théorème suivant, que je crois vrai, bien que je n’aie pas encore réussi à le démontrer complètement: d’autres seront peut-être plus heureux : Deux nombres entiers consécutifs, autres que 8 et 9, ne peuvent être des puissances exactes ; autrement dit : l’équation x − y = 1, dans laquelle les inconnues sont entières et posit...

RÉSUMÉ. Cet article se propose de comparer les structures de discours proposées en RST, SDRT et dans les DAG de dépendances prolongeant le niveau sémantique de MTT pour le discours. Le point central est le suivant : est-ce que ces formalismes permettent de représenter toutes les structures de discours qui correspondent à des discours bien construits et excluent toutes celles qui ne corresponden...