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.

Ce travail propose un cadre expérimental pour estimer la consommation énergétique des applications cloud-native. Nous montrons que la puissance statique des cœurs, dérivés des courants de fuites, peut atteindre 12% de la consommation d'énergie de l'intégralité de la puce et présentons une méthode en trois étapes pour l'estimer. Notre seconde contribution établit, via une méthode expérimentale, que fréquences Core/Uncore, volume de données et parallélisme dominent la consommation des caches, avec des modèles non linéaires atteignant R2 >= 95%, ouvrant la voie a une extension du capteur RAPL et a des stratégies d'optimisation énergétique.

Le traitement de flux de données (DSP) dans le continuum edge-cloud hétérogène présente des défis majeurs. L'explosion des applications IoT génère des volumes de données sans précédent nécessitant un traitement en quasi-temps réel. Le continuum edge-cloud étend les infrastructures cloud traditionnelles en intégrant des nœuds de calcul de capacités diverses, introduisant une hétérogénéité réseau et de calcul. Les systèmes DSP comme Apache Flink rencontrent des obstacles spécifiques : déséquilibres de flux, variabilité des performances, et complexité du placement d'opérateurs. Nous analysons l'impact de l'hétérogénéité réseau et de calcul sur les performances DSP, et présentons un environnement d'évaluation pour systèmes DSP hétérogènes. Ces contributions visent à améliorer la compréhension des dynamiques complexes et fournir les bases pour exploiter efficacement le traitement géo-distribué.

Ce travail concerne l’association du verre bioactif et du géopolymère qui vise à créer un composite réunissant la bioactivité du verre et la résistance mécanique du géopolymère. Le verre bioactif, connu pour stimuler la régénération osseuse, présente une fragilité, tandis que le géopolymère offre une excellente stabilité thermique et des propriétés mécaniques élevés. Leur combinaison permet donc de concevoir un matériau à la fois biocompatible, bioactif et mécaniquement performant, idéal pour la réparation osseuse. Les matériaux de base et leurs composites ont été étudiés par différentes techniques physico-chimiques. Leur réactivité chimique a été évaluée « in vitro » à travers des essais en milieu simulé (SBF) afin d’analyser la formation d’une couche d’hydroxyapatite indicatrice de bioactivité. Des essais « in vivo » sur modèle animal ont été réalisé aussi afin de confirmer l’intégration tissulaire et la réponse biologique du matériau. Enfin, des tests de compression ont été fait pour évaluer l’impact de l’association sur les performances mécaniques globales. Les résultats montrent que les composites verre bioactif - géopolymère possèdent une bonne bioactivité, confirmée par la formation rapide d’une couche d’hydroxyapatite en milieu simulé et par une bonne intégration tissulaire lors des essais in vivo. L’association des deux matériaux conduit également à une amélioration significative des propriétés mécaniques, où l’augmentation de la proportion de géopolymère s’est traduite par une résistance à la compression accrue, démontrant la complémentarité de ces deux matériaux dans le développement de biomatériaux performants.

Cette thèse porte sur le développement de nouveaux capteurs électrochimiques pour la détection de deux analytes: l’érythromycine (ERY) et le diclofénac (DCF). Dans la première stratégie, la détection repose sur l’intégration d’éléments de reconnaissance, appelés aptamères. Un aptamère spécifique de l’ERY a été immobilisé par formation d’une monocouche auto-assemblée sur un substrat d’or. Le protocole de fonctionnalisation de surface a été minutieusement optimisé afin d’assurer la stabilité du signal de base et d’éviter les faux positifs. Dans une approche plus innovante, un aptamère spécifique du DCF a été immobilisé sur une électrode en carbone par une réaction de type chimie click. L’électrode a d’abord été fonctionnalisée par réduction électrochimique de sels de diazonium protégés. La même stratégie a ensuite été adaptée à un transistor à effet de champ à base de graphène, conduisant à un capteur électronique présentant de meilleures performances analytiques. Enfin, un réseau d’ultramicroélectrodes photolithographié a été développé et couplé à la technique de voltampérométrie à courant échantillonné (SCV). Le réseau a été caractérisé par des méthodes optiques et électrochimiques. Le couplage avec la SCV a permis d’obtenir des limites de détection plus faibles et une sensibilité accrue par rapport à l’électrode macroscopique. De plus, cette approche a permis la détection directe efficace du DCF, en atténuant le phénomène de passivation de l’électrode généralement associé à son oxydation électrochimique.

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.

Les espèces sont adaptées à des conditions environnementales spécifiques (concept de niche écologique) qui sont reflétées dans leur distribution spatiale. Alors que les aires de répartition géographiques sont relativement stables à grande échelle, des changements importants, tels que des expansions, sont parfois observés. Cette thèse vise à étudier l’expansion d’aire de répartition de l’araignée Zodarion rubidum Simon, 1914, à travers l’Europe. La première étude s’intéresse à l’historique de l’expansion et à l’aire favorable potentielle de l’espèce. La seconde étude adresse l’hypothèse d’un changement de régime alimentaire à travers l’espace. Enfin, les troisième et quatrième études évaluent différents processus éco-évolutifs pour comprendre comment Z. rubidum s’est répandue aussi rapidement à travers l’Europe, i.e. testant le rôle potentiel d’endosymbiontes et de l’émergence de phénotypes hautement dispersifs, et comment l’espèce a pu établir des populations viables sur une telle étendue spatiale, i.e. cherchant des différences phénotypiques dans l’espace liées à la niche thermique et alimentaire. Les résultats montrent que Z. rubidum a commencé son expansion dans les années 1970 en Europe centrale, et que ce phénomène ne semble pas être lié à la prévalence d’endosymbiontes ou aux effets d’un tri spatial, mais sans doute à des transports humains. De plus, l’expansion de Z. rubidum ne coïncide pas avec un changement de régime alimentaire ou de niche fondamentale thermique ou alimentaire. Plutôt, il semble que cette expansion d’aire de répartition soit un exemple de remplissage de niche, caractérisé par une colonisation de zones favorables mais jusqu’ici inaccessibles.

Les landes et les prairies sont des habitats agropastoraux particulièrement touchés par les changements d’usages des terres en Europe. Cette thèse analyse l’évolution des communautés végétales des landes et des prairies du Massif Armoricain (nord-ouest de la France). Cette étude est basée sur le rééchantillonnage de plus de 700 relevés floristiques historiques géolocalisés (1947-1998). Près de 30 % des landes et prairies historiquement échantillonnées ont disparu en raison de la déprise agricole, de la conversion en terres arables ou urbanisées. L’analyse diachronique des relevés floristiques met en évidence un déclin important de la diversité et de l’état de conservation des communautés végétales entre les périodes historique et contemporaine. Une proportion plus élevée d'espèces perdantes a été trouvée, principalement des taxons rares et typiques de l'habitat, tandis que les espèces gagnantes étaient principalement tolérantes aux perturbations et communes. Les résultats obtenus ont permis de fournir un diagnostic sur l’ampleur des changements de biodiversité à large échelle spatio-temporelle et de proposer une meilleure prise en compte de la biodiversité à l’échelle régionale aux différents acteurs du territoire.

Les contrats de crédit au consommateur font assurément l’objet d’une attention particulière des législateurs européen et national qui déploient ensemble un encadrement d’une particulière intensité à toutes les étapes de la vie du contrat. Ce constat empirique induit d’emblée un renversement des propositions classiques d’une liberté principielle et d’un encadrement marginal : l’encadrement de la volonté des parties – comme source – et du contenu du contrat – comme produit – domine tandis que la liberté contractuelle est exercée à la marge. Techniquement, cet encadrement incarné dans le droit des contrats de crédit consentis au consommateur repose fondamentalement sur la logique consumériste visant à appréhender les situations particulières de manière objective ou objectivée. Il se réalise dans une diversité de techniques inégalement attentatoires à la liberté contractuelle dans son volet liberté de déterminer le contenu du contrat. Concrètement, un encadrement volontariste et libéral a priori se conjugue à un encadrement normativiste et interventionniste a posteriori pour assurer la protection du consommateur de crédit. En somme, le pouvoir des volontés individuelles dans les contrats de crédit au consommateur est modulé par un encadrement légal intense, objectif et absolutiste.