Self-Selective Social Choice Functions

It is not uncommon that a society facing a choice problem has also to choose the choice rule itself. In such situation voters’ preferences on alternatives induce preferences over the voting rules. Such a setting immediately gives rise to a natural question concerning consistency between these two levels of choice. If a choice rule employed to resolve the society’s original choice problem does not choose itself when it is also used in choosing the choice rule, then this phenomenon can be regarded as inconsistency of this choice rule as it rejects itself according to its own rationale. Koray (2000) proved that the only neutral, unanimous universally self-selective social choice functions are the dictatorial ones. Here we in troduce to our society a constitution, which rules out inefficient social choice rules. When inefficient social choice rules become unavailable for comparison, the property of self-selectivity becomes weaker and we show that some non-trivial self-selective social choice functions do exist. Under certain assumptions on the constitution we describe all of them.

Modes de représentation pour l'éclairage en synthèse d'images

Réalisé en cotutelle avec l'Université Bordeaux 1 (France)

Évolution des discours publics des autorités de santé au Québec en matière de gestion du poids

L’augmentation observée de la prévalence du surpoids et de l’obésité au Québec comme ailleurs en Occident inquiète tant les gouvernements que les autorités médicales. Afin de contenir ce phénomène qui est désormais décrit comme une pandémie d’obésité, ces organisations y sont allées de différentes initiatives et recommandations, dans un contexte d’inefficacité avérée des interventions de gestion de poids à caractère clinique et d’émergence de stratégies de prévention dont l’efficacité et la sécurité à long terme restent encore à démontrer. Méthode : L’objet de cette recherche a été de décrire l’évolution du discours des organismes officiels de santé au Québec en matière de gestion du poids par l’analyse de contenu. Cette analyse a eu recours à une grille de plus de 160 documents produits au cours des 60 dernières années par les gouvernements, les autorités professionnelles et les médias québécois. Résultats et discussion : L’analyse révèle que l’évolution du discours de ces organisations s’inscrit dans trois continuums : le pathologique (une évolution, une gradation, une inflation étymologique du sens qui est donné au poids problématique); la surveillance (avec l’établissement de critères rationnels, la surveillance d’abord individuelle est devenue collective et s’est institutionnalisée); la responsabilisation (la responsabilité du poids s’est déplacée de l’individu vers le collectif puis vers le social). Ces continuums illustrent un déplacement de la manière de conceptualiser le poids de la sphère privée vers la sphère publique. Cette analyse révèle aussi qu’il y a à l’œuvre un exercice disciplinaire propre à une moralisation qui s’appuie sur la prémisse que l’augmentation de la prévalence touche toute la population de manière égale. Or, il n’en est rien.

Toward a rational-choice foundation of non-additive theories

A classical argument of de Finetti holds that Rationality implies Subjective Expected Utility (SEU). In contrast, the Knightian distinction between Risk and Ambiguity suggests that a rational decision maker would obey the SEU paradigm when the information available is in some sense good, and would depart from it when the information available is not good. Unlike de Finetti's, however, this view does not rely on a formal argument. In this paper, we study the set of all information structures that might be availabe to a decision maker, and show that they are of two types: those compatible with SEU theory and those for which SEU theory must fail. We also show that the former correspond to "good" information, while the latter correspond to information that is not good. Thus, our results provide a formalization of the distinction between Risk and Ambiguity. As a consequence of our main theorem (Theorem 2, Section 8), behavior not-conforming to SEU theory is bound to emerge in the presence of Ambiguity. We give two examples of situations of Ambiguity. One concerns the uncertainty on the class of measure zero events, the other is a variation on Ellberg's three-color urn experiment. We also briefly link our results to two other strands of literature: the study of ambiguous events and the problem of unforeseen contingencies. We conclude the paper by re-considering de Finetti's argument in light of our findings.

Exploration fonctionnelle des réponses cellulaires T CD4+ et CD8+ dans l’infection par le VIH-1

L’infection par le VIH-1 est caractérisée par une déplétion progressive des cellules T CD4+ ainsi que par un dysfonctionnement des cellules T qui, en l’absence de traitements anti-rétroviraux, conduit inéluctablement à la progression de la maladie vers le stade SIDA. Certains des mécanismes impliqués dans ce dysfonctionnement de la réponse cellulaire T ont été élucidés et ont révélé un rôle important de la molécule PD-1 dans l’exhaustion des cellules T en phase chronique de l’infection. En effet, des niveaux élevés de PD-1 ont été associés à une charge virale élevée ainsi qu’à une diminution de la production de cytokines et de la capacité de proliférer des cellules T spécifiques du virus. De plus, bloquer in vitro l’interaction de PD-1 avec son ligand PD-L1 en utilisant un anticorps bloquant rétabli la fonction de ces cellules. De façon intéressante, notre groupe ainsi que d’autres équipes, ont montré que l’expression de PD-1 était non seulement augmentée sur les cellules spécifiques de l’antigène mais aussi sur les cellules T totales. Cependant, peu de choses sont connues quant à l’impact de l’expression de PD-1 sur le renouvellement et la différenciation des cellules T qui expriment PD-1, et ce au cours de l’infection. L’expression de PD-1 n’a notamment pas été étudiée en phase aigue de l’infection. Nous montrons clairement que, aussi bien chez les individus en phase aigue qu’en phase chronique de l’infection, l’expression de PD-1 est augmentée sur toutes les sous-populations T, y compris les cellules naïves. Nous avons également mis en relief une distribution anormale des sous-populations T, ces cellules ayant un phénotype plus différencié, et ce à tous les stades de la maladie. Dans cette thèse, nous discutons le rôle possible de PD-1 dans l’homéostasie des cellules T chez les individus infectés par le VIH-1. En étudiant la transition de la phase aigue à la phase chronique de l’infection, nous avons trouvé que les sous-populations T CD8+ des individus récemment infectés exprimaient moins de PD-1 que celles des individus à un stade plus avancé de la maladie. Ces niveaux plus élevés de PD-1 sur les cellules T CD8+ en phase chronique sont associés à des niveaux réduits de prolifération in vivo – comme mesuré par l’expression de Ki67 – suggérant que l’expression de PD-1 est partiellement impliquée dans cette perte de fonction des cellules T CD8+. De plus, les cellules naïves s’accumulent en fréquence lors de la transition de la phase aigue à la phase chronique de l’infection. Considérant que les cellules naïves expriment déjà des hauts niveaux de PD-1, nous avons émis l’hypothèse que l’activation initiale des cellules T chez les individus chroniquement infectés est affectée. En résumé, nous proposons un modèle où des hauts niveaux d’expression de PD-1 sont associés à (1) un dysfonctionnement de la réponse cellulaire T CD8+ et (2) un défaut d’activation des cellules naïves ce qui contribue non seulement à la progression de la maladie mais aussi ce qui va limiter l’efficacité de potentiels vaccins dans l’infection par le VIH-1 en empêchant toute nouvelle réponse d’être initiée. Afin de mieux disséquer la réponse immunitaire mise en place lors d’une infection comme celle du VIH-1, nous avons développé un outil qui permet de détecter les cellules T CD4+ i.e. des tétramères de CMH de classe II. Ces réactifs ont pour but d’augmenter l’avidité du CMH de classe II pour son ligand et donc de détecter des TCR de faible affinité. Dans cette thèse, nous décrivons une méthode originale et efficace pour produire diverses molécules de HLA-DR liant de façon covalente le peptide antigénique. Mieux déterminer les mécanismes responsables de l’exhaustion des cellules T dans l’infection par le VIH-1 et de la progression de la maladie, ainsi que développer des outils de pointe pour suivre ces réponses T, est central à une meilleure compréhension de l’interaction entre le virus et le système immunitaire de l’hôte, et permettra ainsi le développement de stratégies pertinentes pour lutter contre l’infection par le VIH-1.

Superintégrabilité avec séparation de variables en coordonnées polaires et intégrales du mouvement d’ordre supérieur à deux

Dans cette thèse, nous proposons de nouveaux résultats de systèmes superintégrables séparables en coordonnées polaires. Dans un premier temps, nous présentons une classification complète de tous les systèmes superintégrables séparables en coordonnées polaires qui admettent une intégrale du mouvement d'ordre trois. Des potentiels s'exprimant en terme de la sixième transcendante de Painlevé et de la fonction elliptique de Weierstrass sont présentés. Ensuite, nous introduisons une famille infinie de systèmes classiques et quantiques intégrables et exactement résolubles en coordonnées polaires. Cette famille s'exprime en terme d'un paramètre k. Le spectre d'énergie et les fonctions d'onde des systèmes quantiques sont présentés. Une conjecture postulant la superintégrabilité de ces systèmes est formulée et est vérifiée pour k=1,2,3,4. L'ordre des intégrales du mouvement proposées est 2k où k ∈ ℕ. La structure algébrique de la famille de systèmes quantiques est formulée en terme d'une algèbre cachée où le nombre de générateurs dépend du paramètre k. Une généralisation quasi-exactement résoluble et intégrable de la famille de potentiels est proposée. Finalement, les trajectoires classiques de la famille de systèmes sont calculées pour tous les cas rationnels k ∈ ℚ. Celles-ci s'expriment en terme des polynômes de Chebyshev. Les courbes associées aux trajectoires sont présentées pour les premiers cas k=1, 2, 3, 4, 1/2, 1/3 et 3/2 et les trajectoires bornées sont fermées et périodiques dans l'espace des phases. Ainsi, les résultats obtenus viennent renforcer la possible véracité de la conjecture.

Régulation de l’identité des membres postérieurs par le facteur de transcription à boîte T Tbx4

Bien que partageant une homologie structurelle évidente, les membres antérieurs (MA) sont toujours différents des membres postérieurs (MP). Ceci suggère l’existence d’un programme générique de formation d’un membre, un bauplan, qui doit être modulé de façon spécifique pour engendrer cette différence antéro-postérieure de l’identité. Nous avons donc voulu identifier les mécanismes déployés durant l’évolution pour permettre la mise en place de l’identité des membres. Le laboratoire avait précédemment caractérisé, chez les souris où le gène Pitx1 est inactivé, une transformation partielle des MP en MA couplée à une perte de croissance. Nous avons donc cherché à comprendre les mécanismes en aval de Pitx1 dans la détermination de l’identité postérieure. Notre démarche nous a permis d’identifier les gènes affectés par la perte de Pitx1 dans les MP, où nous avons confirmé une dérégulation de l’expression de Tbx4. Tbx4 et Tbx5 sont des candidats évidents pour déterminer l’identité, leur expression étant restreinte aux MP et MA, respectivement, mais leur implication dans ce processus était sujette à controverse. Nous avons donc évalué l’apport de Tbx4 en aval de Pitx1 dans les processus d’identité en restaurant son expression dans les MP des souris Pitx1-/-. Ce faisant, nous avons pu montrer que Tbx4 est capable de pallier la perte de Pitx1 dans le MP, en rétablissant à la fois les caractères d’identité postérieure et la croissance. En parallèle, nous avons montré que Tbx5 était capable de rétablir la croissance mais non l’identité des MP Pitx1-/-, démontrant ainsi de façon définitive une propriété propre à Tbx4 dans la détermination de l’identité des membres postérieure. La caractérisation de l’activité transcriptionnelle de Tbx4 et Tbx5 nous a permis de mettre en évidence un domaine activateur conservé mais aussi un domaine spécifique à Tbx4, répresseur de la transcription. Par ailleurs, une mutation faux-sens de TBX4 dans les patients atteints du syndrome coxo-podo-patellaire, TBX4Q531R, inactive le domaine répresseur, empêchant la compensation de l’identité mais non de la croissance des MP dépourvus de Pitx1, démontrant l’importance de cette fonction dans l’identité postérieure. La caractérisation de l’activité répressive de Tbx4, qui se manifeste seulement dans les membres postérieurs démontre l’importance de cette fonction dans l’identité postérieure. Nous avons aussi été en mesure d’identifier un corépresseur qui est suffisant pour supporter cette activité de Tbx4. Enfin, nous avons pu aussi démontrer l’activité transcriptionnelle d’un représentant du gène ancestral, présent chez Amphioxus, qui se comporte strictement comme un activateur et semble dépourvu du domaine répresseur. En somme, nous avons précisé le rôle de Tbx4 et Tbx5, ainsi que leur mécanisme, dans la détermination de l’identité des membres. Globalement, nos travaux permettent d’élaborer une théorie où une divergence d’activité transcriptionnelle de Tbx4 et Tbx5 est responsable de l’identité des membres et même entrevoir que cette divergence d’activité soit à la base de son apparition durant l’évolution.

Irrégularités dans la distribution des nombres premiers et des suites plus générales dans les progressions arithmétiques

Le sujet principal de cette thèse est la distribution des nombres premiers dans les progressions arithmétiques, c'est-à-dire des nombres premiers de la forme $qn+a$, avec $a$ et $q$ des entiers fixés et $n=1,2,3,\dots$ La thèse porte aussi sur la comparaison de différentes suites arithmétiques par rapport à leur comportement dans les progressions arithmétiques. Elle est divisée en quatre chapitres et contient trois articles. Le premier chapitre est une invitation à la théorie analytique des nombres, suivie d'une revue des outils qui seront utilisés plus tard. Cette introduction comporte aussi certains résultats de recherche, que nous avons cru bon d'inclure au fil du texte. Le deuxième chapitre contient l'article \emph{Inequities in the Shanks-Rényi prime number race: an asymptotic formula for the densities}, qui est le fruit de recherche conjointe avec le professeur Greg Martin. Le but de cet article est d'étudier un phénomène appelé le <>, qui s'observe dans les <>. Chebyshev a observé qu'il semble y avoir plus de premiers de la forme $4n+3$ que de la forme $4n+1$. De manière plus générale, Rubinstein et Sarnak ont montré l'existence d'une quantité $\delta(q;a,b)$, qui désigne la probabilité d'avoir plus de premiers de la forme $qn+a$ que de la forme $qn+b$. Dans cet article nous prouvons une formule asymptotique pour $\delta(q;a,b)$ qui peut être d'un ordre de précision arbitraire (en terme de puissance négative de $q$). Nous présentons aussi des résultats numériques qui supportent nos formules. Le troisième chapitre contient l'article \emph{Residue classes containing an unexpected number of primes}. Le but est de fixer un entier $a\neq 0$ et ensuite d'étudier la répartition des premiers de la forme $qn+a$, en moyenne sur $q$. Nous montrons que l'entier $a$ fixé au départ a une grande influence sur cette répartition, et qu'il existe en fait certaines progressions arithmétiques contenant moins de premiers que d'autres. Ce phénomène est plutôt surprenant, compte tenu du théorème des premiers dans les progressions arithmétiques qui stipule que les premiers sont équidistribués dans les classes d'équivalence $\bmod q$. Le quatrième chapitre contient l'article \emph{The influence of the first term of an arithmetic progression}. Dans cet article on s'intéresse à des irrégularités similaires à celles observées au troisième chapitre, mais pour des suites arithmétiques plus générales. En effet, nous étudions des suites telles que les entiers s'exprimant comme la somme de deux carrés, les valeurs d'une forme quadratique binaire, les $k$-tuplets de premiers et les entiers sans petit facteur premier. Nous démontrons que dans chacun de ces exemples, ainsi que dans une grande classe de suites arithmétiques, il existe des irrégularités dans les progressions arithmétiques $a\bmod q$, avec $a$ fixé et en moyenne sur $q$.

Le paradoxe de la prime des actions: Le cas du Canada.

Rapport de recherche présenté à la Faculté des arts et des sciences en vue de l'obtention du grade de Maîtrise en sciences économiques.

Outsourcing the nation-state : a rational choice framework for the provision of public goods

Mémoire numérisé par la Division de la gestion de documents et des archives de l'Université de Montréal

Role of the protein tyrosine phosphatase DEP-1 in Src activation and the mediation of biological cell functions of endothelial and breast cancer cells

L’implication des protéines tyrosines phosphatases (PTPs) dans la régulation de la signalisation et la médiation des fonctions cellulaires a été bien établie dans les dernières années. Cependant, les mécanismes moléculaires par lesquels les PTPs régulent les processus fondamentaux tels que l’angiogenèse demeurent méconnus. Il a été rapporté que l’expression de la PTP DEP-1 (Density-enhanced phosphatase 1) augmente avec la densité cellulaire et corrèle avec la déphosphorylation du récepteur VEGFR2. Cette déphosphorylation contribue à l’inhibition de contact dans les cellules endothéliales à confluence et diminue l’activité du VEGFR2 en déphosphorylant spécifiquement ses résidus catalytiques Y1054/1059. De plus, la plupart des voies de signalisation en aval du VEGFR2 sont diminuées sauf la voie Src-Gab1-AKT. DEP-1 déphosphoryle la Y529 de Src et contribue à la promotion de la survie dans les cellules endothéliales. L’objectif de cette thèse est de mieux définir le rôle de DEP-1 dans la régulation de l’activité de Src et les réponses biologiques dans les cellules endothéliales. Nous avons identifié les résidus Y1311 et Y1320 dans la queue C-terminale de DEP-1 comme sites majeurs de phosphorylation en réponse au VEGF. La phosphorylation de ces résidus est requise pour l’activation de Src et médie le remodelage des jonctions cellules-cellules dépendantes de Src. Ce remodelage induit la perméabilité, l’invasion et la formation de capillaires en réponse au VEGF. Nos résultats démontrent que la phosphorylation de DEP-1 sur résidu tyrosine est requise pour diriger la spécificité de DEP-1 vers son substrat Src. Les travaux révèlent pour la première fois un rôle positif de DEP-1 sur l’induction du programme angiogénique des cellules endothéliales. En plus de la phosphorylation sur tyrosine, DEP-1 est constitutivement phosphorylé sur la thréonine 1318 situé à proximité de la Y1320 en C-terminal. Cette localisation de la T1318 suggère que ce résidu pourrait être impliqué dans la régulation de la Y1320. En effet, nous avons observé que la T1318 de DEP-1 est phosphorylée potentiellement par CK2, et que cette phosphorylation régule la phosphorylation de DEP-1 sur tyrosine et sa capacité de lier et d’activer Src. En accord avec ces résultats, nos travaux révèlent que la surexpression du mutant DEP-1 T1318A diminue le remodelage des jonctions cellules-cellules et par conséquent la perméabilité. Nos résultats suggèrent donc que la T1318 de DEP-1 constitue un nouveau mécanisme de contrôle de la phosphorylation sur tyrosine et que ceci résulte en l’activation de Src et l’induction des fonctions biologiques des cellules endothéliales en réponse au VEGF. Suite à ces travaux dans les cellules endothéliales qui démontrent un rôle positif de DEP-1 dans la médiation des réponses angiogéniques, nous avons voulu approfondir nos connaissances sur l’implication potentielle de DEP-1 dans les cellules cancéreuses où l’activité de Src est requise pour la progression tumorale. Malgré le rôle connu de DEP-1 comme suppresseur tumoral dans différents types de cancer, nous avons émis l’hypothèse que DEP-1 pourrait promouvoir les fonctions biologiques dépendantes de Src telles que la migration et l’invasion dans les cellules cancéreuses. Ainsi, nous avons observé que l’expression de DEP-1 est plus élevée dans les lignées basales de cancer du sein qui sont plus invasives comparativement aux lignées luminales peu invasives. Dans les lignées basales, DEP-1 active Src, médie la motilité cellulaire dépendante de Src et régule la localisation des protéines impliquées dans l’organisation du cytosquelette. L’analyse d’un micro-étalage de tissu a révélé que l’expression de DEP-1 est associée avec une réduction tendencielle de survie des patients. Nos résultats proposent donc, un rôle de promoteur tumoral pour DEP-1 dans la progression du cancer du sein. Les travaux présentés dans cette thèse démontrent pour la première fois que DEP-1 peut agir comme promoteur des réponses angiogéniques et du phénotype pro-invasif des lignées basales du cancer du sein probablement du à sa capacité d’activer Src. Nos résultats suggèrent ainsi que l’expression de DEP-1 pourrait contribuer à la progression tumorale et la formation de métastases. Ces découvertes laissent donc entrevoir que DEP-1 représente une nouvelle cible thérapeutique potentielle pour contrer l’angiogenèse et le développement du cancer.

Families of orthogonal functions defined by the Weyl groups of compact Lie groups

Plusieurs familles de fonctions spéciales de plusieurs variables, appelées fonctions d'orbites, sont définies dans le contexte des groupes de Weyl de groupes de Lie simples compacts/d'algèbres de Lie simples. Ces fonctions sont étudiées depuis près d'un siècle en raison de leur lien avec les caractères des représentations irréductibles des algèbres de Lie simples, mais également de par leurs symétries et orthogonalités. Nous sommes principalement intéressés par la description des relations d'orthogonalité discrète et des transformations discrètes correspondantes, transformations qui permettent l'utilisation des fonctions d'orbites dans le traitement de données multidimensionnelles. Cette description est donnée pour les groupes de Weyl dont les racines ont deux longueurs différentes, en particulier pour les groupes de rang $2$ dans le cas des fonctions d'orbites du type $E$ et pour les groupes de rang $3$ dans le cas de toutes les autres fonctions d'orbites.

Définition des interactions entre l’immunité innée et adaptative pendant l’infection aiguë par le virus de l’hépatite C (VHC)

La majorité des individus exposés au virus de l’hépatite C (VHC) développent une infection chronique. Une réponse immunitaire adaptative forte et soutenue est associée avec la guérison spontanée du VHC, mais les mécanismes sous-jacents demeurent mal définis. Le rôle des cellules NK et des cellules dendritiques (DC) dans la guérison spontanée du VHC est encore méconnu. Les cellules NK sont la population effectrice la plus importante de l’immunité innée car elles tuent les cellules infectées et sécrètent diverses cytokines. Les DC reconnaissent des agents infectieux et elles sont les premières à initier et réguler l’immunité adaptative. Les cellules NK et les DC interagissent également entre elles afin de réguler l’immunité innée et adaptative. L’hypothèse du projet de doctorat est que l'activité des cellules NK pendant la phase aiguë de l'infection par le VHC module la fonction des DC afin que ces dernières puissent générer une réponse immunitaire adaptative capable d'éliminer le VHC. Le premier objectif était d’établir une corrélation entre l'activité des cellules NK et l'évolution de l'infection au VHC. Nous avons observé une augmentation de la cytotoxicité, mais une diminution de la sécrétion de cytokines par les cellules NK chez les patients chroniques et qui ont résolu spontanément pendant la phase aiguë en comparaison aux contrôles non infectés, démontrant alors une dissociation entre ces deux fonctions. Nos résultats suggèrent que les cellules NK sont activées pendant la phase aiguë indépendamment de l’évolution de l’infection. Le deuxième objectif était d’établir une corrélation entre le phénotype et la fonction des DC, et l'évolution de l'infection. Nous avons d’abord observé que les DC plasmacytoïdes de tous les patients infectés ont un phénotype plus immature que les contrôles, et que ce phénotype est plus prononcé chez les patients ayant résolu spontanément. De plus, en réponse à des stimulations, nous avons observé que pendant la phase aiguë précoce, les DC myéloïdes (mDC) de tous les patients infectés indépendamment de l’évolution de l’infection produisent davantage de cytokines en comparaison aux contrôles. Cependant, cette hyperréactivité n’est pas soutenue au cours de l’évolution chronique. Le troisième objectif était d’établir une corrélation entre les interactions NK/DC et l’évolution de l’infection. Nous avons étudié la capacité des cellules NK à lyser les DC potentiellement tolérogéniques, ainsi que la capacité des DC matures à activer les cellules NK, et nous avons observé aucune différence entre les patients infectés et les contrôles. Finalement, nous avons démontré pour la première fois la capacité des DC immatures à inhiber la fonction des cellules NK. En conclusion, nous avons démontré que les cellules NK sont activées pendant la phase aiguë de l’infection par le VHC indépendamment de l’évolution de l’infection. De plus, la capacité des cellules NK à éliminer les DC potentiellement tolérogéniques est intacte. Finalement, les mDC sont hyperréactives pendant la phase aiguë de l’infection, mais cette hyperréactivité n’est pas soutenue avec la persistance de l’infection. Cette perte d’hyperréactivité des mDC ne semble pas affecter la capacité des DC à activer les cellules NK, mais elle pourrait jouer un rôle dans l’inefficacité de l’immunité adaptative à éliminer le VHC.

Automates à contraintes semilinéaires = Automata with a semilinear constraint

Cette thèse présente une étude dans divers domaines de l'informatique théorique de modèles de calculs combinant automates finis et contraintes arithmétiques. Nous nous intéressons aux questions de décidabilité, d'expressivité et de clôture, tout en ouvrant l'étude à la complexité, la logique, l'algèbre et aux applications. Cette étude est présentée au travers de quatre articles de recherche. Le premier article, Affine Parikh Automata, poursuit l'étude de Klaedtke et Ruess des automates de Parikh et en définit des généralisations et restrictions. L'automate de Parikh est un point de départ de cette thèse; nous montrons que ce modèle de calcul est équivalent à l'automate contraint que nous définissons comme un automate qui n'accepte un mot que si le nombre de fois que chaque transition est empruntée répond à une contrainte arithmétique. Ce modèle est naturellement étendu à l'automate de Parikh affine qui effectue une opération affine sur un ensemble de registres lors du franchissement d'une transition. Nous étudions aussi l'automate de Parikh sur lettres: un automate qui n'accepte un mot que si le nombre de fois que chaque lettre y apparaît répond à une contrainte arithmétique. Le deuxième article, Bounded Parikh Automata, étudie les langages bornés des automates de Parikh. Un langage est borné s'il existe des mots w_1, w_2, ..., w_k tels que chaque mot du langage peut s'écrire w_1...w_1w_2...w_2...w_k...w_k. Ces langages sont importants dans des domaines applicatifs et présentent usuellement de bonnes propriétés théoriques. Nous montrons que dans le contexte des langages bornés, le déterminisme n'influence pas l'expressivité des automates de Parikh. Le troisième article, Unambiguous Constrained Automata, introduit les automates contraints non ambigus, c'est-à-dire pour lesquels il n'existe qu'un chemin acceptant par mot reconnu par l'automate. Nous montrons qu'il s'agit d'un modèle combinant une meilleure expressivité et de meilleures propriétés de clôture que l'automate contraint déterministe. Le problème de déterminer si le langage d'un automate contraint non ambigu est régulier est montré décidable. Le quatrième article, Algebra and Complexity Meet Contrained Automata, présente une étude des représentations algébriques qu'admettent les automates contraints et les automates de Parikh affines. Nous déduisons de ces caractérisations des résultats d'expressivité et de complexité. Nous montrons aussi que certaines hypothèses classiques en complexité computationelle sont reliées à des résultats de séparation et de non clôture dans les automates de Parikh affines. La thèse est conclue par une ouverture à un possible approfondissement, au travers d'un certain nombre de problèmes ouverts.