Lors d'un développement logiciel, et plus particulièrement d'un développement d'applications embarquées avioniques, les activités de vérification représentent un coût élevé. Une des pistes prometteuses pour la réduction de ces coûts est l'utilisation de méthodes formelles. Ces méthodes s'appuient sur des fondements mathématiques et permettent d'effectuer des tâches de vérification à forte valeur ajoutée au cours du développement. Les méthodes formelles sont déjà utilisées dans l'industrie. Cependant, leur difficulté d'appréhension et la nécessité d'expertise pour leur mise en pratique sont un frein à leur utilisation massive. Parallèlement au problème des coûts liés à la vérification logicielle, vient se greffer la complexification des logiciels et du contexte de développement. L'Ingénierie Dirigée par les Modèles (IDM) permet de faire face à ces difficultés en proposant des modèles, ainsi que des activités pour en tirer profit. Le but des travaux présentés dans cette thèse est d'établir un lien entre les méthodes formelles et l'IDM afin de proposer à des utilisateurs non experts une approche de vérification formelle et automatique de programmes susceptible d'améliorer les processus de vérification actuels. Nous proposons de générer automatiquement sur le code source des annotations correspondant aux propriétés comportementales attendues du logiciel, et ce, à partir de son modèle de conception. Ces annotations peuvent ensuite être vérifiées par des outils de preuve déductive, afin de s'assurer que le comportement du code est conforme au modèle. Cette thèse CIFRE s'inscrit dans le cadre industriel d'Atos. Il est donc nécessaire de prendre en compte le contexte technique qui s'y rattache. Ainsi, nous utilisons le standard UML pour la modélisation, le langage C pour l'implémentation et l'outil Frama-C pour la preuve du code. Nous tenons également compte des contraintes du domaine du logiciel avionique dans lequel Atos est impliqué et notamment les contraintes liées à la certification. Les contributions de cette thèse sont la définition d'un sous-ensemble des machines à états UML dédié à la conception comportementale de logiciel avionique et conforme aux pratiques industrielles existantes, la définition d'un patron d'implémentation C, la définition de patrons de génération des propriétés comportementales sur le code à partir du modèle et enfin l'implémentation de l'approche dans un prototype compatible avec l'environnement de travail des utilisateurs potentiels en lien avec Atos. L'approche proposée est finalement évaluée par rapport à l'objectif de départ, par rapport aux attentes de la communauté du génie logiciel et par rapport aux travaux connexes.

La protection contre les décharges électrostatiques (ESD) est un fait necessaire dans chaque circuit intégré. Elle se fait par le déploiement sur la puce d'un réseau de dispositifs spéciaux, à côtés des éléments fonctionnels. La demande pour des améliorations en continu dans la conception et la simulation de l'ESD apporte le besoin de modèles nouveaux et plus précises. La SCR (" Silicon Controlled Rectifier ") est l'un des dispositifs les plus efficaces de protection contre l'ESD. Un nouveau modèle électrique, qui peut être utilisé pour évaluer les structures de protection complexe dont il fait partie, a été développé au cours de cette thèse. Construit avec une forte relation entre les phénomènes physiques et ses équations, il a été parametrisé geometriquement, offrant la possibilité d'adapter et d'optimiser le dispositif selon le niveau de protection nécessaire. Par ailleurs, une étude à haute fréquence sur le SCR et la diode de protection ESD a été réalisé, conduisant à un modèle capable de prédire l'impact de ces dispositifs ont sur le circuit protégé.

Cette these aborde diverses problematiques concernant les electrons fortement correles dans des systemes bidimensionnels (composes a frustration geometrique, phases a liens de valence resonants), decrits a l'aide de modeles de dimeres. Une partie de la these concerne des modeles classiques sur un reseau triangulaire anisotrope, presentant des phases critiques qu'on peut decrire a l'aide de theories conformes; en se basant sur ces theories, l'analyse numerique de ce modele par matrice de transfert a permis de caracteriser les conditions d'existence de la criticalite, et plus generalement le diagramme de phases du modele en fonction d'interactions a courte portee et de l'anisotropie du reseau.<br />Une autre partie de la these traite un systeme d'electrons sur un reseau pyrochlore bidimensionnel (ou damier) a remplissage commensurable, en interactions a courte portee. Dans une limite de fortes interactions les electrons subissent des contraintes qui se traduisent par un modele effectif de dimeres quantiques (se differentiant par rapport au modele dit de Rokhsar-Kivelson, motive par les etats a liens de valence resonants, par un degre de liberte supplementaire, de spin). Une etude par diagonalisation exacte, completee par une approche variationnelle et des arguments perturbatifs, a permis d'identifier une phase cristalline a singulets resonants; une extension de ce modele a une mobilite finie des electrons a ete consideree pour caracteriser la transition de cette phase isolante vers un etat metallique en fonction du rapport de la mobilite des electrons et de leurs interactions.

Ce travail s'inscrit dans le contexte général des nouvelles générations de Direction Assistée Electrique (DAE ou EPAS en anglais pour Electronic Power Assistance Steering), dont l'objectif est de tenir compte des caractéristiques des conducteurs à mobilité réduite. En effet, à ce jour, il n'existe pas de système de direction assistée adapté aux capacités articulaires (rhumatismes divers), musculaires (diminution de force, sénescence), ou encore aux douleurs ressenties par le conducteur, ce qui constitue une insuffisance dès lors que l'on s'intéresse à de telles populations. Le principal objectif de cette thèse est donc de proposer une méthodologie générale permettant d'adapter une DAE standard aux conducteurs à mobilité réduite. La méthodologie proposée a été validé sur une plateforme de type Hardware-In the Loop et les résultats expérimentaux obtenus mettent bien en évidence l'intérêt de la démarche proposée. Ils représentent également un point de départ pour l'implantation de l'aide envisagée sur un véhicule réel et jettent les bases pour l'application de la méthodologie à une large classe de patients affectés par des pathologies différentes.

La thèse cherche à comprendre comment la perception de la stratégie sociale des entreprises impacte l’attitude des actionnaires individuels à venir et donc leur intention d’achat d’actions d’entreprises socialement responsables.Notre étude nous a permis de soutenir l’idée selon laquelle l’attitude de l’actionnaire individuel à l’égard des entreprises ne dépend pas uniquement des variables économiques et financières. La stratégie sociale de l’entreprise contribue aussi à la formation de l’attitude des actionnaires individuels à venir à l’égard des entreprises.Nos résultats confirment l’influence des perceptions de responsabilité sociale sur l’intention d’achat d’actions des actionnaires individuels à venir. Nous avons pu constater aussi que l’attitude est la principale variable latente explicative de la formation de l’intention. Les autres variables latentes jouent soit d’une façon moindre soit de façon indirecte à travers l’attitude.Notre démarche, inspirée du paradigme de Churchill, nous a permis de revoir les liens de causalité mis en avant dans le modèle du comportement planifié de Ajzen, notre modèle de référence. L’originalité de notre démarche réside aussi dans le maillage entre les analyses factorielles et les équations structurelles dans la phase exploratoire et les méthodes de régressions PLS dans la phase confirmatoire.Notre étude présente un double intérêt qui se décline d’une part sur le plan théorique à travers l’enrichissement du modèle de comportement planifié et d’autre part sur le plan pratique par un éclairage des entreprises en ce qui concerne la mise en place de leur stratégie sociale et son impact auprès de leurs actionnaires potentiels.Mots clés : Responsabilité sociale des entreprises, Méthodes PLS, analyses factorielles exploratoires, équations structurelles, actionnaire individuel à venir, attitude, variables latentes. / The thesis tries to understand how the perception of companies social strategy impacts on the attitude of the individual future shareholders and thus their intention of purchasing shares from socially responsible companies. Our study allowed us to support the idea according to which the attitude of the individual shareholder towards companies does not depend only on economic and financial variables. The company social strategy also contributes to the training of attitude of future individual shareholders towards companies. Our results confirm the influence of perceptions of social responsibility on the intention of purchase of shares of future individual shareholders. Moreover, we noticed that the attitude is the main explanatory latent variable of the emergence of the intention. Other latent variables play or in a lesser way or in a indirect way through the attitude. Our approach, inspired by the paradigm of Churchill, allowed us to see again the causal relations highlighted in the model of Ajzen strategic behavior, our benchmark model. The originality of our approach also lies in the meshing between the factorial analyses and the structural equations in the exploratory phase and the PLS regressions methods in the confirmation step.Our study presents a double interest: from a theoretical point of view, there is the of planned behavior model and from a practical point of view, there is business lighting regarding the establishment of social policy and its impact to their potential shareholders.Keywords: Corporate Social Responsibility, PLS methods, exploratory factor analysis, structural equations, Future Individual Shareholder, Attitude.

L'analyse du comportement du système musculo-squelettique est indispensable à la compréhension de pathologies ou de l'efficacité du geste sportif. Les modèles, représentants un sujet moyen, permettent l'identification de tendance. Cependant, leurs résultats sont limités à la plage de population qu'ils représentent. Il est donc nécessaire d'adapter leurs géométries et propriétés mécaniques afin de simuler le plus fidèlement possible le comportement biomécanique. L'IRM est l'outil de référence pour la construction de modèle personnalisé tridimentionnel. Cependant, son coût, sa disponibilité et les méthodes de reconstructions limitent son utilisation. Récemment, les développements de la stéréoradiographie, avec le système EOS®, et des techniques ultrasonores, avec l'élastographie ShearWave, ouvrent de nouvelles voies pour la personnalisation des modèles. Le but de ce travail était de proposer une nouvelle méthode pour la construction d'un modèle musculo-squelettique personnalisé, en position érigée, du membre inférieur combinant stéréoradiographie et ultrasons. Tout d'abord, des repères osseux robustes sur images IRM ont été définis pour construire un modèle de référence en position debout. Ensuite, la personnalisation de la géométrie osseuse et de l'enveloppe externe est obtenue par stéréoradiographie. Ces premières informations personnalisées sont utilisées pour estimer la géométrie des muscles. Ce modèle pré-personnalisé est déformé pour correspondre à la géométrie réelle des muscles obtenue par échographie. Cette méthode possède plusieurs avantages. Elle passe outre l'assemblage de coupes échographiques et de supprime la segmentation manuelle complète des coupes. Enfin, un protocole de mesure des propriétés mécaniques par élastographie ShearWave a été présenté. Les propriétés élastiques des muscles du membre inférieur peuvent alors être définies. / The analysis of the behavior of the musculoskeletal system is essential to understand diseases or effectiveness of the sporting gesture. Models, which represent a 50-percentile subject, allow tendencies identification. However, results are limited to the range of people they represent. Their geometry and mechanical properties must be personalized to simulate as closely as possible the biomechanical behavior. MRI is the reference device for the construction of three-dimensional personalized models. However, the cost, the availability and methods of reconstruction limit its use. Recent developments in stereoradiography, with the EOS® system, and in ultrasonic field, with ShearWave elastography, open up new horizons. The aim of this work was to propose a new method for building a personalized musculoskeletal model of lower limb combining stereoradiography and ultrasound, in standing position. First, robust bony frame on MR images were defined to build a reference model. Then, the personalized bones and external envelope geometries were obtained by stereoradiography. This first personalized information was used to estimate muscles geometry. This pre-personalized model was deformed to match the real muscle geometry obtained by ultrasound. This method has several advantages. It overrides the assembly of ultrasound cuts and removes the complete manual segmentation. Finally, a protocol for measuring the mechanical properties ShearWave elastography was introduced. Thus, the muscles elastic properties of the lower limb can then be defined in the model.

L'objectif de cette thèse est d'étudier l'oscillation collective dans un matériau semi-conducteur (InGaAs) dans le but d'élargir les connaissances théoriques et de proposer de nouvelles configurations et des structures pour la conception de détecteurs ou émetteurs THz innovants et efficaces. Pour ce faire, nous développons un modèle théorique permettant l'étude de l'oscillation collective soumis ou non à une excitation externe (battement optique ou rayonnements THz). Une attention particulière est faite pour prendre en compte des phénomènes physiques importants tels que la mobilité différentielle dynamique négative et les oscillations de Gunn.Cette étude est faite à travers le développement d'un outil de simulation numérique basé sur l'approche HD couplé à un solveur de Poisson unidimensionnel. Le modèle HD décrit le temps de vol et le mécanisme de diffusion par l'énergie et la vitesse de relaxation. En outre, on prend en compte les frottements et leur évolution, la variation de l'énergie, la vitesse, et la masse effective. Par conséquent, le modèle HD permet l'observation des régimes transitoires ainsi que d'effectuer des études de fréquence. L'influence des différents paramètres physiques et technologiques sur les oscillations et résonances collectives des électrons sont évalués. Ensuite, le régime de petits signaux est étudié et la réponse de la diode aux perturbations optiques et électriques harmoniques et non harmoniques est évaluée. L'influence du fort biais appliqué à la diode sur les processus d'émission et de détection est ensuite décrit. / The purpose of this thesis is to obtain theoretical results in order to propose new configurations and structures for the conception of innovant and efficient THz detectors or emitters. For this sake, we develop a theoretical model allowing the study of collective oscillation in a semiconductor materials (we choose InGaAs), submitted or not to an external excitation (that is to optical beating or THz radiations). A particular attention is payed also to important physical phenomena such as negative dynamic differential mobility and Gunn oscillations.This study is made through the development of numerical simulation tool, which is based on the HD approach coupled to a one-dimensional Poisson solver. The HD model describes the free-flight and scattering mechanism through energy and velocity relaxation rates. Also it takes into account frictions and their evolution, the variation of energy, velocity and effective mass. Hence, the HD model allows us observing the transient regimes and performing frequency studies. The influence of the different physical and technological parameters on the electron collective oscillations and resonances are evaluated. Then, small-signal regime is studied and the diode response to harmonic and non-harmonic optical and electrical perturbations is evaluated. The influence of the high bias applied to the diode on emission and detection processes is then described.

Ce travail s’articule sur trois axes ; le premier est une contribution à l'étude du répertoire des bactéries associées aux arthropodes vecteurs (tique et puces) en Afrique du nord (Algérie) et en Afrique Sub-saharienne (Bénin, Tanzanie et République Démocratique du Congo). Nous avons pu ainsi détecter par biologie moléculaire (qPCRs, PCR standard et séquençage) et pour la première fois au Bénin, Rickettsia typhi (l'agent du typhus murin), et Bartonella sp dans des puces collectées sur des rongeurs à Cotonou. Dans ce travail, nous avons également détecté Yersinia pestis, l'agent de la peste et R. felis (responsable de la fièvre boutonneuse) dans des puces de la RD du Congo. En Tanzanie, nous avons mis en évidence la présence de R. felis et R. typhi dans des puces de rongeurs. En Algérie, nous avons décrit pour la première fois la présence d'agent de borréliose de Lyme (Borrelia garinii) dans les tiques. Nous avons confirmé la présence de R. massiliae, R. monacensis R. aeschlimannii, R. slovaca et R. felis et nous avons également détecté pour la première fois en Algérie, Bartonella tamiae, une bactérie dont la pathogénicité est peu connue et Coxiella burnetii, l'agent de la fièvre Q.Dans la deuxième partie de notre travail, nous nous sommes intéressés à l’évaluation des compétences vectorielles des puces de chat (Ctenocephalides felis) et punaises de lit (Cimex lectularius) dans la transmission de l’agent de la fièvre des tranchées (Bartonella quintana) dont le vecteur connu est le pou de corps. Trois approches ont été utilisées : la qPCR, la culture et l’immunohistochimie. / This work focuses on three areas; the first is a contribution to the study of the repertoire of bacteria associated with arthropod vectors (tick and flea) in North Africa (Algeria) and in Sub-Saharan Africa (Benin, Tanzania and the Democratic Republic of Congo). We could thus detected by molecular tools (qPCRs, standard PCR and sequencing) and for the first time in Benin, Rickettsia typhi (the agent of murine typhus) and Bartonella sp in fleas collected from rodents in Cotonou. In this work, we have also associated the agent of plague (Yersinia pestis), and for the first time in fleas of DR of Congo, and we detected also R. felis (the causative agent of spotted fever). In Tanzania, we have highlighted the presence of R. typhi and R. felis fleas on rodents. In Algeria, we described for the first time the presence of Lyme disease agent (Borrelia garinii) in hard ticks. We confirmed the presence of R. massiliae, R. monacensis, R. aeschlimannii, R. slovaca and R. felis, we also detected for the first time Bartonella tamiae and Coxiella burnetii associated with bat ticks in Algeria.Regarding the second part we was interested in the evaluation of vector competence of cat fleas (Ctenocephalides felis) and bed bugs (Cimex lectularius) in the transmission of trench fever agent (Bartonella quintana) that is known to be transmitted by lice. Three approaches have been tested; qPCR, culture and immunohistochemistry.

Marseilleviridae est une famille de virus géants isolés initialement à partir de prélèvements environnementaux, dont Marseillevirus est le membre fondateur. La présence des marseillevirus chez l’Homme a été démontrée dans quelques études. Les objectifs sont de mieux documenter la présence des marseillevirus chez l’Homme, de modéliser l’infection par Marseillevirus chez la souris, et enfin, de décrire les génomes des marseillevirus. Nous rapportons un cas d’infection par Marseillevirus chez une patiente atteinte d’un cancer des ganglions, soulevant la question d’un éventuel lien entre Marseillevirus et cancer, à l’instar de l’association existant entre d’autres virus et les cancers. L’infection des souris par Marseillevirus montre que celui-ci persiste un mois au niveau des «amygdales», confirmant le portage pharyngé chronique observé chez un deuxième patient. Enfin, nous identifions deux nouveaux groupes au sein de la famille, soulignant l’importante diversité génétique de la famille. / Marseilleviridae is a new family of giant viruses primarily isolated from environmental samples and whose Marseillevirus is the founding member. The presence of marseilleviruses in humans has been demonstrated in few studies. The aims are to better document the presence of marseilleviruses in humans, to develop a model of infection of mice with Marseillevirus, and to describe the genomes of marseilleviruses. We report a first caes of infection by Marseillevirus in apatient with a lymph nodes cancer, raising the question of a potential link between Marseillevirus and cancer, as the well established association between some viruses and cancers. The infection of miceshows that Marseillevirus persist one month in the “tonsils”, confirming the chronic pharyngeal carriage reported in a second patient. Finally, we identify two new subgroups in the family, highlighting the considerable genetic diversity of the family.

Le football européen en général et le football français en particulier font état de difficultés financières et de faillites récurrentes de clubs professionnels. Sur la seule période de 1975 à 2018, 81 clubs français de football engagés dans les championnats des quatre premières divisions ont connu une faillite. Le sujet de la faillite d’entreprises a été largement traité pour les secteurs courants de l’économie. De nombreuses recherches se sont attachées à construire des modèles de prédiction, puis progressivement d’autres travaux se sont concentrés sur le processus et les différentes trajectoires d’entrée dans la faillite.Les seuls travaux menés sur le football français ont appliqué le modèle de prédiction d’Altman (2000) sur les clubs de Ligue 1 et de Ligue 2 et ont cherché à identifier les facteurs de la défaillance. Un accès privilégié aux données financières et aux parties prenantes du football français nous a permis de construire un nouveau modèle de prédiction de faillite adapté aux spécificités du football que nous avons ensuite complété par uneanalyse qualitative proposant une hiérarchisation des facteurs explicatifs et leur enchaînement au sein d’un processus dynamique. Notre thèse conclue à l’impossibilité de généraliser un modèle de prédiction des faillites à l’ensemble des clubs des quatre premières divisions françaises. Néanmoins, les améliorations apportées par notre propre modèle permettent de meilleurs taux de classement entre les clubs défaillants et les clubs sains des trois premières divisions. Nous montrons également qu’au-delà d’un score ponctuel obtenu dans le modèle, son évolution dans le temps est un signal important pour identifier et anticiper la dégradation de la situation financière de chaque club. Les clubs ne passent pas d’un état de bonne santé à leur faillite de manière soudaine. Des entretiens menés avec des dirigeants, des actionnaires, des directeurs financiers et des membres de la Direction Nationale du Contrôle de Gestion nous ont permis de modéliser la dynamique globale d’entrée dans la faillite des clubs. Sur ces bases, nous proposons une nouvelle approche de la régulation financière pour mieux prévenir la faillite des clubs de football. / French football and European football in general regularly report of financial difficulties and even bankruptcies of professional clubs. Between 1975 and 2018, 81 clubs of the four premier French divisions went bankrupt. The issue of bankruptcy in business has been widely studied in the main sectors of the economy. Various studies have endeavoured to build prediction models and subsequently, other work has investigated the process and different ways of going bankrupt.The only work which investigated French football applied Altman’s prediction model (2000) to Ligue 1 and Ligue 2 clubs and aimed to identify the factors which lead to bankruptcy. Privileged access to financial information concerning these clubs and to people who have important roles in this domain allowed us tocreate a new model to predict bankruptcy which is adapted to the particularities of professional football. We then completed our study with qualitative analysis of the data and a proposal of a hierarchy of the explicative factors and their sequencing in what is a dynamic process. Our thesis concludes by stating that it is impossible to generalise a bankruptcy prediction model for all theclubs in each of the top four French divisions. Nevertheless, the improvements brought forward by our model allows for a more accurate division of the financially healthy and unhealthy clubs in the first three divisions. Equally, we show that beyond the initial score a club achieves with our model, the evolution of this score over time in an important indicator to help clubs anticipate a worsening financial situation; clubs do not suddenly go from a state of financial solvency to one of bankruptcy. Interviews undertaken with the executives, stakeholders and financial directors of clubs as well as those carried out with members of the Direction Nationale du Contrôle de Gestion (DNCG) allowed us to model the global dynamic for clubs who go bankrupt. From there, we propose a new approach to financial regulation to avoid more football clubs going bankrupt.