We construct a recursive formula for a complete system of primitive orthogonal idempotents for any Rtrivial monoid. This uses the newly proved equivalence between the notions of R-trivial monoid and weakly ordered monoid. Résumé. Nous construisons une formule récursive pour un système complet d’idempotents orthogonaux primitifs pour tout monoı̈de R-trivial. Nous employons une nouvelle équivalenc...

We show that a complex planar curve homeomorphic to the projective line has at most four singular points. If it exactly then degree five and is unique up equivalence. Nous montrons qu'une courbe plane complexe homéomorphe à la droite au plus quatre points singuliers. S'il en exactement quatre, alors il est quintique, équivalence près.

Résumé. On étudie les préfaisceaux sur des semicatégories enrichies dans un quantalöide: cela donne lieu à la notion de préfaisceau régulier. Une semicatégorie est régulière si tous les préfaisceaux représentables sont réguliers, et ses préfaisceaux réguliers forment alors une (co)localistation essentielle de la catégorie de tous ses préfaisceaux. La notion de semidistributeur régulier permet d...

cet article s’intéresse aux titres littéraires et aux problèmes de leur traduction.  les stratégies de traduction sont plus nombreuses que ce que l’on croit; mais l’objectif de toute traduction est la restitution du sens. or à travers cette recherche, nous avons tenté de démontrer que la restitution du sens du titre original ne suffit absolument pas. en effet, le travail sur les mots d’un titre...

— In the usual framework of abstract types programming languages inciuding a définition mechanism for partial recursive functions cannot be specified sufficiently complete because of the termination problem. Therefore the algebraic concepts of abstract types are extended to partial algebras leading to "total" homomorphisms for partial algebras. In this framework an abstract type is given defini...

Résumé. Soit K et K ′ deux corps elliptiques avec multiplication complexe sur un corps algébriquement clos k de caractéristique 0, non k-isomorphes, et soit C et C ′ deux courbes ayant pour corps de fonctions K et K ′ respectivement. Nous démontrons que si les anneaux d’endomorphismes de C et de C ′ ne sont pas isomorphes, alors K et K ′ ne sont pas élémentairement équivalents dans le langage d...