L’objectif de la thèse est l’analyse de l’évolution du discours politique en France et en Lituanie via les déclarations ou les interviews, consécutives à l’annonce des résultats des élections présidentielles (1995 – 2009). Notre méthode est basée sur les techniques modernes de l’approche : la pluridisciplinarité, l’analyse du discours et le traitement informatique du corpus. La politique contemporaine est de plus en plus formatée selon les règles du marketing. La télévision oblige les orateurs à renoncer au jargon - le raisonnement n’est plus hypothético-déductif mais associatif. Les présidents élus consacrent plus d’attention à l’ethos et les candidats vaincus au pathos. Les ethos s’opposent et cela dépend du contexte des élections présidentielles. Les Interviews appartiennent aux discours-bilans et au modèle dialogique. Les Déclarations sont plus proches des discours-appels et du monologue. Les deux genres possèdent aussi des traits du modèle propagandiste dont l’effet social est minimal. / Pas de résumé anglais / Disertacijoje analizuojama situacija, kai kandidatai į prezidentus Lieuvoje ir Prancūzijoje reaguoja į paskelbtus prezidento rinkimų rezultatus per savo pasisakymus. Pagrindinis disertacijos tikslas - suprasti bei įvertinti politikų, politinio diskurso pasikeitimus (nuo 1993 m. iki 2009 m.). Kitos aptariamos temos - pagrindinės kalbėtojų sakinių gramatinės ir sintaksinės formos, žodynas, kandidatų į prezidentus skirtumai ir panašumai. Darbe remiamasi retorikos, politikos istorijos, sociologijos, tekstynų ir diskurso analizės metodais. Nustatyta, kad televizijos vaidmuo vis stipreja. Visų politikų sakiniai paprasti, pasirenkama kalba yra tradicinė, visiems suprantama, abstrakti, temos pasikartoja bei yra panašios. Prezidentų kalbos optimistiškesnės, mažiau personalizuotos ir daugiau apeliuoja į visą tautą, o pralaimėjusių kandidatų kalbos daugiau angažuotos į ateitį, dinamiškesnės, mažiau suvienuodintos, jie naudoja trumpesnius sakinius. Abiejų šalių politikų pasisakymai primena reklamą, kurios pagrindinis tikslas - patikti ir pritraukti žmonių dėmesį, nelabai akcentuojant politinius klausimus.

Les mécanismes physiopathologiques des hypersensibilités (HS) médicamenteuses ne sont que partiellement connus. Un terrain génétique favorisant est connu de longue date, mais peu de facteurs de risques sont formellement identifiés. A l’aide d’une approche par gènes candidats, nous avons évalué l’association entre des polymorphismes des gènes NOD1 et 2 et l’HS aux bétalactamines ; l’association entre plusieurs polymorphismes cytokiniques et différentes HS médicamenteuses. Enfin, nous avons utilisé une approche pangénomique à la recherche de gènes candidats au cours d’une HS spécifique, le DRESS. Parmi 368 cas et autant de contrôles italiens ainsi que 387 cas et 326 contrôles espagnols, nous avons mis en évidence une association entre l’un des polymorphismes de NOD2 et un faible risque d’HS immédiate aux bétalactamines chez les patients italiens, tandis qu’un autre polymorphisme de NOD2 était associé à un risque augmenté d’HS immédiate aux bétalactamines chez les patients espagnols. Aucune association avec le polymorphisme de NOD1 n’était identifiée. Parmi 118 patients et 236 contrôles, nous avons identifiés l’association entre les polymorphismes de l’IL1 (IL1-RN-A2 et IL1-[bêta] -511) et de l’IL10 (-592A) avec le risque de DRESS. Enfin, parmi 18 DRESS, l’analyse de puces CNV pangénomique nous a permis d’identifier des variations comportant les gènes KLRC2 et CESP1.Au total, nous avons pu démontrer l’implication de gènes modulant l’inflammation, la réponse antivirale ou le métabolisme des médicaments dans différentes HS médicamenteuses. Une confirmation à l’étage fonctionnelle de ces résultats est nécessaire / The physiopathology of drug hypersensitivity (HS) are only partially known. A genetic background for such drug allergy is still demonstrated but only few genes are identified. Using a candidate gene approach, we tested the association of NOD1 and 2 genes with betalactam HS and the association of several cytokines genes with some drug HS. Using a whole genome approach, we tried to discover new candidate gene for DRESS. Among 368 italian cases and controls and 387 spanish cases and 326 controls, we identified one polymorphism of NOD2 gene associated with a protective effect for italians and another polymorphism associated with higher risk of druh HS for spanians. No association with NOD1 polymorphims was identified. Among 118 cases and 236 controls, we noticed that IL1 polymorphisms (IL1-RN-A2 and IL1-? -511) and IL10 polymorphism (-592A) were associated with DRESS.Ending, among 18 DRESS, a whole-genome array let us identify variations containing KLRC2 and CESP1 genes. These studies demonstrate the implication of several genes involved in inflammation, antivirus response or drug metabolism in different drug HS.Fonctionnal studies are needed to confirm these results

Notre objectif est d'identifier un gène muté responsable d'une forme familiale de bloc de conduction cardiaque. Cette maladie, à transmission autosomique dominante, a été localisée sur le chromosome 19q13.3 dans un intervalle de 10 cM. L'étude de liaison nous a permis de réduire l'intervalle à 7 cM. Par l'approche de gènes candidats nous avons cherché des mutations dans les parties codantes de 9 gènes, mais aucune anomalie n'a été identifiée. Les données du séquençage du génome humain montrent qu'il y a plus de 100 gènes dans cet intervalle. Nous avons donc entrepris l'approche de la RDA (Representational Difference Analysis) afin de sélectionner les gènes spécifiquement exprimés dans les voies de conduction cardiaque, en supposant que le gène responsable de la maladie est exprimé spécifiquement dans ce tissu. Ce travail nécessite l'extraction spécifique des transcrits des voies de conduction cardiaque (impossible chez l'homme). Nous avons donc choisi de travailler sur le coeur de bovin. Nous avons réalisé toutes les étapes jusqu'à l'obtention des clones. Après séquençage et tri informatique, nous avons obtenus une quarantaine de clones correspondants seulement à une quinzaine de gènes dont la fonction et la localisation chromosomique sur le génome humain est connue. Nous avons vérifié la spécificité tissulaire par RT-PCR et la localisation cellulaire des transcrits spécifiques est testée par l'hybridation In Situ, en cours d'optimisation. En parallèle, nous avons localisé le syndrome de Kartagener lié à l'X en Xq21-q24 chez une famille française à un intervalle de 34 cM, et nous avons exclu deux gènes MID2 et AKAP28 comme gènes candidats.

La sténose valvulaire aortique (SVA) est une valvulopathie résultant en l'ouverture incomplète de la valve aortique. La calcification des feuillets associée au vieillissement est la cause la plus importante de la SVA. Sa pathogénèse implique des dépôts de lipoprotéines, de l'inflammation et de la calcification des feuillets. Notre étude vise à identifier les gènes associés à une prédisposition à la SVA afin de mieux comprendre les mécanismes sous-jacents à cette maladie et potentiellement identifier de nouvelles cibles thérapeutiques. Pour ce faire, nous avons recruté 190 patients avec SVA dégénérative et 192 témoins, appariés pour l'âge et le sexe, puis effectué une étude d’association par gènes candidats en utilisant des marqueurs génétiques polymorphiques (SNP). Les gènes candidats choisis incluent (1) ceux dont les polymorphismes ont été présumés associés à la SVA dans des études antérieures (APOB, APOE, ESR1, PTH et VDR) (2) des gènes dont les polymorphismes ont été significativement associés et validés pour quelques maladies inflammatoires (IL-10, TNFAIP3) ou pour le métabolisme lipidique (PCSK9, LDLR) dans des études d’association pangénomiques, et (3) des gènes impliqués dans la pathogénie de la SVA à partir d’études faites sur des modèles animaux en lien avec la calcification (BMP2, CCR5, CTGF, LRP5, MSX2, WNT3), le remodelage tissulaire (CTSS, MMP9) ou le métabolisme lipidique (SMPD1). Pour les gènes des groupes (1) et (2), nous avons utilisé les SNPs rapportés dans la littérature comme étant significativement associés. Pour le groupe (3), nous avons effectué une approche par «tagSNP» qui consiste à sélectionner un groupe de SNP capturant la variabilité génétique dans la région ciblée. Au total, 81 SNPs dans 18 gènes ont été testés. Nous avons trouvé une association nominale avec les gènes BMP2 (OR = 1.55, IC95%: 1.14-2.10, p = 0.004) et LRP5 (OR = 1.47, IC95%: 1.06-2.03, p = 0.023) après ajustement pour la maladie coronarienne. Les gènes BMP2 et LRP5, impliqués dans la calcification selon certains modèles expérimentaux, sont donc associés à la SVA. Ce travail devrait être validé dans une cohorte indépendante plus large dans un avenir rapproché et il pourrait être étendu à d’autres gènes. / Aortic valve stenosis (AVS) is a valvular heart disease caused by calcification leading to incomplete opening of the aortic valve. Calcification of valve leaflets associated with aging is the most common cause of AVS. AVS pathogenesis involves lipoprotein deposits, chronic inflammation and calcification of the aortic valve leaflets. Our study aims to identify genes associated with AVS in order to better understand its mechanisms and potentially identify new therapeutic targets. We recruited 190 cases with AVS of different severity and 192 controls matched for age and sex. Then we conducted a candidate gene association study using single nucleotide polymorphisms (SNPs). The candidate genes selected include: (1) those with polymorphisms putatively implicated in previous genetic association studies of AVS (APOB, APOE, ESR1, PTH and VDR); (2) those with validated associations to inflammatory diseases (IL-10, TNFAIP3) or lipid metabolism (LDLR ,PCSK9) in genome-wide association studies and, (3) genes impliated in AVS pathogenesis from studies with animal models and thought to be involved in calcification (BMP2, CCR5, CTGF, LRP5, MXS2, WNT3); tissue remodeling (CTSS, MMP9) or lipid metabolism (SMPD1). For the first two categories of genes, we tested the SNPs reported to be associated in the literature and, in the third category we used a tag-SNP approach which consists of selecting a subset of SNPs to capture variability in the target region. Finally, 81 SNPs in 18 genes were tested. We found a nominal association of BMP2 (OR=1.55, CI: 1.14 – 2.10, p=0.004) and LRP5 (OR=1.47, CI: 1.06 – 2.03, p=0.023) with presence of AVS after adjustment for coronary heart disease. The genes BMP2 and LRP5, which are known to be involved in calcification based on animal models, are associated with AVS. The result of the current study should be validated in a larger independent cohort in the near future and then, it could also be extended to the study of other genes.

En lien avec leur potentiel antioxydant, les composés phénoliques sont généralement associés à l'effet protecteur sur la santé d'une alimentation riche en fruits et légumes. Ils sont également fortement associés à la qualité organoleptique des cidres puisqu'ils affectent directement leur astringence, leur amertume, leur couleur et leurs arômes. Deux études ont récemment été publiées sur la détection de QTL des composés phénoliques des pommes de table. Aucune étude n'a encore été publiée pour les pommes à cidre, réputées pour leur forte teneur en composés phénoliques. L'objectif de cette thèse est d'identifier les régions génétiques impliquées dans la teneur en composés phénoliques d'une descendance de pommiers à cidre. Dans un premier temps, deux méthodes de quantification ont été développées et comparées en UHPLC-UV et UHPLC-MS/MS pour les principaux composés phénoliques du jus de pomme. Bien qu'il y ait des surestimations avec l'un des détecteurs pour certains composés, ces deux méthodes corrèlent très fortement. Des dosages ont également été réalisés sur fruit entier à l'INRA de Rennes. Une grande variabilité a été observée pour les fruits et les jus de cette descendance, représentative des principales variétés de pommes à cidre cultivées en Europe. 48 QTL ont été détectés sur neuf groupes de liaison (LG). Neuf clusters semblent particulièrement stables, indépendamment de l'année ou du matériel (fruit ou jus) étudié. Les enzymes de la biosynthèse des composés phénoliques et facteurs de transcription ont été ciblés pour l'identification des gènes candidats, réalisée au niveau des principaux QTL. Ces travaux proposent de nouvelles cibles pour la sélection assistée par marqueurs comme le QTL pour l'acide chlorogénique du LG17 pour l'amélioration des variétés de pommes à cidre

Le lambda calcul avec constructeurs (de Arbiser, Miquel et Rios) est une extension du lambda calcul avec un mécanisme de filtrage. Le filtrage à la ML y est décomposé en deux étapes: une analyse de cas sur des constantes (telle l'instruction «case» de Pascal), et une commutation de l'application avec la construction de filtrage. Cette règle de commutation entre deux constructions de natures différentes induit une géométrie de calcul surprenante, a priori incompatible avec les intuitions habituelles de typage. Cependant il a été montré que ce calcul est confluent, et vérifie la propriété de séparation (à la Böhm). Cette thèse propose un système de types du polymorphique pour ce calcul, et décrit ensuite un modèle de réalisabilité, qui adapte les candidats de réductibilité de Girard au lambda calcul avec constructeurs. La normalisation forte du calcul typé et l'absence d'erreur de filtrage lors de l'évaluation en découlent immédiatement. Nous nous intéressons ensuite à la sémantique du lambda calcul avec constructeurs non typé. Une notion générique de modèle catégorique pour ce calcul est définie, puis un modèle particulier (le modèle syntaxique dans la catégorie des PERs) est construit. Nous en déduisons un résultat de complétude. Enfin, nous proposons une traduction CPS du lambda calcul avec constructeurs dans le lambda calcul simplement typé avec paires. Le lambda calcul avec constructeurs peut ainsi être simulé dans un calcul bien connu, et cette traduction nous permet aussi de transformer tout modèle par continuation en modèle du lambda calcul avec constructeurs. Une équation catégorique caractéristique de ces modèles apparait alors, qui permet de construire des modèles non syntaxiques (dans les domaines) de Scott du lambda calcul avec constructeurs. / The lambda calculus with constructors was introduced by Arbiser, Miquel and Rios in the early 2000's as an extension of lambda calculus with pattern matching features. It decomposes the pattern matching à la ML into a case-analysis on constant constructors (in the spirit of the case instruction in Pascal), and a commutation rule between case construction and application. This commutation rule between two different kinds of constructions designs a surprising computational behaviour, a priori} not compatible with usual typing intuitions. However the whole calculus was proved confluent, and it enjoys the separation property (a version of Böhm's lemma).In this thesis we propose a polymorphic type system for this calculus, and we develop a realisability model, based on Girard's reducibility candidates. This leads to a strong normalisation result for the typed calculus, and guaranties that the type system prevents match failure. Next we focus on semantics for the untyped calculus. We first define a generic notion of models for the lambda calculus with constructors in Cartesian closed categories. We then establish the syntactic model in the category of PERs, and deduce a completeness result from it.Finally, we consider a translation of the lambda calculus with constructors into the pure lambda lambda calculus relying on continuation passing style techniques. This enables the simulation of the lambda calculus with constructors by a well known calculus, and provides a transformation of every continuation model into a model of the lambda calculus with constructors. Thereby a categorical equation characteristic of these models appears, which enables the construction of non syntactic models in Scott's domains.

Il existe peu d’études sur les facteurs qui expliquent les attitudes par rapport à l’éthique policière, et ce, particulièrement chez les futurs policiers. Effectivement, peu d’études ont été faites sur les candidats à la formation policière, étant donné la rareté des systèmes qui permettent l’étude des policiers avant qu’ils soient engagés par une organisation policière. Il existe donc peu d’études ayant testé un modèle multifactoriel pour identifier les facteurs associés à l’éthique policière chez cette catégorie de futurs policiers, et peu d’études en général qui ont reprises l’échelle d’éthique policière de (Hyams, 1990) et ses quatre sous-types identifiés par Alain (2011). Cette étude tente d’identifier les facteurs associés à l’éthique policière parmi le sexe, l’âge, le fait d’avoir un emploi dans le domaine, le fait d’avoir un membre de famille policier, l’intégrité, le respect des règles, la déviance organisationnelle au travail et la déviance interpersonnelle au travail chez les étudiants en troisième année du programme de Techniques policières. 293 étudiants ont été questionnés sur ces thèmes. Les résultats d’analyses obtenus à l’aide de modèles de régression linéaire multiple ayant pour but l’identification de facteurs associés à l’éthique policière générale et quatre sous-types de l’éthique policière révèlent des pistes de réflexion par rapport à l’utilisation de quatre types de données pour la sélection des candidats : des données qui informent sur les milieux dans lesquels les candidats évoluent à l’extérieur du programme de Techniques policières et des relations qu’ils entretiennent avec les gens qu’ils côtoient dans ces milieux, des données qui informent sur les caractéristiques sociodémographiques, des données qui informent sur les attitudes par rapport à l’intégrité générale et à l’éthique policière et des données qui informent sur les comportements déviants et criminels auto-rapportés des candidats. / Few studies have attempted to find associated factors to attitudes toward professional ethical behavior, especially among students of Police technology in Quebec colleges. Few studies have been done on applicants for police training, given the scarceness of systems that allow the study of police officers that have not yet been hired by a police organization. There are therefore few studies that have tested a multifactorial model to identify factors associated with attitudes toward professional ethical behavior within this particular population of future police officers, and few studies in general that have used Hyams’ scale of attitudes toward professional ethical behavior (1990) and its four subtypes identified by Alain (2011). This study identifies factors associated to attitudes toward professional ethical behavior among sex, age, having a job in security, having a family member in police, general integrity, general respect of rules, workplace organizational deviance and workplace interpersonal deviance among third year students in Police technology. 293 students were questioned on these themes. The results obtained with multiple linear regression models to identify the associated factors to attitudes toward general professional ethical behavior and four themes of attitudes toward professional ethical behavior reveal avenues for reflection in relation to the use of four data types for candidates selection: data that informs about the environments in which candidates evolve outside the Police technology program and the relationships they have with the people they come in contact with in these environments, candidate’s sociodemographic characteristics, attitudes towards general integrity and candidates’ self-reported deviant and criminal behavior.

L’amélioration génétique de la luzerne (Medicago sativa), une légumineuse fourragère autotétraploïde, pourrait bénéficier de l’allele mining. Cette méthode consiste à rechercher, dans la diversité naturelle, des allèles ayant potentiellement un effet sur le phénotype. Pour évaluer l’intérêt de cette stratégie qui exploite la diversité naturelle, cinq gènes impliqués dans des caractères sélectionnés ont été retenus : CAD1 et CCoaOMT (digestibilité), CONSTANS-like (rendement fourrager), NHX1 (tolérance à la salinité) et WXP1 (tolérance à la sécheresse). La diversité de ces gènes a été étudiée en séquençant 387 génotypes cultivés et 20 génotypes sauvages. L’analyse des données confirme la présence d’un goulot d’étranglement durant la domestication et la sélection de la luzerne. CONSTANS-like et WXP1 révèlent de nombreux variants alors que CAD1, CCoaOMT et NHX1 sont très peu variables. Des variants ayant un effet potentiel sur le phénotype ont été identifiés dans les zones de la séquence protéique qui sont conservées au sein des Faboideae. L’impact sur le phénotype de deux variants du gène CONSTANS-like a été étudié : Constans-634, à l’origine d’un codon stop prématuré et Constans-4111, situé dans une région conservée du gène. Pour cela des croisements ont été réalisés afin d’obtenir une descendance avec toutes les doses possibles (AAAA, AAAB, AABB, ABBB and BBBB) pour chaque mutation étudiée. Des marqueurs KASPar ont été développés afin de déterminer les doses de mutations chez les descendants. Aucun génotype homozygote muté pour Constans-634 n’a été détecté parmi les 1505 descendants. Ce variant a induit une floraison plus précoce de trois jours pour les génotypes portant trois doses d’allèle muté. Le variant Constans-4111 a induit un effet additif sur la hauteur de tige. Les génotypes homozygotes de type sauvage étaient en moyenne 11,8 cm plus petits que les génotypes homozygotes portant trois ou quatre doses du variant. L’intégration de la stratégie allele mining dans les schémas de sélection des espèces végétales autotétraploïdes hétérozygotes a été discutée. / Lucerne (Medicago sativa) is an autotetraploid forage legume, whose breeding could beneficiate from allele mining. This strategy is based on the natural diversity and consists in seeking alleles with a potential effect on the phenotype. The interest of this approach was evaluated by studying five genes of agronomic interest: CAD1 and CCoaOMT (digestibility), CONSTANS-like (forage yield), NHX1 (salt tolerance) and WXP1 (drought tolerance). The diversity of these five genes was evaluated by sequencing 387 genotypes of cultivated accessions and 20 genotypes of wild accessions. The results confirmed a bottleneck during lucerne domestication and selection. CONSTANS-like and WXP1 were very variable whereas CAD1, CCoaOMT and NHX1 contained very few variants. Variants with a potential strong impact on the phenotype were identified in conserved parts of protein sequence within the Faboideae. The impact on phenotype was studied for two mutations of the CONSTANS-like gene: constans-634, causing a premature stop codon and constans-4111, located in a conserved region of the gene. Genotypes carrying one to three doses of the mutations (AAAB, AABB and ABBB) were polycrossed in order to obtain offsprings with every allele combination (AAAA, AAAB, AABB, ABBB and BBBB). KASPar markers were developed to determine the mutation doses in offspring progeny. No homozygous genotype was found for constans-634 in the 1505 offspring progeny. This mutation induced a premature flowering of three days for the genotypes carrying three doses of the mutation. The mutation constans-4111 induced an additive effect on stem height and the homozygous genotypes without the variant where on average 11.8 cm shorter than homozygous genotypes carrying three or four doses of the variant. The application of allele mining strategy in plant schemes of heterozygous autotetraploid species was discussed.

La maladie de Parkinson (MP) est une affection neurodégénérative invalidante et incurable. Il est maintenant clairement établi que d’importants déterminants génétiques prédisposent à son apparition. La recherche génétique sur des formes familiales de la MP a mené à la découverte d’un minimum de six gènes causatifs (SNCA, LRRK2, Parkin, PINK1, DJ-1 and GBA) et certains, par exemple LRRK2, contiennent des variations génétiques qui prédisposent également aux formes sporadiques. La caractérisation des protéines codées par ces gènes a mené à une meilleure compréhension des mécanismes moléculaires sousjacents. Toutefois, en dépit de ces efforts, les causes menant à l’apparition de la MP restent inconnues pour la majorité des patients. L’objectif général des présents travaux était d’identifier des mutations prédisposant à la MP dans la population canadienne-française du Québec à partir d’une cohorte composée principalement de patients sporadiques. Le premier volet de ce projet consistait à déterminer la présence de mutations de LRRK2 dans notre cohorte en séquençant directement les exons contenant la majorité des mutations pathogéniques et en effectuant une étude d’association. Nous n’avons identifié aucune mutation et l’étude d’association s’est avérée négative, suggérant ainsi que LRRK2 n’est pas une cause significative de la MP dans la population canadienne-française. La deuxième partie du projet avait pour objectif d’identifier de nouveaux gènes causatifs en séquençant directement des gènes candidats choisis à cause de leurs implications dans différents mécanismes moléculaires sous-tendant la MP. Notre hypothèse de recherche était basée sur l’idée que la MP est principalement due à des mutations individuellement rares dans un grand nombre de gènes différents. Nous avons identifié des mutations rares dans les gènes PICK1 et MFN1. Le premier code pour une protéine impliquée dans la régulation de la transmission du glutamate tandis que le second est un des acteurs-clés du processus de fusion mitochondriale. Nos résultats, qui devront être répliqués, suggèrent que le séquençage à grande échelle pourrait être une méthode prometteuse d’élucidation des facteurs de prédisposition génétiques à la MP ; ils soulignent l’intérêt d’utiliser une population fondatrice comme les canadiens-français pour ce type d’étude et devraient permettre d’approfondir les connaissances sur la pathogénèse moléculaire de la MP. / Parkinson’s disease (PD) is a complex neurological disorder with significant genetic predisposing factors which are extremely heterogeneous. Investigations of familial forms of the disorder revealed causative mutations in six different genes, namely SNCA, LRRK2, Parkin, PINK1, DJ-1 and GBA, and functional analyses of these gene products pinpointed dysfunction of key molecular pathways involved in the neurodegenerative process of the disorder. Further sequencing and genome-wide association studies indicated that some of these genes, including LRRK2, also contain variants predisposing to sporadic forms of PD. Despite these significant breakthroughs, the vast majority of PD genetic predisposing factors remain unknown. Our goal was to identify mutations predisposing to PD in the French Canadian (FC) population from a cohort mostly composed of late-onset sporadic cases. We therefore sequenced the two exons of LRRK2 that contain most of the pathogenic mutations and we performed a case-control association study. Sequencing analysis did not reveal any reported or novel mutations and the case-control association study did not provide any positive signal, thus indicating that common variants in LRRK2 are unlikely to be a significant cause of late-onset PD in the FC population. Because of the allelic and non-allelic genetic heterogeneity observed for PD, we hypothesized that dozens of genes may carry rare pathogenic mutations. The second part of this research project was therefore aimed at identifying new PD causative genes by direct sequencing of genes functionally associated with the known causative gene pathways. Our screening uncovered several rare mutations likely pathogenic in the PICK1 and the MFN1 genes. PICK1 is involved in internalization of AMPA receptors whereas MFN1 is one of the core components of the mitochondrial fusion/fission machinery. Although these observations will need to be replicated, our findings support the previously suspected pathogenic role for glutamate excitotoxicity and imbalanced mitochondrial dynamics in Parkinson’s disease. They further emphasize the value of inbred populations in genetic studies of PD and provide new clues to the molecular pathogenesis of the disorder.

Cette thèse concerne la combinaison du lambda-calcul et de la réécriture, dont nous étudions principalement deux propriétés : la confluence et la normalisation forte. Nous commençons par étudier sous quelles conditions la combinaison d'une relation de réécriture conditionnelle confluente au lambda-calcul donne une relation de réécriture confluente. Ensuite nous nous intéressons aux preuves de normalisation forte de lambda-calculs typés utilisant la technique de réductibilité. Notre contribution la plus importante est une comparaison de diverses variantes de cette technique, utilisant comme outil de comparaison la manière dont ces variantes s'étendent à la réécriture et dont elles prennent en compte les types unions et les types existentiels implicites. Enfin, nous présentons un critère, basé sur un système de types contraints, pour la normalisation forte de la réécriture conditionnelle combinée au lambda-calcul. Notre approche étend des critères de terminaison existants qui utilisent des annotations de taille. C'est à notre connaissance le premier critère de terminaison pour la réécriture conditionnelle avec membres droits d'ordre supérieur qui prenne en compte, dans l'argument de terminaison, de l'information issue de la satisfaction des conditions des règles de réécriture / This thesis is about the combination of lambda-calculus with rewriting. We mainly study two properties: confluence and strong normalization. We begin by studying under which conditions the combination of a confluent conditional rewrite relation to the lambda-calculus leads to a confluent relation. Next, we study strong normalization proofs of typed lambda-calculi that use the reducibility technique. Our main contribution is a comparison of variants of this technique, with respect to how they extend to rewriting and how they handle union and implicit existential types. Finally, we present a termination criterion for the combination of conditional rewriting and lambda-calculus based on a constrained type system. Our approach, which extends known criteria that use sized types, is to our knowledge the first termination criterion for conditional rewriting with higher-order right-hand sides that takes into account in the termination argument some information generated by the satisfaction of the conditions of the rewrite rules