Cette thèse traite de l'engagement politique des Chevaliers du Travail par la présence de candidatures ouvrières au niveau fédéral entre 1883 et 1896. Elle se concentre plus particulièrement sur l’élection d’Alphonse-Télesphore Lépine comme député ouvrier dans Montréal-Est en 1888. Témoignant de l'intérêt des ouvriers pour la politique, cette élection s'inscrit dans le développement d'une conscience de classe qui pousse les organisations ouvrières à promouvoir un programme de réformes. Loin de remettre en question le système économique libéral, leur programme cherche à « harmoniser le Travail et le Capital ». Notre étude permet de situer cet engagement vis-à-vis le développement des partis politiques et du système électoral canadien. Elle dresse un portrait des mœurs politiques des ouvriers à la fin du XIXe siècle et pose un regard inédit sur le militantisme au sein des organisations ouvrières. Elle fait également la lumière sur le travail parlementaire et extraparlementaire de Lépine.

Cette thèse traite de l'engagement politique des Chevaliers du Travail par la présence de candidatures ouvrières au niveau fédéral entre 1883 et 1896. Elle se concentre plus particulièrement sur l’élection d’Alphonse-Télesphore Lépine comme député ouvrier dans Montréal-Est en 1888. Témoignant de l'intérêt des ouvriers pour la politique, cette élection s'inscrit dans le développement d'une conscience de classe qui pousse les organisations ouvrières à promouvoir un programme de réformes. Loin de remettre en question le système économique libéral, leur programme cherche à « harmoniser le Travail et le Capital ». Notre étude permet de situer cet engagement vis-à-vis le développement des partis politiques et du système électoral canadien. Elle dresse un portrait des mœurs politiques des ouvriers à la fin du XIXe siècle et pose un regard inédit sur le militantisme au sein des organisations ouvrières. Elle fait également la lumière sur le travail parlementaire et extraparlementaire de Lépine.

Les réactions des candidats ont longtemps été étudiées sous l’angle des perceptions de justice, mais plusieurs auteurs appellent à s’intéresser aux perceptions de discrimination qui sont formées pendant un processus de recrutement, ainsi qu’aux conséquences spécifiques de ces discriminations. Afin de créer expérimentalement une situation où la discrimination est possible, nous avons étudié l’effet des questions inappropriées ciblant un stigmate sur les perceptions de justice et de discrimination des candidats, ainsi que sur l’image du recruteur et de l’organisation. Dans 4 études, nous avons pu observer que les questions inappropriées vont enfreindre plusieurs règles de justice procédurale et non uniquement la règle de bienséance des questions. Les questions inappropriées ont un effet négatif sur le jugement de compétence et de moralité du recruteur (étude 2) et sur les perceptions de risque de litiges mais pas sur les intentions des candidats de poursuivre le processus, de recommander l’entreprise ou d’y repostuler (étude 3). Nous avons identifié plusieurs facteurs individuels dont la conscience du stigmate et la légitimité perçue du critère de sélection qui sont liés aux perceptions de justice et de discrimination. De plus, les questions inappropriées peuvent être interprétées comme étant posées pour d’autres motifs que celui de discriminer. Ainsi, la tendance des individus à minimiser la discrimination, jusqu’à en légitimer les signes, peut expliquer la persistance des questions inappropriées. / Applicants’ reaction research has mostly focused on fairness perceptions, but several researchers encourage the study of perceived job discrimination during the selection process, as well as specific consequences of that discrimination. In order to create a situation in which discrimination was possible, we studied the effects of inappropriate job interview questions related to a stigma on fairness and discrimination perceptions as well their impact on the recruiters’ and the organization’s image. In four studies, we observed that inappropriate job interview questions violated several procedural justice rules, and not only the propriety of questions rule. Inappropriate questions negatively affected applicants’ judgements of the recruiter’s competence and morality (study 2), as well as their likelihood of litigating, but not their intention to persist in the hiring process, to reapply, or to recommend the organization (study 3). We identified several factors, such as stigma consciousness and perceived legitimacy of the selection criterion, that are related to discrimination and justice perceptions. Furthermore, inappropriate questions can be interpreted to be asked with intentions other than those of discrimination. Hence the tendency of individuals to minimize and even legitimize indications of discrimination can explain the persistence of inappropriate job interview questions.

Ce travail s'articule autour du constat de l'hétérogénéité phénotypique des conduitessuicidaires conjointement à celui de l'existence de nombreux facteurs de validité nosologique.En suivant la méthode du symptôme candidat, nous avons pu montrer que la distribution del'âge à la première tentative de suicide (TS) était une mixture de deux distributionsgaussiennes. Ce symptôme candidat nous a permis de délimiter deux sous groupes distincts depatients en terme de caractéristiques cliniques. Parallèlement, l'exploration des dysfonctionscognitives de patients suicidants nous a permis de proposer un deuxième symptôme candidat :le déficit de l'inhibition cognitive. Enfin, grâce à l'analyse en composante principale d'uninstrument de mesure de la léthalité suicidaire, nous avons pu montrer que la sous dimensionde léthalité " implémentation du patient " constituait un symptôme candidat du fait de sesliens probables avec l'intentionnalité suicidaire, deux dimensions intriquées et déterminantesdans la genèse de conduites suicidaires. Notre contribution a la validation nosologique desconduites suicidaires concerne les résultats obtenus à partir de l'étude d'une population depatients bipolaires au sein de laquelle l'héritabilité des conduites suicidaires est apparuindépendante de celle du trouble bipolaire de l'humeur. Enfin, au sein d'une populationépidémiologique psychiatrique martiniquaise homogène sur le plan ethnique, 18% despatients avaient des antécédents de TS. Ce chiffre est inférieur à celui mesuré au sein d'étudesmenées en population cliniques majoritairement caucasiennes et conforte l'idée d'une " hyposuicidalité" dans les populations d'origine africaine.

La lignine représente 25% de la biomasse des végétaux terrestre. Sa quantité et sa qualité sont variables au sein des populations naturelles et sont devenues des cibles de l’amélioration génétique des eucalyptus. L’identification des polymorphismes génétiques impliqués dans la variation de ces caractères permettrait de disposer d’outils de diagnostic moléculaire pour une sélection précoce des meilleurs géniteurs et ainsi contribuer à l’augmentation des gains génétiques par unité de temps. Dans ce travail de thèse nous avons décrit la variabilité nucléotidique de gènes impliqués dans la biosynthèse des lignines, ainsi que la part de la variation génétique de ces deux caractères chez trois espèces d’Eucalyptus. En intégrant ces deux niveaux de variabilité au sein de plans de croisement factoriels, nous avons identifié des polymorphismes associés à la variation des caractères. Ces travaux posent les bases de la sélection assistée par marqueurs chez l’eucalyptus. / Lignins represent 25% of plant biomass on earth. Lignins quantity and quality vary within natural populations and have become major targets for genetic improvement of eucalyptus. Identifying genetic polymorphisms involved in the variation of these traits could provide molecular tools for early selection of plus trees and contribute to increase genetic gains expected by time units. In this thesis work, we described the nucleotide diversity of genes involved in lignin biosynthesis and the genetic part of the variation of lignins quantity and quality in three eucalyptus species. Integrating these two levels of variation in a factorial matting design, we identified Single Nucleotide Polymorphisms statistically associated to the variation of lignin quality. This work paves the way to marker assisted selection in eucalyptus.

L'alternance de production est définie comme la charge en fruit d'un arbre irrégulière sur plusieurs années consécutives. La principale hypothèse en soulignant l'alternance est que la charge en fruits d'une année en cours inhibe la formation de fleurs pour l'année suivante. Ce phénomène génère d'importants problèmes agronomiques pour les espèces fruitières comme le pommier, en réduisant la production de fruits au cours des années 'OFF' et la qualité des fruits au cours des années 'ON', tout en augmentant les coûts de gestion des vergers, en particulier pour l'éclaircissage des fruits. Une stratégie pour atténuer l'alternance est de développer de nouvelles variétés avec une production régulière. Les principaux objectifs de ma thèse étaient: (i) d'améliorer les stratégies de phénotypage et les méthodes pour caractériser l'alternance de production, (ii) de disséquer le contrôle génétique de l'alternance de production en utilisant une descendance de pommier en ségrégation et d'identifier les principales régions génétiques responsables de la variation du caractère, et (iii) d'étudier les processus physiologiques sous-jacents à l'alternance de production. J'ai combiné des méthodes comme la modélisation, la génétique quantitative, la détection de Quantitative Trait Loci (QTL) et de gènes candidats ainsi que la cartographie et l'expression de gènes.Mon étude a utilisé une population de pommier ségrégation obtenue à partir d'un croisement entre des parents contrastés pour les caractéristiques architecturales et de floraison (‘Starkrimson' x 'Granny Smith'). Le phénotypage de la population pour l'alternance de production a été réalisée à l'échelle d'arbres entiers, en observant les occurrences de floraison pendant six années consécutives, et à l'échelle locale, en observant la succession de méristèmes floraux vs végétative en position terminale de rameaux. De ces données, de nouveaux modèles ont été développés afin de quantifier l'alternance de la production, en tenant compte de la croissance ontogénétique de la production et la présence / absence de floraison entre les années successives le long des pousses courtes. Ceci nous a conduits à proposer de nouveaux descripteurs de la tendance d'un génotype à l'alternance de production dans les premiers stades de développement des arbres et ouvre des possibilités pour une évaluation plus rapide et plus précoce de ce caractère dans les programmes de sélection de fruits à pépins.Pour identifier les régions génomiques impliquées dans l'alternance, une détection de QTL a été réalisée sur la base des données phénotypiques et des valeurs de BLUP obtenues à partir des modèles. J'ai démontré que la régularité de la production est sous contrôle polygénique. J'ai extrait une liste de gènes qui sont présents au sein de ces QTL en utilisant la séquence du génome du pommier. Les principaux gènes candidats identifiés sont liés aux gibbérellines, aux auxines, et à la floraison. J'ai étudié l'expression des gènes candidats co-localisant avec des QTLs par PCR quantitative en utilisant les méristèmes prélevés sur les arbres portant une forte charge en fruits vs une faible charge. Une analyse microarray m'a permis d'obtenir un aperçu global des processus biologiques et de l'expression des gènes qui sont modulés dans le méristème lorsque des fruits sont présents. Certains gènes liés à la floraison, au développement du méristème, aux gibbérellines et aux auxines ont montré un profil d'expression affectée par la présence de fruits.Mes résultats fournissent des éclaircissements sur le contrôle physiologique et génétique de ce caractère complexe qui est l'alternance et ouvrent la perspective d'inclure la régularité de production dans les schémas de sélection de pommier et d'autres espèces fruitières / Biennial bearing is defined as the irregular crop load of a tree over consecutive years. The main assumption underlining biennial bearing is that the fruit load of a given year inhibits flower formation for the following year. This phenomenon generates major agronomic problems for fruit species such as apple, by reducing fruit production during ‘OFF' years and fruit quality during ‘ON' years, while increasing orchard management costs, especially for fruit thinning. A strategy to attenuate biennial bearing is to develop new varieties with regular production. The main objectives of my project were (i) to improve phenotyping strategy and methodology for biennial bearing characterisation, (ii) to dissect the genetic control of biennial bearing using an apple segregating progeny and to identify key genetic regions responsible for the trait variation, and (iii) to investigate physiological processes underlying biennial bearing. I combined methodologies such as modelling, quantitative genetics, candidate gene and Quantitative Trait Loci (QTL) mapping and gene expression.My study used an apple segregating population issued from a cross between contrasting parents for architectural and flowering features (‘Starkrimson' x ‘Granny Smith'). Phenotyping of the population for biennial bearing was achieved at whole tree scale by observing flowering occurrence for six consecutive years, and at local scale, by observing the succession of floral vs. vegetative meristems in terminal position of shoots. From this data, new models were constructed to quantify the alternation of production, taking into account the ontogenetic increasing trend of production and the presence/absence of flowering between successive years along short shoots. This led us to propose new descriptors of the tendency of a genotype to biennial bearing in the early stages of tree development and opens possibilities for a faster and earlier evaluation of this character in pipfruit breeding programmes and for orchard management.To identify genomic regions involved in biennial bearing, a QTL detection was performed on the basis of phenotypic data and BLUP values obtained from the models. I demonstrated that the regularity of production is under polygenic control. I mined a list of genes that are present within these QTLs using the apple genome sequence. The main candidate genes identified are related to gibberellins, auxins, and flowering.I investigated the expression of candidate genes co-locating with QTLs by quantitative PCR using meristems collected on trees bearing heavy fruit load vs. light crop. A microarray analysis enabled me to obtain a global overview of biological processes and gene expression that are modulated in the meristem when fruits are present. Some genes related to flowering, meristem development, gibberellins and auxins showed an expression profile affected by the presence of fruit.My results provide elucidation on the physiological and genetic control of the complex trait that is biennial bearing and open up the perspective of including regular bearing in breeding schemes for apple and other fruit species.

La recherche de maïs plus tolérants au déficit hydrique est un enjeu fondamental pour la production agricole dans les prochaines décennies. Le but ce travail a été d’identifier et de caractériser des gènes impliqués dans la variation de caractères complexes affectés par le déficit hydrique chez le maïs.Nous avons tout d’abord identifié des transcrits et des protéines, dont la teneur variait entre deux mélanges de lignées recombinantes différant pour une région chromosomique influençant la croissance foliaire et la protandrie en condition de déficit hydrique. Parmi les huit gènes candidats cartographiés au niveau de la région d’intérêt, se trouvait le facteur de transcription ZmMYB31 impliqué dans la biosynthèse de la lignine. Nous avons montré que son expression était corrélée à celle de deux de ses cibles, à la teneur en lignine et à l’expression du gène ZmFatA impliqué dans la biosynthèse des acides gras, suggérant un rôle régulateur de la protéine ZmMYB31 via la synthèse de lignine et de dérivés lipidiques.Dans un second volet, nous avons montré que la sur-expression du gène candidat ZmASR1 (ZmASR1-OE) chez le maïs maintenait le rendement en condition de déficit hydrique. Des analyses transcriptomiques et protéomiques nous ont permis d’identifier 25 cibles de la protéine ZmASR1, dont sept gènes impliqués dans la biosynthèse des acides aminés branchés. Nous avons également montré qu’il existait une étroite corrélation entre 13 métabolites diminués par ZmASR1-OE, six étant connus pour être négativement corrélés à la biomasse. Enfin, des résidus phosphorylés ont été identifiés chez les protéines ZmASR1, ZmASR2 et ZmASR3, suggérant leur régulation par phosphorylation. / Maize is particularly sensitive to water deficit at reproductive stages. As such, identification of factors that confer tolerance to water deficit would pave the way for increasing agricultural productivity. The aim of this work was to identify and make up the functional characterization of candidate genes for water deficit tolerance in maize.Firstly, transcriptomic and proteomic analyses of bulked recombinant inbred lines revealed eight differentially expressed genes colocating with a chromosomal region exhibiting two QTLs for leaf growth and anthesis-silking interval sensitivities to water deficit. Among them, we identified the transcription factor ZmMYB31 gene involved in the control of lignin biosynthesis. The expression of ZmMYB31 was correlated with that of its targets genes ZmCOMT and ZmFAD9, as well as ZmFatA involved in fatty acid biosynthesis. Changes in lignin and fatty acid content allowed us to hypothesis a regulatory role of ZmMYB31 via lignin and fatty acid-derived metabolites.Secondly, we showed that transgenic maize plants overexpressing the candidate gene ZmASR1 (ZmASR1-OE) maintained kernel yield under water deficit condition in the field. Transcriptomic and proteomic analyses of ZmASR1-OE leaves allowed us to identify 25 direct or indirect target genes of ZmASR1, in particular seven genes involved in branched-chain amino acid (BCAA) biosynthesis. We also showed a tight correlation between the level of 13 decreased metabolites in ZmASR1-OE leaves, 6 of which being previously shown to be negatively correlated to biomass. Phosphoresidues were also found in ZmASR1, ZmASR2 and ZmASR3, suggesting that these proteins are regulated by phosphorylation.

L'objectif général de cette thèse était d'étudier le rôle des anticorps dans la susceptibilité ou la résistance au paludisme chez de jeunes enfants béninois exposés naturellement aux infections palustres durant leurs deux premières années de vie. Deux projets complémentaires (PALNOUGENENV et TOLIMMUNPAL) ont été mises en place au Bénin et consistaient à suivre des mères et leurs enfants. Dans le cadre du projet PALNOUGENENV, l'étude incluait 600 mères à l'accouchement et a suivi leurs enfants pendant les dix-huit premiers mois de vie dans le but d’étudier les conséquences de l’infection placentaire palustre chez les mères sur la survenue des premières infections palustres chez les nouveau-nés. Suite au projet PALNOUGENENV, il semblait important de connaitre le statut palustre de la mère pendant la grossesse et pas seulement à l’accouchement. Le projet TOLIMMUNPAL a donc été mis en place et incluait 400 mères et leurs enfants. Les mères ont été inclues à la première consultation prénatale et suivies au niveau parasitologique et clinique jusqu'à l'accouchement et leurs enfants ont été suivis de la naissance jusqu'à 24 mois dans le but d'étudier des déterminants environnementaux, biologiques et génétiques impliqués dans le développement de la tolérance immunitaire associée au paludisme et ses conséquences sur la protection de la femme enceinte et du jeune enfant. Plus spécifiquement, nous avons étudié chez ces enfants les relations entre l'infection palustre et les niveaux d'anticorps spécifiquement dirigés contre les antigènes candidats vaccins les plus avancés du stade érythrocytaire d'une part et la capacité des anticorps à inhiber le développement in vitro de P. falciparum d'autre part. Nos résultats mettent en évidence une association dans la cohorte PALNOUGENENV entre les niveaux élevés des sous-classes cytophiles IgG1 dirigées contre les antigènes candidats vaccins MSP1 (p<0,001, OR=0,90) et IgG3 anti-MSP2 (p<0,001, OR=0,89) et la protection contre l'infection palustre. Dans la cohorte TOLIMMUNPAL, les hauts niveaux d'IgG2 anti-GLURP R2 (p=0.05, OR=2.10) ont plutôt été associés au risque d'infection palustre. L'analyse fonctionnelle des IgG en utilisant le test GIA a révélé que l'infection par P. falciparum au moment du prélèvement affectait la capacité des IgG à inhiber la croissance parasitaire in vitro. Les IgG purifiées à partir d'échantillons collectés chez des individus infectés par P. falciparum avaient une capacité moyenne d'inhibition de la croissance parasitaire inférieure (p=0.003, Wilcoxon matched pairs test) de 19 % à celles purifiées à partir de plasmas d'enfants non infectés. Une corrélation inverse a été observée entre l'âge et la capacité des anticorps à inhiber l'invasion des globules rouges par le parasite. Aucune association entre les niveaux d'anticorps et leur capacité à inhiber le développement du parasite in vitro n'a été mis en évidence. Dans le cadre du développement du test Antibody-Dependent Respiratory Burst (ADRB), les cellules promyélocytaires de la lignée PLB 985W ont été utilisées. Ces cellules ont la capacité de se différencier en neutrophiles sous l'action du DMSO. Nos résultats ont montré que cette lignée a une faible capacité à produire les espèces réactives d'oxygène (ROS) comparés aux neutrophiles humains et les niveaux de ROS produits par cette lignée cellulaire sont insuffisants pour être utilisés dans le test ADRB. Nos résultats confortent le rôle important des antigènes candidats vaccins MSP1 et MSP2 dans la protection contre le paludisme. Cette relation est essentiellement établie au regard des quantités d’anticorps spécifiques produits, l’étude de fonctionnalité des anticorps employant le test GIA n’ayant pas permis de mettre en évidence de relation claire à la protection. (...) / The aim of this thesis was to study the role of antibodies in susceptibility or resistance to malaria in young Beninese children naturally exposed to malaria infections during their first two years of life. Two complementary projects (PALNOUGENENV and TOLIMMUNPAL) were implemented in Benin to identify individual factors of malaria susceptibility. The PALNOUGENENV cohort included 600 mothers at delivery and their children from birth to 18 months of age in order to study the effects of placental malaria infection in mothers on first occurrence of malaria infections in newborns. In the TOLIMMUNPAL cohort 400 mothers were included at the first antenatal visit and followed until delivery while their infants were followed from birth to 24 months in order to study environmental determinants, biological and genetic involved in the development of immune tolerance associated with malaria and its impact on the protection of pregnant women and infants. Specifically, the association between malaria infection and the level of antibodies specifically directed against the most advanced vaccine candidate antigens of the erythrocyte stage on one hand and the ability of antibodies to inhibit in vitro the development of P. falciparum on the other hand were investigated. Our results show an association in the cohort PALNOUGENENV between high levels of IgG1 to MSP1 19 vaccine candidate antigens (p <0.001, OR = 0.90) and IgG3 to MSP2 3D7 (p <0.001, OR = 0.89) and protection against malaria infection. In the TOLIMMUNPAL cohort, high levels of IgG2 to GLURP R2 (p = 0.05, OR = 2.10) were instead associated with an increased risk of malaria infection. Functional analysis of IgG using the GIA test revealed that the infection with P. falciparum at the sampling time affected the ability of IgG to inhibit parasite growth in vitro. The purified IgG from individuals infected with P. falciparum when the sample was collected had an average 19% lower capacity of inhibition of parasite growth (p = 0.003, Wilcoxon matched pairs test) than those that were uninfected at the time of sampling. An inverse correlation was found between age and the ability of antibodies to inhibit in vitro invasion of red blood cells by the parasite. There was no association between antibody levels and ability to inhibit the in vitro parasite development. In the development of the Antibody-Dependent Respiratory Burst (ADRB) assay, the promyelocytic cell line PLB 985W was used. These cells have the capacity to differentiate into neutrophils after exposure to DMSO. Our results showed a low ability of this cell line to produce reactive oxygen species (ROS) compared to human neutrophils and ROS levels produced by this cell line are insufficient to be used in the test ADRB. Our results confirm the important role of MSP1 19 and MSP2 3D7 vaccine candidate antigens in malaria protection. Although the levels of antibodies to MSP1 19 and MSP2 3D7 were associated with decrease risk of P. falciparum infection, the functional study of antibody using the GIA assay did not allow demonstrating the relationship to protection. Investigation on the functional role of antibodies is complex as IgG could act through multiple direct or indirect mechanisms. We will continue to investigate the functional role of antibody, particularly in plasma samples from our two birth cohorts by using the ADRB assay. Results will aid in providing new information to the existing knowledge gap and will help in malaria vaccine development.

Le profilage d’impuretés de candidats médicaments est une préoccupation majeure des industries pharmaceutiques. L’identification et la quantification des impuretés doivent être strictement contrôlées pour assurer l’efficacité et la toxicité limitée du principe actif. Il est donc nécessaire de disposer de méthodes analytiques performantes afin de s’assurer que l’ensemble des impuretés est identifié. L’HPLC phase inverse sur phase C18 reste aujourd’hui la méthode de choix pour cette tâche. Cependant, il arrive que cette méthode échoue, notamment lorsque le principe actif n’est pas suffisamment retenu sur la colonne ou que les impuretés ne sont pas parfaitement séparées du composé principal. Il est alors essentiel de pouvoir se tourner vers des méthodes analytiques alternatives et complémentaires.Ce travail de recherche traite du développement et de l’évaluation de méthodes analytiques alternatives à l’HPLC phase inverse sur phase C18 pour le profilage d’impuretés de principes actifs pharmaceutiques. L’HPLC phase inverse sur d’autres phases stationnaires, l’HPLC mixed-mode ainsi que la SFC ont été explorées et leurs performances chromatographiques comparées. La comparaison et l’étude des différentes méthodes ont permis de proposer une stratégie d’analyse du candidat médicament. / Impurity profiling of drug candidates is a significant concern of pharmaceutical industries. The identification and quantification of impurities must be strictly controlled to ensure the efficacy and limited toxicity of the active ingredient. It is therefore necessary to have efficient analytical methods to ensure that all impurities are identified. Today, reversed-phase HPLC with C18 column remains the method of choice for this task. However, this method sometimes fails, particularly when the active pharmaceutical ingredient is not sufficiently retained on the column or when the impurities are not resolved from the main compound. It is therefore essential to turn to alternative and complementary analytical methods.This work deals with the development and evaluation of alternative analytical methods to reversed-phase HPLC on C18 phase for impurity profiling of pharmaceuticals. Reversed-phase HPLC on other stationary phases, mixed-mode HPLC as well as SFC were explored and their chromatographic performances compared. The comparison and the study of the different methods allowed proposing a strategy of analysis of the drug candidate.

La notion de théorie s'est séparée de la notion de logique à la fin des années 1920, lorsque Hilbert et Ackermann ont distingué les règles de déduction, indépendantes de l'ob jet du discours, des axiomes qui lui sont spécifiques. S'est alors posée la question de caractériser les théories, définies donc comme des ensembles d'axiomes, que l'on peut utiliser pour formaliser une partie du raisonnement mathématique. Un premier critère est la cohérence de cette théorie : le fait qu'on ne puisse pas démontrer toutes les propositions de cette théorie. Cependant il est progressivement apparu que la cohérence n'était pas une propriété suffisante. Le fait que les démonstrations constructives vérifient les propriétés de la dijonction ou du témoin, ou la complétude de certaines méthodes de démonstration automatique ne découlent pas de la seule cohérence d'une théorie. Mais toutes trois sont par contre conséquentes d'une même propriété : la normalisation des démonstrations. En 1930, le théorème de complétude de Gödel montra que le critére de cohérence pouvait être vu sous différents angles. En plus de la définition précédente interne à la théorie de la démonstration, on peut également définir de manière algébrique la cohérence d'une théorie comme le fait qu'elle possède un modèle. L'équivalence entre ces deux définitions constitue un outil fondamental, qui a permis notamment la démonstration de la cohérence de nombreuses théories : la théorie des ensembles avec la négation de l'axiome du choix par Fraenkel et Mostovski, la théorie des ensembles avec l'axiome du choix et l'hypothèse du continue par Gödel, la théorie des ensembles avec la négation de l'hypothèse du continu par Cohen, . . . A l'inverse, la normalisation des démonstrations semblait ne pouvoir se définir que de manière interne à la théorie de la démonstration. Certains critères inspirés de la théorie des modèles étaient certes parfois utilisés pour démontrer la propriété de normalisation des démonstrations de certaines théories, mais la nécéssité de ces critéres n'avait pas été établie. Nous proposons dans cette thèse un critère algébrique à la fois nécessaire et suffisant pour la normalisation des démonstrations. Nous montrons ainsi que la propriété de normalisation des démonstrations peut également se définir comme un critère algébrique, à l'instar de la propriété de cohérence. Nous avons pour cela défini une nouvelle notion d'algèbre de valeurs de vérités (TVA) appelée algèbres de vérité dépendant du langage (LDTVA). La notion de TVA permet d'exhiber l'algèbre de valeurs de vérité des candidats de réductibilité définis par Girard en 1970. L'existence d'un modèle à valeurs dans cette algèbre définit un critère algébrique suffisant pour la propriété de normalisation des démonstrations. Puis nous avons défini un raffinement de la notion de candidats de réductibilité comme une de ces LDTVAs et avons montré que l'existence d'un modèle à valeurs dans cette algèbre définit un critère algébrique toujours suffisant mais également nécessaire pour la propriété de normalisation des démonstrations. Ce critère est défini pour les cadres logiques de la déduction minimale et du λΠ-calcul modulo. Et nous exhibons finalement la puissance du λΠ-calcul modulo en montrant que tous les systèmes de types purs fonctionnels peuvent être simulés dans ce cadre logique.