La présente thèse est consacrée à l'étude sémiotique de la dimension passionnelle des écritsjournalistiques sur la crise de 2008. Dans une perspective théorique, cette thèse contribue auquestionnement général de la sémiotique des passions développée par Greimas et Fontanille.Elle décrit l'adaptation théorique significative que la sémiotique des passions réalise en ajoutantà la description du processus de production des états passionnels des écrits journalistiques decrise, un préalable qui est le potentiel passionnel des situations économiques et sociales. Dupoint de vue méthodologique, ce travail s'inscrit dans le contexte d'une sémiotique ouverte surl'interdisciplinarité. Il se situe à l'intérieur d'un cadre épistémologique où les frontières entresémiotique des passions, anthropologie, économie et sociologie deviennent perméables. Pourcela, nous avons sélectionné, entre autres, le niveau des formes de vie et la sémiotique desinteractions développée par Landowski qui permettent une analyse spécifique des relations auxautres et à l'action. Le discours journalistique sur la crise marque ainsi le point de départ d'uneréflexion sémiotique relative à une question sociale d'actualité. Notre travail de recherche définittout d'abord l'écriture journalistique selon un point de vue génératif qui montre les constituantsles plus simples comme reliés aux constituants les plus complexes dans un parcours qui lesorganise et provoque des échanges. Dans un second temps, nous démontrons que les effetspassionnels existants dans le système économique sont le résultat de défaillances provenantd'une incompatibilité de positionnement interne des différents acteurs entre rationalité et liberté.Enfin, la troisième partie présente l'analyse du corpus de presse et expose le processus deproduction des états passionnels. / This thesis is devoted to the semiotic study of the passionate dimension of journalistic writingsabout the 2008 financial crisis. From a theoretical perspective, this thesis contributes to thegeneral questioning of the semiotics of passions developed by Greimas and Fontanille. Itdescribes the significant theoretical adaptation that semiotics of passions provided, by adding tothe description of the production process of passionate states journalistic writings crisis, theprerequisite of the emotional potential of economic and social situations. From a methodologicalpoint of view, this work is written in the context of open interdisciplinary semiotics. It is locatedwithin an epistemological framework in which the boundaries between semiotics of passions,anthropology, economics and sociology become permeable. For this, we have selected, amongothers, the level of life forms and semiotic interactions developed by Landowski that allow specificanalysis of relationships with others and with action. The journalistic discourse on the crisis thusmarks the starting point of a semiotic reflection on a topical social issue. Our three-step analysisinitially defines journalistic writing as a generative perspective which shows the simplestcomponents as related to complex components in a course that organizes and provokesexchange. The second step shows that the existing passion effects in the economic system arethe result of failures from an incompatibility in internal positioning between the different actors�rationality and freedom. The third part presents the news corpus and exposes the process ofproduction of passionate states.

Introduction : Les modalités physiothérapiques et l’onguent de lidocaïne sont des traitements offerts en première ligne pour traiter la vestibulodynie provoquée (VP). Leur efficacité à réduire la douleur lors des relations sexuelles a été étudiée, mais peu d’informations concernant leurs effets sur les variables biopsychosociales sont connues. L’objectif du projet était de comparer les effets des modalités physiothérapiques à ceux de la lidocaïne sur les variables biopsychosociales des femmes atteintes de VP. Méthodes : Un essai clinique randomisé bicentrique avec groupes parallèles à double insu a été mené auprès de femmes atteintes de VP. Les interventions avaient une durée de dix semaines. Les données ont été collectées lors de l’évaluation initiale, à deux semaines post-traitement et au suivi à six mois. Les variables biologiques étudiées étaient la fonction et la morphométrie des muscles du plancher pelvien, ainsi que la perfusion du vestibule. Les variables psychologiques étaient la dramatisation, l’humeur dépressive, le trait d’anxiété, les peurs de la douleur et de la pénétration vaginale ainsi que l’insécurité d’attachement. Les variables sociales incluaient la perception du soutien conjugal reçu par la femme et la satisfaction conjugale. Les analyses statistiques ont été réalisées avec des modèles multiniveaux du changement par morceaux. Résultats : Un total de 212 femmes ont pris part à l’étude (lidocaïne n = 107, modalités physiothérapiques n = 105), 94 ont terminé le projet pour les modalités physiothérapiques et 100 pour la lidocaïne. En comparaison avec l’onguent, les modalités physiothérapiques semblent améliorer davantage ces variables biologiques : l’ouverture vaginale maximale, la force maximale et la vitesse de contraction, ainsi que ces variables psychologiques : la dramatisation et les peurs de la douleur et de la pénétration vaginale en post-traitement. Conclusion : Les modalités physiothérapiques semblent entraîner davantage d’améliorations aux plans biologique et psychologique que la lidocaïne topique chez les femmes atteintes de VP.

L’étude du système verbal du tibétain littéraire présente un intérêt typologique à plus d’un titre. D’une part, elle permet d’observer l’évolution du système verbal, notamment les constructions avec un auxiliaire et les connecteurs verbaux, sur une période de plus de mille ans. Cette langue classique a l’avantage d’avoir quasiment préservé la même orthographe au cours de cette très longue période. J’ai choisi de me concentrer sur la période du quinzième siècle en choisissant pour corpus principal une œuvre très célèbre : la biographie de Milarépa. J’ai ensuite comparé le système verbal de cette période avec le tibétain littéraire contemporain. La principale raison qui a motivé cette étude, est l’émergence en tibétain moyen d’un système d’auxiliaires indiquant l’évidentialité, c'est-à-dire la grammaticalisation de la source épistémologique et de l’accès à l’information. Le tibétain est la seule langue littéraire d’Asie ayant une grande ancienneté qui ait développé un système verbal évidentiel complexe. Outre l’étude de la sémantique grammaticale, la deuxième motivation à l’origine de cette étude est la syntaxe des constructions avec un auxiliaire et des connecteurs du tibétain moyen et leur évolution en tibétain littéraire contemporain. Les données du tibétain littéraire et les analyses synchronique et diachronique sont susceptibles d’apporter une contribution à la typologie aussi bien en ce qui concerne l’évidentialité et les modalités épistémiques qu’en ce qui concerne la syntaxe des auxiliaires et des connecteurs. / The analysis of the literary Tibetan verb system is an object of typological interest for several reasons. Firstly, it allows us to look at the evolution of the verb system notably auxiliary verb constructions and clause linking during a period of more than a thousand years. Classical Tibetan has the advantage of having preserved almost the same orthography during this very long period of time. I decided to focus on the fifteenth century by selecting a well-known book as a main corpus: the Life of Milarepa. I then compared the verb system of this period with contemporary literary Tibetan. The main reason for this study is to better understand the emergence of an auxiliary verb system in middle Tibetan which marks evidentiality, that is to say the grammaticalization of the epistemological source and the access to information. Literary Tibetan is the only language in Asia with an ancient history which has developed a complex evidential verb system. Apart from the analysis of grammatical semantics, the second reason for this study is my interest in the syntax of auxiliary verb constructions and of clause linking in middle Tibetan and their evolution in contemporary Tibe! tan. My data on literary Tibetan and my synchronic and diachronic analysis may make a significant contribution to the typological studies of evidentiality and epistemic modality as well as of the syntax of auxiliary verb constructions and clause linking.

Reconstruire les manifestations du sacré et les pratiques rituelles et/ou cultuelles de l'Italie méridionale et dela Sicile, au Xème-VIIème siècle av. J. Chr., est un objectif ambitieux parce que on doit aborder des aspectsimmatériels, liés à la spiritualité, pas facilement visibles dans l'évidence archéologique. Choisir, en plus, lapériode de la protohistoire représente une difficulté majeure puisque les sources littéraires sont presquetotalement absentes. L'analyse de la documentation archéologique, axée sur trois direction d'intervention -l'espace ainsi naturel qu'humain, les bâtiments et le mobilier retrouvés - a permis, par contre, d'identifier desmarqueurs cultuels, éléments qui se répètent avec persistance à travers les siècles. Le regard spécifique sur lecontexte est la clé interprétative utilisée pour étudier les trois aspects, avec un nouveau critère, qui n'est pluslié aux classes de la production artisanale, mais plutôt à leur fonctionnalité. La présence du rite et du culte aété détecté dans 166 sites de l'Italie méridionale, reconnus comme des lieux de culte or du rite (anaktora), etanalysée en comparaison avec les établissements et les contextes funéraires de la même période et de lamême aire géographique. Le résultat est une reconstruction du sacré qui vise à offrir un portrait des communautés grecques et indigènes vues dans la sphère du rite. / The reconstruction of the sacred manifestations and of the ritual and/or cult practices in Southern Italy, Sicilyincluded, in the 9th-7th B.C., is an ambitious project, because it is necessary to approach insubstantialaspects, linked to the spirituality, non readable in the archaeological evidence. Choosing, furthermore, theproto-historical period reveals another /a bigger difficulty, since the literary sources are almost absent. Theanalysis of the archaeological documentation, conducted through three research guidelines- the space, bothnatural and human, the buildings and the findings- has created a new interpretative model based on thecultual markers. These are recurring elements, enduring in the centuries, related to the depositional pattern orthe presence of particular objects. The specific attention due to the context is the key factor of the research,which uses a new criterion for the findings analysis, not based on the traditional division of production classes, but on their function. The presence of the rite and of the cult has been detected in 166 sites, identified as cultual places or even ritual places (anaktora), and has been compared with settlements and funerary contexts of the same period and geographical area. The result is the reconstruction of the sacred aspect which aims at giving a portrait of Greek and Indigenous communities in the cult sphere.

Notre travail de thèse a porté sur les modalités de dépôts de PGE et HAP sur le fourrage à partir d’un bio-accumulateur (ray-grass). Les cinétiques du dépôt de PGE et HAP sur les plants de ray-grass exposé en bordure d’autoroute ont montré que l’essentiel de la contamination s’effectue durant les premières semaines d’exposition, et aussi que ces contaminants restent fixés au ray-grass au moins cinq semaines après son retrait de l’autoroute. L’étude de l’influence des conditions du trafic a montré un faible impact de l’autoroute sur la contamination du ray-grass en PGE et HAP par rapport à une route nationale, suggérant que le dépôt de PGE et HAP sur le ray-grass est beaucoup plus lié aux propriétés de leurs émissions par les véhicules que par le nombre de véhicules. La spatialisation de l’exposition du fourrage en PGE et HAP à l’échelle parcellaire a révélé une diminution significative des concentrations de Pd, Rh et HAP du ray-grass avec l’éloignement de la source d’émission. / Our thesis work concerned the methods of PGE and PAH deposits on fodder using a bio-accumulator (ryegrass). The deposit kinetics of PGE and PAH on ryegrass exposed in the vicinity of a highway showed that the main part of the contamination is carried out during the first weeks of exposure, and also that these contaminants remain fixed on the ryegrass at least five weeks after its removal from the highway. The study of the traffic conditions influence showed a weak impact of the highway on the ryegrass contamination by PGE and PAH compared to a rural road, suggesting that the PGE and PAH deposits on the ryegrass are much more related to the emission properties from the vehicles than to the number of vehicles. The spatialization of the fodder exposure in PGE and PAH on a fodder plot scale revealed a significant reduction of the Pd, Rh and PAH concentrations of the ryegrass with the distance of the emission source.

Les objectifs de la thèse étaient d’identifier le nombre de MTI en développement, d’évaluer prospectivement l’impact financier que produiront les traitements innovants et de rechercher de nouvelles modalités de paiement des MTI pour aider les décideurs publiques à anticiper l’impact des MTI à court et moyen terme sur le budget de l’assurance maladie. Le nombre de MTI en développement est évalué par le dénombrement des essais cliniques des MTI dans 3 bases de données internationales. Cette étude a montré le grand nombre de MTI en développement et susceptible d’arriver sur le marché. L’impact budgétaire des MTI est évalué. Des modèles de Markov ont été développés pour 3 maladies : Alzheimer, Parkinson et l’insuffisance cardiaque. Ensuite, l’impact des MTI dans 35 maladies sera estimé à l’aide des hypothèses. Cette section montre que les prix élevés des MTI seront inabordables, les payeurs ne pourront pas payer le prix de tous les MTI à l’avance. Une identification des modèles de paiement des thérapies innovantes est effectuée via une revue de la littérature. Ces modèles ont été évalués et discutés durant une réunion d’experts puis un modèle de paiement optimal pour les MTI est suggéré. Des recommandations stratégiques sont présentées pour aider les industriels et les décideurs publiques à assurer l’accès des patients aux thérapies innovantes tout en maintenant la pérennité de l’assurance maladie et évitant la faillite. / The objectives of this thesis were to identify the magnitude of the ATMPs pipeline, to assess the budget impact of ATMPs and to suggest new funding models for ATMPs in order to help decision-makers to anticipate the hypothetical short and medium term budget impact of such products. The magnitude of ATMPs pipeline was evaluated by identifying the number and characteristics of ATMPs clinical trials in 3 worldwide clinical trials databases. A large number of ATMPs are in development (939 clinical trials) and may successfully reach the market. Overall, the results showed that the number of ATMPs clinical trials has been consistently growing over the past 15 years. The budget impact of ATMPs was assessed. Markov models were developed to assess the cost-effectiveness and budget impact for ATMPs using 5 efficacy scenarios in Parkinson disease, Alzheimer’s disease and heart failure. Then, an estimation of the budget impact of 35 ATMPs was conducted suggesting that an ATMP can cure all patients. We have shown in this chapter that a cost-effective ATMP may be unaffordable; payers will not be able to pay upfront the costs of all ATMPs. The traditional funding models may not be adaptable for ATMPs. The proposed funding models for innovative high-cost therapies were identified through a literature review, discussed during a consensus meeting and an optimal funding model for ATMPs was recommended.Finally, health policy recommendations for the stakeholders – patients, physicians, payers and manufacturers – are presented. These recommendations aim to help to ensure patient access to innovation while maintaining the sustainability of healthcare system.

Alors que la population mondiale vieillit et vit de plus en plus en zone urbaine, maintenir les capacités de mobilité piétonne des personnes âgées en ville est un enjeu majeur pour leur santé et leur autonomie. La marche est, en effet, un des modes principaux de déplacement des personnes âgées en ville. Cependant, les déclins perceptifs, cognitifs et moteurs liés à l'avancée en âge peuvent affecter considérablement cette activité quotidienne.La navigation piétonne, qui consiste à aller d'un point A à un point B, peut être particulièrement affectée par l’avancée en âge. Il s’agit d’un processus complexe, sollicitant de nombreuses fonctions perceptives et cognitives, afin de percevoir, analyser et intégrer un grand nombre d’informations pour se déplacer. Si les personnes âgées recourent le plus souvent aux cartes papier pour s’aider dans cette activité de navigation, ces supports sont peu adaptés, car ils mobilisent des informations allocentrées (en vue du dessus) difficiles à interpréter par les personnes âgées, et font fortement appel à l’attention visuelle, qui est nécessaire par ailleurs pour naviguer en toute sécurité.Des aides à la navigation technologiques (type GPS) pourraient permettre de lever certaines difficultés de mobilité avec l’âge, en fournissant des informations de guidage à travers plusieurs canaux sensoriels, et ce afin de limiter le partage attentionnel. Ces aides devraient également proposer une expérience utilisateur positive, afin de faciliter leur acceptation par une population âgée pas toujours à l’aise avec les technologies.Cette thèse en psychologie ergonomique s’intéresse à l’efficacité et à l’expérience utilisateur de plusieurs aides à la navigation technologiques mobilisant des instructions pas-à-pas égocentrées (en vue à la première personne) à travers les sens visuel, auditif et haptique pour la navigation piétonne des personnes âgées. Après avoir questionné les pratiques de mobilité piétonne et les différences existant entre personnes actives et retraitées (étude 1), nous avons comparé, lors d’une étude en environnement virtuel (étude 2), différentes instructions de guidage pas-à-pas faisant appel aux sens visuel (flèches incrustées sur simulateur), auditif (sons spatialisés par casque à conduction osseuse) et haptique (montre vibrante au poignet droit), ainsi que l’utilisation d’une carte papier. Nous avons pu mettre en valeur que des difficultés de navigation observées chez les participants âgés avec la carte pouvaient être compensées par le recours à un guidage par flèches visuelles ou sons spatialisés. Nous avons poursuivi ce travail par une étude en environnement naturel urbain (étude 3) au cours de laquelle des participants âgés ont été invités à parcourir des itinéraires avec leur aide habituelle (carte), un guidage visuel par flèches projetées sur des lunettes de réalité augmentée, un guidage auditif par sons spatialisés grâce à un casque à conduction osseuse, et un guidage vibro-visuel proposant flèches et vibrations par le biais d’une montre connectée. Les résultats obtenus par des observables et des entretiens indiquent que les lunettes de réalité augmentée paraissent cette fois-ci, en contexte naturel, et au contraire de l’étude 2 sur simulateur, moins adaptées que le casque à conduction osseuse et que la montre connectée, ces deux derniers dispositifs montrant des résultats très positifs. La perceptibilité des instructions, leur interprétation en contexte de navigation, et le confort des participants sont grandement dépendants du dispositif technique utilisé.Dans une dernière étude, nous avons investigué les facteurs susceptibles de favoriser l’acceptabilité d’aides à la navigation qui ne sont pas disponibles sur le marché mais pourraient exister demain (ex. lentilles de réalité augmentée, vêtements vibrants, etc.). Nous proposons, en conclusion, plusieurs recommandations utiles à la conception d’aides à la navigation adaptées aux besoins et aux attentes des piétons âgés. / As worldwide population is ageing and concentrating in cities, maintaining older people's pedestrian mobility in urban areas has become a key issue for their health and autonomy. Walking is, indeed, one of the most frequent transportation mode used by older people in cities. But age-related perceptual, cognitive and physical declines could negatively impact this daily activity.Pedestrian navigation, which consists in moving from a point A to a point B, could be particularly affected when advancing in age. It involves complex cognitive and perceptual processes to perceive and understand a multiplicity of information required to reach destination. Older people tend to use paper maps to help them finding their way while navigating. But maps are not suitable for older pedestrians because they provide allocentric information (viewed from the top) which is difficult to understand when advancing in age and requires a lot of visual attention which is also needed to navigate safely. Technological pedestrian navigation aids (such as GPS systems) may help older people to navigate by providing them guidance messages via various sensory modalities in order to limit attention sharing. Those aids should also be related to a positive user experience to facilitate their acceptation among older people who feel not necessarily comfortable with technologies. This thesis in ergonomic psychology focuses on how older people perceive and experience various technological pedestrian navigation aids, providing them with visual, auditory and haptic egocentric turn-by-turn guidance messages. We firstly investigated the reasons why people use pedestrian mobility in their daily activities and the differences existing between retired and non-retired people (study 1). We then compared some step-by-step guidance messages to a paper map in a virtual environment (study 2). We used visual messages (arrows inlayed on the screen of the simulator), auditory messages (spatialized sounds provided by a bone-conduction headset) and haptic messages (vibrating watch around the right wrist) and highlighted that the increased difficulties faced by older people to find their way with a map could be compensated using visual arrows or spatialized sound. We then continued this work in a real urban environment (study 3). People were asked to navigate some routes with their own navigation aid (usually a map), or arrows inlayed in their field of view thanks to augmented-reality glasses, or spatialized sounds provided by a bone-conduction headset, or arrows displayed on a smartwatch that vibrated to announce that a visual message was incoming. Augmented-reality glasses were less suitable for older pedestrians than bone-conduction headset and smartwatch in the natural environment, which was different from the results observed in virtual environment. Results from the interviews showed that the perceptibility of the messages, the way people interpreted them in the environment, and the comfort people felt was highly conditioned by the device used. We finally investigated which UX dimensions cloud foster or limit the acceptability of some sensory navigation aids that do not exist yet but could exist in a near future (augmented-reality lens, vibrating clothes etc.).As a conclusion, we provide the reader with recommendations for designing navigation aids that are adapted to older pedestrians’ needs and expectations.

Cette thèse présente les réponses données à la question du fondement du possible et de l’impossible dans la scolastique jésuite espagnole de l’époque moderne : en vertu de quels critères jugeons-nous que telle chose ou tel événement sont possibles, alors que tels autres nous paraissent impossibles ou contradictoires ? La double nature de ce travail, philosophique et historique, s’incarne dès lors en deux volumes à la fois distincts et complémentaires. Le premier volume est consacré à l’analyse philosophique des différentes réponses apportées au problème du possible, entre les premiers pas académiques de la Compagnie de Jésus espagnole jusqu’à son expulsion définitive du royaume en 1767. Après quelques préliminaires généraux sur le développement institutionnel et doctrinal de la scolastique moderne, on y présente successivement les solutions des écoles dominicaine et franciscaine espagnoles du XVIe siècle avant de passer aux différents grands modèles jésuites : les synthèses de Gabriel Vázquez et Francisco Suárez ; l’émergence d’un courant ultra-essentialiste ; la critique inspirée par le nominalisme de Pedro Hurtado de Mendoza ; le développement d’une ontologie conditionnaliste par Juan de Lugo et ses nombreux élèves ; la critique néo-augustinienne de toutes les traditions antérieures par Antonio Pérez et ses nombreux élèves ; le développement d’une ontologie des états de choses par Sebastián Izquierdo ; et enfin le développement d’une série d’autres solutions marginales à la fin du XVIIe siècle. Le travail se clôture sur l’expulsion d’Espagne de la Compagnie de Jésus en 1767 et par quelques réflexions sur la « migration » de ces problématiques vers l’Europe Centrale. Le second volume est quant à lui purement historique et textuel. Il propose l’édition de différents textes, tirés d’ouvrages imprimés anciens ou bien de manuscrits inédits, rédigés par vingt des principaux auteurs engagés dans la querelle des possibles, à savoir, dans l’ordre chronologique : F. Albertini, P. Hurtado de Mendoza, J. de Lugo, R. de Arriaga, Th. Compton Carleton, A. Pérez, F. de Oviedo, M. de Elizalde, T. González de Santalla, T. Muniesa, S. Mauro, S. Izquierdo, G. de Ribadeneira, I.F. Peinado, J. de Sousa, A. Sémery, J. de Campoverde, E. Láriz, Á. Cienfuegos et J. Rufo. Chaque édition de texte est précédée d’une biographie intellectuelle retraçant les principales étapes de la carrière de l’auteur, avec des indications sur ses maîtres, collègues et disciples, ainsi que sur le contexte institutionnel de son enseignement. L’ensemble est précédé d’une étude sur les rapports entre les cours imprimés et manuscrits dans la tradition scolastique moderne. Un troisième et court volume se compose d’un bref « who’s who » scolastique ainsi que d’une bibliographie générale, reprenant toutes les sources primaires et secondaires utilisées.

Les logiques hybrides accroissent les logiques modales avec des éléments pour décrire et raisonner à propos de l'identité, ce qui est crucial dans certaines situations. Les logiques modales que l'on connaît comme ``hybrides'' aujourd'hui remontent au travaux de Prior dans les années 1960, mais leur étude systématique n'a commencé qu'au bout des années 1990. Elles sont intéressantes en grande partie car elles comblent un manque en matière d'expressivité dans les logiques modales. D'ailleurs, elles sont connues parfois comme des ``logiques modales avec égalité''. L'un des thèmes centraux de cette thèse est le problème de la satisfiabilité pour celle qui est probablement la mieux connue des logiques hybrides: le système H(@,dwn), et pour certaines de ses sous-logiques. La satisfiabilité est le problème fondamental en raisonnement automatique. Dans le cas des logiques hybrides, elle a été étudiée essentiellement par la méthode des tableaux. Dans cette thèse, nous essayons de compléter le panorama en explorant la satisfiabilité des logiques hybrides par d'autres méthodes: la résolution du premier ordre et des variantes de calcul de résolution qui manipulent directement des formules hybrides. Nous présentons un certain nombre de traductions en temps linéaire de H(@,dwn) à la logique de premier ordre qui préservent la satisfiabilité. Elles sont conçues de façon telle qu'elles réduisent l'espace de recherche. Ensuite nous dirigeons notre attention vers les calculs qui manipulent directement des formules hybrides. En particulier, nous considérons le calcul de résolution directe. Inspirés par la résolution du premier ordre, nous transformons ce calcul en un calcul de résolution ordonnée avec des fonctions de sélection, et nous prouvons qu'il a la propriété de réduction des contre-exemples. Nous concluons ainsi qu'il est réfutationnellement complet et qu'il est compatible avec le fameux critère standard de redondance. Nous montrons également qu'une version raffinée de ce calcul constitue un procédure de décision pour H(@), un fragment décidable de H(@,dwn). Dans la dernière partie de cette thèse, nous explorons certaines formes normales des logiques hybrides et d'autres logiques modales étendues. Nous nous intéressons aux formes normales où certaines modalités ne sont jamais présentes dans la portée d'autres opérateurs modaux. Nous montrons qu'il est possible de profiter de ce type de transformations sous la forme d'un prétraitement, dans le but de réduire le nombre d'inférences nécessaires pour un prouveur modal. En nous efforçant de formuler ces résultats en tenant compte d'autres logiques modales étendues, nous arrivons à une formulation de la sémantique modale par un nouveau type de modèles définis de façon coinductif. Plusieurs logiques modales étendues (dont les logiques hybrides) peuvent être définies par des classes de modèles coinductifs. Ainsi, des résultats qui étaient habituellement prouvés séparément pour chaque langage (mais dont la preuve n'était souvent que de routine) peuvent être démontrés d'une façon générale. / Hybrid logics augment classical modal logics with machinery for describing and reasoning about identity, which is crucial in many settings. Although modal logics we would today call ``hybrid'' can be traced back to the work of Prior in the 1960's, their systematic study only began in the late 1990's. Part of their interest comes from the fact they fill an important expressivity gap in modal logics. In fact, they are sometimes referred to as ``modal logics with equality''. One of the unifying themes of this thesis is the satisfiability problem for the arguably best-known hybrid logic, H(@,dwn), and some of its sublogics. Satisfiability is the basic problem in automated reasoning. In the case of hybrid logics it has been studied fundamentally using the tableaux method. In this thesis we attempt to complete the picture by investigating satisfiability for hybrid logics using first-order resolution (via translations) and variations of a resolution calculus that operates directly on hybrid formulas. We present firstly several satisfiability-preserving, linear-time translations from H(@,dwn) to first-order logic. These are conceived in a way such that they tend to reduce the search space of a resolution-based theorem prover for first-order logic. We then move our attention to resolution-based calculi that work directly on hybrid formulas. In particular, we will consider the so-called direct resolution calculus. Inspired by first-order logic resolution, we turn this calculus into a calculus of ordered resolution with selection functions and prove that it possesses the reduction property for counterexamples from which it follows its completeness and that it is compatible with the well-known standard redundancy criterion. We also show that certain refinement of this calculus constitutes a decision procedure for H(@), a decidable fragment of H(@,dwn). In the last part of this thesis we investigate certain normal forms for hybrid logics and other extended modal logics. We are interested in normal forms where certain modalities can be guaranteed not to occur under the scope of other modal operators. We will see that these kind of transformations can be exploited in a pre-processing step in order to reduce the number of inferences required by a modal prover. In an attempt to formulate these results in a way that encompasses also other extended modal logics, we arrived at a formulation of modal semantics in terms of a novel type of models that are coinductively defined. Many extended modal logics (such as hybrid logics) can be defined in terms of classes of coinductive models. This way, results that had to be proved separately for each different language (but whose proofs were known to be mere routine) now can be proved in a general way.

Le Golfe de Gabès, situé dans le bassin méditerranéen oriental, réunit plusieurs traits distinctifs lui conférant une forte sensibilité vis à vis des contaminations d'origine anthropique. D'une part, l'influence des courants Atlantiques y très limitée, d'autre part, son orientation et sa morphologie caractérisée par une faible profondeur sur une grande étendue ne permettent qu'un faible taux de renouvellement des eaux. Dans cet environnement vulnérable, plus de 200 millions de tonnes de phosphogypse (sous- produit résultant de la production d'acide phosphorique) ont été rejetés dans l'environnement marin depuis près d'un demi-siècle en ayant comme conséquence une dégradation conséquente de l'écosystème benthique en particulier des herbiers de posidonies. La caractérisation du phosphogypse conduit à identifier les différentes modalités des transferts au sein des milieux marins des métaux contenus initialement dans le phosphate. Sa charge en métaux toxiques est essentiellement associée à la matière organique qui s'agrège lors de son transfert dans l'émissaire industriel pour former une mousse se déplaçant à la surface de la mer. Cette mousse présente une structure complexe constituée de matière organique amphiphile jouant le rôle de tensioactif au contact de l'eau de mer et de gypse synthétique qui en constitue le squelette auxquels s'ajoutent halite, sphalérite et francolite. Elle se dégrade en fonction de l'état d'agitation du milieu marin via la dissolution du gypse relarguant ainsi sa charge polluante selon l'amplitude de la houle. Une fraction limitée des métaux passe directement en solution transportés par l'action des courants côtiers. Enfin, des grains de phosphate brut sont transportés soit par roulement-saltation soit en suspension. Ils s'accumulent surtout au niveau de la plage de Chatt Essalam du fait des impacts hydrodynamiques des structures portuaires du site. Les métaux toxiques affectent également les sédiments de surface et les organismes benthiques. En particulier, les mattes posidonies jouent le rôle d'archivage de la contamination permettant ainsi de retracer l'évolution de la contamination métallique des eaux marines depuis le début du développement industriel de la côte en 1972. Enfin, une première évaluation des pertes financières associées aux services écosystémiques fournis par les herbiers de Posidonies à l'activité économique de la pêche côtière, conduit à mettre en perspective le coût d'une partie des externalités négatives associées à la contamination chronique à l'échelle de la partie centrale du Golfe de Gabès. / The Gulf of Gabes, located in the oriental Mediterranean basin, has many particular properties making it very sensitive to anthropogenic contaminations. One of the distinguishing features of Gabes Gulf is low water flush-activity related mainly to its orientation and morphology marked by its largely-extended shallow plateau as well as to the limited influence of Atlantic water currents. For more than 50 years, than 200 million tons of phosphogypsum (by-product of phosphoric acid production) have been continuously dumped in this vulnerable environment leading to an accentuated degradation of the local benthic habitat represented mainly by the seagrass meadows of Posidonia oceanica. Within this context, knowing the characterization of phosphogypsum will certainly help to identify the different transfer modalities of the metals (composing the initial phosphate ore) within the marine environment. The pollutants load of phosphogypsum is mainly associated to the organic matter which aggregates during the transfer process via the evacuation channel leading to the formation of floating foam. These latter foams are passively transported by winds and local currents to distant areas and are found to be rich in organic matter with an amphipathic character that makes them act as a surfactant in contact with seawater. The skeleton of phosphogypsum foam was also found to be composed of synthetic gypsum as well as halite, sphalerite and francolite. The degradation of the phosphogypsum foam is accentuated by the degree of agitation/hydrodynamics of the marine environment through the dissolution of gypsum, leading to the release of its polluting components following the swell amplitude. It is worth noting that a limited metal fraction passes directly into solution. These latter metals are hence transported by the coastal currents. As for the phosphate grains, they are trained towards the south either by rolling-saltation or in suspension, and end by accumulating mainly in Chat Essalam beach due to the hydrodynamics effects exerted by the ports structures leading to modify the coastline. In addition, the toxic metals affect also the surface sediments as well as the benthic organisms and hence these latter can inform about the health status and the contamination history of the local marine environment. Within this context, the mats of Posidonia oceanica meadows can be used as an archiving tool of the contamination history in the Gulf of Gabes and allow hence retracing the evolution of metallic contamination of sea waters since the set-up of the coastal industrial complex in Gabes city (i.e. 1972). Finally, a first assessment of the financial losses linked to the ecosystemic services provided by Posidonia oceanica seagrass beds to coastal fisheries activity was conducted allowing to evaluate the cost of a part of the negative consequences linked to the industrial chronic pollution at the central part of Gabes Gulf.