Les langages à objets offrent une forme particulière de polymorphisme en permettant l'écriture de « méthodes » dont l'exécution dépend du type dynamique des arguments. Ce « dispatch dynamique » ne prend généralement en compte qu'un argument unique. Certains langages permettent le dispatch simultané sur tous les arguments et on parle alors de « multi-méthodes ». Cette thèse s'intéresse à la définition et au typage d'un langage dérivant de ML avec multiméthodes. Celles-ci sont introduites comme un cas particulier de filtrage sur les objets. La présentation du système de types utilise une approche algébrique. Plutôt que de figer l'ensemble des types, on en axiomatise les propriétés nécessaires pour la correction du système. Cela permet d'écrire des preuves génériques qui ne dépendent pas du choix de l'algèbre. On montre ainsi comment réduire la vérification automatique du typage à la résolution de problèmes simples du premier ordre (contraintes). La résolution des problèmes de contraintes peut alors réutiliser le corpus de résultats disponibles dans la littérature. L'avantage de cette approche algébrique est qu'elle permet de traiter d'un coup toute une classe de langages possibles se distinguant par la nature de l'algèbre de types, du langage d'expression des contraintes et du modèle d'interprétation de ces contraintes. Elle offre également un outil intéressant pour étudier le typage dans un contexte où le monde d'interprétation est ouvert, c'est-à-dire quand on souhaite que le typage d'un module apporte une garantie pour toutes les utilisations possibles de ce module.

Selon la théorie de la légitimité, la volonté de l’entreprise de se légitimer influence la communication de sa responsabilité sociétale (RSE). Nous voulons comprendre le rôle de la recherche de légitimité dans la communication de la RSE par une démarche multi-méthodes et ancrée sur le terrain des Caisses d’Épargne. Nous montrons que les banques communiquent davantage sur la RSE spécifique de leurs activités après la crise bancaire de 2008, conformément à la théorie de la légitimité (papier 1). Elles communiquent différemment sur la RSE, ce que l’on associe à la recherche de différents types de légitimité (pragmatique, moral, cognitif). Les Caisses d’Épargne se démarquent par leur communication sur les volets sociétal et communicationnel. Cette différenciation n’est pas surprenante au regard de leur philanthropie intégrée dans leurs activités, gouvernance et culture (papier 2). Le type d’intégration de la RSE apporterait une explication appropriée du type de légitimité visé. L’emploi de la responsabilité morale viserait à restaurer la légitimité et celui de la philanthropie de l’entreprise à la maintenir ; les légitimités (pragmatique, moral et cognitive) seraient associées à différentes intégrations (activités, gouvernance, culture) de la philanthropie (papier 3).Un retour à la théorie affine notre définition de la RSE (papier 4) et de la légitimation (papier 5) pour élargir l’étude de la légitimation par la philanthropie à celle de la légitimation par la RSE (papier 6). Les liens entre la légitimité visée et la RSE communiquée nous conduisent à proposer un approfondissement conceptuel de la théorie de la légitimité et des outils de gestion de la légitimation par la RSE. / According to legitimacy theory, the driver of corporate legitimacy influences corporate communication of corporate social responsibility (CSR). We aim to understand the role of the search for legitimacy in the communication of CSR, through a multi-method approach, embedded in the French Saving Banks research field.We show that banks disclose more CSR information related to their activities tafter the 2008 banking crisis, in accordance with legitimacy (paper 1). Banks communicate differently on CSR, which is associated with the search for different types of legitimacy (pragmatic, moral and cognitive). The French Saving Banks differentiate themselves from the other banks by communicating more about the societal and communicative CSR component. This differentiation is not surprising given their philanthropy integrated into their activities, governance and culture (paper 2).The type of integration of CSR could provide an appropriate explanation of the type of legitimacy sought.The use of moral responsibility would seek to restore legitimacy and the use of corporate philanthropy would seek to maintain legitimacy; the types of legitimacy (pragmatic, moral and cognitive) would be associated with different types of integration of philanthropy (activities, governance, culture) (paper 3).We return to the theoretical framework, to refine our definition of CSR (paper 4) and legitimation (paper 5) in order to expand the study of legitimation through philanthropy, into the study of legitimation through CSR (paper 6). The linkages between the legitimacy sought and the CSR communicated leads us to propose a deepening of legitimacy theory and CSR legitimation management tools.

Ce mémoire présente une étude pluridisciplinaire, structurale, pétrologique et géochronologique multiméthodes (Ar-Ar, traces de fission, (U-Th)/He et cosmogénique 10Be) permettant de contraindre les processus tectoniques (enfouissement, exhumation, faille active,...) depuis la croûte moyenne jusqu'en surface dans l'arc alpin Sud-Occidental. (i) L'étude thermo-barométrique et Ar-Ar des zones de cisaillement montre que le massif de l'Argentera-Mercantour et sa couverture attachée permienne ont subi une histoire tectono-métamorphique similaire avec un pic d'enfouissement à 15-18 km autour de 34 Ma en relation avec le sous-charriage sous les unités métamorphiques internes. L'exhumation du massif (0.8mm/an) s'effectue en deux temps témoignant d'une transition entre une tectonique transpressive puis transtensive durant le Miocène (26 à 4 Ma) en relation avec le poinçonnement N-S mantellique (Corps d'Ivrée) et les mouvements rotationnels de la plaque adriatique. (ii) La couverture sédimentaire est raccourcie et se deplace vers le Sud et ce durant tout le Miocène (23-8Ma). Ce déplacement est directement relié à la dynamique d'exhumation du massif cristallin externe de l'Argentera-Mercantour, la pente résultant du soulévement est favorable au découplage et au glissement de la couverture sédimentaire sus-jacente. De plus, le saut métamorphique entre le massif cristallin et la couverture sédimentaire ainsi que leur relation structurale conduit au concept de substitution de socle. (iii) Après 8 Ma, socle et couverture sont couplés comme l'indiquent des ages AFT identiques dans la couverture et le socle. La tectonique récente affectant à la fois la couverture et le massif de l'Argentera-Mercatour est caractérisée par un système principal décrochant N140°, et N-S extensif minoritaire, à l'origine de mouvements transtensifs dans la région de l'Embrunais-Ubaye. L'initiation de ce jeu normal à 4-5Ma est contrainte par les âges AHe sous la faille du Camp des Fourches. (iv) Ce sytème de faille toujours actif (sismicité et activité gravitaire associée) rend compte de ~40-60% de la rotation de la plaque adriatique. Il est mis en évidence par des morphologies glaciaires Holocènes décalées, datées par la méthode 10Be à 12-13 ka, les surfaces de failles étant datées à 11-8 ka, et les glissements gravitaires à 10-2 ka.

Les travaux de cette thèse concerne l’étude d’une méthode élément finis d’ordre spatial élevé que l’on peut assimilé à une extension du schéma de Yee. On parle alors de méthode différences finies d’ordre élevé. Après avoir donné, dans un premier chapitre, un historique non exhaustif des principales méthodes utilisées pour résoudre les équations de Maxwell dans le cadre de problèmes de CEM et montré l’ intérêt de disposer d’un solveur de type "différences finies d’ ordre élevé", nous présentons dans un deuxième chapitre le principe de la méthode. Nous donnons pour cela les caractéristiques du schéma spatial et temporel en précisant les conditions de stabilité de la méthode. En outre, dans une étude purement numérique, nous étudions la convergence du schéma. On se focalise ensuite sur la possibilité d’utiliser des ordres spatiaux variable par cellules dans chaque direction de l’espace. Des comparaisons avec le schéma de Yee et un schéma de Galerkin Discontinu particulier sont ensuite effectuées pour montrer les gains en coûts calcul et mémoire et donc l’intérêt de notre approche par rapport aux deux autres. Dans un troisième chapitre, nous nous intéressons à l’étude de modèles physiques indispensable au traitement d’un problème de CEM. Pour cela, nous nous focalisons particulièrement sur un modèle de fil mince oblique, des modèles de matériaux volumiques et minces et enfin sur la prise en compte de sol parfaitement métallique dans une agression de type onde plane. Chaque modèle est détaillé et validé par comparaison avec des solutions analytiques ou résultant de la littérature, sur des exemples canoniques. Le quatrième chapitre est dédié à une technique d’hybridation entre notre méthode et une approche Galerkin Discontinu en vue de traiter des géométries possédant des courbures. Nous donnons pour cela une stratégie d’hybridation basée sur l’échange de flux qui garantie au niveau continue la conservation d’une énergie. Nous présentons ensuite quelques exemples montrant la validité de notre approche dans une stratégie multi-domaines/multi-méthodes que nous précisons. Enfin le dernier chapitre de cette thèse concerne l’exploitation de notre méthode sur des cas industriels en comparaisons avec d’autres méthodes ou des résultats expérimentaux. / This thesis is about the study of a high spatial finite element method whichcan be assimilated at an extension of the Yee schema. In the next, this method is also called high order finite difference method. In the first chapter, we give a non exhaustive recall of the major methods used to treat EMC problems and we show the necessity to have this kind of schema to simulate efficiently some EMC configurations. In the second chapter, the principle of the numerical method is presented and a stability condition is given. A numerical study analysis of the schema convergence is also done. Next, we show the interest to have the possibility to use local spatial order by cell in each direction of the computational domain. Some canonic examples are given to show the advantages interms of CPU time and memory storage of the method by comparison with Yee’s scheme and DG approach. In the third chapter, we define and validate on several examples,some physical models as thin wire, materials and perfectly metallic ground in presence of a plane wave, to have the possibility to treat EMC problems. The fourth chapter is about a hybridization strategy between our high order FDTD method and a DG schema.We focalize our study on a hybrid method which provides an energy conservation of the continuous problem. A numerical example is given to validate the method. Finally, in the last chapter, we present some simulations on industrial problems to show the possibility of the method to treat realistic EMC problems.