Cette thèse développe des techniques à base d'automates pour la vérification formelle de systèmes physiquement distribués communiquant via des canaux fiables de tailles non bornées. Chaque machine peut exécuter localement plusieurs programmes récursifs (multi-threading). Un programme récursif peut également utiliser pour ses calculs locaux des structures de données non bornées, comme des files ou des piles. Ces systèmes, utilisés en pratique, sont si puissants que tous leurs problèmes de vérification deviennent indécidables. Nous introduisons et étudions un nouveau paramètre, appelé largeur de coupe (split-width), pour l'analyse de ces systèmes. Cette largeur de coupe est définie comme le nombre minimum de scissions nécessaires pour partitioner le graphe d'une exécution en parties sur lesquelles on pourra raisonner de manière indépendante. L'analyse est ainsi réalisée avec une approche diviser pour régner. Lorsqu'on se restreint à la classe des comportements ayant une largeur de coupe bornée par une constante, on obtient des procédures de décision optimales pour divers problèmes de vérification sur ces systèmes tels que l'accessibilité, l'inclusion, etc. ainsi que pour la satisfaisabilité et le model checking par rapport à divers formalismes comme la logique monadique du second ordre, la logique dynamique propositionnelle et des logiques temporelles. On montre aussi que les comportements d'un système ont une largeur de coupe bornée si et seulement si ils ont une largeur de clique bornée. Ainsi, grâce aux résultats de Courcelle sur les graphes de degré uniformément borné, la largeur de coupe est non seulement suffisante, mais aussi nécessaire pour obtenir la décidabilité du problème de satisfaisabilité d'une formule de la logique monadique du second ordre. Nous étudions ensuite l'existence de contrôleurs distribués génériques pour nos systèmes distribués. Nous proposons plusieurs contrôleurs, certains ayant un nombre fini d'états et d'autres étant déterministes, qui assurent que les comportements du système sont des graphes ayant une largeur de coupe bornée. Un système ainsi contrôlé de manière distribuée hérite des procédures de décision optimales pour les différents problèmes de vérification lorsque la largeur de coupe est bornée. Cette classe décidable de système généralise plusieurs sous-classes décidables étudiées précédemment. / This thesis investigates automata-theoretic techniques for the verification of physically distributed machines communicating via unbounded reliable channels. Each of these machines may run several recursive programs (multi-threading). A recursive program may also use several unbounded stack and queue data-structures for its local-computation needs. Such real-world systems are so powerful that all verification problems become undecidable. We introduce and study a new parameter called split-width for the under-approximate analysis of such systems. Split-width is the minimum number of splits required in the behaviour graphs to obtain disjoint parts which can be reasoned about independently. Thus it provides a divide-and-conquer approach for their analysis. With the parameter split-width, we obtain optimal decision procedures for various verification problems on these systems like reachability, inclusion, etc. and also for satisfiability and model checking against various logical formalisms such as monadic second-order logic, propositional dynamic logic and temporal logics. It is shown that behaviours of a system have bounded split-width if and only if they have bounded clique-width. Thus, by Courcelle's results on uniformly bounded-degree graphs, split-width is not only sufficient but also necessary to get decidability for MSO satisfiability checking. We then study the feasibility of distributed controllers for our generic distributed systems. We propose several controllers, some finite state and some deterministic, which ensure that the behaviours of the system have bounded split-width. Such a distributedly controlled system yields decidability for the various verification problems by inheriting the optimal decision procedures for split-width. These also extend or complement many known decidable subclasses of systems studied previously.

Le stade terminal de l’insuffisance cardiaque peut nécessiter l’inscription en liste d’attente pour une greffe cardiaque. L’offre en greffon étant faible, l’accès à cette thérapeutique est priorisé pour les malades les plus graves dans le système d’allocation actuel, faisant de l’équité un enjeu éthique et sociétal important. L’objectif de cette thèse, grâce à des méthodes originales et de nouvelles sources de données, était d’analyser les déterminants d’accès à la greffe cardiaque liés aux candidats et aux équipes de greffe en France sur une période récente et d’apporter des éléments nouveaux sur le parcours de soin de ces malades. L’analyse du devenir des candidats à une greffe cardiaque inscrits entre 2010 et 2013 en intégrant la méthode de risques compétitifs a permis de dissocier le risque médical du risque induit par le système d’allocation actuel. Nous avons ainsi trouvé 7 facteurs relatifs au candidat associés à un risque de mortalité élevé dont 4 reliés à la sévérité de l’insuffisance cardiaque et 3 non spécifiques de l’insuffisance cardiaque mais associés à un faible accès à la greffe. La prise en compte de l’effet centre sur les inscrits entre 2010 et 2014 grâce à un modèle mixte de survie a permis de déterminer les facteurs équipe associés à l’accès à la greffe. Parmi les 23 équipes de greffe en France, l’ajustement sur les facteurs candidat et équipe, permettait d’observer que 5 équipes avaient des résultats différents des autres dont 3 avec un accès défavorisé. La mise en évidence de disparités médicales, géographiques et structurelles, révélatrices de failles dans le système actuel d’allocation des greffons cardiaques, nous a permis d’étayer la discussion sur la mise en place d’un nouveau système d’attribution en France. L’attribution au patient plutôt qu’à l’équipe de greffe devrait être plus pertinente. Les méthodologies utilisées permettront d’évaluer précisément ces répercussions. Enfin, l’étude du parcours hospitalier un an avant greffe (2010-2015) à l’aide des données du PMSI a permis de constater un nombre élevé d’hospitalisations pré-inscription majoritairement liées à leur défaillance cardiaque et de longue durée, confirmant le caractère réfractaire de ces insuffisants cardiaques. Ce travail sera poursuivi par une étude approfondie de la consommation de soins de ces malades grâce aux données du SNDS, indispensable étape pour évaluer la prise en charge et estimer les besoins en greffe cardiaque. / Heart transplantation (HTx) is the preferred option for medically refractory advanced heart failure. Due to the small number of available grafts, current allocation policy in France, as in many other countries, is based on the severity of the candidate’s heart disease. This Ph. D thesis was designed to determine candidate and center factors associated with access to heart transplantation in France and in-hospital care pathways one year before heart transplantation using appropriate methodologies and the national hospital database. We first analyzed 1-year mortality in patients listed for HTx in France from 2010 to 2013 using competing risk models in order to distinguish patient-related predictors and the influence of allocation policy. We then distinguished the proportions explained by candidate characteristics and center factors with the persistent between-center variability on 1-year access to transplantation (2010-2014). These disparities are mediated by the severity of the candidate’s heart disease, the allocation system and listing practices rather than by transplant activity. These findings provide a new contribution to improve the heart transplant allocation scoring system in France. The study based on the nationwide administrative database overcomes a major limitation of the national transplantation registry by shedding light on the healthcare pathway of heart transplanted recipients (2010-2015) during the year prior to transplantation. These findings will be useful to assess the medical benefits and criteria for registration on the heart transplant waiting list. This study will be continued by a detailed analysis of the healthcare consumption of these patients based on French national health insurance (SNDS) data.

Nous proposons de nouveaux algorithmes et de nouvelles structures de données pour la vérification formelle de systèmes réactifs finis sur architectures parallèles. Ces travaux se basent sur les techniques de vérification model checking. Notre approche cible des architectures multi-processeurs et multi-cœurs, avec mémoire partagée, qui correspondent aux générations de serveurs les plus performants disponibles actuellement.Dans ce contexte, notre objectif principal est de proposer des approches qui soient à la fois efficaces au niveau des performances, mais aussi compatibles avec les politiques de partage dynamique du travail utilisées par les algorithmes de génération d’espaces d'états en parallèle; ainsi, nous ne plaçons pas de contraintes sur la manière dont le travail ou les données sont partagés entre les processeurs.Parallèlement à la définition de nouveaux algorithmes de model checking pour machines multi-cœurs, nous nous intéressons également aux algorithmes de vérification probabiliste. Par probabiliste, nous entendons des algorithmes de model checking qui ont une forte probabilité de visiter tous les états durant la vérification d’un système. La vérification probabiliste permet des gains importants au niveau de la mémoire utilisée, en échange d’une faible probabilité de ne pas être exhaustif; il s’agit donc d’une stratégie permettant de répondre au problème de l’explosion combinatoire / In this thesis, we propose and study new algorithms and data structures for model checking finite-state, concurrent systems. We focus on techniques that target shared memory, multi-cores architectures, that are a current trend in computer architectures.In this context, we present new algorithms and data structures for exhaustive parallel model checking that are as efficient as possible, but also ``friendly'' with respect to the work-sharing policies that are used for the state space generation (e.g. a work-stealing strategy): at no point do we impose a restriction on the way work is shared among the processors. This includes both the construction of the state space as the detection of cycles in parallel, which is is one of the key points of performance for the evaluation of more complex formulas.Alongside the definition of enumerative, model checking algorithms for many-cores architectures, we also study probabilistic verification algorithms. By the term probabilistic, we mean that, during the exploration of a system, any given reachable state has a high probability of being checked by the algorithm. Probabilistic verification trades savings at the level of memory usage for the probability of missing some states. Consequently, it becomes possible to analyze part of the state space of a system when there is not enough memory available to represent the entire state space in an exact manner

Tableau d’honneur de la Faculté des études supérieures et postdoctorales, 2012-2013. / "Depuis plus d'un demi-siècle, la constitutionnalité du pouvoir fédéral de dépenser dans les champs de compétence des provinces est au coeur d'un vigoureux débat opposant le Québec et le reste du Canada. Ce pouvoir repose-t-il sur une assise juridique ? Est-il compatible avec la nature fédérative de l'ordre constitutionnel canadien ? À ces questions, il n'y a pas de réponses consensuelles, les discours divergent, jusqu'à présent, jamais la Cour suprême n'a été saisie de ces questions qui demeurent ouvertes. Mais quel est l'avenir de ce pouvoir controversé dans le fédéralisme canadien ? La santé, domaine par excellence où se manifeste le pouvoir de dépenser, pourrait devenir l'élément déclencheur d'une contestation judiciaire. Ce mémoire jette un éclairage sur la perspective d'un affrontement devant la Cour suprême, au regard de la question de la santé. Compte tenu des implications importantes de ce pouvoir et de son étendue, quel serait son verdict?"

La relation entre le risque de décès par cancer du poumon et l’exposition au radon est aujourd’hui établie, notamment à partir des études conduites chez les mineurs d’uranium. Mais de nombreuses interrogations persistent sur les risques de cancers extra-pulmonaires et de maladies non-cancéreuses, et sur l'impact sur la santé des autres expositions radiologiques professionnelles. L’objectif général de cette thèse est de contribuer à l’estimation des risques radio-induits aux faibles débits de dose au travers de l'analyse des risques de décès par cancer du rein et par Maladie de l'Appareil Circulatoire (MAC) chez les mineurs d’uranium.Les analyses du risque de décès par cancer du rein ont été réalisées au sein de la cohorte française des mineurs d'uranium (n=5 086 ; période de suivi : 1946-2007), la cohorte post-55 (n=3 377 ; période de suivi : 1957-2007) et la cohorte allemande de la Wismut (n=58 986; période de suivi : 1946-2003) au sein desquelles sont respectivement répertoriés 24, 11 et 174 décès par cancer du rein. L’exposition au radon et à ses descendants à vie courte (exprimée en Working Level Month WLM), aux poussières d’uranium (kBqh.m-3) et aux rayonnements gamma (mSv) a été estimée individuellement et la dose absorbée au rein a été calculée. La relation dose-réponse a été affinée par rapport à l'analyse classique en considérant deux types de réponse : le risque instantané de décès par cancer du rein (analyse classique, Cause-specific Hazard Ratio (CSHR) estimé avec le modèle de Cox) et sa probabilité d'occurrence au cours du suivi (Subdistribution Hazard Ratio (SHR) estimé avec le modèle de Fine & Gray). Un excès de mortalité par cancer du rein était observé dans la cohorte française (SMR = 1,62 IC95%[1,04; 2,41]), mais pas dans la cohorte post-55. Dans la cohorte de la Wismut, un déficit de mortalité par cancer du rein était observé (0,89 [0,78; 0,99]). Pour ces trois populations, aucune relation n'a pu être mise en évidence entre les expositions radiologiques (ou la dose au rein) et le risque de décès par cancer du rein (ex : CSHRWismut_radon/100WLM=1,023 [0,993; 1,053]), ni avec sa probabilité d'occurrence au cours du suivi (ex : SHRWismut_radon /100WLM=1,012 [0,983; 1,042]).L’étude du risque de décès par MAC dans la cohorte française a montré une augmentation significative du risque de décès par MAC (n=442, CSHR/100WLM=1,11 [1,01; 1,22]) et par Maladie CérébroVasculaire (MCeV, n=105, CSHR/100WLM=1,25 [1,09; 1,43]) avec l’exposition au radon. Une enquête cas-témoins nichée au sein de la cohorte a été mise en place pour recueillir dans les dossiers médicaux les facteurs de risque classiques de MAC (surpoids, hypertension, diabète...) pour 313 mineurs (76 décès par MAC (dont 26 par Cardiopathie Ischémique (CI) et 16 par MCeV) et 237 témoins). Pour les trois expositions radiologiques, la relation exposition-risque a été analysée au sein d'une pseudo-cohorte (obtenue en pondérant les observations par l'inverse de la probabilité de sélection, n=1 644 pseudo-individus) avec le modèle de Cox, en ajustant sur les différents facteurs de risque. L’association entre les expositions radiologiques et le risque de décès par MAC, CI ou MCeV n'était pas significative (ex : CSHRMAC_radon/100WLM=1,43 [0,71; 2,87]). La prise en compte des facteurs de risque ne modifiait pas sensiblement cette association.L'absence de relation dose-réponse significative suggère que l'excès de mortalité par cancer du rein chez les mineurs français serait induit par d'autres facteurs, non-disponibles pour cette analyse. La faible variation des coefficients avec l'ajustement sur les facteurs de risque de MAC dans l'enquête cas-témoins nichée soutient l'hypothèse de l'existence d'une augmentation du risque de MCeV dans la cohorte française associée à l’exposition au radon. La poursuite du suivi de la cohorte permettra d'affiner ces résultats. / The relation between lung cancer risk and radon exposure has been clearly established, especially from the studies on uranium miner cohorts. But the association between radon exposure and extrapulmonary cancers and non-cancer diseases remains not well known. Moreover, the health risks associated with the other mining-related ionizing radiation exposures are still under consideration. The aim of this thesis is to contribute to the estimation of the radio-induced health risks at low-doses through the analysis of the kidney cancer and Circulatory System Disease (CSD) mortality risks among uranium miners.Kidney cancer mortality risk analyses were performed from the French cohort of uranium miners (n=5086; follow-up period: 1946-2007), the post-55 cohort (n=3,377; follow-up period: 1957-2007) and the German cohort of the Wismut (n=58,986; follow-up period: 1946-2003) which included 24, 11 and 174 deaths from kidney cancer, respectively. The exposures to radon and its short-lived progeny (expressed in Working Level Month WLM), to uranium ore dust (kBqh.m-3) and to external gamma rays (mSv) were estimated for each miners and the equivalent kidney dose was calculated. The dose-response relation was refined considering two responses: the instantaneous risk of kidney cancer mortality (corresponding to the classical analysis, Cause-specific Hazard Ratio (CSHR) estimated with the Cox model) and its occurrence probability during the follow-up (Subdistribution Hazard Ratio (SHR) estimated with the Fine & Gray model). An excess of kidney cancer mortality was observed only in the French cohort (SMR = 1.62 CI95%[1.04; 2.41]). In the Wismut cohort, a decrease of the kidney cancer mortality was observed (0.89 [0.78; 0.99]). For these three cohorts, the occupational radiological exposures (or the equivalent kidney dose) were significantly associated neither with the risk of kidney cancer mortality (e.g. CSHRWismut_radon/100WLM=1.023 [0.993; 1.053]), nor with its occurrence probability during the follow-up (e.g. SHRWismut_radon /100WLM=1.012 [0.983; 1.042]).CSD mortality risk analyses in the French cohort showed a significant increase of the risks of mortality from CSD (n=442, CSHR/100WLM=1.11 [1.01; 1.22]) and from CerebroVascular Disease (MCeV, n=105, CSHR/100WLM=1.25 [1.09; 1.43]) with radon exposure. A case-control study nested in the French cohort was set up to collect the information related to CSD risk factors (overweight, hypertension, diabetes...) from the medical records of 313 miners (76 deaths from CSD (including 26 from Ischemic Heart Disease (IHD) and 16 from MCeV) and 237 controls). For the three radiological exposures, the exposure-risk relation was analyzed in a pseudo-cohort (n=1,644 pseudo-individuals, obtained from the weighting of the observations by their inverse selection probability) with the Cox model, adjusted for the CSD risk factors. The association between the radiological exposure and the risk of mortality from CSD, IHD or MCeV was not significant (e.g. CSHRCSD_radon/100WLM=1.43 [0.71; 2.87]). The adjustment for CSD risk factors did not substantially change the exposure-risk relation.The lack of a significant dose-response relation suggests that the excess of kidney cancer mortality among the French uranium miners may be induced by other risk factors, unavailable for this study. The small change of the coefficients observed after adjustment for CSD risk factors in the nested case-control study supports the assumption of the existence of the MCeV mortality risk increase associated with radon exposure in the French cohort of uranium miners. Future analyses based on further follow-up updates should allow to confirm or not these results.

La mise en place de Solvabilité II conduit les actuaires à s'interroger sur la bonne adéquation entre modèles et données. Aussi, cette thèse a pour objectif d'étudier plusieurs approches statistiques, souvent méconnues des praticiens, permettant l'utilisation de méthodes multi états pour modéliser et gérer les risques individuels en assurance. Le Chapitre 1 présente le contexte général de cette thèse et permet de faire positionner ses principales contributions. Nous abordons les concepts de base liés à l'utilisation de modèles multi-états en assurance et décrivons les techniques d'inférence classiques adaptées aux données rencontrées, qu'ils soient markoviens ou non-markoviens. Pour finir, nous présentons comment il est possible d'utiliser ces modèles pour la gestion des risques de crédit. Le Chapitre 2 se concentre sur l'utilisation de méthodes d'inférence non-paramétriques pour la construction de lois d'incidence en assurance dépendance. Puisque plusieurs causes d'entrée sont susceptibles d'intervenir et d'intéresser les actuaires, nous nous concentrons sur une méthode utilisée pour l'estimation de modèles multi-états markoviens en temps continu. Nous comparons, dans un second temps, ces estimateurs à ceux utilisés classiquement par les praticiens tires de l'analyse de survie. Cette seconde approche peut comporter des biais non négligeables car ne permettant pas d'appréhender correctement l'interaction possible entre les causes. En particulier, elle comprend une hypothèse d'indépendance ne pouvant être testée dans le cadre de modèles à risques concurrents. Notre approche consiste alors à mesurer l'erreur commise par les praticiens lors de la construction de lois d'incidence. Une application numérique est alors considérée sur la base des données d'un assureur dépendance / With the implementation of the Solvency II framework, actuaries should examine the good adequacy between models and data. This thesis aims to study several statistical approaches, often ignored by practitioners, enabling the use of multi-state methods to model and manage individual risks in insurance. Chapter 1 presents the general context of this thesis and positions its main contributions. The basic tools to use multi-state models in insurance are introduced and classical inference techniques, adapted to insurance data with and without the Markov assumption, are presented. Finally, a development of these models for credit risk is outlined. Chapter 2 focuses on using nonparametric inference methods to build incidence tables for long term care insurance contracts. Since there are several entry-causes in disability states which are useful for actuaries, an inference method for competing risks data, seen as a Markov multi-state model in continuous time, is used. In a second step, I compare these estimators to those conventionally used by practitioners, based on survival analysis methods. This second approach may involve significant bias because the interaction between entry-causes cannot be appropriately captured. In particular, these approaches assume that latent failure times are independent, while this hypothesis cannot be tested for competing risks data. Our approach allows to measure the error done by practitioners when they build incidence tables. Finally, a numerical application is considered on a long term care insurance dataset

Les applications data-intensive sont largement utilisées au sein de domaines diverses dans le but d'extraire et de traiter des informations, de concevoir des systèmes complexes, d'effectuer des simulations de modèles réels, etc. Ces applications posent des défis complexes tant en termes de stockage que de calcul. Dans le contexte des applications data-intensive, nous nous concentrons sur le paradigme MapReduce et ses mises en oeuvre. Introduite par Google, l'abstraction MapReduce a révolutionné la communauté data-intensive et s'est rapidement étendue à diverses domaines de recherche et de production. Une implémentation domaine publique de l'abstraction mise en avant par Google a été fournie par Yahoo à travers du project Hadoop. Le framework Hadoop est considéré l'implémentation de référence de MapReduce et est actuellement largement utilisé à des fins diverses et sur plusieurs infrastructures. Nous proposons un système de fichiers distribué, optimisé pour des accès hautement concurrents, qui puisse servir comme couche de stockage pour des applications MapReduce. Nous avons conçu le BlobSeer File System (BSFS), basé sur BlobSeer, un service de stockage distribué, hautement efficace, facilitant le partage de données à grande échelle. Nous étudions également plusieurs aspects liés à la gestion des données intermédiaires dans des environnements MapReduce. Nous explorons les contraintes des données intermédiaires MapReduce à deux niveaux: dans le même job MapReduce et pendant l'exécution des pipelines d'applications MapReduce. Enfin, nous proposons des extensions de Hadoop, un environnement MapReduce populaire et open-source, comme par example le support de l'opération append. Ce travail inclut également l'évaluation et les résultats obtenus sur des infrastructures à grande échelle: grilles informatiques et clouds.

Partant du constat que le pronom IT connaît, en anglais contemporain, une grande richesse d'emplois, cette thèse propose une étude de IT référentiel et vise à examiner ses fonctions, son positionnement phrastique et son pouvoir référentiel. Ce pronom occupe toutes les places syntaxiques au sein de la phrase. Il a la spécificité de renvoyer à une entité beaucoup plus complexe qu'un groupe nominal. De plus, le rapport de IT avec ses antécédents est au cœur de cette étude qui examine aussi les différents facteurs jouant un rôle dans l'identification du bon référent où la présence textuelle ou situationnelle d'un antécédent n'est pas une condition nécessaire pour que le pronom soit référentiel. Un traitement global de tous les emplois référentiels de IT est proposé, car quelle que soit la place de l'objet désigné par IT, cet objet appartient à la mémoire commune du locuteur et de l'allocutaire.

Afin de mieux connaitre puis d'optimiser les trajectoires suivies par les patients arrivés au stade terminal de leur insuffisance rénale chronique, il a été nécessaire de mettre au point des outils permettant de modéliser ces trajectoires complexes. Les différentes modalités de traitement n'ont pas été comparées une à une mais une approche globale a été privilégiée tenant compte d'une vision intégrée où les modalités de traitement sont considérées comme complémentaires et non concurrentielles. Ce travail de modélisation a utilisé des modèles à compartiments avec prise en compte de risque concurrents et un modèle de mélange pour données de survie avec fraction non à risque. Les paramètres des modèles ont été estimés à partir des données du registre du Réseau Épidémiologie et Information en Néphrologie (REIN). L'outil de prédiction développé a également pu être alimenté par les données de remboursement de l'assurance maladie (SNIIRAM) sur l'année 2009. Cette première version de l'outil a permis d'évaluer les conséquences en termes d'espérance de vie restreinte à 15 ans et de coût moyen par mois de différentes stratégies simulées de prise en charge des patients en IRCT dans le cadre d'une analyse médico-économique, en partenariat avec la Haute Autorité de Santé. L'objectif final de ce travail sera de proposer des outils d'aide à la décision reposant sur des stratégies de prise en charge les mieux adaptées aux besoins des patients. A terme, les outils développés lors de ce travail pourraient également servir de base à une plateforme de simulation afin d'accompagner les décideurs publics lors de la réflexion sur les schémas d'organisation sanitaire / In order to better understand and then optimize the trajectories followed by end-stage renal disease patients, it was necessary to develop tools to model these complex trajectories. The different treatment modalities were not compared but a comprehensive approach was preferred taking into account an integrated vision where treatment modalities are considered complementary and non-competitive. We used compartments models which took into account competitive risk and a mixture model for survival with fraction not at risk. The model parameters were estimated from the data from the Renal Epidemiology and Information Network registry. Reimbursement data from the national health insurance (SNIIRAM) were also used. The prediction tool developed was used to evaluate the consequences in terms of expected 15- years restricted lifetime and average cost per month for different strategies in a medicoeconomic analysis, in partnership with the Haute Autorité de Santé. The final aim of this work is to offer decision support tools based on strategies best adapted to patients’ needs. The tools developed in this work could also serve as a basis for a simulation platform to accompany public decision-makers in their reflection on health organization

Cette thèse étudie quelques problèmes d’identification et d’estimation dans les modèles de survie bivariée, avec présence d’hétérogénéité individuelle et des facteurs communs stochastiques.Chapitre I introduit le cadre général.Chapitre II propose un modèle pour la mortalité des deux époux dans un couple. Il permet de distinguer deux types de dépendance : l’effet de deuil et l’effet lié au facteur de risque commun des deux époux. Une analyse de leurs effets respectifs sur les primes d’assurance écrites sur deux têtes est proposée.Chapitre III montre que, sous certaines hypothèses raisonnables, on peut identifier l’évolution jointe du risque d’entrer en dépendance et du risque de mortalité, à partir des données de mortalité par cohortes. Une application à la population française est proposée.Chapitre IV étudie la queue de distribution dans les modèles de survie bivariée. Sous certaines hypothèses, la loi jointe des deux durées résiduelles converge, après une normalisation adéquate. Cela peut être utilisé pour analyser le risque parmi les survivants aux âges élevés. Parallèlement, la distribution d’hétérogénéité parmi les survivants converge vers une distribution semi-paramétrique. / This thesis comprises three essays on identification and estimation problems in bivariate survival models with individual and common frailties.The first essay proposes a model to capture the mortality dependence of the two spouses in a couple. It allows to disentangle two types of dependencies : the broken heart syndrome and the dependence induced by common risk factors. An analysis of their respective effects on joint insurance premia is also proposed.The second essay shows that, under reasonable model specifications that take into account the longevity effect, we can identify the joint distribution of the long-term care and mortality risks from the observation of cohort mortality data only. A numerical application to the French population data is proposed.The third essay conducts an analysis of the tail of the joint distribution for general bivariate survival models with proportional frailty. We show that under appropriate assumptions, the distribution of the joint residual lifetimes converges to a limit distribution, upon normalization. This can be used to analyze the mortality and long-term care risks at advanced ages. In parallel, the heterogeneity distribution among survivors converges also to a semi-parametric limit distribution. Properties of the limit distributions, their identifiability from the data, as well as their implications are discussed.