L'analyse flots de données est une technique d'analyse statique qui détermine des informations sur la propagation des données lors de l'exécution d'un programme informatique, sans exécuter le programme. Ces informations peuvent être notamment utilisées pour optimiser le programme lors de sa compilation. Réaliser une analyse flots de données consiste en général à résoudre un système d'équations. En dehors des méthodes traditionnelles utilisées pour résoudre de tels systèmes, d'autres techniques ont été développées. L'une d'entre elles, qui a été proposée par Bourdoncle en 1993, consiste à pré-calculer une stratégie de résolution de manière à résoudre ensuite le système plus efficacement. Cette thèse vise à développer des solveurs formellement vérifiés, qui se basent sur cette technique de résolution. Premièrement, nous proposons une formalisation rigoureuse de la notion de tri topologique faible (WTO) qui permet de représenter la stratégie pré-calculée. Ensuite, nous implémentons et vérifions formellement avec l'assistant de preuve Rocq deux variantes de résolution proposées par Bourdoncle, appelées stratégies itérative et récursive, ainsi que l'algorithme le plus utilisé pour calculer un WTO. Notre développement est entièrement intégré au compilateur formellement vérifié CompCert. Enfin, nous évaluons expérimentalement nos implémentations, en les comparant aux solveurs de CompCert et à une implémentation non vérifiée du calcul du WTO.

Les réseaux de neurones, utilisés dans de nombreux domaines, trouvent également leur place dans des environnements critiques tels que l’aérospatial, le médical ou la conduite autonome. Leur déploiement sur des systèmes embarqués pose des défis liés à la consommation énergétique, aux ressources matérielles limitées et à leur vulnérabilité aux perturbations, notamment les inversions de bits causées par les radiations, les défauts de fabrication ou le vieillissement des composants. Cette thèse propose une méthode d’évaluation de la robustesse des réseaux de neurones basée sur l’injection statistique de fautes, mise en œuvre dans l’outil SFI4NN, permettant de mesurer l’impact des perturbations sans exploration exhaustive. Une originalité de cette approche est l’analyse de la directionnalité des fautes, montrant que les inversions éloignant les valeurs de zéro sont les plus critiques, tandis que certaines couches et bits les plus significatifs sont sensibles. Plusieurs mécanismes matériels de protection ont été développés, tels que HTAG pour les formats flottants, VANDOR pour les représentations fixes et TVU, une approche hybride, qui exploitent cette asymétrie pour améliorer la fiabilité tout en limitant le coût matériel. Ces travaux soulignent l’importance de considérer la directionnalité des fautes pour concevoir des réseaux embarqués fiables et adaptés aux environnements critiques.

Face à la montée en puissance des enjeux de durabilité, les investisseurs accordent une importance croissante à l’intégration des facteurs ESG dans leur prise de décision. Cependant, malgré plusieurs décennies de recherches, les conclusions relatives au lien entre la performance ESG et la valeur de l’entreprise demeurent ambiguës et inconsistantes. L’objectif de cette étude est de déterminer si la prise en compte de la sensibilité des investisseurs permet de mieux comprendre cette relation. Pour ce faire, nous avons développé un indicateur d’efficience ESG intégrant simultanément la performance financière, la performance ESG et la sensibilité des investisseurs à la dimension ESG. Cet indicateur, ainsi qu’un indicateur alternatif, sont ensuite testés dans l’explication de la valeur de l’entreprise, mesurée à travers le coût du capital et le Q de Tobin. Les résultats empiriques révèlent que l’indicateur d’efficience ESG proposé présente un pouvoir explicatif supérieur sur le coût du capital, suggérant qu’une meilleure efficience ESG réduit le risque perçu par les investisseurs et favorise un financement à moindre coût. En revanche, ni cet indicateur ni l’indicateur alternatif ne permettent d’expliquer significativement la formation du Q de Tobin.

Cette thèse traite de l’emploi des personnes dites « vulnérables » comme une opportunité stratégique pour les organisations de maintenir leur performance organisationnelle dans un contexte en tension et évolutif. Elle propose une relecture du concept de vulnérabilité, envisagé non pas comme un état, mais comme un processus évolutif intégrant des dimensions personnelles, sociales et organisationnelles. S’inscrivant dans le champ de la GRH, cette recherche repose sur la théorie de la désaffiliation et sur la COR-Theory – aboutissant à la proposition d’un modèle de compréhension du processus de désaffiliation professionnelle. L’objectif de cette recherche est ainsi de mieux appréhender les parcours de désaffiliation professionnelle afin d’identifier les leviers d’actions favorisant l’emploi durable des personnes concernées en milieu ordinaire. Pour cela, nous basons cette recherche sur 28 entretiens semi-directifs auprès de personnes très éloignées de l’emploi et anciennement, et un focus group ayant rassemblé 7 praticiens. Nos résultats mettent en exergue la singularité des parcours de désaffiliation professionnelle, l’impact de fait déclencheur sur les trajectoires professionnelles, ainsi que la présence d’obstacles personnels, sociaux et organisationnels freinant la réaffiliation professionnelle. Cette recherche contribue ainsi à la littérature sur la vulnérabilité, sur les ressources et intègre la notion de désaffiliation professionnelle dans la littérature en GRH et en Management. Elle fournit également des leviers d’actions à destination des entreprises et des acteurs de son écosystème.

L’augmentation des engagements des associés est un effet élémentaire du droit des sociétés. Considérée comme une modification du contrat, l’application du régime de la modification contractuelle prévu par le droit des obligations trouverait lieu d’être appliqué. Pourtant, le droit des sociétés s’en éloigne lorsque l’article 1836 alinéa 2 du Code civil dispose qu’aucune augmentation des engagements ne peut être imposée à un associé. La règle s’émancipant du principe du mutuus dissensus, elle pose la question de son domaine et de ses conditions d’application. La doctrine et la jurisprudence se sont essayées à la détermination des opérations augmentant les engagements des associés et des critères de validité de l’opération. Il n’existe cependant pas de définition de l’augmentation ni de critères pérennes pour sa qualification et l’application de son régime juridique. C’est pourquoi, l’objet de notre étude tend à définir ce qu’est l’augmentation des engagements des associés. Une première partie de l’étude permet la recherche des critères de qualification de l’augmentation tandis qu’une seconde partie de cette étude constate les lacunes de son régime juridique à travers la recherche des hypothèses d’augmentation des engagements et propose de revoir ses conditions de fond et de forme. Cette proposition repose sur le constat que l’augmentation des engagements constitue, au-delà d’une modification du contrat statutaire ou extrastatutaire, une modification du statut juridique de l’associé or, ce statut se compose d’éléments communs à tout associé et d’éléments spécifiques à certains d’entre eux. Cependant, la modification de ce statut bien qu’elle réponde en principe à une volonté personnelle de l’associé, s’effectue également en faveur de la société. Se dresse ainsi un jeu d’équilibre entre les intérêts de l’associé, celui de la société et celui de la collectivité des associés qui remet en cause la permanence de la condition du consentement de l’associé à l’augmentation de son engagement.

L’archipel isolé des Kerguelen en région subantarctique est caractérisé par un climat rigoureux et une forte vulnérabilité au changement climatique et aux invasions biologiques. Alors que les microorganismes sont au cœur de la réponse des écosystèmes au changement climatique, la diversité et la réponse microbienne des Kerguelen reste encore largement inexplorée. En combinant observations et échantillonnages de terrain, études biogéographiques et expériences en conditions contrôlées, cette thèse propose une analyse multi-échelle de l’assemblage des communautés bactériennes et fongiques des sols et des plantes de cet écosystème subantarctique. Nous montrons que les microbiomes du sol et des plantes sont façonnés par des introductions historiques, un filtrage environnemental et l’identité de l’hôte. La majorité des taxons sont cosmopolites, avec des indices de potentielles introductions d’origine humaine et de dispersion longue distance. Les caractéristiques édaphiques et climatiques influencent l’assemblage et la diversité microbienne le long du continuum sol-plante. Une expérimentation en conditions contrôlées montre que le microbiome du sol est garant de l’établissement et de la bonne croissance des plantules, et que la Poacée introduite Poa annua «surperforme» par rapport aux espèces endémiques grâce à une plasticité accrue et une forte proportion de micro-organismes transmis depuis les graines. Cette thèse souligne ainsi la vulnérabilité des plantes holobiontes des fellfields aux Kerguelen face à la double pression du changement climatique et des invasions biologiques.

Les hexaphyrines sont des macrocylces pyrroliques dynamiques pouvant prendre une conformation en anneau de Möbius. Cette structure torsadée particulière possède une chiralité topologique intrinsèque hélicoïdale et dynamique. Les travaux de cette thèse sont centrés sur l’induction de chiralité et de sa modulation. Pour y parvenir, plusieurs stratégies novatrices ont été employées. D’abord avec l’utilisation d’hexaphyrines à bras coordinants chiraux avec une fonction amine ou acide carboxylique. La formation de complexes de zinc(II) avec des ligands exogènes de type azo a permis d’obtenir d’impressionantes inductions de chiralités avec des e.d. pouvant être >95%. L’activité chiriptique de ces systèmes a pu être modulée par photo-isomérisation trans->cis du ligand azo donnant lieu au tout premier photocommutateur chiroptique en anneau de Möbius. De nouvelles hexaphyrines possédant un second site de reconnaissance chiral à motif squaramide, surplombant l’anneau, ont été développées. Des inductions de chiralité par contrôle à distance de ce second site ont été obtenues grâce à différents processus de reconnaissance ou de protonation. La modulation de la disposition des deux sites par changement conformationnel induit par complexation a également été observée. Les résultats prometteurs des deux stratéges jètent les bases pour la formation de récepteurs allostériques à chiralité photocommutable.

Des études ont montré qu’une stimulation sensorielle intervenant dans un délai restreint après le départ de crise peut interrompre les absences épileptiques (AE) typiques de l’épilepsie absence de l’enfant. Nous avons développé des algorithmes de détection précoce des AE à partir de données électroencéphalographiques (EEG) destinés à être intégrés dans un système en boucle fermée capable d’interférer avec les crises par stimulation sensorielle. Dans le but de comprendre la dynamique des AE, nous proposons également un modèle computationnel d’AE basé sur un formalisme de type masses neurales. Ce modèle informé par la neurophysiologie et impliquant des circuits corticaux-sous-corticaux constitue une base pour l’étude de l’effet de stimulations sensorielles et nous a permis de tester et d’évaluer certaines hypothèses concernant les mécanismes impliqués dans l’initiation, la dynamique et la terminaison des AE. Un protocole permettant la génération d’EEG patients-spécifiques réalistes est également introduit. Ce protocole implique une localisation de sources avec une nouvelle méthode parcimonieuse (APESISSY) – ici présentée et évaluée – ainsi qu’un algorithme génétique intégrant un nouvel indice de similarité entre séries temporelles intrinsèquement normalisé (Vecmatch) – également présenté et évalué – permettant une comparaison quantitative entre EEG réels et simulés. L’ensemble des études (modélisation + localisation de sources) menées dans le cadre de cette thèse permet de dresser le portrait d’une épilepsie typiquement inhibitrice impliquant des circuits associatifs.

Cette thèse est consacrée à l’étude de la notion de bonne administration de la justice appliquée à la justice internationale pénale. Elle s’est attachée à en saisir, d’une part, la portée opératoire dans la pratique des juridictions internationales, et, d’autre part, la valeur normative en tant que critère d’évaluation du système international pénal lui-même. Dans sa première partie, l’analyse montre que la bonne administration de la justice agit comme un instrument de régulation du procès, garantissant l’équilibre procédural, la discipline du temps et la cohérence ou la qualité décisionnelle. La seconde partie inverse le regard : la bonne administration devient standard d’appréciation à l’aune duquel sont éprouvées l’organisation (accessibilité et indépendance) et le fonctionnement (efficacité et équité) de la justice internationale pénale. L’évaluation révèle un résultat globalement négatif : cette justice, bien qu’indispensable, demeure contingente dans sa disponibilité, fragile dans son autonomie, lente dans son déroulement et inégale dans ses traitements. Loin de disqualifier l’entreprise, ce constat met en lumière les apories structurelles qui empêchent, pour l’heure, d’en faire une justice pleinement « bien administrée ». La recherche plaide ainsi, par sous-entendement, pour une refondation des conditions de sa disponibilité, de son indépendance, de sa célérité et de son équité, afin que la justice internationale pénale réalise effectivement la promesse qu’elle porte : rendre justice à l’humanité en la rendant bien.

En réponse aux enjeux de la transition environnementale, les matériaux géosourcés et biosourcés, tels que la terre crue et les composites terre-chaux-chanvre, constituent des alternatives aux matériaux conventionnels. Le laboratoire CBTP du Groupe Pigeon développe des matériaux valorisant des co-produits de carrières. Cette thèse porte sur la caractérisation hygrothermique de certains de ces matériaux. L’étude est réalisée à différentes échelles, du matériau à la paroi, via une approche expérimentale et numérique. L’étude à l’échelle du matériau montre l’effet de la formulation (masse volumique, minéralogie et ajout de chanvre) et de la teneur en eau sur les propriétés thermiques et hygriques. La méthode de séchage innovante par convection forcée développée permet de réduire de moitié le temps de séchage par rapport à la convection naturelle. L’étude à l’échelle de la paroi réalisée en enceinte bi-climatique compare le comportement hygrothermique de quatre solutions constructives se distinguant par leur matériau et le positionnement de l’isolant. Les résultats montrent des caractéristiques favorables pour les parois à base de terre pour limiter les surchauffes estivales, réduire les besoins énergétiques de chauffage et contribuer à une meilleure stabilité hygrothermique globale.