L'informatique moderne repose de plus en plus sur des architectures hétérogènes, incluant des CPU, des GPU et du matériel reconfigurable tel que les FPGA. Bien que la HLS permette de générer du matériel à partir de logiciels, les chaînes d'outils existantes s'appuient souvent sur des frontaux rigides, ce qui limite leur flexibilité et leur expressivité. Combler le fossé entre les environnements de programmation de haut niveau et la compilation matériel demeure un défi majeur. Cette thèse étudie l'intégration de langages de programmation scientifiques de haut niveau avec la HLS, en s'appuyant sur Julia tout au long de sa chaîne de compilation et en exploitant son architecture modulaire. En particulier, elle explore la génération de matériel via des représentations LLVM et MLIR, permettant une interaction flexible avec les frameworks HLS modernes. Le travail examine également des applications en aval à travers la simulation et l'injection de fautes, afin de soutenir l'évaluation des mécanismes de tolérance aux fautes à l'aide de représentations riches issues de la compilation. Dans l'ensemble, cette thèse montre comment des infrastructures de compilation flexibles et des représentations intermédiaires modernes peuvent réduire l'écart entre la programmation de haut niveau et la conception matérielle, tout en mettant en évidence l'intérêt des approches gérées par les compilateurs.

Cette thèse de doctorat porte sur le développement d’une technologie de transfert de capteurs conçus pour être intégrés dans des environnements de géométrie ou de nature complexe. L’objectif est de maximiser leur conformabilité pour les reporter sur des surfaces 3D, et limiter leur intrusivité pour mesurer des paramètres physiques, de type température ou déformation au cœur des matériaux. La première partie de cette thèse explore le transfert de ces capteurs sur des objets aux formes complexes en utilisant la sérigraphie et optimisant la technologie pour garantir un report précis et fiable des capteurs. La seconde partie constitue une extension de cette approche, appliquée cette fois à des matériaux composites, en fibres de verre imprégnées d’époxy, par une méthode d’intégration directe des capteurs lors du processus de fabrication du composite. Cette stratégie a permis de suivre en temps réel la température et la déformation au cœur des matériaux, et a conduit, via une forte inclusion dans le matériau, à une amélioration significative des performances des capteurs développés : facteur de gauge amplifier de 15 à 30, surveillance précise de la température de composites et une sensibilité à l’humidité multipliée par 4,5. Les résultats ouvrent la voie à une approche innovante d’autosurveillance et de suivi du durcissement des composites, particulièrement prometteuse pour des applications industrielles.

A ce jour, une trentaine de virus dont plusieurs virus émergents, majoritairement responsables d’infections aigües, ont été détectés dans le tractus génital masculin et/ou associés à des cas de transmission sexuelle. La réplication du virus Zika (ZIKV) dans les cellules germinales testiculaires humaines (TGC) ex vivo et in vitro, associée à une absence d’effet cytopathique et à une faible réponse immune innée, ainsi que leur infection persistante dans le sperme d’hommes infectés des mois après la clairance systémique, les désigne comme un réservoir pour ce virus. D’autres orthoflavivirus proches de ZIKV tels que le virus du Nil Occidental (WNV) et de la dengue (DENV) ont été récemment détectés dans le sperme de patients infectés, tandis que le virus de l’encéphalite japonaise (JEV) a un tropisme testiculaire chez le verrat. Dans ce contexte, j’ai étudié l’infection du testicule humain adulte par WNV (lignage 1), DENV-2 et JEV (génotype III) dans un modèle ex vivo et mis en évidence le tropisme de WNV pour cet organe, dont les cellules germinales, tandis que DENV et JEV ne se répliquent pas ou peu. L’infection du testicule par WNV n’induit ni effet cytopathogène ni réponse pro-inflammatoire notable (contrairement au virus des Oreillons dans ce même modèle), et seule la stéroïdogenèse est altérée. Ces résultats suggèrent un potentiel de persistance de WNV dans le testicule, à l’instar de ZIKV. J’ai ensuite exploré le tropisme de WNV dans le tractus génital mâle in vivo dans un modèle murin et confirmé l’infection du testicule ainsi que des TGC lors de la phase aigüe. Ce modèle a également révélé l’infection de l’épididyme, principalement localisée dans le canal épididymaire chez les animaux ayant survécu à l’infection, évoquant la possibilité d’une transmission sexuelle. En parallèle, j’ai investigué la réponse immune innée antivirale des TGC. Les résultats obtenus indiquent que les TGC infectées par ZIKV, WNV ou stimulées avec du poly(I :C) ou diABZI présentent peu d’expression d’interférons de type I et d'effecteurs antiviraux comparativement aux cellules péritubulaires testiculaires. La faible réponse antivirale observée dans les cellules germinales pourrait s’expliquer par leur faible expression des protéines MAVS, STING et TRIF, indispensables à la signalisation par les voies dépendantes de RIG-1, cGAS et TLR3 respectivement. En conclusion, mes travaux révèlent le tropisme de WNV pour le testicule et les TGC en particulier, alertant ainsi quant à sa potentielle présence dans le sperme. Ils contribuent également à la compréhension du privilège immunitaire testiculaire et de la persistance virale dans cet organe.

Au cours des derniers siècles de la République, la prospérité économique et l’expansion territoriale de Rome eurent pour effet d’affaiblir l’obligation civique consistant à prendre femme. Cela favorisa la banalisation du célibat. Ce mode de vie, en dépit des actions menées par les censeurs pour assurer la défense des boni mores, fut en effet de moins en moins considéré comme un défi lancé à la Cité. Auguste, conscient de ce bouleversement, soucieux également de relancer la natalité après les guerres civiles, adopta des mesures pour sanctionner les caelibes, et restaurer la fonction civique des noces. Il dut néanmoins, dans le cadre de son action, composer avec la priorité croissante donnée à l’intérêt individuel dans le mariage. Il fit, peut-être malgré lui, reposer ses lois sur un paradoxe : les lois Iulia et Papia, pour redonner aux unions leur dimension d’autrefois, s’appuyaient sur les ressorts mêmes qu’elles visaient à dépasser ; elles mobilisaient, pour encourager les citoyens à se marier, l’intérêt privé. Elles montraient conséquemment que les Romains, s’ils le souhaitaient, pouvaient faire le choix du célibat. Cette approche fut peu efficace : elle ne restaura pas le caractère obligatoire du mariage. Le pouvoir romain put néanmoins compter sur une promotion nouvelle, extra-juridique de l’abstinence sexuelle pour servir ses desseins. L’Eglise allait, en effet, valoriser le célibat chaste et condamner moralement tout mode de vie hors mariage non consacré. Elle allait, par l’intermédiaire de ses dogmes, faire ce que le pouvoir n’avait pas pu faire par la loi.

Dans cette thèse, nous nous intéressons à la simulation du contrôle non destructif (CND) par ondes guidées, méthode utilisée pour évaluer l’état d’intégrité des structures élancées –appelées guides d’ondes– tels que pipelines et rails. Le travail porte d’abord sur la modélisation et la simulation de la propagation des ondes guidées dans des guides 1D-périodiques ainsi que leur interaction avec les défauts, et repose sur la méthode des éléments finis ondulatoires, avec des stratégies de réduction de modèle par approches modales, ondulatoires et paramétriques. Une seconde partie du travail porte sur la caractérisation expérimentale de ces ondes guidées et s’appuie sur des mesures par déflectométrie optique et vibrométrie laser, tandis que l’identification des propriétés des ondes est basée sur des méthodes de sous-espaces. Ces approches ont pour but d’entraîner par données synthétiques des réseaux de neurones artificiels pour la reconnaissance automatique de défauts tels que la corrosion des pipelines.