Les systèmes dynamiques permettent de modéliser des phénomènes évoluant dans le temps selon certaines lois (par exemple physiques), mais n'admettent généralement pas de solution explicite. Ces systèmes peuvent tout de même être (partiellement) résolus lorsqu'ils admettent des intégrales premières, fonctions qui restent constantes pour toute solution du système. Plusieurs classes importantes d'intégrales premières sont construites en combinant suffisamment de polynômes, dits de Darboux. On peut alors montrer la non-existence de telles intégrales premières en énumérant exhaustivement tous ces polynômes, ce qu'on ne sait faire que jusqu'à une borne sur leur degré. Cette thèse présente des algorithmes qui génèrent des preuves qu'un système n'admet pas de polynômes de Darboux. Nous proposons ainsi une nouvelle preuve, entièrement automatisée, que l'oscillateur de Van der Pol ne possède pas de polynôme de Darboux. Notre approche n'est pas limitée par la dimension du système : nous montrons que le système physique de Shimizu-Morioka, de dimension 3, n'admet pas de polynômes de Darboux pour toute valuation de ses paramètres, répondant à une conjecture ouverte. Enfin, nous montrons comment accélérer les procédures existantes de génération de polynômes de Darboux de degré borné. On montre expérimentalement que notre stratégie réduit la dépendance au choix de l'ordre monomial utilisé et permet de générer des polynômes de plus haut degré pour des systèmes de dimension 3.

L'assistant de preuve Squirrel est dédié à la vérification de protocoles cryptographiques. Le modèle utilisé par ce prouveur est appelé modèle calculatoire. Il assure un haut niveau de garanties de sécurité, mais souffre d'un manque d'automatisation. Cette thèse propose d'utiliser des méthodes symboliques et de les adapter pour le modèle calculatoire de Squirrel. Tout d'abord, les protocoles dans Squirrel sont déclarés par des processus écrits dans une variante du pi-calcul appliqué. La sémantique de ces processus n'a pas été définie dans l'article initial présentant Squirrel. L'outil utilise à la place une représentation nommée systèmes d'actions, pour laquelle une sémantique bien définie existe. La première contribution de cette thèse est de définir cette sémantique et de fournir une traduction correcte du pi-calcul vers la représentation interne des protocoles de l'outil. Ensuite, pour automatiser les preuves écrites avec Squirrel, nous concevons un système de types pour les preuves de secret dans le modèle calculatoire. Nous prouvons la correction de ce système de types et l'implémentons dans l'outil, en supportant le chiffrement symétrique et asymétrique.

Cette thèse explore la place du pharmacien d’officine dans la numérisation du système de santé français. Dans une première partie, elle analyse l’intégration progressive du pharmacien dans la télésanté à travers le développement du télésoin, de la téléconsultation accompagnée et de l’usage croissant des dispositifs médicaux connectés. La seconde partie s’intéresse aux réformes issues du Ségur du numérique en santé, notamment Mon Espace Santé, les ordonnances électroniques et l’application carte Vitale, qui redéfinissent les échanges et la coordination des soins. Ce travail met en évidence les bénéfices du numérique pour la sécurité et la continuité des soins, tout en soulignant les freins techniques, organisationnels et humains à son adoption. Le pharmacien apparaît ainsi comme un acteur central de cette transition, à la fois relais de confiance, médiateur du numérique et garant de la proximité patient-professionnel.

La musculation est une activité physique largement démocratisée en France, comptant 7,7 millions pratiquants réguliers. Recommandée dans l’ensemble de la population adulte, la musculation participe à l’entretien de la santé musculaire et au maintien de la qualité de vie. L’hypertrophie du tissu musculaire est corrélée aux taux de synthèse protéique et de protéolyse. L’entrainement et l’alimentation sont deux éléments influençant significativement le métabolisme protéique. En particulier, les apports énergétiques et protéiques sont des variables nutritionnelles déterminantes. En tenant compte du contexte individuel du pratiquant de musculation (expérience, composition corporelle, balance énergétique…), il sera recommandé d’observer un apport protéique quotidien de 1.6 à 3.1 g / Kg. Les pratiquants de musculation sont également susceptibles de se supplémenter dans le but d’améliorer leurs performances et leur santé. Les oméga-3, la créatine et la β-alanine font parti des compléments alimentaires ayant fait l’objet de nombreuses études scientifiques. La supplémentation en oméga-3 permet de prévenir le déficit endémique occidental, moduler la réponse inflammatoire à l’entrainement et améliorer la récupération musculaire. Il sera recommandé au pratiquant de musculation de s’assurer de consommer quotidiennement plus de 500 mg d’EPA et DHA. Certaines données tendent à démontrer qu’une consommation plus importante, de plus de 2 g / j, pourrait être davantage bénéfique pour l’hypertrophie, en faisant intervenir de nombreux mécanismes d’action régulant le métabolisme protéique. L’effet de la supplémentation en créatine sur le métabolisme musculaire est bien établi. Cet effet est principalement médié par l’amélioration des performances en anaérobie alactique. La consommation quotidienne de 3 à 5 g de créatine permet d’optimiser ces effets. La supplémentation en β-alanine atténue la sensation de fatigue au cours des entrainements en anaérobie lactique. La supplémentation pourra en particulier être conseillée pour les pratiquants de musculation dont le programme d’entrainement favorise la production d’acidité. Il sera alors recommandé de consommer 6.4 g de de bêta-alanine répartis en plusieurs prises quotidiennes.

Cette thèse étudie les attaques par portes dérobées sur les systèmes d’apprentissage profond, prenant la reconnaissance faciale comme exemple. Contrairement à une grande partie de la littérature, qui se concentre sur l'étude de réseaux de neurones profonds de classification isolés, ce travail évalue des pipelines réalistes dans leur globalité. La thèse débute par une revue de la littérature des attaques par portes dérobées, leurs défenses, et de la reconnaissance faciale, mettant en avant plusieurs angles morts. Cette thèse démontre alors des nouvelles attaques par portes dérobées sur des modèles présents dans l'industrie, contribuant à la compréhension holistique de ces menaces. Le résultat central de cette thèse est inquiétant : compromettre n'importe quel composant d'un pipeline suffit à le saboter, permettant un accès non autorisé dans un système biométrique. Ce travail propose alors plusieurs contremesures et recommandations pour se prémunir contre de futures attaques. En ancrant cette recherche dans un contexte de systèmes réalistes, cette thèse met en avant un problème de vulnérabilité qui affecte un large éventail d’applications qui vont au-delà de la reconnaissance faciale.

Les pénuries de médicaments, amplifiées par les crises sanitaires, révèlent la fragilité de la chaîne d’approvisionnement mondiale. Les patients en sont les premières victimes, confrontés à des retards de traitement ou à des alternatives moins efficaces, parfois plus risquées. Ces tensions affectent aussi les laboratoires, distributeurs et pharmaciens. Les causes sont multiples : délocalisation de la production, dépendance à la sous-traitance, déséquilibre entre offre et demande, contraintes réglementaires ou inflation. Un seul maillon défaillant suffit à perturber tout le système. Les médicaments dits « matures », essentiels mais peu rentables, sont les plus touchés. Pour y remédier, les pouvoirs publics multiplient les mesures, mais il est crucial de diversifier les sources, de relocaliser la production, d'ajuster les prix et de renforcer la coopération européenne et internationale pour garantir un accès durable aux traitements.

Cette thèse explore la modélisation, la conception, la caractérisation et l’encapsulation d’amplificateurs optiques intégrés sur nitrure de silicium, utilisant des guides d’ondes en alumine dopée à l’erbium, dans le cadre du projet européen OPHELLIA. Une étude spectroscopique des ions erbium a permis de développer un modèle numérique pour analyser l’impact de l’absorption excitée (ESA), du transfert d’énergie vers le haut (ETU) et de l’extinction de l’émission (quenching) sur les performances des amplificateurs, ainsi que pour estimer les paramètres optimaux afin de maximiser le gain. La première fabrication de circuits photoniques intégrés (PIC) à amplificateurs dopés à l’erbium (EDWA) a révélé des gains en petit signal de 4,5 dB et 18 dB sur puce et sur la section active, respectivement. Une optimisation du design a ensuite permis d’atteindre des gains de 15,2 dB, 19,1 dB et 24,4 dB, avec des puissances maximales de 110 mW, 180 mW et 330 mW, respectivement. L’encapsulation des puces dans un boîtier de dimensions 53 x 45 x 11 mm3 a abouti à un gain de 15 dB et une puissance maximale de 30 mW en sortie.

Des récoltes de champignons sont organisées chaque année au cours des enseignements de mycologie à la Faculté de Pharmacie de Rennes. Au cours de cette thèse, douze années de récoltes mycologiques, de 2012 à 2023, ont été recensées : 3499 espèces ont été cueillies représentant 265 espèces différentes et 67 genres. L’analyse des espèces récoltées a été faite à partir de tableaux de récoltes réalisés chaque année par les enseignants en mycologie. Les espèces ont été classées et regroupées chacune dans un tableau par genre de champignons et ces genres ont été analysés par paillasse pour suivre la disposition faite en salle de travaux pratiques. Pour les genres les plus courants un histogramme en bâton a été créé afin de mettre en évidence ceux qui prédominent au fil du temps. Sur ces histogrammes, la comestibilité/toxicité est également représenté à chaque fois pour souligner les risques potentiels liés à leur consommation. Au total, il a été recensé 61 espèces comestibles, 166 à rejeter, 27 toxiques, 5 comestibles bien cuites mais toxiques crues et 6 mortelles. Ce travail de recensement a permis de voir les genres prédominants, ce qui a conduit, dans la deuxième partie, à la création de fiches descriptives détaillant les caractéristiques générales de chaque genre. Au total 32 fiches ont été réalisées, présentant chacune une description commune du genre (chapeau, hyménophore, chair, pied, habitat, comestibilité). Puis, six affiches à visée pédagogique ont été élaborées : trois d’entre elles illustrent l’anatomie du champignon, en se concentrant respectivement sur le chapeau, sur l’hyménophore et sur le pied ; une autre explique la réalisation d’une sporée ; et enfin deux autres affiches, résument les principaux syndromes d’intoxications à latence courte et à latence longue. L’objectif de ces fiches et affiches est d’aider les étudiants en Pharmacie dans leur apprentissage au cours des enseignements de mycologie.

L’infection par le VIH peut avoir de graves répercussions sur la santé de la mère et de l’enfant à naître. Le virus peut être transmis à l’enfant au cours de la grossesse, de l’accouchement ou encore pendant l’allaitement. Toutefois, grâce aux mesures de prévention et à l’utilisation des traitements antirétroviraux, le risque de transmission materno-fœtale peut être considérablement réduit. Il est donc essentiel de promouvoir le dépistage précoce du VIH chez les femmes enceintes. Par ailleurs, le rôle du pharmacien d’officine s’avère de plus en plus déterminant dans le suivi de la femme enceinte, notamment à travers l’entretien de grossesse et la vaccination. Il occupe ainsi une place centrale dans la prévention et l’accompagnement de ces patientes.

La santé bucco-dentaire dépend d’un équilibre étroit entre l’immunité de l’hôte, le microbiote oral et les tissus parodontaux. La rupture de cette homéostasie entraîne une dysbiose microbienne associée à une inflammation chronique, à l’origine de la maladie parodontale. Cette pathologie fréquente constitue un enjeu majeur de santé publique en raison de ses conséquences locales et de ses liens avec plusieurs maladies systémiques. Cette thèse analyse les interactions entre l’immunité, le microbiote oral et la parodontite à travers une revue critique de la littérature. Elle met en évidence les mécanismes immuno-inflammatoires impliqués, la dynamique écologique du microbiote et les facteurs favorisant la progression de la maladie. Enfin, elle explore les perspectives pharmacologiques émergentes visant à moduler l’immunité et le microbiote afin de restaurer l’homéostasie et d’améliorer la prise en charge thérapeutique.