Le sommeil est une fonction vitale de l'organisme et il a un rôle important pour de nombreuses fonctions biologiques. Cependant, de nombreuses personnes souffrent de troubles du sommeil dont majoritairement d'insomnie. Ces troubles ont des répercussions humaines, sociales et économiques. Cependant, lors de sa prise en charge, ces traitements sont prescrits sur plusieurs années. Cet usage au long court entraîne des effets délétères. Il est observé une dépendance psychique, une dépendance physique et un phénomène de tolérance apparaît. Le pharmacien a un rôle primordial en voyant le patient régulièrement à l'officine. Il peut lui rappeler les règles d'hygiène de vie et donner également quelques conseils.

Le psoriasis est une maladie de peau fréquente dans la population générale qui possède des répercussions très variables selon les individus et en particulier au niveau social. Chez les femmes enceintes, la maladie entraîne des conséquences néfastes sur la grossesse. Le certolizumab pégol est une biothérapie sortie en 2009. C’est un anticorps monoclonal qui ne possède pas de fraction Fc. Le principal avantage recherché dans la grossesse est l’absence de passage de ce médicament à travers la barrière placentaire et dans le lait maternel. Il permet d’être utilisé théoriquement pendant toute la grossesse et l’allaitement et donc d’éviter les conséquences sur le nouveau-né et sur la mère. Cette thèse permet de mettre en évidence le nombre trop faible d’études cliniques permettant de valider cette théorie. Même si le traitement est sûr pendant les 2 premiers trimestres de la grossesse, il est conseillé d’utiliser un autre médicament comme l’Infliximab sur lequel on possède plus de recul.

Au cours de sa vie, une femme sur douze est touchée par un cancer du sein. En France, les patientes atteintes ont un bon pronostic vital grâce aux campagnes de dépistage, à une prise en charge précoce ainsi qu’aux nombreuses solutions thérapeutiques existantes. Le létrozole, notamment, est l’un des protocoles standards indiqué chez la femme ménopausée atteinte de cancer du sein hormonodépendant. La prise quotidienne de létrozole sur de longues durées en ambulatoire bouleverse la vie des patientes. Afin de pallier le faible encadrement du milieu hospitalier ainsi qu’au manque d’information des patientes sur leur pathologie, médicament ou effets indésirables, l’avenant n°21 à la convention nationale du 4 avril 2012 a créé les entretiens pharmaceutiques anticancéreux. Cet accompagnement propose aux patientes une prise en charge personnalisée permettant à la fois une amélioration de leur qualité de vie ainsi que de leur observance et adhésion thérapeutique. L’un des thèmes principaux abordés au cours des entretiens est la gestion des effets indésirables, les conseils hygiéno-diététiques délivrés par le pharmacien d’officine ont pour objectif de prévenir ou soulager leur apparition.

L'augmentation de la complexité et de l'hétérogénéité des systèmes critiques pose un défi dans leur conception et leur assurance de sécurité. Les méthodes formelles sont utilisées pour valider les modèles de système, mais la difficulté réside dans la vérification de la sécurité du système global à partir des spécifications de composants validées. La théorie des contrats résout ce problème en utilisant les contrats d'assomption/garantie comme spécifications de composants. Les contrats sont validés en vérifiant que leurs hypothèses et garanties sur-approximent les pré- et post-conditions résultant des évaluations valides du modèle de composant. Les contrats individuels peuvent être combinés en faisant correspondre les hypothèses et garanties de chaque composant. Le manuscrit définit une formalisation algébrique des contrats d'assomption/garantie implémenté dans le calcul de construction de l'assistant de preuve Coq. Cette formalisation est prouvée pour valider une méta-théorie des contrats de Benveniste et al. pour tous les opérateurs tels que la composition, la conjonction, l'abstraction, le raffinement ainsi que l'introduction et l'élimination de variables. Le cas d'utilisation pratique du modèle de contrat est illustré avec la logique différentielle dynamique et deux instances du modèle de contrats. La théorie est appliquée à une étude de cas pour illustrer sa puissance dans la modélisation de composants pour valider un système cyber-physique.

L'apprentissage profond a révolutionné l'animation de personnages durant la dernière décennie. Des modèles novateurs et sophistiqués ont permis d'obtenir un réalisme sans précédent. Cependant, ces avancées ne permettent pas encore de remplacer les animateurs sur toutes les tâches fastidieuses et peu créatives. L'objectif de cette thèse est de s'attaquer aux obstacles qui les en empêchent. En particulier, nous avons abordé le manque de données de mouvement de qualité et la tendance des réseaux de neurones à introduire des artéfacts lors du traitement de données de mouvement. Nous avons d'abord exploré l'amélioration de séquences de poses humaines 2D estimées à partir de vidéos en utilisant des connaissances a priori apprises par un modèle génératif profond. Ensuite, nous avons abstrait le mouvement de la topologie et de la morphologie dans une représentation profonde, afin de rassembler, de traiter ou de squeletto-morphoser des séquences de mouvement avec des topologies et des morphologies variables. Enfin, nous nous sommes attaqués à la détection des contacts des pieds avec le sol dans le but de nettoyer automatiquement les artéfacts de glissement des pieds.

Introduction : Un trouble neurocognitif (TNC) se définit par une réduction acquise, significative et évolutive des capacités dans un ou plusieurs domaines cognitifs. L’HAS préconise un diagnostic via la réalisation de tests de mémoire au décours d’une consultation dédiée avec le médecin généraliste (MG) dès lors que le patient ou un membre de sa famille rapporte une plainte mnésique. Objectif : Explorer les représentations des TNC chez des personnes de plus de 75 ans et les motivations et/ou freins éventuels à leur diagnostic par le MG. Méthodologie : Étude qualitative menée auprès de personnes âgées de plus de 75 ans consultant en médecine générale au travers d’entretiens semi-dirigés du mois d’août 2022 à janvier 2023. Résultats et discussion : Les représentations des TNC sont principalement liées à celle de la maladie d’Alzheimer. Les connaissances de la maladie et de la stratégie diagnostique et thérapeutique sont principalement tirées de l’expérience personnelle auprès de malades et des médias. Nos informateurs témoignent que les signes de TNC semblent connus parmi les sujets âgés. Le MG est l’interlocuteur privilégié des individus souhaitant un diagnostic de TNC avec comme motivation principale l’espoir du ralentissement de la maladie sans croire cependant à l’efficacité d’un traitement. Les peurs liées aux représentations des TNC peuvent être un frein au diagnostic, tout comme l’absence de traitement curateur. Conclusion : Les représentations des TNC chez les personnes de plus 75 ans sont principalement liées à celles de la maladie d’Alzheimer, à l’expérience personnelle et aux médias, et influencent le recours aux soins, la stratégie diagnostique ainsi que thérapeutique.

L'un des défis majeurs des systèmes automatisés réside dans la nécessité de fonctionner dans des conditions réelles, donc incertaines. L'incertitude paramétrique est un problème courant, et se présente lors de l'exécution de tâches robotiques diverses. Dans cette thèse, nous explorons les possibilités apportées par la planification de trajectoires, dont le suivi est intrinsèquement robuste aux incertitudes. Dans la première contribution, nous étendons les algorithmes de planification de trajectoires à sensibilité minimale en introduisant la sensibilité de l'entrée, qui, une fois réduite, conduit à une prédiction accrue de l'entrée du système. Ce problème, bien que traité pour de la robotique aérienne, est généralisé pour tout système. Le problème de sensibilité reposant sur l'hypothèse de connaissance parfaite de l'état, dans la seconde contribution nous combinons les algorithmes 'control-aware' et 'observability-aware' grâce à la méthode de Chebyshev, afin de générer des trajectoires robustes aux incertitudes, et assurant une meilleure estimation des variables/paramètres du système. Enfin, dans la dernière contribution, nous développons une théorie qui exploite les données d'incertitude paramétrique, afin de construire les 'tubes de déviations du pire cas' autour des variables nominales du système. Cette nouvelle expression du problème permet d'augmenter la fiabilité des systèmes, car nous assurons la faisabilité, même pour les plus fortes déviations paramétriques.

Les systèmes logiciels sont fortement configurables, au sens où les utilisateurs peuvent adapter leur compilation et leur exécution grâce à des configurations. Mais toutes ces configurations ne se valent pas, et certaines d'entre elles seront nettement plus efficaces que d'autres en terme de performance. Pour l'être humain, il est complexe d'appréhender et de comparer les les différentes possibilités de configuration, et donc de choisir laquelle sera adaptée pour atteindre un objectif de performance. De récents travaux de recherche ont montré que l'apprentissage automatique pouvait pallier à ce manque et prédire la valeur des performances d'un système logiciel à partir de ses configurations. Problème. Mais ces techniques n'incluent pas directement l'environnement d'exécution dans les données d'apprentissage, alors que les différents éléments de la pile logicielle (matériel, système d'exploitation, etc.) peuvent interagir avec les différentes options de configuration et modifier les distributions de performance du logiciel. En bref, nos modèles prédictifs de performance sont trop simplistes et ne seront pas utiles ou applicables pour les utilisateurs finaux des logiciels configurables. Contributions. Dans cette thèse, nous proposons d'abord de définir le terme de variabilité profonde pour désigner les interactions existant entre l'environnement et les configurations d'un logiciel, modifiant ses valeurs de performance. Nous démontrons empiriquement l'existence de cette variabilité profonde et apportons quelques solutions pour adresser les problèmes soulevés par la variabilité profonde. Enfin, nous prouvons que les modèles d'apprentissage automatique peuvent être adaptés pour être par conception robustes à la variabilité profonde.

Ce travail de thèse porte sur l'étude et le développement d'un procédé d'intégration de jauges de contrainte sur et dans les matériaux complexes, basé sur l'impression par transfert, aussi appelé "Transfer Printing". La première partie de ce travail a consisté à définir l'environnement dans lequel le sujet s'inscrit afin de comprendre les enjeux qui poussent à développer de nouveaux procédés de fabrication non-conventionnels d'électronique. Dans un deuxième temps, des jauges de contrainte piézorésistives en silicium microcristallin dopé ont été réalisées sur un premier substrat adapté à leur fabrication, pour être ensuite transférées sur de la fibre de verre dans le but d'être utilisée en tant que renfort d'une future pièce composite. Afin de présenter le procédé dans une démarche applicative, nous nous sommes intéressés à la surveillance de l'intégrité des structures ; le SHM (Structural Health Monitoring), notamment pour la mesure de déformation dans les matériaux composites. La pièce composite instrumentée et ses capteurs ont été caractérisés sous des tests en flexion, en traction et en température. Dans une dernière partie nous présentons une étude prospective sur l'impression hydrographique d'électronique ; aussi appelé "Water Transfer Printing", où des questions plus générales sur le domaine de l'électronique transférées ont pu être soulevées.

Le prix de production des verres de chalcogénures, lié à l’utilisation de silice à usage unique lors de la synthèse, est un obstacle à leur démocratisation. Dans le contexte du projet européen HELIAUS, des recherches ont étés menées afin d’obtenir des lentilles infrarouges en combinant mécanosynthèse et frittage flash par Spark Plasma Sintering (SPS). Le respect de la norme REACH et le besoin d’un indice de réfraction élevé (n>3) imposent des contraintes supplémentaires quant au choix de composition. Le verre Ga₁₀Ge₁₅Te₇₅ a été initialement considéré. Les essais de mécanosynthèse ont mené à l’obtention d’une poudre amorphe contenant une phase cristalline GeTe. Le frittage de cette poudre donne des échantillons opaques dans l’infrarouge car présentant des cristallisations supplémentaires de Ga₂Te₃ et Te. La suite de l’étude a portée sur le système Ge-Se-Te. La composition Ge₂₅Se₁₀Te₆₅ est sélectionnée pour ses propriétés physiques et thermiques. Une phase amorphe contenant du GeTe cristallin est obtenue par mécanosynthèse. Des essais de frittage SPS ont été réalisés sur des poudres de ce verre produit par synthèse classique pour optimiser les paramètres de frittage. Des échantillons présentant une transmission comparable au verre initial sont ainsi obtenus, dans plusieurs formes et tailles. Enfin, plusieurs compositions du système Ge-Se-Te ont été synthétisées par voie classique et broyées pour étudier leur stabilité au cours du broyage. Ces résultats permettent d’anticiper le résultat d’un essai de mécanosynthèse sur la composition correspondante. Trois compositions, Ge₂₅Se₁₅Te₆₀, Ge₂₁Se₁₁Te₆₀ et Ge₂₀Se₁₀Te₇₀ sont identifiées comme ayant une résistance accrue à la cristallisation. Leur frittage mène à des pastilles opaques contenant du Te cristallin.