Ce manuscrit présente une réflexion sur la terminaison des systèmes de réécriture d'ordres supérieurs. Nous nous concentrons sur une méthode particulière, la terminaison à base de tailles. La terminaison à base de tailles utilise le typage pourdonner une approximation syntaxique à la taille d'un élément du langage. Notre contribution est double: premièrement, nous permettons d'aborder de manière structurée le problème de la correction des approches à base de taille. Pour ce faire, nous montrons qu'elle peut être traitée par une version de la méthode des annotations sémantiques. Cette dernière utilise des annotations sur les termescalculés à partir de la sémantique des sous-termes dans un certain prémodèle équationnel. Nous montrons la correction de notre approche par annotations sémantiques, ainsi que du critère qui permet de traiter le système annoté, et nous construisons un prémodèle pour le système qui correspond intuitivement à lasémantique du système de réécriture. Nous montrons alors que le système annoté passe le critère de terminaison. D'un autre côté nous modifions l'approche classique de la terminaison à base de tailles et montrons que le système modifiépermet une analyse fine du flot de contrôle dans un langage d'ordre supérieur. Ceci nous permet de construire un graphe, dit graphe de dépendance approxime, et nous pouvons montrer qu'un critère syntaxique sur ce graphe suffit à montrer la terminaison de tout terme bien typé / The present manuscript is a reflection on termination of higher-order rewrite systems. We concentrate our efforts on a particular approach, size-based termination. This method uses typing to give a syntactic approximation to the size of an element of the language. Our contribution is twofold: first we give a structured approach to proving the correctness of size-based termination. To do this, we show that it is possible to apply a certain version of semantic labelling. This technique uses annotations on terms computed using the semantics of subterms in a certain equational premodel. We show correctness of our labelling framework and of the criterion that allows us to prove termination of the labelled system, and we build a premodel of the rewrite system that intuitively corresponds to the rewrite system. We show that the system labelled using these semantics passes the termination criterion. Furthermore we show that a modification of the classical size-types approach allows us to perform a fine control-flow analysis in a higher-order language. This allows us to build an approximated dependency graph, and show that if a certain syntactic criterion issatisfied by the graph, then all well-typed terms are terminating

Cette thèse cherche à évaluer la politique de développement mise en œuvre par les autorités mongoles entre 1990 et 2016. Elle s’articule autour de la question de recherche suivante : Entre « malédiction des ressources », sinophobie et dépendance, comment la Mongolie démocratique et libérale fait-elle face au défi du développement économique pour préserver son indépendance et sa souveraineté et éviter d'être « transformée en une simple annexe de matières premières » pour la Chine ? À travers ce prisme, cette thèse ambitionne de rendre compte du processus de transition suivi par la Mongolie après 1990. L’objectif est de proposer une description du nouveau système politico-économique qui a vu le jour, donc des spécificités de son capitalisme. Outre cette contribution aux études mongoles, cette thèse entend également permettre de mieux comprendre les défis auxquels sont confrontés les États riches en matières premières dans leur processus de développement. Enfin, elle entend contribuer à expliquer les mécanismes qui ont conduit à la divergence observée dans les processus de transitions politique et économique des pays postsocialistes. / This dissertation evaluates the development policy implemented by Mongolia between 1990 and 2016. It is built around the following research question: “Between “resources curse”, sinophobia and dependency, how is the new democratic and liberal Mongolia facing the economic development challenge to preserve its independence and sovereignty and to avoid being turned “into a raw materials appendage” to China?”. Through this question, the dissertation will describe the development path followed by Mongolia after 1990. The objective is to propose a description of the new politico-economic system that has emerged, that is the specificities of its capitalism. Apart from this contribution to Mongolian studies, this dissertation will also help to understand the challenges that resource-rich countries are facing in their development process. Finally, this dissertation is proposing a new contribution to understand the reasons that led to a divergence in the economic and political transition processes followed by post-socialist countries after 1990.

Le vieillissement de la population et la forte prévalence des incapacités qui lui est associée invitent à s’interroger sur les modes d’accompagnement de la perte d’autonomie. Tandis que l’aide reçue par les personnes âgées dépendantes provient majoritairement de leurs proches, les politiques publiques françaises favorisent le recours à l’aide professionnelle, dite aide formelle, pour les personnes résidant à domicile. Cette thèse se propose d’étudier les configurations d’aides formelles et informelles pour les personnes âgées en perte d’autonomie. Sous quelles conditions les individus ont-ils recours à l’aide professionnelle, et comment se détermine leur niveau de consommation ? Comment les producteurs d’aide familiale et professionnelle s’adaptent-t-ils aux contraintes de production qui leur sont propres ? Les quatre chapitres de cette thèse étudient empiriquement ces questions dans le contexte français. Mobilisant le cadre micro-économique et les outils économétriques, ils s’appuient sur des données d’enquête, des données administratives et des fichiers de gestion d’un service d’aide à domicile. Le premier chapitre porte sur l’aide apportée par les enfants à un parent âgé dépendant. Le deuxième chapitre étudie l’élasticité-prix de la demande d’aide formelle. Le troisième chapitre analyse comment le financement public de la demande et la régulation de l’offre affectent la décision de consommer de l’aide professionnelle. Le quatrième chapitre s’intéresse enfin aux coûts de transport des services d’aide professionnelle, comme contrainte de production pesant sur l’organisation de l’offre. Les résultats montrent que la demande d’aide est relativement peu sensible au prix de l’aide professionnelle, tandis que la régulation de l’offre affecte plus notablement les configurations d’aide. / In a context of population ageing, the demand for long-term care is rising. While relatives remain the major source of care provision for disabled elderly, most OECD countries tend to foster the use of professional care, also called formal care, when individuals live at home. This thesis studies the determinants of home care arrangements for the disabled elderly in the context of France. What are the determinants of formal care consumption, at both the extensive and intensive margins? How do formal and informal care providers adjust to their provision constraints? The four chapters present original empirical evidence on these questions in the French context. They build on micro-econometric frameworks and use national survey data, administrative data or management files from a professional provider. The first Chapter studies the care provided by children to a disabled elderly parent. The second Chapter estimates the price-elasticity of the demand for formal care. The third Chapter analyzes how the decision to consume formal care is affected by the generosity of the public financing and the regulation of home care providers. The fourth Chapter focuses on the travel costs borne by home-care providers and their effect on the home care provision. The demand for formal care is found to be fairly little sensitive to its price, while the regulation of the supply is more likely to affect care arrangements.

Le déclin physique et la dépendance sont deux composantes importantes du vieillissement. Dans cette thèse, à partir des études des Trois Cités-Dijon et Whitehall II, nous avons montré que le déclin physique, mesuré à travers le déclin de la vitesse de marche, était un bon marqueur du risque de dépendance ultérieure.Certaines personnes connaissent un déclin physique plus prononcé que d’autres ou deviennent dépendants. La deuxième partie de cette thèse s’emploie à identifier les comportements de santé pouvant expliquer cette hétérogénéité. L’inactivité physique, le tabagisme et une faible consommation de fruits et légumes chez les personnes âgées sont associés à un plus haut risque de dépendance. La diminution de l’activité physique, fumer ou arrêter de boire de l’alcool à l’âge adulte sont également associés à un risque plus élevé de dépendance à un âge plus avancé. Enfin, l’obésité et une prise ou une perte de poids importante sont associées chez les personnes âgées à un déclin plus prononcé des performances physiques.Ainsi, cette thèse a contribué à mettre en évidence les méfaits des habitudes de vie défavorables au cours du vieillissement. Il apparait donc primordial d’éduquer la population aux conséquences de leur mode de vie à tout âge sur leur qualité de vie une fois âgée / Physical decline and disability are two important components of ageing. In this thesis, based on the Trois Cités-Dijon et Whitehall II studies, we show that physical decline, measured through walking speed, is a good predictor of subsequent disability.Some people have a more pronounced physical decline than others or become disabled. The objective of the second part of this thesis was to identify health behaviours that could explain this heterogeneity. Physical inactivity, smoking, and low consumption of fruit and vegetables were associated in older people with a higher risk of disability. Moreover, decreasing physical activity, smoking, or stopping drinking alcohol in adulthood were also associated with a higher risk of disability in older people. Finally, obesity and increasing or decreasing weight are associated in older people with a faster decline of physical performances.This thesis has contributed to demonstrate the harmful effects of adverse lifestyle during ageing. It appears therefore important to educate people about the consequences of their lifestyle at any age on their quality of life once older

Au sein de la société babylonienne (actuel Irak) de la seconde moitié du premier millénaire avant Jésus, plusieurs modes d'organisation du travail coexistent : travail rémunéré, esclavage, différentes formes de dépendance. Ma thèse se concentre sur le statut et activités des esclaves et dépendant(e)s rattaché(e)s aux temples, ainsi que celui des déportés d'origine judéenne et ouest-sémitique déplacés de force en Mésopotamie par l'empire néo-babylonien lors de la conquête de la Syrie-­Palestine. Ces trois groupes sociaux ont pu être analysés comme étant soumis à des formes d'esclavage. Je tente une étude précise de leurs activités économiques, leur implication dans différents secteurs (agriculture, commerce, artisanat, construction), que ce soit en milieu rural ou urbain, tout en confrontant cela avec la documentation juridique et judiciaire disponible. Ainsi, je tente de montrer les frontières théoriques des statuts des esclaves, dépendant(e)s et déporté(e)s, mais aussi comment la seule lecture juridique est insuffisante pour cela. Ma thèse s'intéresse ainsi particulièrement à distinguer les hiérarchies socio-économiques présentes dans chacun de ces groupes de travailleurs afin de percevoir les dynamiques sociales qui se jouent. La constitution d'une classe de travailleurs intermédiaires (esclaves-agents, dépendants gestionnaires, déportés disposant de capital à investir ...) est un fait important à analyser de ce fait. Quelles possibilités de mobilité sociale et d'émancipation en Babylonie au premier millénaire avant J.-C. pour les membres de ces groupes? C'est l'enjeu de mon étude, pleinement inscrite dans l'histoire du travail. / Several modes of production exist in first millennium BCE Babylonia (modem Iraq): wage-labour, slavery, different forms of dependency. My thesis is mainly focused on the study of the status and the activities of slaves and temple dependants, with the addition of Judean and West Semite deportees, forced by the neo-Babylonian to live and work in Mesopotamia after the conquest of Syria-Palestine. These three social groups have been analysed as different forms of slavery in the historiography. My aim is for a precise study of their economic activities, their part in several economic sectors (agriculture, trade, craftsmanship, building) in rural and urban context. I try to put this in contrast with the available legal documentation. Therefore, I try to show the theoretical boundaries of the statuses of slaves, dependants and deportees and how their legal analysis isn't sufficient. My dissertation aims for revealing the hierarchies present inside those three groups of labourers and the social dynamics at play. The making of a class of intermediary workers (slave agents, dependants having an administrative position, deportees investing capital ... ) is an important historical fact needing an analysis. Are there possibilities for social mobility and emancipation in their favour in first millennium BCE Babylonia? Answering this is one objective of my study, grounded in the perspective of an history of labour.

Cette thèse porte sur l'analyse mathématique de modèles de compétition de plusieurs espèces microbiennes sur un seul nutriment dans un chémostat. L'objectif est de montrer la coexistence des espèces par divers mécanismes pour affirmer la biodiversité que l'on trouve dans les écosystèmes aquatiques et terrestres ainsi que dans les bioréacteurs. Nous nous somme intéressés principalement à trois mécanismes de coexistence :1- La compétition inter-spécifique entre les populations de micro-organismes et intra-spécifiques entre les individus de la même espèce.2- La floculation où l'espèce la plus compétitive inhibe sa propre croissance par la formation des flocs pour pouvoir coexister avec les autres espèces. En fait, ces bactéries en flocs consomment moins du substrat que les bactéries isolées puisqu'ils ont un moins bon accès au substrat, étant donné que cet accès au substrat est proportionnel à la surface extérieur du floc.3- La densité-dépendance dont le modèle peut être construit à partir du modèle de floculation en supposant que la dynamique de floculation est plus rapide que la croissance des espèces. Dans ce modèle densité-dépendant, le taux de croissance et le taux de prélèvement dépendent non seulement de la densité du substrat mais aussi de la densité de la biomasse.Enfin, nous avons étudié un modèle de digestion anaérobie à trois étapes avec dégradation enzymatique du substrat (matière organique) dont une partie peut être sous forme particulaire. L'analyse mathématique montre que ce modèle peut présenter la quadri-stabilité avec lessivage d'aucune, d'une ou de deux espèces selon la condition initiale. / This thesis focuses on the mathematical analysis of models of several species in competition on a single nutrient in a chemostat. The objective is to show the coexistence of microbial species by different mechanisms to affirm the biodiversity found in aquatic and terrestrial ecosystems as well as in bioreactors. We are interested mainly in three mechanisms of coexistence :1- The inter-specific competition between populations of micro-organisms and intra-specific between individuals of the same species.2- The flocculation where the species who wins the competition inhibits its growth by the formation of flocs to be able to coexist with the other species. In fact, these flocs consume less substrate than isolated bacteria since they have less access to the substrate, given that this access to the substrate is proportional to the outside surface of the floc.3- The density-dependence which the model can be construct from the flocculation model by assuming that the dynamics of flocculation is faster than the growth of the species. In this density-dependent model, the growth rate and removal rate depend not only on the density of substrate but also of the density of biomass.Finally, we studied a 3-step model of anaerobic digestion with enzymatic degradation of the substrate (organic matter) that can partly be under a solid form. The mathematical analysis shows that this model may exhibit the quadri-stability with washout of none, one or two species according to the initial condition.

Le présent travail s’intéresse à une sélection de pièces de Harold Pinter comprises entre Landscape (1968) et Ashes to Ashes (1996) et généralement regroupées par la critique sous le terme « pièces de la mémoire ». Si ces œuvres sont souvent évoquées en raison de leur préoccupation pour le passé et de leur qualité intime et méditative, une approche sous l’angle de la spectralité révèle en quoi elles dépassent une présentation du souvenir afin de mettre en lumière l’impact du passé sur le présent et, de manière plus générale, l’impact des vies sur d’autres vies. Grâce aux diverses manifestations spectrales, l’image du personnage pinterien solitaire et fonctionnant de manière autonome laisse place à une conception du sujet prenant en compte les rapports de dépendance et d’interdépendance le reliant à autrui.Dans une exploration de la dépendance par son négatif, une première partie examine les formes de ruptures instaurées par la spectralité, observant en quoi les fantômes s’inscrivent à première vue comme radicalement autres, à la frontière entre le visible et l’invisible, le passé et le présent, le représentable et l’irreprésentable. Toutefois, une seconde partie analyse en quoi la spectralité ne peut en fait se comprendre que comme profondément liée : ce qui paraissait étranger se révèle familier, l’absence se lit comme deuil et les obstacles à la représentation fonctionnent comme indices de la nature orectique du sujet. Une troisième partie analyse la vulnérabilité révélée au-delà de cette dépendance essentielle : en soulignant la passivité du corps et les échecs de la connaissance, la spectralité ne cesse de mettre en relief les limites du sujet. Pourtant, cette vulnérabilité n’est pas perçue comme paralysante mais au contraire comme le fondement possible d’une éthique dans laquelle le sujet prendrait en charge une responsabilité envers l’autre auquel il est inévitablement lié. / This study focuses on a selection of Harold Pinter’s plays, from Landscape (1968) to Ashes to Ashes (1996), commonly referred to by critics as “memory plays”. Their emphasis on the past and their meditative dimension is often commented on, but tackling these plays through the notion of spectrality reveals how they go beyond a representation of memory to highlight the impact of the past on the present as well as the impact of lives on other lives. The image of the solitary and independent Pinterian character gives way to the vision of a subject taking into account his/her dependence and interdependence and the links uniting him/her to others.The first part explores dependence through its opposite, rupture, looking at how ghosts may seem radically other, in between the visible and the invisible, past and present, representation and the failure of representation. Nevertheless, the second part suggests that spectrality can actually only be understood as necessarily linked: what seemed foreign is revealed as familiar, absence is perceived as loss and the obstacles to representation become clues hinting at the orectic nature of the individual. The third part focuses on the vulnerability revealed beneath dependence: by highlighting the limits of embodiment as well as of rational knowledge, spectrality repeatedly emphasizes the limitations of the subject. However, this vulnerability lays the foundation for an ethics in which the subject would accept to bear responsibility for the other to whom s/he is inevitably related.

Etre membre d'un réseau offre à l'entreprise un lieu, un espace d'échanges et de progression. C'est un moyen de valoriser ses savoir-faire et se différencier de ses concurrents. Une collaboration efficace mise en place entre les entreprises est avant tout fondée sur la confiance mutuelle. Selon les termes contractualisés du partenariat, les bénéfices voire les risques peuvent alors être partagés aboutissant à une relation gagnant-gagnant. Si au contraire les parties prenantes n'ont pas pris toute la mesure des conséquences de ces collaborations, elles peuvent se trouver dans des situations peu confortables mettant en danger la survie même des plus dépendantes d'entre elles. L'analyse du déséquilibre et des pouvoirs relatifs des partenaires au sein d'un réseau est une clé méthodologique pertinente pour comprendre le comportement de chaque membre et son influence sur le fonctionnement global. Un acteur puissant peut imposer des conditions défavorables à ses fournisseurs ou clients. Si une entreprise sur-estime ou sous-estime son pouvoir, elle pourrait affecter sa capacité de négociation avec le fournisseur ou le client. Dans ce contexte, la contribution majeure visée par nos travaux est l'élaboration d'une étude fondamentale mais surtout pratique sur le concept du pouvoir. Ainsi, nous proposons un cadre d'analyse et une boîte à outils permettant à une entreprise de comprendre le réseau d'influences l'englobant afin de réduire au maximum les impacts négatifs d'un déséquilibre des pouvoirs. Nous mettons au point une méthode d'analyse situationnelle conçue pour aider les gestionnaires à analyser les situations de collaboration lesquelles les acteurs seront impliqués, et à prédire leurs stratégies et tactiques plausibles. Nous proposons également une étude pour évaluer et comparer le pouvoir relatif entre deux acteurs sur la base de la dépendance. Une validation de nos résultats sur pouvoir a été réalisée via des interviews dans quatre entreprises du secteur higt tech au Maroc. Les résultats de nos recherches permettent d'apporter une contribution à la connaissance des enjeux théoriques et empiriques du Pouvoir / Being a menber of a network offers the company a place, s space for exchange and progression. This is a way to develop its expertise and distinguish it from other competitors. Effective collaboration established betqeen companies is primarily based on mutual trust. under the terms of the partnership contracted, benefits or risks can therefore be shared, which results in a xin-win relationship. on the contrary, unless the stakeholders have taken into account the powerful effects of these collaborations, thez may find themselves in uncomfortable situation. The analysis of the imbalance of powers of the partners in a network is a pertinent methodological key to understanding the behavior of each member and its influence on the global functioning of network. A powerful actor may impose unfavorable contions to its suppliers, or even customers Il a company overestimates or underestimates its power, il could affact its ability to negotiate with the supplier or the customer. In this context, our xork intends mainly to contribute to the development of a basic study of power. We propose an anlysis framework allowing a company to understand the power in order to reduce the negative impact of power imbalance. Additionally, we develop a situational analysis method with a vezwq to assisting managers in collaborative situations to predict their plausible strategies and tactics. We also provide a method to evaluate the relative power between two actors on the basis of dependency. Validation of our results research on power comes from interviews conductef in four high tech sector companies in Morocco. Thus, the results of our research aim to contribute to the understanding of the theoretical and empirical issues of power.

Ce travail étudie l'estimation de la réponse au remplissage vasculaire (RRV) des patients de soins intensifs ventilés par pression positive. Il propose des paramètres qui sont à même de déterminer, avant l'administration intraveineuse d'un soluté de remplissage si ce dernier a une chance raisonnable d'augmenter le débit cardiaque. A ce jour, les indices statiques n'ont pas fait la preuve de leur utilité pour prédire la RRV chez ce type de patients. A l'opposé, des indices dits dynamiques, se sont avéré précieux pour quantifier la RRV.<br> <br>Dans la première partie de ce travail nous exposons dans nos travaux que les indices dynamiques prédisent la RRV mieux que les indices statiques chez ce type de patients. <br><br>Dans la seconde et dernière partie, et à travers des études animales, nous mettons en évidence que ces mêmes indices ne prédisent pas la RRV en toutes situations. En effet, certains de ces marqueurs peuvent être décevants dans certaines conditions comme l'hypertension abdominale et/ou le SDRA ventilé de manière protectrice.

Etude de l'algèbre des relations en vue d'applications aux bases de données. Choix d'une formalisation générale; opérations de projection, recopie-projection, produit. Etude d'une décomposition simple et d'une décomposition généralisée