En plus de l'utilisation des appareils ubiquitaires qui continue à croître, nous avons accès à d'informations dites contextuelles. Ces informations permettent de connaître l'état de notre environnement et nous aident à prendre les décisions de notre vie quotidienne en fonction du contexte dans lequel nous nous positionnons. La nature statique des processus métiers ne leur permet pas d'être modifiés dynamiquement, les rendant ainsi moins utiles dans un nouveau contexte. Si nous voulons changer le comportement d'un processus métier, nous devons le stopper, le modifier et le redéployer entièrement. Pour répondre à ces problèmes, nous proposons une approche qui permet de représenter des processus métiers sensibles au contexte où les informations de contexte sont considérées comme des événements contrôlés en temps réel. Avec Ceviche, nous intégrons les informations obtenues à partir du contexte avec la capacité d'adaptation des processus métiers en cours d'exécution. De plus, l'une des originalités du cadre logiciel Ceviche vient de la définition d'une opération de désadaptation et de sa mise en oeuvre, car défaire l'adaptation peut facilement se passer mal et conduire à des états non désirés. En outre, avec Ceviche, nous apportons une propriété de stabilité au niveau du traitement des événements complexes. En définissant notre propre langage, Adaptive Business Process Language (ABPL), comme un langage pivot, Ceviche facilite l'utilisation de CEP sans les inconvénients de l'adoption anticipée de l'approche. Nous utilisons une technique de type plug-in qui permet aux événements définis en ABPL d'être utilisés dans pratiquement n'importe quel moteur CEP. / As the use of ubiquitous devices continues to grow, we have more access to pervasive information around us. This information allows us to know the state of our surroundings, and we make decisions of our everyday life based on that context information. The static nature of business processes does not allow them to be dynamically modified, thus leaving them less useful in the new context. If we want to change the behavior of a business process, we need to stop it, modify it and redeploy it entirely.To address these issues, in this thesis we present the Ceviche Framework. We bring forward an approach which allows to represent context-aware business processes where context information is considered as events which are monitored in real-time. With Ceviche we integrate the information obtained from the context with the capability of adapting business process at run-time. Also, one of the original contributions of the Ceviche Framework is the definition of a correct adaptation undoing mechanism and its implementation, as undoing an adaptation can easily go wrong and lead to undesired states and unstable processes.The implementation of the Ceviche Framework offers flexibility and dynamicity properties to the business processes, using a component-based approach, allowing the modification of their bindings at run-time. Moreover, with Ceviche we also provide a stability property in terms of CEP. By defining our own simple language, the Adaptive Business Process Language (ABPL), as a pivot language, Ceviche facilitates the use of CEP without the drawbacks of early adoption. We use a plug-in approach that allows the events defined in ABPL to be used in virtually any CEP engine.

Parmi les tests utilisés dans un plan de qualification destiné à qualifier un emballage ou un système d’emballage pour résister pendant le transport, l’essai en vibrations aléatoires est un moyen efficace pour reproduire les effets mécaniques vibratoires dus au transport. La méthode habituelle s’intéresse uniquement à la répartition fréquentielle du signal en utilisant la densité spectrale de puissance (PSD) et la répartition statistique des niveaux du signal est complètement négligée.Dans ce travail nous avons proposé une loi de distribution de ces niveaux d’accélération qui identifie et caractérise statistiquement le signal vibratoire. L’enregistrement en continu du signal d’accélération tout au long d’un trajet a permis de montrer que cette distribution statistique n’est pas une gaussienne mais une gaussienne modifiée dont les paramètres sont estimés et discutés. Par suite, il est possible de caractériser la sévérité d’un trajet par une comparaison avec la distribution gaussienne qui a la même valeur efficace. Ce modèle retenu nous permet de le comparer aux autres signaux actuellement utilisés pour simuler de tels trajets. L’objectif étant à terme de proposer une méthode alternative de pilotage sur certains systèmes de vibrations (chapitre VI).En générale on utilise un enregistrement partiel du signal vibratoire afin de simuler ses effets mécanique en laboratoire de test sans connaître les conséquences d’un tel mode d’enregistrement sur les caractéristiques du signal étudié. Au cours de ce travail (chapitre 3 et 4) l’effet d’enregistrement partiel du signal est étudié sur les caractéristiques statistiques et fréquentielles de celui-ci. Nous avons montré que lors d’un trajet routier en France 10% du temps total du trajet est représentatif de sa totalité. Si l’enregistrement est effectué avec des taux inférieurs à 10%, nous somme capables d’estimer l’erreur introduite sur la distribution des valeurs du signal et aussi sur le niveau de le PSD. Ainsi cette erreur peut être corrigée au moment de la simulation en laboratoire.Enfin nous avons proposé une méthode alternative pour simuler le signal non-stationnaire et non-gaussien par un système de vibration habituellement utilisé pour cet effet qui consiste à une séquence des signaux gaussiens. Cette méthode a été proposée en vu des moyens et matériels que dispose la société Metropack et leur permet de simuler des effets vibratoires à la façon la plus proche de la réalité du transport. / Several tests are used to qualify a packaging or a packaging system aimed for transportation. This is called qualification plan. Random vibration tests are an efficient way to simulate the mechanical vibratory effects caused by transportation. The usual method is only concerned with the frequency distribution pattern of the signal using the average power spectral density (PSD) but statistical distribution of levels is totally ignored.In this work we have proposed a statistical model based on analyse of instantaneous acceleration levels of road transport, which identify and characterise the vibration signal. Continuous recording of acceleration signal all along the journey permits confirmation that this statistical distribution is not a Gaussian distribution but a modified Gaussian distribution, for which parameters are estimated and discussed. Therefore, it is possible to evaluate the transport severity by working out the appearance probability of acceleration levels greater than a fixed threshold and also the difference between the experimental distribution and the Gaussian distribution with the same rms value. This model is used to correcting the way of simulation in a test laboratory (chapter 5).Usually to recreate the mechanical effects of a vibration signal in the test laboratory, we use a partial recording of this signal without any adequate attention on effects of the recording parameters on characteristics of signal recorded in this way. In this work (chapter 3 and 4), the effects of partial recording is studied on statistical and frequency characteristics of acceleration signal. We have shown that for a road transport in France only 10% of the total duration of a journey must be taken to represent the whole journey. If the recording is performed with rates below 10%, we are able to estimate the error introduced on the distribution of signal and also on the level of the PSD. So this error can be corrected when the journey is simulated in laboratory.Finally we have proposed an alternative method for simulating the non-stationary and non-Gaussian signal with a typically used vibration system for this purpose which consists of a sequence of Gaussian signals. This method was proposed considering the means and materials available at company (Metropack) and enables them to simulate vibration effects in the most realistic way.

Les évènements géologiques de surface, comme le volcanisme ou les séismes, sont le fruit d'une dynamique qui vise à dissiper la chaleur interne de notre planète. Dans le manteau terrestre, les roches sont déformées plastiquement dans des conditions extrêmes de pression, de température et de vitesse de déformation. Malgré les récentes avancées expérimentales, il est impossible de reproduire de telles conditions de déformation en laboratoire. C'est pourquoi nous proposons, dans ce travail de thèse, une approche numérique, basée sur la modélisation multi-échelle de la plasticité, des conditions du laboratoire à celles qui caractérisent le manteau terrestre. Nous avons choisi d'appliquer cette méthode à MgO, phase importante du manteau inférieur.À partir des propriétés de cœur des dislocations, nous avons utilisé la théorie des double-décrochements afin de décrire la mobilité d'une dislocation isolée en fonction de la température et de la contrainte. Nous avons ensuite implémenté, dans un code de Dynamique des Dislocations (DD), les paramètres de mobilité des différents défauts afin de décrire le comportement collectif des dislocations lors d’essais numériques de déformation. Les résultats montrent que les propriétés mécaniques de MgO dépendent fortement de la pression et de la vitesse de déformation. / Surface geological events, like volcanos and earthquakes, are due to the internal dynamics of the Earth which tends to release its internal heat. Inside the Earth's mantle, solid rocks are plastically strained under extreme conditions of pressure, temperature and strainrate. In spite of recent experimental progress, it is still impossible to reach such conditions of deformation. This is why we propose an alternative approach, based on the multi-scale modeling of plasticity, from the laboratory conditions to the Earth's mantle. We have choosen to apply our model to magnesium oxide which is a phase present in the lower mantle.From core properties, we modeled a dislocation thermally activated mobility law based on the kink pair theory. Then, we have incorporated it inside a Dislocation Dynamics code to describe the collective behaviour of dislocations throughout numerical strain experiments. Here we show that MgO mechanical properties depends significantly on pressure and strainrate.

Guerre, urbanisation massive et scolarisation en propulsant la femme au devant de la scène, ont ils vraiment contribué à la libérer ou au contraire à l'aliéner ? Le débat sur la sportive algérienne se situe au niveau d'une réalité multidimensionnelle, d'une société encore organisée autour de la protection de la femme. La distribution traditionnelle des espaces en intérieur pour les femmes et extérieur pour les hommes, face à la vie contemporaine va susciter des situations inédites, générées par une influence du modèle "moderne" sur un individu resté imprégné dans son vécu et dans ses apprentissages, par les valeurs du milieu dans lequel il a été socialisé. Le système de socialisation dans lequel sont impliquées les sportives algériennes, hérité d'une société demeurée hostile au mélange des sexes, les amène à développer des stratégies quant à l'occupation des espaces intérieur / extérieur. La femme ne se résout pas à opérer des choix, abandonner un style de vie pour l'autre, tant qu'elle n'est pas sûre qu'elle peut remplacer son rôle de mère (car il lui donne un statut) par un autre rôle. Ceci la contraint donc, à une alternance de rôles où elle doit concilier culture moderne et culture traditionnelle (entendre par moderne ce qui est contemporain et qui se fait actuellement, et traditionnel ce qui se faisait). Cet "entre deux culturel" issu de raisons historiques et économiques (égalité femme / homme, scolarisation obligatoire pour les filles, travail féminin…) va entraîner des situations ambivalentes et inconfortables pour l’athlète algérienne. D'autre part, les exigences de la logique sportive, (inconciliables avec la logique traditionnelle), en s'inscrivant dans le domaine du corps, placent d'emblée la sportive algérienne en rupture avec les normes sociales. Pour cette dernière, parler avec un corps non seulement habitué mais surtout contraint au silence en dehors de l'espace privé est considéré comme un dépassement de normes, passible de rejet. Pour la société, le corps et ses représentations relèvent de l'intime, alors que pour la pratique sportive de celui du public : une antinomie que la sportive algérienne se doit de gérer dans sa quête de performance. L'examen de trajectoires d'athlètes féminines de haut niveau dans différentes disciplines (athlétisme, natation, judo, gymnastique, volley-ball, hand-ball, foot-ball, basket-ball, escrime et tennis de table) a permis de constater que les raisons de l'absence des femmes de la sphère sportive sont multiples. Les résultats de cette investigation ont permis de déceler l'existence d'une dynamique de la performance sous tendue par une logique culturelle qui ne se manifeste ni dans une opposition masculin / féminin, ni dans l'opposition tradition / modernité. Elle débusque aussi les idées reçues d'une religion interdisant toute forme de pratique sportives pour les femmes. Elle démontre par contre qu'à aucun moment le milieu familial n'intègre ce genre de socialisation, mais dès que cette "déviation" s'avère productrice (par la réalisation de hautes performances génératrices de gains, de reconnaissance…) il y a inversion de la dynamique culturelle avec acceptation et sur valorisation du nouveau statut. En conclusion la logique culturelle continue à fonctionner (face à deux univers qui s'opposent) aussi bien chez les sportives que dans leur environnement, en manifestant une capacité déroutante à admettre puis à absorber et détruire tout élan d'innovation, d'ouverture. / Have war, massive urbanization and children education contributed to free or to alienate women, by pushing them in the spotlight ? The Algerian sportswoman debate stands on a multi-dimensional reality level in a society organised around woman protection. The traditional division of space in indoor for women and outdoor for men, facing the contemporaneous life is creating new situations. These situations are generated by the influence of the "modern" model on an individual who is still led by the traditional values with which he was socialized. The socialization system in which the Algerian sportswomen are involved made them develop strategies regarding the space division : indoors / outdoors. The woman is not able to choose a new life style as long as she is not sure she can replace her mother character/role with another one (because it is the one that gives her a status in the society). Thus, she is forced to a permanent switch between a traditional and a modern character (we mean by modern what is contemporaneous and done currently and traditional what used to be done). On one hand, this "in-between two cultures" resulting from historical and economical reasons (girls right to education, women's employment,…) is generating ambivalent and uncomfortable situations for the Algerian women athletes. On the other hand, the sport environment (which can not match the traditional one), as it is dealing with the body, makes the Algerian sportswoman break up with their social norms. For this woman, "talking" to a body, usually constrained to the silence outside the private sphere, is considered as rules breaking with a rejection risk. For the traditional society, the body and its representation is intimate whereas in sport practice, it is public : the Algerian sportswoman has to manage these contradictory situations in her performance quest. The analysis of feminine athletes' paths in various fields raised the fact that women are missing in the sports sphere for different reasons. The results of this investigation allowed us to reveal the existence of performance dynamics with a cultural logic that is not shown in the masculine/feminine opposition nor in the tradition/modernity opposition. These results allowed us also to identify the clichés of a religion that is supposed to forbid any sports practice for women. However, this investigation demonstrates that the family environment does not accept this kind of socialization unless it gets "productive" by reaching high performances generating recognition and rewards. At this moment, there is an inversion of the cultural dynamics with acceptation and overvaluation of the new status. To conclude, we can say that the cultural logic keeps on leading the sportswomen and their environment, demonstrating a surprising capacity to absorb and destroy any will of innovation and openness.

Le Spyder conçu par BRP est un véhicule complexe, original et peu connu du grand public à travers le monde. Par conséquent, on souhaite développer un outil facile d’accès pour la découverte, la formation au pilotage et l’aide à la conception du roadster. Le sujet de ce projet de maîtrise est le développement du modèle dynamique du véhicule et l’intégration à une plateforme de simulation existante. Pour y parvenir, on élabore un modèle réaliste du véhicule sous deux versions, sport et tourisme. Après avoir recherché les différents paramètres et caractéristiques du véhicule, on se concentre d’abord sur un modèle simple puis sur un modèle plus complexe comportant différents modules, comme la motorisation et les aides à la conduite. En vue de valider le modèle, on utilisera les résultats de tests et des mesures expérimentales. Après validation, le modèle doit être intégré à la nouvelle plateforme de simulation. Le logiciel, développé en langage C++, est élaboré à partir de la plateforme de base. Des modèles 3D détaillés du Spyder offrent un rendu graphique réaliste pour une meilleure immersion. Le modèle est capable de répondre en temps réel et de manière réaliste et précise sous le contrôle de l’utilisateur. On a donc un outil polyvalent à objectifs multiples : faire connaître le véhicule, aider l’ingénieur dans l’étude du véhicule et former les futurs pilotes de manière plus efficace et moins coûteuse. L’outil de simulation peut être également un moyen d’évaluer facilement des paramètres dont l’appréciation est subjective comme la signature sonore du véhicule.

Nous nous intéressons à la dynamique dans les systèmes de Hall en présence d'un flux Aharonov-Bohm dépendant du temps. Nous présenterons deux théorèmes adiabatiques applicable à ces modèles ainsi qu'un résultat sur l'existence d'une constante de mouvement non-trivial. On utilisera un algorithme de diagonalisation partielle. / We will ahve interest in the quantum dynamics in Hall systems with time dependent Aharonov-Bohm flux. We will present two adiabatic theorems which can applied to these models and a quantitive result on the existence of a non-trivial constant of motion. To prove this result, we will use a partial diagonalization algorithm

De nombreuses catastrophes de diverses envergures frappent régulièrement des populations partout dans le monde. Parmi les exemples marquant on peut citer l'ouragan Katrina en 2005, le tremblement de terre en Haïti en 2010 ou plus récemment le Tsunami au Japon et la catastrophe de Fukujima qui a suivie. Au cours de ces catastrophes, plusieurs centaines d'organisations, comme la police, les pompiers ou les organisations d'aide humanitaire, interviennent pour sauver les gens et aider à revenir à une vie normale. Ces organisations ont besoin de se coordonner pour faire face à une situation dynamique avec des ressources limitées et une vision partielle de la situation. L'évolution de la situation entraîne souvent des changements d'objectif et de plan. Un des problèmes typique est d'obtenir un aperçu sur les relations entre ce qui a été fait, ce qui se passe actuellement et quelles sont les prochaines étapes. Ce problème est particulièrement difficile sur le plan inter-organisationnel : Chaque organisation coordonne la réponse de sa propre perspective et s'appuie sur les informations fournies par d'autres organisations. Notre objectif dans cette thèse est d'étudier comment supporter la coordination des activités par des personnes de différentes organisations dans une situation dynamique par un système d'information. L'idée de base est de tirer profit d'une approche basée sur les processus, où les activités et leurs relations sont rendues explicites. Nous présentons un cadre pour la coordination des activités dans des situations dynamiques. Il permet la modélisation ad hoc des relations entre ce qui a été fait, ce qui se passe actuellement et quelles sont les prochaines étapes. Les écarts par rapport au modèle et comment les activités ont été réalisées sont affichées à l'utilisateur pour mettre en évidence l'impact de l'évolution des objectifs. Nous étendons ce cadre au niveau inter-organisationnel. Certaines activités peuvent être partagées entre différentes organisations. Tout n'est pas partagé entre tout le monde pour tenir compte du respect de la vie privée, de la réglementation, des raisons stratégiques ou autres. Les activités partagées sont reproduites dans les espaces de travail de ces organisations. Nous décrivons comment des vues divergentes sur les activités et leurs relations peuvent etre détectées et traitées afin de revenir éventuellement à une vue convergente. Les concepts sont mis en oeuvre comme une extension d'un service de collaboration distribuée ouvert. Ils ont été évalués par des gestionnaires de catastrophes expérimentés. Par ailleurs, nous avons conçu une expérience visant à évaluer l'utilisation d'outils pour aborder ces question. Nous avons effectué plusieurs expériences pour valider cette expérience. D'autres expériences pourront fournir une validation plus complété du modèle proposé dans cette thèse. / Recently we have seen several large scale disasters affecting humans all over the world. Examples are Hurricane Katrina in 2005, the Haiti earthquake in 2010 or the September 11/2001 terrorist attacks on the world trade center. During these disasters, several hundred organizations, such as police, fire brigade or humanitarian aid organizations, respond with the goal to save people and support them to live a normal life again. They need to coordinate to deal with scarce resources, different skills and capabilities. People in these organizations drive coordination based on their judgment of the situation. The situation can be dynamic: it evolves in sometimes unexpected ways, goals shift and priorities of the organizations change. Typical problems are to get an overview on the relations between what has been done, what is currently going on and what are the next steps. This problem is specially challenging on the inter-organizational level: Each organization coordinates the response from its own perspective and relies on the information provided by other organizations. We aim in this dissertation at supporting coordination of activities by people of different organizations in a dynamic situation by an information system. The disaster response is a critical example for this. The basic idea is to leverage a process-based approach, where activities and their relations are made explicit. We present a framework for coordination of activities in dynamic situations. It allows ad-hoc modeling of the relations between what has been done, what is currently going on and what are the next steps. A model can be verified for correctness in predictable and acceptable time. Deviations from the model and how activities have been performed are displayed to the user to highlight the impact of shifting goals. We extend this framework to the inter-organizational level. Selected activities can be shared by people with selected organizations. This means not everything is shared between everybody to take into account privacy, regulatory, strategic or other reasons. Shared activities are replicated in the workspaces of these organizations. We describe how diverging views on replicated activities and their relations can be detected and handled to ensure eventually a converging view. The concepts are implemented as an extension to an open distributed collaboration service. They are also commented by experienced disaster managers. Furthermore, we design an experiment to evaluate tool support addressing the research questions. We conducted several experiments to validate the design of the experiment. Further experiments can provide validation of the concepts implemented as a prototype in this thesis.

Parmi les énergies renouvelables, l’énergie solaire est la plus puissante. L’élément clé des DSSCs est le photosensibiliseur, par lequel la génération de photocourant est possible. L’autre élément important est l’électrolyte. Les liquides ioniques (Ils) sont utilisés en tant qu’électrolytes dans les DSSCs du fait de leurs propriétés chimiques: pression de vapeur basse, haute résistance thermique et chimique, polarité et phase modulables, etc. L’objectif de cette thèse est de comprendre les processus photophysiques dans les colorants dérivés d’indolines dans les solvants moléculaires (MS) et les mélanges IL/MS. L’influence du solvant sur les propriétés spectroscopiques de D131, D102, D149 and D205 est d’abord étudiée par spectroscopie stationnaire d’absorption et de fluorescence. Ensuite, la spectroscopie résolue en temps est employée pour étudier leur photophysique et sa dépendance au solvant. Ces expériences ont permis de démontrer l’influence des paramètres d'aptitude de donneur de liaison hydrogène et d'accepteur de liaison hydrogène des solvants. Le rôle majeur de la dynamique de solvatation dans la dynamique des états excités de ces colorants a été montré. Ce phénomène a été suivi dans les mélanges IL/MS en utilisant une sonde fluorescente classique, C153, et des techniques de fluorescence résolues en temps et de dynamique moléculaire. Les réponses de solvatation multi-régimes de ces mélanges sont dirigées par le renforcement de la liaison hydrogène entre la sonde et les composants des mélanges. Les résultats de cette these apportent beaucoup à la compréhension des processus photophysiques fondamentaux régissant les sensibiliseurs et les électrolytes dans les DSSCs. / Among all the renewable energy sources, solar energy is the most powerful source far ahead wind or geothermal energies. The first key component of DSSCs is the photosensitizer. It is through this component that the most important steps of photocurrent generation are possible. On the other hand, ionic liquids (ILs) have been proposed as electrolyte for DSSCs due to their peculiar properties: low vapor pressure, high thermal and chemical robustness, tunability of polarity and phase behaviour etc. The objective of this thesis was to get an understanding of the photophysics in the indoline derivated dyes in molecular solvents (MS) and in the IL/MS mixtures. Firstly, the solvent dependence of the spectroscopic properties of D131, D102, D149 and D205 was studied by the steady-state UV-Vis absorption and fluorescence spectroscopy. Then, time-resolved spectroscopy was used to elucidate their photophysics and its solvent dependence. These experiments helped to discern the influence of the hydrogen bond donor and acceptor abilities of the solvent. The solvation dynamics was shown to play a major role in the excited state dynamics of these dyes. This process in IL/MS mixtures was elucidated using the classic fluorescent probe C153 by the means of time-resolved spectroscopy and MD simulations. The complex multi-regime solvation response in these systems was shown to be shaped by the strengthening of the hydrogen bonding between the probe and the mixture components. The results of this thesis work contribute to the fundamental understanding of the photodynamics of the sensitizer and the response of the electrolyte used in the DSSCs.

Abstract argumentation frameworks are a widely used formalism in the field of artificial intelligence. They are used to represent conflicting information by means of a set of arguments and an attack relation. The main problem studied in the literature is their evaluation, i.e., the determination of the justified points of view on the status (accepted or not) of the arguments. The research in this thesis is motivated by the idea that this is not a static process, and that there are many real life examples in which external information plays a role. We address this issue from three points of view.First, we look at intervention and observation in argumentation. These are notions usually studied in the context of causal networks, which are structures used to encode causal connections between events. In these models, an intervention represents the active causation of an event in the interest of predicting the effects, while the passive observation of an event allows one to infer both the most likely causal explanation as well as the effects. In argumentation, intervention captures a hypothetical mode of arguing, where we hypothetically fix the status of an argument in the interest of determining the effects.An observation, on the other hand, captures a revision process: changing the status of an argument requires us to retrace our steps in the line of reasoning that led to the initial status and to accept the most likely hypothesis that explains the new status. We propose models for these two types of reasoning and analyze them using a postulate-based approach. Second, we develop a model of abduction in argumentation, where changes to an argumentation framework act as hypotheses to explain an observation. We present dialogical proof theories for the main decision problems (i.e., finding hypotheses that explain an observation) and show that this model can be instantiated on the basis of abductive logic programs.Third, we look at change in preference-based argumentation. Preferences have been introduced in argumentation to encode, for example, relative strength of arguments.An underexposed aspect in these models is change of preferences. We present a dynamic model of preferences in argumentation, based on what we call property-based argumentation frameworks. It is based on Dietrich and List's model of property-based preference and provides an account of how and why preferences in argumentation may change. The idea is that preferences over arguments are derived from preferences over properties of arguments and change as the result of moving to different motivational states. We also provide a dialogical proof theory that establishes whether there exists some motivational state in which an argument is accepted. / Abstract argumentation frameworks are a widely used formalism in the field of artificial intelligence. They are used to represent conflicting information by means of a set of arguments and an attack relation. The main problem studied in the literature is their evaluation, i.e., the determination of the justified points of view on the status (accepted or not) of the arguments. The research in this thesis is motivated by the idea that this is not a static process, and that there are many real life examples in which external information plays a role. We address this issue from three points of view.First, we look at intervention and observation in argumentation. These are notions usually studied in the context of causal networks, which are structures used to encode causal connections between events. In these models, an intervention represents the active causation of an event in the interest of predicting the effects, while the passive observation of an event allows one to infer both the most likely causal explanation as well as the effects. In argumentation, intervention captures a hypothetical mode of arguing, where we hypothetically fix the status of an argument in the interest of determining the effects.An observation, on the other hand, captures a revision process: changing the status of an argument requires us to retrace our steps in the line of reasoning that led to the initial status and to accept the most likely hypothesis that explains the new status. We propose models for these two types of reasoning and analyze them using a postulate-based approach. Second, we develop a model of abduction in argumentation, where changes to an argumentation framework act as hypotheses to explain an observation. We present dialogical proof theories for the main decision problems (i.e., finding hypotheses that explain an observation) and show that this model can be instantiated on the basis of abductive logic programs.Third, we look at change in preference-based argumentation. Preferences have been introduced in argumentation to encode, for example, relative strength of arguments.An underexposed aspect in these models is change of preferences. We present a dynamic model of preferences in argumentation, based on what we call property-based argumentation frameworks. It is based on Dietrich and List's model of property-based preference and provides an account of how and why preferences in argumentation may change. The idea is that preferences over arguments are derived from preferences over properties of arguments and change as the result of moving to different motivational states. We also provide a dialogical proof theory that establishes whether there exists some motivational state in which an argument is accepted.

Le champ de glace nord de Patagonie (NPI) a connu des pertes de glace accélérées depuis le Petit Âge de Glace (PAG). Cette thèse évalue les conditions climatiques moyennes régnant en Patagonie, ainsi que les bilans de masse de surface et les flux de glace engendrés par la dynamique de la glace du NPI. En raison du manque de données disponibles, l’approche est principalement basée sur des modélisations physiques à la fois des conditions atmosphériques et de la dynamique de l’écoulement des glaciers.Dans un premier temps, la dynamique du glacier San Rafael (SRG) est modélisée à l’aide du modèle full-Stokes Elmer/Ice. Le modèle d’écoulement est initialisé et contraint à l’aide des données de vitesse de surface et d’altitude du lit rocheux. Le modèle est forcé en considérant diverses paramétrisations et scénarios d’évolution du bilan de masse de surface (BMS) avec l’altitude. Les modélisations visent à retrouver un accord entre bilan de masse total, BMS et dynamique de la glace. Les simulations montrent que les études précédentes ont systématiquement surévalué l’accumulation sur le plateau et à haute altitude. Le déséquilibre du glacier est principalement contrôlé par un flux de glace élevé (-0.83 +- 0.08 Gt/a) en comparaison du BMS légèrement positif (0.08 +- 0.06 Gt a-1). Nos modélisations permettent d’évaluer que les pertes de glace irréversibles pour le glacier (ou committed mass balance) seront en moyenne de 0.34 +- 0.03 Gt/a pour le prochain siècle. Cette valeur est la perte minimale attendue pour ce glacier en réponse au changement climatique futur.Dans un second temps, nous modélisons le BMS de SRG et de NPI à l’aide d’un modèle de circulation atmosphérique régionale, le modèle MAR. Le modèle est forcé par les reanalyses climatiques ERA-Interim et adapté de façon à reproduire l’accumulation mesurée sur le plateau. Une attention particulière est aussi portée aux valeurs d’ablation et d’albédo. Les températures et précipitations sont validées à l’aide de données provenant des vallées alentour. Entre 1980 et 2014, les valeurs de BMS intégrées à l’échelle du SRG et de NPI était de 0.86 Gt/a et -1.84 Gt/a, respectivement, associées à une forte variabilité interannuelle (de 1.4 Gt/a et 6.1 Gt/a respectivement). Cette variabilité dépend directement de celle des températures et des précipitations neigeuses en Patagonie. En raison de l’hypsometrie du SRG, de faibles variations de BMS autour de la ligne d’équilibre ont un impact très fort sur la valeur intégrée de BMS à l’échelle du glacier. Néanmoins, l’obtention de données in-situ d’accumulation est encore nécessaire pour réduire l’incertitude des valeurs de BMS. Ici, les BMS intégrés à l’échelle des trois plus gros glaciers à terminaison terrestre de NPI ont été validés à partir de bilans géodésiques. Ainsi, combinée aux pertes par vêlage, la valeur négative de BMS proposée pour NPI aurait permis la perte de masse du champ de glace depuis les années 80.Enfin, l’étude du bilan d’énergie de surface révèle que les variations d’albédo contrôlent celles du BMS, car il contrôle le rayonnement de courtes longueurs d’ondes et la fonte du glacier. Les variations d’albédo expliquent indirectement le lien existant entre température et fonte celui-ci étant conditionné par la phase des précipitations sur le plateau. Ainsi, les changements des précipitations neigeuses expliquent les variations de BMS, et nous supposons que les conditions climatiques ayant régné au PAG étaient plus humides et ont permis au glacier de se développer jusqu’à des altitudes trop faibles pour que les glaciers soient stables aujourd’hui.Cette thèse a ainsi permis d’évaluer les conditions atmosphériques régionales et de mieux contraindre la dynamique des glaciers et les valeurs de BMS du champ de glace NPI. Néanmoins, de nouvelles estimations sont à effectuer en zone d’accumulations de NPI pour contraindre encore le BMS et conclure définitivement sur les causes du recul de NPI depuis le PAG. / The Northern Patagonia Icefield (NPI) have been losing mass at an accelerated rate during the last decades compared to the mean losses recorded since the Little Ice Age. Here we look for accurate estimates of the mean climate variables, surface mass balance (SMB) and ice dynamics of NPI. Due to the lack of available data in the area, the approach is based on physical models for both the atmosphere and the ice dynamics, in order to properly attribute the components of the glacial mass budget (mass balance, surface mass balance and ice discharge).First, the San Rafael Glacier (SRG) ice dynamics are modelled using the full-Stokes model Elmer/Ice. The flow model is initialised and constrained using the most up-to-date observations of surface velocities and bedrock elevation. The model is forced with several parametrisations of thealtitudinal SMB distribution to obtain consistency between the changes in SMB and ice dynamics. We show that previous studies have proposed excessive accumulation values on the icefield plateau, and that SRG imbalance is largely controlled by a large ice discharge (-0.83 +- 0.08 Gt/a compared to a slightly positive glacier-wide SMB (0.08 +- 0.06 Gt/a). This allows for an estimation of a committed mass loss of 0.34 +- 0.03 Gt/a for the next century. This value likely constitutes a minimum wastage in the future global climate change situation.Second, we model the SMB of the SRG and the NPI using the regional circulation model MAR (Modèle Atmosphérique Regional). This model is forced by the ERA-Interim reanalysis outputs and adapted to accurately reproduce accumulation on the icefield. In addition to accumulation, attention is paid to estimating accurate ablation and albedo values on the plateau. The modelled temperature and precipitation are also validated using data from weather stations in the valleys around the icefield. For the period 1980-2014, the modelled mean SMB of the SRG and the NPI are 0.86 Gt/a and -1.84 Gt/a, respectively, with a large inter-annual variability of 1.4 Gt/a and 6.1 Gt/a, which is induced by temperature and snowfall variability. Due to the hypsometry of the SRG, small changes in the punctual SMB around the ELA have impacts over large areas and have significant consequences on the final glacier-wide SMB. However, in-situ data above the ELA are lacking, leading to important uncertainty in accumulation. Nevertheless, our SMB estimates for the 3 largest non-calving glaciers of the icefield are similar to mass balance values given by geodetic techniques. This validation shows that our estimate of SMB, which is the first negative proposed at the scale of NPI, is accurate. Combined with the ice discharge proposed in the first section of this study, this SMB could have contributed to the observed mass loss from the 1980s.Finally, the study of the surface energy balance given by MAR reveals the key role of the albedo and the shortwave radiation budget in the variations of the SMB. Albedo variations indirectly justify the existing correlations between temperature and melting as air temperature controls the phase of precipitation on the plateau. Thus, changes in solid precipitation explain most of the SMB variations. Consequently, past conditions with higher solid precipitation may have explained larger glaciers in Patagonia. The current instability is possibly a result from the location of glacier fronts which are well below the necessary altitude for equilibrium in the current icefield topography.This study allows us to conclude that well constrained atmospheric and ice dynamic modelling leads to SMB values which are in better agreement with the mass balance of the icefield. Nevertheless, new field data is necessary to better constrain SMB estimates of the SRG and the NPI in order to improve our understanding of past and future climate change impacts on these glaciers.