De nos jours, de multiples travaux de recherches s’intéressent au secteur du logiciel libre (ou Open Source). Ceux-ci ont pour la plus part traité la question de la motivation des développeurs dans la dynamique de création collective de la valeur. Notre travail vient à la suite de la forte industrialisation de cette activité, qui attire des acteurs guidés principalement par la perspective de la captation de valeur économique, dans un contexte de faible degré d’appropriation de valeur puisque les droits de propriété sont proscrits pour les logiciels Open Source. Cette situation bouscule les principes de base et l’identité des projets Open Source remettant ainsi en cause la pérennité des Business Models (BM).Notre étude met en lumière le BM, non pas comme un outil, mais comme un ensemble de phases au cours desquelles la pérennité doit être analysée et anticipée. Nous avons aussi mis en avant la nécessité d’analyser la pérennité dans l’Open Source sur quatre dimensions ou niveaux (pérennité des logiciels, pérennité des entreprises éditrices de logiciel open source, pérennité des communautés Open Source et pérennité des données). Par la suite, grâce à notre démarche qualitative basée sur trois études de cas et sur 52 entretiens semi-directifs, nous avons pu identifier des points de tension et mis en évidence leurs impacts sur la pérennité des BM Open Source lors des phases de création, de captation et de partage de la valeur. C’est ainsi qu’il est ressorti comme risques, le détournement de la valeur et le comportement de free rider développé par les acteurs pour tenter de renforcer l’appropriabilité de la valeur. Cela passe d’une part par les tentatives de rétention de connaissances et d’autre part, par la nécessité de maintenir en interne les capacités intellectuelles détenues principalement par les développeurs. Cela pose les dilemmes entre ouverture/fermeture et rétention/diffusion. Nous exposons pour finir dans ce travail des éléments qui ressortent comme étant déterminants pour la pérennité des BM Open Source. / Nowadays, several research works are interested in the free software industry (or Open Source). Most of them have addressed the issue of developers’ motivation in a dynamic collective creation of value. Our work therefore comes as a result of the heavy industrialization of this activity, which attracts software developers primarily guided by the desire of creating economic value, in a context of low levels of ownership value, as property rights are prohibited for Open Source software. This disrupts the basic principles and identity of Open Source projects and therefore questions the sustainability of business models (BM).Our study highlights the BM, not as a tool, but as a series of steps in which sustainability should be analyzed and anticipated. We’ve also emphasized on the need to analyze the sustainability in Open Source in four dimensions or levels (the sustainability of open source software, sustainability of companies creating such freeware, Open Source communities and data’ sustainability). Subsequently, through our qualitative approach based on three case studies and 52 semi-structured interviews, we were able to identify some points of tension and highlighted their impact on the sustainability of Open Source BM during their phases of creation, capturing and sharing of value. Thus it has emerged some risks such as, the diversion of value and the free rider behavior developed by actors who try to strengthen appropriateness of value. This requires on one hand some knowledge retention efforts and on the other hand, the need to maintain internal intellectual capacity primarily held by developers. This creates dilemmas between opening and closing; retention and release. Finally we explain in this work element that stands out as critical to the sustainability of Open Source BM.

Une nouvelle théorie du cancer s’est récemment imposée dans la communauté scientifique. Selon cette dernière, les cancers se développeraient à partir d’une sous-population bien particulière de cellules cancéreuses, appelées « cellules souches cancéreuses » (CSC). Les partisans de la théorie des CSC soutiennent que les rechutes seraient causées par ces cellules, plus aptes à échapper aux thérapies classiques. En conséquence, ils soutiennent que l’élimination de toutes les CSC, dans un cancer donné, est nécessaire et suffisante pour guérir le patient. Dans cette thèse, je propose d’examiner cette stratégie thérapeutique de ciblage des CSC et je montre que sa capacité à guérir les cancers dépend de la façon dont on envisage la nature de la propriété souche. En effet, les cellules souches cancéreuses sont définies par la possession de la propriété souche, c’est-à-dire par leur capacité à s’auto-renouveler et à se différencier. Cependant, cette propriété elle-même reste obscure quant à sa nature. S’agit-il d’une propriété catégorique ou d’une disposition ? Une cellule non-souche (cancéreuse ou non) peut-elle acquérir la propriété souche et sous quelle condition ? En me basant sur une analyse de la littérature scientifique, je montre que quatre conceptions distinctes de la nature de la propriété souche sont aujourd’hui possibles et que, si la théorie des CSC est vraie, déterminer la nature exacte de la propriété souche est capital pour le traitement des cancers. / A new theory of cancer has recently gained importance in the scientific community. According to this theory, cancers develop from a particular sub-population of cancer cells, named “cancer stem cells” (CSCs). The proponents of the CSC theory argue that relapses are caused by CSCs because they escape classical therapies. Consequently, they claim that eliminating all the CSCs of a given cancer is a necessary and sufficient condition to cure the patient. In this dissertation, I scrutinize this therapeutic strategy and I argue that its ability to cure cancers will depend on our understanding of the nature of stemness. Indeed, cancer stem cells are characterized by this property, that is, the capacity to self-renew and to differentiate. However, the nature of stemness is rather obscure. Is it a categorical property or a disposition? Can a non-stem cell (cancerous or not) acquire stemness, and under which conditions? On the basis of analysis survey of the scientific literature, I distinguish four possible concepts of the nature of stemness. I contend that if the CSC theory is true, determining the exact nature of stemness is essential for cancers treatments.

Cette recherche s’intéresse à la construction des ressources énergétiques renouvelables et, chemin faisant, à celle de la soutenabilité de la transition énergétique dans la filiation des travaux de la nouvelle géographie des ressource (Bridge, Castree). La thèse défendue est que la ressource énergétique émerge d’un ensemble de relations construites entre une source d’énergie et une perspective de valeur qui lui est progressivement associée. Ainsi, les qualités de la ressource énergétique ne sont pas données par les caractéristiques physiques de la source d’énergie (e.g. le rayonnement solaire abondant et diffus) mais par les relations (matérielles, sociales et spatiales) qui se tissent autour de cette source pour l’associer à des matérialités (e.g. le réseau électrique, la toiture, le paysage) dans une perspective de valorisation. En cela, la soutenabilité des énergies renouvelables est présentée comme une qualité relationnelle qui émerge en même temps que se structure le « milieu associé » (Simondon) de projets photovoltaïques.La thèse s’organise autour d’une enquête sur l’émergence de projets photovoltaïques coopératifs (i.e. les centrales villageoises), en région Rhône Alpes, qui proposent de construire la ressource solaire de manière collective et multidimensionnelle (e.g. paysage, partage de valeur), dans le contexte du début des années 2010. L’enquête montre que ces projets se nourrissent des héritages (e.g. des réseaux d’acteurs, de compétences, de visions politiques) d’un ensemble de projets énergétiques pionniers développés en Rhône-Alpes des années 1970 aux années 1990, héritages grâce auxquels ces collectifs apprennent à composer avec une politique nationale du photovoltaïque qui leur est peu favorable. Leur contribution à la construction de ressources solaires soutenables repose sur la capacité de ces collectifs à constamment s’adapter pour dépasser les épreuves qu’ils rencontrent. / This research deals with the construction of renewable energy resources, and along the way, the construction of the energy transition sustainability in the wake of the new geography of resources (Bridge, Castree). It is argued that an energy resource emerges from a set of relations woven between an energy source and a value perspective progressively associated to it. Thus, resource qualities are not given by the physical characteristics of the energy source (e.g. the diffuse and abundant solar radiation) but by the relations (material, social, spatial) woven around this source to associate it to several materialities (e.g. the electric grid, the roofs, the landscape) in order to construct its value. Within this framework, the energy resources sustainability is presented as a relational quality that emerges while the “associated milieu” (Simondon) of photovoltaic projects is structured.The thesis is organized around an inquiry about the emergence within the Rhône-Alpes region of photovoltaic cooperative projects (i.e. the “centrales villageoises”) that try to construct the solar energy resource in a collective and multidimensional manner (e.g. landscape, value redistribution) in the context of the early 2010s. The inquiry underlines that these projects relies on heritages (e.g. networks of actors, skills and political visions) from a series of pioneering energy projects developed in Rhône-Alpes between the 1970s and the 1990s. Through these heritages, the collectives learn to deal with a national photovoltaic policy that does not seem favourable for them. Their contribution to the construction of sustainable energy resources rests on the ability of these collectives to constantly adapt themselves to overcome the many trials they face.

Le secteur touristique souffre de plus en plus des départs de clients insatisfaits suite aux dysfonctionnements de services vécus. De nombreux établissements de services, attachent encore, peu d’importance à la gestion des réclamations en raison des moyens financiers qu’elles suscitent. Or, une gestion efficace de la réclamation pourrait transformer un client insatisfait en un client plus confiant et engagé. Notre recherche s’est intéressée à l’identification des critères d’évaluation sur lesquels les réclamants se basent pour juger la gestion de la réclamation, et à l’impact de cette évaluation sur la qualité de la relation établie avec l’établissement touristique. Pour ce faire une étude qualitative exploratoire suivie d’une étude quantitative ont été réalisées.Après avoir examiné la revue de la littérature, nous nous sommes focalisés sur les théories de la justice perçue lors de l’évaluation de la gestion de la réclamation. En outre, nous avons mobilisé les dimensions de la confiance et de l’engagement comme critères de jugement de la qualité relationnelle perçue. Les résultats de notre étude montrent l’existence d’un impact positif et significatif de quelques critères de la justice perçue (jugés par les réclamant comme étant les plus importants) sur la satisfaction post-réclamation et la qualité relationnelle perçue. Ces critères sont essentiellement l’équité du résultat accordé par l’établissement (ex : compensation accordée), l’empathie et la politesse développées par le personnel en contact, et la rapidité du traitement de la réclamation. / The tourist sector is suffering more and more from the departure of the unsatisfied customers after experienced service failures. Several services companies, still attach, few importance to complaint handling because of financial funds needed. However, an efficient complaint handling management could transform a dissatisfied customer to a more confident and committed customer. Our research was interested in the identification of the appraisal criteria on which claimants base to judge complaint handling and the impact of this evaluation on the quality of the relationship established with the tourist establishment. Consequently, a qualitative study followed by a quantitative study has been accomplished. After examining the literature review, we focused on the perceived justice theory to evaluate the complaint handling. Besides, we used trust and commitment dimensions as a criteria of judgment of the perceived relationship quality (Morgan et Hunt, 1994).The outcomes of our study show the existence of a positive significant impact of some criteria of the perceived justice (considered by consumers as the most important), on recovery satisfaction and perceived relationship quality. These criteria are mainly equity of the result provided by the establishment (Ex. Compensation provided), empathy and politeness developed by the front line staff, and the quickness of the complaint treatment.

Cette thèse est une contribution à l’étude des relations de parenté inuit. Elle présente une ethnographie et une analyse des pratiques relationnelles contemporaines dans le village arctique de Sanikiluaq (Nunavut). Elle vise plus particulièrement à comprendre le processus de production, de pratique et d’interruption du lien de parenté dans une communauté travaillée par le contexte sociohistorique des sociétés inuit canadiennes du début du 21e siècle ; elle met ainsi en regard le contexte historique de l’archipel des îles Belcher, les enjeux électifs travaillant les pratiques relationnelles contemporaines et les identités relationnelles de leurs acteurs pour accéder à une compréhension du sens de la parenté inuit refusant de postuler la flexibilité de l’organisation sociale comme une réponse culturelle satisfaisante à la question de la nature de la parenté.Sur le fond du contexte historique ayant déterminé la formation récente du village de Sanikiluaq, la première partie (chapitres 2 et 3) retrace les évolutions des pratiques relationnelles au cours du 20e siècle et s’attache à identifier les principaux enjeux déterminant aujourd’hui l’élection parentale. La deuxième partie (chapitres 4 et 5) est consacrée à une ethnographie et à une analyse de la fabrique des parentés dans neuf fratries qikirtamiut (i.e. des îles Belcher) contemporaines ; elle travaille le rapport entre les enjeux électifs contemporains, la production du lien de parenté et le vécu effectif de la relation autour des trois registres d’appartenance parentale structurant les pratiques et les théories culturelles concernées : la généalogie, l’identité et le quotidien. La troisième et dernière partie (chapitres 6 et 7) poursuit l’analyse dans des lieux et des milieux mobilisant l’image de la personne et de la relation pour produire, dire et pratiquer le lien. Elle aborde les pratiques relationnelles sur les sites Internet de réseaux sociaux, l’utilisation des photographies de famille, ainsi que plusieurs catégories de marquage qui, du tatouage au dessin, participent de pratiques d’identification impliquant l’identité ontologique à la base de la relation de parenté. La thèse propose ainsi une approche de la parenté inuit articulant processus électifs, pratiques relationnelles et productions symboliques dans le contexte arctique du début du 21e siècle. / This doctoral dissertation is a contribution to the study of Inuit kinship. It presents an ethnography and analysis of contemporary kinship practices in the Arctic village of Sanikiluaq (Nunavut). The specific aim is to understand how kinship ties are produced, practised, and severed in a community that historically and socially has much in common with other Canadian Inuit societies of the early 21st century. The text thus covers the history of the Belcher Islands, the strategies currently used to establish kinship ties, and the kin identities of the people involved. The aim, here, is to understand the meaning of Inuit kinship without having to fall back on the flexibility of social organization to provide a satisfactory answer.After describing the historical backdrop to the recent formation of the village of Sanikiluaq, the first part (chapters 2 and 3) retraces the development of kinship practices during the 20th century and identifies the main strategies behind present-day kinship choices, e.g., choosing a mate, a godmother, a godfather, or a namesake for a newborn child. The second part (chapters 4 and 5) provides an ethnography and analysis of kinship choices in nine groups of siblings who are contemporary Qikirtamiut (i.e., Inuit of the Belcher Islands). It addresses how kinship strategies, production of kinship ties, and the actual kinship experience interrelate in terms of three factors that structure the practices and cultural theories under discussion: genealogy, identity, and daily life. The third and last part (chapters 6 and 7) pursues this analysis in places and settings where images of oneself and one’s kin group are used as means to produce, convey, and practise kinship. Topics include kinship practices on social networking websites, use of family photos, and several categories of tagging, which range from tattooing to drawing, that help people to identify themselves to others via the ontological identity that underlies their kinship ties. In sum, this dissertation describes Inuit kinship by showing how strategy processes, day-to-day practices, and forms of symbolic production relate to each other in the Arctic of the early 21st century.

Projeté pour des musées nationaux et municipaux d’art moderne à l’occasion de l’exposition universelle de 1937, le Palais de Tokyo à Paris est aujourd’hui un centre d’art contemporain international, connu aussi en lien à l’esthétique relationnelle proposée par son cofondateur (avec Jérôme Sans) Nicolas Bourriaud. Une étude de sa genèse jusqu'au site contemporain manquait jusqu’alors. En se fondant sur des expositions centrales et des vastes matériaux d’archives de la politique et administration des Beaux-Arts, cette étude traite dans un premier temps des pensées et institutions l’occupant dès sa conception : MNAM (1937-1977), conception du Centre Pom-pidou, Musée d’Art et d’Essai (1977-1986), Institut des Hautes Études en Arts Plastiques (IHE-AP, 1988-1990) préfiguration d’Orsay, Maison de la Photographie (1984-1993), projet du Palais des Images/Palais du Cinéma (1984-1998, avec Cinémathèque, FÉMIS, BIFI), puis Site de créa-tion contemporaine (2002-). Dans un deuxième temps nous présentons son rôle en tant que mo-nument de la pensée du rôle de l’art dans la société: Dès sa genèse dans le contexte d’un échan-ge international sur les musées modernes des années trente, jusqu’au débats contemporains d’une esthétique politique, notamment de l’art relationnel, du discours de l’art participatif, du « New Institutionalism » et l’esthétique philosophique. L'étude se propose aussi d'apporter une compréhension générale de la genèse de l’esthétique relationnelle et ses critiques principales. Le Palais de Tokyo est conçu comme monument, espace d’une mémoire sociale de l’art selon Aby Warburg et un cadre théorique s’appuyant sur Walter Benjamin, qui informe de son rôle décisif dans le développement de critères formels de la théorie sociale de l’art au 20ème et 21ème siècle. / Projected for national and municipal museums of modern art on the occasion of the 1937 world fair, the Palais de Tokyo in Paris today is an international centre of contemporary art, known, too, by virtue of relational aesthetics brought forward by its co-founder (with Jérôme Sans) Nicolas Bourriaud. A monographic study of its genesis up to the contemporary site was yet mis-sing. This study examines the thought and projects that occupied it, based on central exhibitions and vast materials from the archives of cultural politics and arts administration: National Muse-um of Modern Art (1937-1977), the conception of the Centre Pompidou, Musée d’Art et d’Essai (1977-1986), Institut des Hautes Études en Arts Plastiques (IHEAP, 1988-1990), préfiguration d’Orsay, Maison de la Photographie (1984-1993), a project for Palais des Images/Palais du Ci-néma (1984-1998, with Cinémathèque, FÉMIS, BIFI), Site de création contemporaine (2002-). The study also focuses on its role as monument of the thinking of art’s function in society, from the context of an international exchange on modern museums in the thirties, up to contemporary debates of political aesthetics, particularly of relational art, the discourse of participatory art, ‘New Institutionalism’ and philosophical aesthetics. The study also provides a global view on the genesis of relational aesthetics and its principal critiques. Thus, the Palais de Tokyo is consi-dered as monument, a space of social memory of art following Aby Warburg and a theoretical frame based on Walter Benjamin, informing on its crucial role in the development of formal criteria of theories of art’s social role in the 20th and 21st centuries.

Inscrite dans le courant de recherches actuelles portant sur les déterminants des comportements en lien avec la santé, cette thèse a pour objectif de contribuer, au travers du développement d'un modèle à base d'agents, à une meilleure connaissance des relations entre le cadre de vie d'adolescents et leurs pratiques d'activité physique. Questionnant les fondements théoriques et empiriques du modèle socio-écologique qui guide la majorité des études actuelles, ce travail a conduit à l'élaboration d'un schéma conceptuel relationnel intégrant les notions de positions et dispositions sociales, ainsi que les liens entre pratiques de mobilité quotidienne et pratiques d'activités situées dans le temps et l'espace géographique. L'implémentation de ce schéma conceptuel a abouti à la réalisation de trois modèles à base d'agents de complexité croissante, dont l'originalité réside dans la non-inclusion explicite d'interactions. Ce travail, bien qu'inachevé en ce quiconcerne l'exploration des propriétés des modèles, a permis de souligner l'intérêt heuristique de la modélisation, permettant d'un côté d'ouvrir de nouvelles perspectives d'analyses, et d'un autre côté, d'offrir un retour sur les données utilisées. / Embedded in current research on determinants of health-related behaviours, this thesis develops an agentbased model to further explore and explain the links between living environment and physical activity in adolescents. Challenging the theoretical and empirical basis of the socio-ecological model that underpins most of current studies, this work leads to a relational conceptual framework that integrates social positions and dispositions with daily mobility and physical activity in both a spatial and temporal perspective. Three increasingly complex agent-based models are developped on this unusual framework that does not explicitly include interactions. Although further investigation is required to fully understand the properties of the models, the study highlights the benefits of this modelling approach that identifies new ways of thinking andanalytical opportunities and gives feedback on the data used.

Cette recherche est centrée sur la pensée du philosophe français Gilbert Simondon. Nous explorons la possibilité ouverte par Simondon d’articuler un monisme ontogénétique avec un pluralisme ontologique, c'est-à-dire l'idée qu’il est possible d'apprécier une continuité entre les différentes dimensions du réel -physique, biologique, psycho-collective- sans nier leur pluralité intrinsèque. Dans la première partie, nous étudions la relation entre la matière inerte et les êtres vivants à travers de la rencontre entre la philosophie simondonienne de l'individuation et la thermodynamique du non-équilibre d’Ilya Prigogine. La conception de Simondon est présentée comme un moyen approprié pour surmonter la division ontologique entre la matière et la vie. Toutefois, l'accent mis sur la cristallisation comme l'exemple paradigmatique de l'individuation physique révèle certaines limites pour mener à bien ce projet qui peuvent être surmontées par le concept d'une auto-organisation de la matière que l'on trouve dans la thermodynamique du non-équilibre. Dans la deuxième partie, nous proposons une interprétation des principaux points de la métaphysique de Simondon. Nous suivons la lecture de Deleuze où la philosophie de Simondon apparaît comme une transformation du concept kantien du transcendantal. Ensuite, nous défendons une interprétation selon laquelle la pensée de Simondon est une forme de réalisme processuel et relationnel. Enfin, la philosophie simondonienne est confrontée au tournant spéculatif de la philosophie actuelle, en particulier au matérialisme spéculatif de Quentin Meillassoux et à la philosophie orientée aux objets de Graham Harman. / This research is focused on the thought of the French philosopher Gilbert Simondon. We explore the possibility opened by Simondon to articulate an ontogenetic monism with an ontological pluralism, that is, the idea that it is possible to appreciate a continuity between the different dimensions of the real -physical, biological, psycho-collective-without denying their intrinsic plurality. In the first part, we study the relation between inert matter and living beings through the encounter between Simondon’s philosophy of individuation and Ilya Prigogine’s non-equilibrium thermodynamics. Simondon’s conception is shown as a suitable way to overcome the ontological division between matter and life. However, his focus on crystallization as the paradigmatic example of physical individuation reveal certain limitations to carry out this project which can be overcome through the concept of self-organization of matter that we find in non-equilibrium thermodynamics. In the second part, we offer an interpretation of the main points of Simondon’s metaphysics. We follow Deleuze's reading in which Simondon's philosophy appears as a transformation of Kant's concept of the transcendental. Then, we defend an interpretation according to which Simondon’s thought is a form of process-relational realism. Finally, we confront Simondonian philosophy with the speculative turn of contemporary philosophy, especially with Quentin Meillassoux’s speculative materialism and Graham Harman’s object-oriented philosophy. / La presente investigación gira en torno al pensamiento del filósofo francés Gilbert Simondon. Exploramos la posibilidad que abre Simondon para articular un monismo ontogenético con un pluralismo ontológico, esto es, la idea según la cual es posible apreciar una continuidad entre las diferentes dimensiones de lo real -física, biológica, psíquico-colectiva- sin negar por ello su pluralidad intrínseca. En la primera parte, realizamos un estudio de la relación entre materia inerte y seres vivos por medio del encuentro entre la filosofía simondoniana de la individuación y la termodinámica del no-equilibrio desarrollada por Ilya Prigogine. La concepción de Simondon se muestra como una vía apropiada para superar la división ontológica entre materia y vida. Sin embargo, su focalización en la cristalización como ejemplo paradigmático de individuación física revela ciertas limitaciones para llevar a cabo este proyecto, las cuales pueden ser superadas por medio del concepto de una auto-organización de la materia presente en la termodinámica del no-equilibrio. En la segunda parte, realizamos una interpretación de los principales puntos de la metafísica de Simondon. Seguimos la lectura deleuziana en la cual la filosofía de Simondon aparece como una transformación del concepto kantiano de lo trascendental. A continuación, defendemos una interpretación según la cual el pensamiento de Simondon constituye una forma de realismo procesual-relacional. Finalmente, realizamos una confrontación de la filosofía simondoniana con el giro especulativo de la filosofía actual, especialmente con el materialismo especulativo de Quentin Meillassoux y la filosofía orientada a los objetos de Graham Harman.

Les programmes informatiques sont rarement écrits d'un seul coup, et sont au contraire composés de changements successifs. Il est également fréquent qu'un logiciel soit mis à jour après sa sortie initiale. De tels changements peuvent avoir lieu pour diverses raisons, comme l'ajout de fonctionnalités ou la correction de bugs. Il est en tout cas important d'être capable de représenter ces changements et de raisonner à leur propos pour s'assurer qu'ils implémentent les changements voulus.En pratique, les différences entre programmes sont très souvent représentées comme des différences textuelles sur le code source, listant les lignes de textes ajoutées, supprimées ou modifiées. Cette représentation, bien qu'exacte, ne dit rien de leurs conséquences sémantiques. Pour cette raison, il existe un besoin pour de meilleures représentations des différences sémantiques entre programmes.Notre première contribution est un algorithme de construction de programmes de corrélation, c'est-à-dire, des programmes entrelaçant les instructions de deux autres programmes de telle sorte qu'ils simulent leur sémantiques. Ces programmes de corrélation peuvent alors être analysés pour calculer une sur-approximation des différences sémantiques entre les deux programmes d'entrée. Ce travail est directement inspiré d'un article de Partush et Yahav, qui décrit un algorithme similaire, mais incorrect en présence de boucles avec des instructions `break` ou `continue`. Pour garantir la correction de notre algorithme, nous l'avons formalisé et prouvé à l'aide de l'assistant de preuve Coq.Notre seconde et plus importante contribution est un cadre formel permettant de décrire précisément et de formellement vérifier des différences sémantiques. Ce cadre, complètement formalisé en Coq, représente la différence entre deux programmes à l'aide d'un troisième programme que nous appelons oracle. Contrairement à un programme de corrélation, un oracle n'entrelace pas nécessairement les instructions des deux programmes à comparer, et peut « sauter » des calculs intermédiaires.Un tel oracle est généralement écrit dans un langage de programmation différent des programmes à comparer, ce qui permet de concevoir des langages d'oracles spécifiques à certaines classes de différences, capables de mettre en relation des programmes qui plantent avec des programmes qui s'exécutent correctement.Nous avons conçu de tels langages d'oracles pour couvrir un large éventail de différences sur un langage impératif jouet. Nous avons également prouvé que notre cadre est au moins aussi expressif que celui de la Logique Relationnelle de Hoare en encodant plusieurs variantes de cette dernière sous forme de langages d'oracles, prouvant leur correction dans la foulée. / Computer programs are rarely written in one fell swoop. Instead, they are written in a series of incremental changes.It is also frequent for software to get updated after its initial release. Such changes can occur for various reasons, such as adding features, fixing bugs, or improving performances for instance. It is therefore important to be able to represent and reason about those changes, making sure that they indeed implement the intended modifications.In practice, program differences are very commonly represented as textual differences between a pair of source files, listing text lines that have been deleted, inserted or modified. This representation, while exact, does not address the semantic implications of those textual changes. Therefore, there is a need for better representations of the semantics of program differences.Our first contribution is an algorithm for the construction of a correlating program, that is, a program interleaving the instructions of two input programs in such a way that it simulates theirsemantics. Further static analysis can be performed on such correlating programs to compute an over-approximation of the semantic differences between the two input programs. This work draws direct inspiration from an article by Partush and Yahav, that describes a correlating program construction algorithm which we show to be unsound on loops that include `break` or `continue`statements. To guarantee its soundness, our alternative algorithm is formalized and mechanically checked within the Coq proof assistant.Our second and most important contribution is a formal framework allowing to precisely describe and formally verify semantic changes.This framework, fully formalized in Coq, represents the difference between two programs by a third program called an oracle.Unlike a correlating program, such an oracle is not required to interleave instructions of the programs under comparison, and may “skip” intermediate computation steps. In fact, such an oracle is typically written in a different programming language than the programs it relates, which allows designing correlating oracle languages specific to certain classes of program differences, andcapable of relating crashing programs with non-crashing ones.We design such oracle languages to cover a wide range of program differences on a toy imperative language. We also prove that our framework is at least as expressive as Relational Hoare Logic by encoding several variants as correlating oracle languages, proving their soundness in the process.

Les résultats de la recherche portant sur les impacts de la jalousie dans les relations de couple sont mixtes et ne nous permettent pas d’en connaître son impact sur le désengagement romantique, ou la perte de sentiments amoureux, qui est un problème fréquemment mentionné par les couples qui consultent en thérapie conjugale. Par le biais d’un devis longitudinal et dyadique, cette étude a examiné l’association entre la jalousie et le désengagement romantique, en tenant compte de la satisfaction relationnelle à titre de facteur modérateur. Concernant les effets acteurs, vu l’état actuel de la recherche portant sur l’effet de la jalousie sur différentes variables relationnelles, aucune hypothèse n’a été émise concernant la direction de l’association entre les trois composantes de la jalousie et les changements dans le désengagement romantique chez l’individu 9 mois plus tard. Cependant, nous avons émis l’hypothèse que la satisfaction relationnelle modèrerait cette association à travers le temps. Concernant les effets partenaires, nous avons émis l’hypothèse que de hauts niveaux de jalousie chez l’individu seraient associés à une augmentation du désengagement romantique chez son partenaire à travers le temps. Nous avons également considéré les différences de genre dans ces effets acteurs et partenaires. La jalousie, le désengagement romantique et la satisfaction relationnelle de 141 couples de sexes mixes ont été mesurés à deux temps de mesures sur une période de 9 mois. Des analyses acheminatoires basées sur le Modèle d’interdépendance acteur-partenaire ont ensuite été effectuées afin de vérifier les questions et hypothèses de recherche. Les résultats ont montré que la jalousie émotionnelle chez la femme était associée à une diminution de leur propre désengagement romantique à travers le temps (β = -.154, p = .029). De plus, la satisfaction relationnelle modérait l’association entre la jalousie émotionnelle et le désengagement romantique, c’est-à-dire que les femmes rapportaient une diminution de leur désengagement lorsqu’elles rapportaient être faiblement (B = -0.016, p = .004) ou moyennement satisfaites dans leur relation (B = -0.011, p = .032). L’interaction n’était pas significative pour les femmes qui étaient très satisfaites (B = -0.006, p = .257). La satisfaction relationnelle modérait aussi l’association entre la jalousie cognitive et le désengagement romantique chez la femme. La jalousie cognitive était associée à une augmentation du désengagement, mais seulement chez les femmes qui rapportaient être extrêmement satisfaites dans leur relation (4 ÉT au-dessus de la moyenne; B = 0.024, p = .048). Par ailleurs, la jalousie comportementale de la femme permettait de prédire une augmentation du désengagement chez son partenaire (β = .142, p = .039). Les résultats suggèrent que la jalousie serait un facteur à considérer pour comprendre le désengagement chez les couples de longue durée au fil du temps. De plus, cette association serait modérée par la satisfaction relationnelle, mais pour les femmes seulement. Des études supplémentaires seront nécessaires afin d’identifier d’autres facteurs relationnels et personnels pouvant contribuer au désengagement romantique chez l’homme. / Research examining jealousy among couples provides mixed findings regarding its association with relationship outcomes and does allow an understanding of its role in romantic disengagement. Also referred to the process of falling out of love, disengagement is frequently reported by couples who seek relationship therapy. Using a dyadic and prospective design, the purpose of this study was to examine the association between jealousy and romantic disengagement while considering relationship satisfaction as a potential moderating factor. Since the current literature provides mixed findings about the effect of jealousy on relationship outcomes, no a priori hypotheses were proposed about the directionality of the associations between the three components of jealousy assessed at baseline, and changes in romantic disengagement for the individual 9 months later (actor effects). However, we expected that relationship satisfaction would moderate this association. At the dyadic level, we expected that high levels of jealousy in the individual would be associated with an increase in their partner’s level of disengagement at follow-up (partner effects). Finally, we also considered gender differences in actor and partner effects. Jealousy, romantic disengagement, and relationship satisfaction were assessed twice among 141 mixed-sex couples over a nine-month period. Path analyses using the Actor-Partner Interdependence Model were conducted to verify the hypotheses and research questions. Emotional jealousy was related to a decrease in one’s romantic disengagement over time for women (β = -.154, p = .029). Moreover, relationship satisfaction moderated the association between emotional jealousy and disengagement— women who reported low (B = -0.016, p = .004) to moderate (B= -0.011, p = .032) levels of relationship satisfaction experienced a decrease in their disengagement, but not when they reported being highly satisfied (B = -0.006, p = .257). Relationship satisfaction also moderated the association between cognitive jealousy and romantic disengagement for women—jealous thoughts were associated with an increase in romantic disengagement when women reported extremely high levels of satisfaction (4 standard deviations above the mean: B = 0.024, p = .048). Additionally, women’s behavioral jealousy predicted an increase in their partner’s disengagement (β = .142, p = .039). The findings suggest that considering jealousy increases our understanding of disengagement and how it unfolds over time among long-term couples. Moreover, relationship satisfaction would moderate the association between jealousy and disengagement, but only for women. Further research is required to identify other relational or personal factors that could contribute to romantic disengagement in men.