Search

Sexuality is the most ancestral and common reproductive system but several forms of reproduction without sex exist. This requires modifications of female meiosis, for the production of unreduced gametes. The genomic consequences of asexuality have been well studied but much less is known about the cellular and molecular changes at the origin of new types of meiosis in asexuals. In my thesis, I first explored how asexual females are produced in the nematode species Mesorhabditis belari. I discovered that during meiosis, homologous chromosomes undergo crossing-overs. However, meiosis I is abortive due to a default in anaphase B. Meiosis II next proceeds normally giving rise to diploid oocytes with an assortment of non-sister chromatids. The theory predicts that species undergoing such modified meiosis with recombination should have a widely homozygous genome. However, our collaborators demonstrated that the genome of M. belari is widely heterozygous, which raised a paradox. Using a combination of cytology and genomics we uncovered this species undergoes a new type of meiosis, which we named Directed Chromatid Assortment (DCA), whereby the two recombinant chromatids of a given pair of chromosomes co-segregate during the meiotic division. We demonstrated that DCA allows the maintenance of genome-wide heterozygosity in an asexual, despite recombination. In parallel, I searched for genes involved in oocyte determination, using molecular and cytological tools. In doing so, I developed the CRISPR Cas9 technique in M. belari. Finally, I wrote a review which summarizes my readings and thoughts on the importance of cytological approaches for the study of asexuality.; La sexualité est le mode reproduction le plus ancien et le plus courant, pourtant de nombreuses formes de reproduction sans sexualité existent. Celles-ci requièrent des modifications de la méiose chez les femelles, afin de produire des gamètes non réduits. Si les conséquences génomiques de l’asexualité ont été extensivement étudiées, nous ne savons que peu de choses sur les changements cellulaires et moléculaires à l’origine des nouveaux types de méiose chez les asexués. Lors de ma thèse, j’ai en premier lieu exploré comment les femelles asexuées sont produites chez l’espèce de nématode Mesorhabditis belari. J’ai découvert que durant la méiose, les chromosomes homologues effectuent des crossing-overs et donc recombinent. De plus, la méiose I est abortive, ceci étant dû à un défaut au court de l’anaphase B. Par la suite, la méiose II se déroule classiquement et génère des ovocytes diploïdes contenant un assortiment de chromatides non sœurs. La théorie prédit que dans une espèce soumise à une telle méiose avec des évènements de recombinaison, le génome de cette espèce devrait être largement homozygote. Or, nos collaborateurs ont démontré qu’en réalité M. belari possède un génome hétérozygote, ce qui, de ce fait, constitue un paradoxe. En combinant des approches de cytologie et de génomique, nous avons révélé que cette espèce subit une méiose d’un nouveau type que nous avons nommé « Directed Chromatid Assortment » (DCA). Selon le DCA, les deux chromatides recombinantes d’une paire donnée de chromosomes co-ségrègent ensemble durant la division méiotique. En somme, nous avons démontré que le DCA permet le maintien de l’hétérozygotie du génome de l’espèce en dépit de la présence de recombinaison. En parallèle de ce travail, j’ai recherché les gènes impliqués dans la détermination du type d’ovocytes chez M. belari en usant d’outils moléculaires et cytologiques. Pour cela, j’ai développé la technique de transgénèse CRISPR Cas9 chez M. belari. Enfin, j’ai rédigé une revue qui référence mes lectures et mes réflexions sur l’importance de l’approche cytologique dans l’étude de l’asexualité.

Since the beginning of the 20th century, numerous natural and human disturbances have profoundly affected the Upper Garonne (Central Pyrenees) hydro-sedimentary regime, resulting in multiple ecosystem services losses. Prior to potential actions that would tend at past degradation resorption and current pressures impacts limitation, the work conducted in this PhD aims at achieving a robust diagnosis of the Upper Garonne hydro-sedimentary functioning at multiple spatial and temporal imbricated scales. To conduct this diagnosis, historical data were collected and re-interpreted, afterwards coupled with an experimental geomorphology approach in order to better understand current river functioning, and notably the interactions between sediment transport, flood regime, and dams. The historical approach allowed for a detailed characterisation of river morphological trajectory, consisting mainly in channel planform simplification, bed incision, and coarsening. This response, very common in European mountainous hydrosystems, is nevertheless very contrasted depending on given sub-reaches. Each sub-reach adjusted differently, according to (1) its initial conditions, and (2) the nature, magnitude, and temporality of anthropisation factors which overlapped with natural evolution. The experimental approach has notably shed light on the role of the Plan d’Arem dam in overall observed degradations. From one side, we show its contribution in disturbing hydro-sedimentary dynamics since its construction in 1970, but from the other, we state on the real efficiency of the current management in restoring natural flood hydrology and preserving minimal sediment transport, resulting in good functionality of the downstream reach despite the presence of the dam. The structural sediment deficit of the uppermost catchment, associated with a relatively natural flood hydrology downstream from the set of dams, are likely to induce inevitable degradation of current state and return to conditions similar to the ones before the 100-yr flood occurred in June 2013, if no actions are taken in favour of sustainable sediment management. Therefore, a first management scenario relies on the preservation of all sediment inputs from the upper catchment, the optimisation of Plan d’Arem dam management to parsimoniously route the sediments stored within the reservoir, and the re-injection of sediments stored within check-dams of the Upper Pique catchment. Once these levers exhausted, new sediment sources will have to be identified and quantified to assess their potential for buffering sediment deficit of the whole catchment.; Desde principios del siglo XX, el régimen hidrosedimentario del Alto Garona (Pirineo Central) se ha visto alterado por diversas perturbaciones naturales y antrópicas, dando lugar a la pérdida de numerosos servicios ecosistémicos. Como paso previo a la implementación de acciones para revertir la degradación pasada del medio fluvial y limitar las presiones actuales, el trabajorealizado en este doctorado tiene como objetivo realizar un diagnóstico sólido del funcionamiento hidrosedimentario del Alto Garona a múltiples escalas espaciales y temporales. Para llevar a cabo este diagnóstico, se han obtenido y reinterpretado datos históricos, que después se han combinado con un enfoque de geomorfología experimental para entender mejor el funcionamiento actual del río, y sobre todo de las interacciones entre el transporte de sedimentos, el régimen fluvial (crecidas)y las presas. El enfoque histórico ha permitido una caracterización detallada de la trayectoria morfológica del río, que ha consistido principalmente en la simplificación de la forma del cauce, combinado con incisión y acorazamiento. Esta respuesta, muy frecuente en cuencas de drenaje de montaña europeas, es sin embargo diversa según el sector fluvial estudiado. Cada sector se ha ido ajustando de forma diferente, según (1) sus condiciones iniciales y (2) la naturaleza, magnitud y temporalidadde los impactos antrópicos, que se han ido solapando con la evolución natural del río. El enfoque experimental ha aportado nuevo conocimiento sobre el papel de la presa de Plan de Arem en el conjunto de impactos observados. Por un lado, el trabajo muestra el papel de la presa en la degradación de la dinámica hidrosedimentaria del río desde su construcción en 1970; pero, por otro, es importante remarcar la eficacia de la gestión actual a la hora de preservar la hidrología natural de las riadas y asegurar una mínima transferencia de sedimentos, que se traduce en una buena funcionalidad del tramo aguas abajo, pese a la presencia de la presa. El déficit estructural de sedimentos de la cabecera de la cuenca, asociado a un régimen de crecidas relativamente natural aguas abajo, es probable que lleve a una degradación continuada del estado actual del río y lo vuelva a condiciones similares a las anteriores a la inundación de 100 años de 2013, si no se llevan a cabo acciones destinadas a una gestión más sostenible de los sedimentos. Por tanto, un primer escenario de gestión se basa en la preservación de todas las aportaciones de sedimentos desde la cabecera de la cuenca, la optimización de la gestión de la presa del Plan de Arem para transferir progresivamente los sedimentos almacenados dentro del embalse, y la reinyección de sedimentos retenidos en los diques de la cabecera del Alto Pique. Una vez agotadas estas fuentes, será necesario identificar y cuantificar nuevas fuentes de materiales para evaluar su potencial de reducir el déficit de sedimentos del conjunto de la cuenca.; Au cours du 20ème siècle, de nombreux changements d’origine naturelle et anthropique ont profondément modifié le régime hydro-sédimentaire de la Garonne amont (Pyrénées Centrales), et engendré de multiples pertes de services écosystémiques. Afin de proposer d’éventuelles mesures visant à résorber les dégâts déjà causés et à limiter l’impact des pressions actuelles, ce travail de thèse a pour objectif d’établir un diagnostic du fonctionnement hydro-sédimentaire de la Garonne amont, à plusieurs échelles spatio-temporelles imbriquées. Pour conduire ce diagnostic, des données historiques ont été collectées et ré-interprétées, puis couplées à une approche de géomorphologie expérimentale visant à mieux comprendre le fonctionnement actuel du cours d’eau et notamment les interactions entre flux solides, flux liquides, et barrages, à partir notamment de techniques RFID et de suivi du remplissage interstitiel couplé à une acquisition thermographique aéroportée. L’approche historique a permis de mettre en évidence la simplification du tracé en plan du cours d’eau, son incision, et le développement d’un pavage de surface sur les secteurs en aval immédiat des barrages. Cette réponse morphologique classiquement observée dans les hydrosystèmes intra-montagnards en Europe est cependant très contrastée selon les secteurs. Chaque sous-tronçon a connu une trajectoire spécifique, fonction de (1) son potentiel initial d’ajustement, (2) la nature, l’intensité, et la temporalité des pressions anthropiques qui sont venus se superposer aux changements naturels. L’approche expérimentale a notamment permis de lever le voile sur le rôle du barrage du Plan d’Arem dans les dégradations observées. Nous avons ainsi pu mettre en évidence son rôle de perturbateur des flux hydro-sédimentaires entre sa construction en 1970, mais également l’efficacité de son mode de gestion actuelle pour restaurer une hydrologie de crue naturelle et préserver un transit sédimentaire fonctionnel, avec in fine un secteur aval aujourd’hui très fonctionnel malgré la présence du barrage. Le déficit sédimentaire structurel du bassin amont, couplé à une hydrologie de crue préservée en aval des différents barrages espagnols et français, tendent aujourd’hui à induire une inéluctable dégradation et un retour à des conditions dégradées similaires aux conditions antérieures à la crue centennale du juin 2013 si aucune action n’est entreprise en faveur d’une gestion patrimoniale des apports sédimentaires. Un premier scénario de gestion pointe donc vers l’arrêt de toute forme d’extractions de matériaux en amont du Plan d’Arem, l’optimisation de la gestion du Plan d’Arem afin que les sédiments stockés dans la retenue tamponnent le déficit amont le plus longtemps possible, et la ré-injection des matériaux stockés dans les ouvrages de correction torrentiels de la Pique amont. Une fois ces leviers épuisés, il s’agira d’identifier de nouvelles sources de sédiments et de quantifier leur pouvoir tampon vis-à-vis du déficit.

CD8 T cells are key players involved in the fight against intracellular pathogens and tumor cells. The stage at which memory CD8 T cells diverge from effector cells remains controversial, although early memory engagement is relatively accepted. The memory cells generated are of crucial importance for conferring effective and lasting protection to the host, which is dependent on the functional quality of the cells. The immunization context notably influences the pathways that T cells follow to memory. Indeed, the persistence of an antigen in the context of a chronic infection or cancer, drives the activated CD8 T cells in a differentiation pathway parallel to the pathway of the acute infection and leads to dysfunctional memory cells. We thus first studied at what stage the memory precursors cells are generated and, secondly, what was the impact of a transient stimulation by a tumor on the quality of memory CD8 T cells by single cell approaches. For this first axis, we demonstrate, using machine learning tools applied to scRNA-seq, that memory precursors cells were continuously generated after an acute viral infection with an increasing number and acquiring effector functions over time. In order to study the generation of memory precursors cells at early post-activation stages, we have developed an in vitro model of CD8 T cells activation in the presence or absence of exogenous IL2 (exIL2). The scRNA-seq data showed that exIL2 delays the early transition of activated CD8 T cells into memory precursor cells, allowing them to acquire effector functions that are imprinted in the memory cells they generate. For the second axis, we demonstrated that a single stimulation by a tumor was sufficient to decrease the protective immunity of tumor-induced memory T cells that exhibit markers of exhaustion and a functional defect.; Les lymphocytes T (LT) CD8 sont des acteurs clés impliqués dans la lutte contre les pathogènes intracellulaires et les cellules tumorales. Le stade auquel les LT CD8 mémoires divergent des cellules effectrices reste discuté bien qu’un engagement précoce de la mémoire soit relativement admis. Les cellules mémoires générées sont d’une importance cruciale pour conférer une protection efficace et durable à l’hôte qui est notamment dépendante de la qualité fonctionnelle des cellules. Le contexte d’immunisation influence notamment les voies que suivent les LT jusqu’à la mémoire. En effet, la persistance d’un antigène dans le contexte d’une infection chronique ou d’un cancer, entraine les LT CD8 activés dans une voie de différenciation parallèle à la voie de l’infection aigue et mène à un dysfonctionnement des cellules mémoires. Nous avons ainsi étudié d’une part à quel stade les précurseurs de la mémoire sont générés et d’autre part, quel était l’impact d’une stimulation transitoire par une tumeur sur la qualité des LT CD8 mémoires par des approches en cellule unique. Pour ce premier axe, les outils de machine learning appliqués à des données de scRNA-seq ont permis de mettre en évidence que les précurseurs de la mémoire étaient générés en continu après une infection virale aigue avec un nombre croissant et acquérant les fonctions effectrices au cours du temps. Afin d’étudier la génération des précurseurs de la mémoire à des étapes précoces post-activation, nous avons développé un modèle d’activation des LT CD8 in vitro en présence ou absence d’IL2 exogène (IL2ex). Les données de scRNA-seq ont montré que l’IL2ex retarde la transition précoce des cellules T CD8 activées en cellules précurseurs de la mémoire, leur permettant d'acquérir des fonctions effectrices qui sont imprimées dans les cellules mémoires qu'elles génèrent. Pour le second axe, nous avons démontré qu’une stimulation unique par une tumeur était suffisante pour diminuer l’immunité protectrice des LT CD8 mémoires induits par la tumeur qui présentent des marqueurs d’épuisement et un défaut fonctionnel.

International audience; This study explores the relationship between the spirit of seriousness found in society and the experience of fictional immersion found in reading. We show that the confrontation between social convictions, characteristic of the spirit of seriousness, and fictional belief allowed the Romantic literature of the early nineteenth century to express the difficulty of breaking free from bourgeois ideology. This is why authors like Sand, Desbordes-Valmore, Nodier, and Vigny pilfered the reserves of the same paradoxical figure: the serious fool.; Cette étude explore les rapports qu’entretiennent l’esprit de sérieux dans la société et l’expérience d’immersion fictionnelle dans la lecture. On montre que la confrontation entre la croyance sociale, caractéristique de l’esprit de sérieux, et la croyance fictionnelle a permis à la littérature romantique du premier XIXe siècle d’exprimer la difficulté de s’affranchir de l’idéologie bourgeoise. C’est pourquoi des auteurs comme Sand, Desbordes-Valmore, Nodier ou Vigny ont eu recours à une figure paradoxale : le fou sérieux.

The purpose of this thesis is to study the interfaces between ionic liquids (IL) and two-dimensional (2D) semiconductor materials, in particular molybdenum disulfide (MoS2), with a view of designing novel electronic devices using ionic liquids-gated 2D materials. Using atomic force microscopy (AFM) in a liquid medium under applied potential as well as X-ray photoelectron spectroscopy (XPS), the organization of ions in the interfacial layers is characterized to understand how the nature and the molecular structure of ions allow modulating field effects. IL are liquid salts at room temperature, conductive and non-flammable (they have a negligible vapor pressure) offering wide electrochemical windows and high thermal stability. Hence, they have very interesting properties as electrolytes, especially for field effect transistors. In recent years, field effect transistors have been developed with IL as gate and 2D semiconductor materials as substrates. It has been shown that at the interface of the semiconductor, the ions of the IL accumulate densely and form a very thin electrical double layer (EDL) offering a significant capacitance. In these devices, charge carrier density and switching speed are directly related to the structure and dynamics of this EDL. It is therefore necessary to understand the organization of the interface between the IL and the 2D semiconductor in order to understand its effect on the properties of the transistor. This will ultimately guide the choice of the IL that will ensure optimal performance.In this thesis, we study the EDL formed by two IL: 1-ethyl-3-methylimidazolium dicyanamide ([C2mim]+[DCA]-) and 1-octyl-3-methylimidazolium dicyanamide ([C8mim]+[DCA]-) at the MoS2 interface. To do this, we use two experimental characterization techniques, AFM and XPS. First, we start by studying by AFM the organization of the ions of these LI on reference substrates: mica and silicon. On these substrates, we show that the structure of EDL depends on the chain length of the cations used. Furthermore, we show that the arrangement and orientation of ions in the EDL are related to the surface chemistry and the presence of water in the system. Next, we focus on the [C8mim]+[DCA]-/MoS2 interface. AFM measurements reveal an arrangement of thin layers formed by cations and anions with an orientation parallel to the surface. XPS measurements show strong interactions between the ions and the MoS2, setting up a charge transfer from the MoS2 to the IL. Molecular dynamics (MD) simulations are in good agreement with our AFM results. The XPS measurements are supported by density functional theory (DFT) calculations provided by collaborators. Finally, we study the rearrangement of the ions under potential in order to approach the real configuration of the transistors. This work provides a path towards a better understanding of the properties of EDL at the liquid-solid interface which constitutes an essential building block for the development of novel electronic devices combining IL and 2D semiconductor.; L’objectif de ce travail de thèse est d’étudier les interfaces entre des liquides ioniques (LI) et des matériaux semi-conducteurs bidimensionnels (2D), notamment le disulfure de molybdène (MoS2), en vue de la conception de dispositifs électroniques innovants basés sur un effet de champ à grille électrolytique. En utilisant la microscopie à force atomique (AFM) en milieu liquide sous potentiel appliqué ainsi que la spectroscopie de photoélectrons X (XPS), l’organisation des ions dans les couches interfaciales est caractérisée pour comprendre comment la nature et la structure moléculaire des ions permettent de moduler les effets de champ. Les LI sont des sels liquides à température ambiante, conducteurs et non inflammables (ils ont une pression de vapeur négligeable) offrant de larges fenêtres électrochimiques et une grande stabilité thermique, donc ils ont des propriétés très intéressantes en tant qu’électrolytes, notamment dans une nouvelle classe de transistors à effet de champ. En effet, ces dernières années des transistors à effet de champ ont été développés avec les LI comme grille et les matériaux semi-conducteurs 2D comme substrats. Il a été montré qu’à l’interface du semi-conducteur, les ions du LI s’accumulent de façon dense et forment une double couche électrique (EDL) d’épaisseur très fine offrant une capacité importante. Dans ces dispositifs, la densité de porteurs de charge et la vitesse de commutation sont directement liées à la structure et à la dynamique de cette EDL. Il est donc nécessaire de comprendre l’organisation de l’interface entre le LI et le semi-conducteur à 2D afin de comprendre son effet sur les propriétés du transistor. Ceci permettra à terme de guider le choix du LI qui assurera une performance optimale. Dans cette thèse, nous étudions l’EDL formée par deux LI : le 1-éthyl-3-méthylimidazolium dicyanamide ([C2mim]+[DCA]-) et le 1-octyl-3-méthylimidazolium dicyanamide ([C8mim] + [DCA] -) à l’interface du MoS2. Pour ce faire, nous utilisons deux techniques expérimentales de caractérisation, l’AFM et l’XPS. D’abord, nous commençons par étudier par AFM l’organisation des ions de ces LI sur des substrats de référence : le mica et le silicium. Sur ces substrats, nous montrons que la structure de l’EDL dépend de la longueur de chaîne des cations utilisés. De plus, nous montrons que l’arrangement et l’orientation des ions dans l’EDL sont liés à la chimie de surface et à la présence de l’eau dans le système. Ensuite, nous nous concentrons sur l’interface [C8mim]+[DCA]-/MoS2. Les mesures d’AFM révèlent un arrangement de couches fines formées par des cations et des anions avec une orientation parallèle à la surface. Les mesures d’XPS montrent de fortes interactions entre les ions du LI et les plans du MoS2, mettant en place un transfert de charge du MoS2 vers le LI. Les simulations de dynamique moléculaire (DM) sont en bon accord avec nos résultats d’AFM. Les mesures d’XPS, quant à elles, sont confortées par des calculs de théorie de la fonctionnelle de densité (DFT) fournis par des collaborateurs. Enfin, nous étudions le réarrangement des ions sous application de potentiel afin de nous approcher de la configuration réelle des transistors. Ce travail fournit une voie vers une meilleure compréhension des propriétés de l’EDL à l’interface liquide-solide qui constitue une brique essentielle pour le développement de dispositifs électroniques innovants combinant LI et semi-conducteur à 2D.

Smart speakers and the myriad of IoT devices that can be associated with them introduce many sensors into the domestic space, starting with sophisticated microphones, but also increasingly cameras or motion detectors. Connected to the Internet, they are operated by powerful companies like Google or Amazon, whose business model consists of exploiting the data produced by their users in order to profile them. Their introduction into domestic spaces, historically constructed as the places of self care and personal or family intimacy, provokes marked reactions of rejection from many individuals. Experience shows that tracking practices on the Internet have already led to a strong erosion of privacy online. Could the extension of the digitization of the World to domestic spaces lead to the end of the home as a space perceived and conceived as the paroxysmal place of privacy?; Les enceintes connectées et la myriade de périphériques de l’Internet des objets qui peuvent leur être associés introduisent dans l’espace domestique de nombreux capteurs, à commencer par des microphones perfectionnés, mais aussi de plus en plus des caméras ou des détecteurs de mouvement. Connectées à Internet, elles sont opérées par des entreprises très puissantes comme Google ou Amazon, dont le modèle d’affaires consiste à exploiter les données produites par leurs utilisateurs afin de les profiler. Leur introduction au sein des espaces domestiques, historiquement construits comme les lieux par excellence du ressourcement et de l’intimité personnelle ou familiale, provoque des réactions de rejet marquées de la part de nombreux individus. L’expérience montre en effet que les pratiques de traçage sur Internet ont déjà mené à une forte érosion de la vie privée en ligne. L’extension de la numérisation du Monde aux espaces domestiques pourrait-elle mener à la fin du domicile en tant qu’espace perçu et conçu comme le lieu paroxystique du privé ?

This PhD. aims at assessing the ability of emerging fluvial remote sensing techniques (such as terrestrial and topo-bathymetric LiDAR, hyperspectral imaging, and thermal infrared imaging) to characterize and monitor fluvial corridors. The study site is the lower basin of the Ain River which is affected by a range of issues related to channel incision, and is the location of a gravel augmentation project. First, we use hyperspectral imaging to predict channel bathymetry for a reference discharge and depths up to 2.5 meters along a river reach of 20 km. This allows us to confirm the ability of hyperspectral optical models to be extrapolated to a long river reach, and to retrieve with a single campaign bathymetric data for multiple discharge conditions. We study the errors occurring along the 20 km reach and then we use the same methodology to identify morphological changes occurring between 2015 and 2022 and to therefore evaluate its applicability for change monitoring. Second, we combine forestry field surveys with LiDAR and hyperspectral data in order to characterize the riparian forest. We demonstrate the ability of such datasets to describe morphological changes along an age gradient and to predict the degree of hydrological connection of the riparian forest. Changes in the physical site conditions of the riparian forest due to channel incision leads to dryer forest conditions, and suggests the presence of potential water stress at the plot level. Third, we explore this water stress hypothesis by using thermal infrared imaging and eco-physiological field measurements. While mounting thermal infrared sensors on an airborne vector can enable water stress characterization, targeting a specific acquisition window or acquiring multiple campaigns is required to detect stress conditions due to their variability during summer. This work then allows us to make recommendations for both the management and restoration of fluvial systems and the use of remote-sensing data to characterize and monitor such environments.; Cette thèse explore le potentiel des outils émergents de télédétection fluviale (LiDAR terrestre et bathymétrique, imageur hyperspectral, imageur infra-rouge thermique) pour la caractérisation et le suivi des corridors fluviaux. Le cadre géographique d’application est la basse vallée de l’Ain, concernée par des enjeux liés à l’incision du chenal et par un projet de recharge sédimentaire. Dans un premier temps, l’imagerie hyperspectrale nous permet de restituer les profondeurs d’eau sur un linéaire de 20 kilomètres pour un débit de référence et des profondeurs allant jusqu’à 2,5 mètres. Cela nous permet de confirmer la possibilité d’extrapoler un modèle sur un long linéaire fluvial, et de restituer des profondeurs d’eau pour différents débits à partir d’une même campagne. Nous évaluons les erreurs survenant sur l’ensemble du linéaire, puis ré-exploitons les méthodes développées pour identifier les changements morphologiques survenus entre 2015 et 2022 et éprouver la robustesse de ces méthodes pour le suivi. Dans un second temps, nous couplons inventaire forestier et données LiDAR et hyperspectrales pour caractériser la forêt riveraine. Nous montrons que ces données décrivent bien les changements morphologiques des peuplements le long d’un gradient d’âge et permettent de prédire le niveau de connectivité hydrologique des ripisylves. La modification des conditions physiques des milieux forestiers entraînée par l’incision du chenal conduit à un assèchement du milieu et nous amène à identifier un stress hydrique potentiel des peuplements. Dans un troisième temps, nous explorons ce stress hydrique potentiel à partir de campagnes aéroportées d’imagerie infrarouge thermique et de relevés de terrain écophysiologiques. Bien que l’usage de caméras thermiques sur des plateformes aéroportées permette de caractériser le stress hydrique, la saisonnalité du phénomène nécessite de réaliser des acquisitions multiples ou durant une fenêtre spécifique afin de bien le détecter. L’ensemble de ces travaux nous permet de formuler des recommandations à la fois pour la gestion des milieux fluviaux et pour l’usage de données de télédétection dans les campagnes de monitoring de ces environnements.

This thesis presents an experimental and numerical study focused on the hydrodynamics in fixed beds of spherical particles that are randomly distributed inside a cylindrical container (e.g. a reactor), so that border effects are not negligible. Fixed beds are a particular example of a porous medium, and we are particularly motivated by the use of fixed beds in the context of AA-CAEStechnologies as a thermal energy storage unit. Fixed beds, as porous media in general, present a multi-scale problem: the hydrodynamics at the smallest scales can be very different from those at the largest scales. In order to bridge this scalehierarchy upscale techniques are usually used such as volume averaging, that link the small-scale fluctuations with the large-scale dynamics. These techniques are typically applied at a mesoscale. However, the equations involved at this scale do not form a closed system, so that a closure model is needed. Moreover, the flows that saturate fixed beds can get incredibly complex, as the spheres distribution and the walls produce tortuous paths and local changes in porosity, and there are solid-fluid interactions that also drive and affect the hydrodynamics. In order to explore how these effects can affect upscaling techniques, we studied the behavior of an inertial confined flow at all three scales: the macro, the micro and the meso. We did this by computing numerical simulations and doing two different experimental campaigns. Both the experimental and numerical methods allowed us to study hydrodynamical effects of the three non-dimensional parameters involved in the system: the Reynolds number Re, the porosity " and the sphere-to-reactor diameter ratio D/d. The first experimental and numerical campaigns were dedicated to the study of the flow past fixed beds from the global (macro) point of view. We studied the variability of the pressure fieldand pressure gradient and how they are affected by confinement effects. The second experimental campaign consisted on studying the hydrodynamics at the pore (micro) scale by using refractive index-matching Particle Tracking Velocimetry. We observed that even though the flow is globally laminar, its behavior at the microscale is comparable to that of a fully turbulent flow. We then complemented the experiments with numerical data, which allowed us to study the local homogeneity and isotropy of the flow. We finally linked the results obtained at the global and pore scales to the mesoscale using numerical results, which reflected the multi-scale nature of the system. We explored the different terms involved in the non-closed volume-averaged equations in order to help find a closure model that takes into account the wall effects, which include the local solid-fluid interactions and the Reynolds stress tensor.; Cette thèse présente une étude expérimentale et numérique portant sur l’hydrodynamique dans des lits fixes de particules sphériques qui sont distribuées aléatoirement à l’intérieur d’un conteneur cylindrique (par exemple, un réacteur), de sorte que les effets de bord ne sont pas négligeables. Les lits fixes sont un exemple particulier de milieu poreux, et nous sommes particulièrement motivés par l’utilisation de lits fixes dans le cadre des technologies AA-CAES en tant qu’unités de stockage d’énergie thermique. Les lits fixes, comme les milieux poreux en général, présentent un problème multi-échelle :l’hydrodynamique à la plus petite échelle peut être très différente de celle à la plus grande échelle. Afin de surmonter cette hiérarchie d’échelle, des méthodes de changement d’échelle sont généralement utilisées, telles que le calcul de la moyenne volumique, qui relie les fluctuations à petite échelle avec la dynamique à grande échelle. Ces techniques sont généralement appliquées à une mésoéchelle.Cependant, les équations impliquées à cette échelle ne forment pas un système fermé, de sorte qu’un modèle de fermeture est nécessaire.De plus, les écoulements qui saturent les lits fixes peuvent devenir incroyablement complexes,car la distribution des sphères et les parois produisent des chemins tortueux et des changements locaux dans la porosité, et il existe des interactions solide-fluide qui dirigent et affectent également l’hydrodynamique. Afin d’explorer comment ces effets peuvent affecter les techniques de changement d’échelle, nous avons étudié le comportement d’un écoulement inertiel confiné aux trois échelles : la macro, la micro et la méso. Pour ce faire, nous avons effectué des simulations numériques et réalisé deux campagnes expérimentales. Les méthodes expérimentales et numériques nous ont permis d’étudier les effets hydrodynamiques des trois paramètres non dimensionnels impliqués dans le système : le nombre de Reynolds Re, la porosité " et le rapport diamètre de la sphère/réacteur D/d.Les premières campagnes expérimentales et numériques ont été consacrées à à l’étude de l’écoulement à travers des lits fixes d’un point de vue global (macro). Nous avons étudié la variabilité du champ de pression et du gradient de pression et comment ils sont affectés par les effets de confinement.La deuxième campagne expérimentale a consisté à étudier l’hydrodynamique à l’échelle des pores (micro) par la vélocimétrie par suivi de particules en adaptation d’indice optique. Nous avons observé que même si l’écoulement est globalement laminaire, son comportement à la micro-échelle est comparable à celui d’un écoulement turbulent. Nous avons ensuite complété les expériences par des données numériques, qui nous ont permis d’étudier l’homogénéité et l’isotropie locales de l’écoulement.Nous avons finalement relié les résultats obtenus à l’échelle globale et à l’échelle des pores à la méso-échelle en utilisant des résultats numériques, qui reflètent la nature multi-échelle du système.Nous avons exploré les différents termes impliqués dans les équations non fermées moyennées en volume afin d’aider à trouver un modèle de fermeture qui prend en compte les effets de paroi, qui incluent les interactions locales solide-fluide et le tenseur des contraintes de Reynolds.

The position of the critical point determines the top of the liquid-vapor coexistence dome, and it is a physical parameter of fundamental importance in the study of high-energy shocks, including those associated with large planetary impacts. For most major planetary materials, such as oxides and silicates, the estimated position of the critical point is below 1 g/cm3 at temperatures above 5000 K. Here we compute the position of the critical point of one of the most ubiquitous materials: MgO. For this we perform first-principles Molecular Dynamics (MD) simulations. We find the critical density to be in the 0.45–0.6g/cm3 range and the critical temperature in the 6500–7000 K range. We investigate in detail the behavior of MgO in the subcritical and supercritical regimes, and we provide insight into the structure and chemical speciation. We see a change in Mg-O speciation toward lower degrees of coordination as the temperature is increased from 4000 to 10 000 K. This change in speciation is less pronounced at higher densities. We observe the liquid-gas separation in nucleating nanobubbles at densities below the liquid spinodal. The majority of the chemical species forming the incipient gas phase consists of isolated Mg and O atoms and some MgO and O2 molecules. We find that the ionization state of the atoms in the liquid phase is close to the nominal charge, but it almost vanishes close to the liquid-gas boundary and in the gas phase, which is consequently largely atomic. We perform the same analysis on CaO. As both MgO and CaO are important geological materials, and they share many physical similarities, we are interested in their degree of similarity under extreme conditions. We find a slightly lower critical temperature of between 6000 and 6500 K, with a critical density between 0.5 and 0.7 g/cm3. Structurally we find that the MgOx is slightly more skewed to higher degrees of coordination than what we see for CaOx. This difference is likely caused by the smaller Mg-O distance compared to Ca-O. The biggest difference in the vapor species between the two systems is the amount of O, which is three times more common in CaO compared to MgO. As artificial intelligence and machine learning (ML) have become the new buzz-words in most fields of research and industry, so has molecular dynamics started applying these methodologies to increase its performance. Recent developments in machine learning have exponentially increased the interest and new ML schemes seem to be published every year. In this work we apply one of the various ML potential to our previous work on MgO. Our choice of ML potential is the Gaussian Approximation Potential (GAP), which is based on Gaussian Process Regression (GPR). Training data is produced by performing static calculations on chosen MD configurations. Our new ML potential allows us to run simulations of three orders of magnitude larger within a fraction of the time it cost with first-principles MD, while keeping nearly the same level of accuracy. This enables us to study the vaporization on a more realistic scale and perform longer time-scale simulations to determine the viscosity of the liquid in the system.; La position du point critique détermine le sommet du dôme de coexistence liquide-vapeur. Il s'agit d'un paramètre physique d'une importance fondamentale dans l'étude des chocs à haute énergie, y compris ceux associés aux grands impacts planétaires. Pour la plupart des matériaux planétaires majeurs, tels que les oxydes et les silicates, la position estimée du point critique est inférieure à 1 g/cm3 à des températures supérieures à 5000 K. Nous calculons ici la position du point critique de l'un des matériaux les plus omniprésents : MgO. Pour cela, nous effectuons des simulations de dynamique moléculaire (MD) de premier principe. Nous trouvons la densité critique dans la gamme 0.45-0.6g/cm3 et la température critique dans la gamme 6500-7000 K. Nous étudions en détail le comportement du MgO dans les régimes sous-critique et supercritique, et nous fournissons un aperçu de la structure et de la spéciation chimique. Nous observons un changement dans la spéciation du MgO vers des degrés de coordination plus faibles lorsque la température augmente de 4000 à 10 000 K. Ce changement de spéciation est moins prononcé à des densités plus élevées. Nous observons la séparation liquide-gaz dans la nucléation des nano bulles à des densités inférieures à la spinodal liquide. La majorité des espèces chimiques formant la phase gazeuse naissante est constituée d'atomes de Mg et de O isolés et de quelques molécules de MgO et de O2. Nous constatons que l'état d'ionisation des atomes dans la phase liquide est proche de la charge nominale, mais qu'il disparaît presque près de la frontière liquide-gaz et dans la phase gazeuse, qui est par conséquent largement atomique. Nous effectuons la même analyse sur CaO. Comme le MgO et le CaO sont tous deux des matériaux géologiques importants, et qu'ils partagent de nombreuses similitudes physiques, nous nous intéressons à leur degré de similitude dans des conditions extrêmes. Nous trouvons une température critique légèrement inférieure, entre 6000 et 6500 K, avec une densité critique entre 0,5 et 0,7 g/cm3. Structurellement, nous constatons que le MgOx est légèrement plus orienté vers des degrés de coordination plus élevés que ce que nous voyons pour le CaOx. Cette différence est probablement due à la plus petite distance Mg-O par rapport à Ca-O. La plus grande différence dans les espèces de vapeur entre les deux systèmes est la quantité de O, qui est trois fois plus fréquente dans le CaO que dans le MgO. Comme l'intelligence artificielle et Machine Learning (ML) sont devenus les nouveaux mots à la mode dans la plupart des domaines de la recherche et de l'industrie, la dynamique moléculaire a commencé à appliquer ces méthodologies pour améliorer ses performances. Les développements récents dans l'apprentissage automatique ont augmenté de façon exponentielle l'intérêt et de nouveaux schémas d'apprentissage automatique semblent être publiés chaque année. Dans ce travail, nous appliquons l'un des différents potentiels ML à notre travail précédent sur le MgO. Notre choix de potentiel ML est le potentiel de Gaussian Approximation Potential (GAP), qui est basé sur Gaussian Process Regression (GPR). Les données d'entraînement sont produites en effectuant des calculs statiques sur des configurations MD choisies. Notre nouveau potentiel ML nous permet d'exécuter des simulations de trois ordres de grandeur plus grands en une fraction du temps qu'il en coûte avec les premiers principes MD, tout en gardant presque le même niveau de précision. Cela nous permet d'étudier la vaporisation à une échelle plus réaliste et d'effectuer des simulations à plus longue échelle de temps pour déterminer la viscosité du liquide dans le système.

El Llibre de les dones, compuesto a finales del siglo XIV por Francesc Eiximenis y traducido después al castellano durante la primera mitad del siglo XV, se presenta como un tratado didáctico-moral que se dirige a las mujeres. Entre los capítulos XIV a XVIII, el franciscano se centra en la educación de las niñas, tema que ocupa el presente artículo. A medio camino entre la educación, la instrucción y la edificación, estos capítulos se manifiestan como un compendium de gestos prácticos que uno debe adoptar para educar bien a las niñas y de un saber teórico sobre la educación que se expresa en la inserción de exempla y de auctoritates. Así, interrogaremos la manera cómo Eiximenis, el traductor del Libro de las donas y el adaptador del Carro de las donas tratan de la educación de las mujeres vinculada con la doctrina católica y los desafíos que tal empresa supone para el buen equilibrio de la sociedad.; Le Llibre de les dones, composé à la fin du XIVe siècle par Francesc Eiximenis puis traduit en castillan durant la première moitié du XIVe siècle, se présente comme un traité didactico-moral destiné aux femmes. Entre les chapitres XIV et XVIII, le franciscain se centre sur l’éducation des petites filles, thème qui fait l’objet du présent article. À mi-chemin entre l’éducation, l’instruction et l’édification, ces chapitres se manifestent comme un compendium des gestes pratiques à adopter pour bien éduquer les petites filles et d’un savoir théorique soutenu par l’insertion d’exempla et d’auctoritates. Ainsi, nous interrogerons la manière dont Eiximenis, le traducteur du Libro de las donas et l’adaptateur du Carro de las donas abordent l’éducation de la gent féminine en lien avec la doctrine catholique et les enjeux qu’une telle entreprise suppose pour le bon équilibre de la société.

The dispersion of metallic oxides within a polymer matrix is used to enhanced its dielectric properties while preserving its interesting mechanical properties. A better understanding of the interactions between the different materials of such a composite is nevertheless required in order to fully optimize the end product. The aim of this PhD thesis was to create a system able to perform nanoscale characterisation of the dielectric response of a polymer-oxide composite by the mean of Atomic Force Microscopy (AFM). This method give us access to the microscopic dynamic of polymer chains in interactions with the particles. The system is highly precise due to the use of an interferometric monitoring of the deflection of the AFM cantilever and the multiple isolation systems shielding the measure from outside noises, including a Faraday cage, a semi-anechoic chamber. Additionally the measure is performed within a vacuum chamber under temperature control. To characterize the precision and reliability of the interferometric measure system, the impact of optical imperfections have been extensively studied. An innovative calibration method to compensate these imperfections is offered. It improves the end linearity of the measure in comparison to the traditionally used methods of correction. Finally, a proof of principle of our ability to perform dielectric measure is demonstrated upon a sample of PVdF-HFP composite mixed with BaTiO3 nanoparticles. It shows the potential of our method for the cartography of dielectric properties on the scale of these 50 nm diameter particles.; La dispersion d’oxydes métalliques au sein d’une matrice polymère permet de décupler la permittivité diélectrique de cette dernière tout en conservant ses propriétés mécaniques. Une compréhension fine des interactions entre les constituants est néanmoins nécessaire pour maîtriser la formulation et l’optimisation du matériau composite final. Cette thèse porte sur la création d’un instrument permettant la caractérisation à l’échelle des nanoparticules de la réponse du matériau : un microscope à force atomique (AFM) pour réaliser une spectroscopie diélectrique locale. Cette méthode donnera accès à la dynamique microscopique des chaînes polymères en interaction avec les particules. L’instrument développé se distingue par sa grande précision, liée à une détection interférométrique de la déflexion de la sonde AFM et à un environnement très faible bruit, combinant cage de Faraday, chambre sourde et isolation des vibrations mécaniques. Une chambre à vide et un contrôle de température parachèvent la maîtrise des conditions de mesure. Pour caractériser la précision et la fiabilité de la mesure interférométrique, une étude poussée des imperfections optiques est réalisée. Une méthode de calibration innovante permettant de passer outres ces imperfections est proposée. Elle améliore notablement la linéarité de la mesure par rapport aux méthodes traditionnelles des interféromètres à quadrature de phase. Pour finir, une preuve de principe de la mesure diélectrique locale est réalisée sur un échantillon de PVdF-HFP chargé de particules de BaTiO3. Elle démontre le potentiel de la méthode pour la cartographie des propriétés diélectriques à l’échelle de particules de 50 nm de diamètre.

Today, a massive shift is ongoing in telecommunication networks with the emergence of softwarization and cloudification. Among the technologies which are assisting these shifts, one of them is NFV (Network Function Virtualization). NFV is the network architecture that decouples network functions from hardware devices (middleboxes) with the help of a virtual component known as VNF (Virtual Network Function). VNF has shifted the network technological paradigm. Before: Network Function was performed by physical equipment, and service providers acquired its property for the lifetime of the relying hardware (instead counted in years). Today, Network functions are software that service providers develop or acquire purchasing licenses. A license defines software's Right to Use (RTU). Therefore, if licensing in NFV is not appropriately managed, service providers might (1) be exposed to counterfeiting and risk heavy financial penalties due to non-compliance; (2) might overbuy licenses to cover poorly estimated usages. Thus, mastering network function license through implementing Software Asset Management and FinOps (Finance and DevOps) is essential to control costs. In this research, our primary problem is to minimize the TCO (Total Cost of Ownership) of software cost (VNF), providing Quality of Services (QoS) to a specific amount of users. Software costs include various costs, from development to maintenance, integration to release management, and professional services. Our research focuses on proprietary software (developed by a publisher and sold via a paid license). We considered that TCO consists of the software license cost, the resources necessary to execute and operate SW, and the energy consumed by this execution. In this research, first, we have identified the need for a standardized VNF licensing model, which is highly dependent on the VNF provider's creativity; This lack of standards places CSPs (Communication Service Providers) at risk of having to delegate the management of rights to suppliers. Hence, we proposed a licensing model based on the metrics, which help to quantify the usage of the VNF. After estimating the license of VNF, we estimated the license cost. Afterward, we presented several ways to minimize the license cost depending upon the different use cases, which depend on the user's scenario and needs. Then after, with the help of industrial knowledge, we found that reducing resource consumption to minimize the TCO providing QoS affects the deployment of the VNF directly or indirectly, which impacts the licensing. Thus, the licenses and resources are interdependent. We used these costs to construct the software's total cost. After that, we proposed several ways to reduce the software's total cost by fulfilling the client's requirements. Then after, we considered the energy and its associated cost of VNF. The energy consumption of the VNF is dependent on resource consumption, and resources usages impact the license. Thus, we can see that these three costs are interdependent: license, resources, and energy cost of VNF. Hence, we consider these costs and constructed TCO. Minimizing TCO fulfilling the client's requirements is challenging since it is a multi-parameter. Therefore, we proposed several heuristical algorithms based on resource sharing and consolidation to reduce the TCO depending on the license, resource preference, and the client's scenarios.; Aujourd’hui, un changement massif est en cours dans les réseaux de télécommunication avec l’émergence de la softwarisation et de la cloudification. Parmi les technologies qui accompagnent ces mutations, l’une d’elles est la NFV (Network Function Virtualization). NFV est l’architecture réseau qui découple les fonctions réseau des périphériques matériels (middleboxes) à l’aide d’un composant virtuel appelé VNF (Virtual Network Function). VNF a changé le paradigme technologique des réseaux. Avant : la fonction de réseau était assurée par un équipement physique et les fournisseurs de services acquéraient sa propriété pour la durée de vie du matériel de confiance (au lieu de compter en années). Aujourd’hui, les fonctions réseau sont des logiciels que les fournisseurs de services développent ou acquièrent en achetant des licences. Une licence définit le droit d’utilisation (RTU) du logiciel. Par conséquent, si l’octroi de licences dans la NFV n’est pas géré de manière appropriée, les fournisseurs de services pourraient (1) être exposés à la contrefaçon et risquer de lourdes sanctions financières en cas de non-conformité ; (2) pourrait suracheter des licences pour couvrir des usages mal estimés. Ainsi, la maîtrise de la licence de fonction réseau via la mise en place du Software Asset Management et du FinOps (Finance et DevOps) est indispensable pour maîtriser les coûts. Dans cette recherche, notre problème principal est de minimiser le TCO (Total Cost of Ownership) du coût du logiciel (VNF), en fournissant une Qualité de Services (QoS) à un nombre spécifique d’utilisateurs. Les coûts des logiciels comprennent divers coûts, du développement à la maintenance, de l’intégration à la gestion des versions et des services professionnels. Nos recherches portent sur les logiciels propriétaires (développés par un éditeur et vendus via une licence payante). Nous avons considéré que le TCO se compose du coût de la licence du logiciel, des ressources nécessaires pour exécuter et faire fonctionner le SW, et de l’énergie consommée par cette exécution. Dans cette recherche, premièrement, nous avons identifié le besoin d’un modèle de licence VNF standardisé, qui dépend fortement de la créativité du fournisseur VNF ; Cette absence de normes expose les CSP (Communication Service Providers) au risque de devoir déléguer la gestion des droits aux fournisseurs. Par conséquent, nous avons proposé un modèle de licence basé sur les métriques, qui aide à x quantifier l’utilisation du VNF. Après avoir estimé la licence de VNF, nous avons estimé le coût de la licence. Ensuite, nous avons présenté plusieurs façons de minimiser le coût de la licence en fonction des différents cas d’utilisation, qui dépendent du scénario et des besoins de l’utilisateur. Puis après, avec l’aide des connaissances industrielles, nous avons constaté que la réduction de la consommation de ressources pour minimiser le TCO fournissant la QoS affecte le déploiement de la VNF directement ou indirectement, ce qui impacte l’octroi de licences. Ainsi, les licences et les ressources sont interdépendantes. Nous avons utilisé ces coûts pour construire le coût total du logiciel. Après cela, nous avons proposé plusieurs façons de réduire le coût total du logiciel en répondant aux exigences du client. Puis après, nous avons considéré l’énergie et son coût associé de VNF. La consommation énergétique du VNF est dépendante de la consommation des ressources, et les usages des ressources impactent la licence. Ainsi, on voit que ces trois coûts sont interdépendants : licence, ressources et coût énergétique de VNF. Par conséquent, nous considérons ces coûts et le TCO construit. Minimiser le coût total de possession en répondant aux exigences du client est un défi car il s’agit d’un multi-paramètres.

Today, a massive shift is ongoing in telecommunication networks with the emergence of softwarization and cloudification. Among the technologies which are assisting these shifts, one of them is NFV (Network Function Virtualization). NFV is the network architecture that decouples network functions from hardware devices (middleboxes) with the help of a virtual component known as VNF (Virtual Network Function). VNF has shifted the network technological paradigm. Before: Network Function was performed by physical equipment, and service providers acquired its property for the lifetime of the relying hardware (instead counted in years). Today, Network functions are software that service providers develop or acquire purchasing licenses. A license defines software's Right to Use (RTU). Therefore, if licensing in NFV is not appropriately managed, service providers might (1) be exposed to counterfeiting and risk heavy financial penalties due to non-compliance; (2) might overbuy licenses to cover poorly estimated usages. Thus, mastering network function license through implementing Software Asset Management and FinOps (Finance and DevOps) is essential to control costs. In this research, our primary problem is to minimize the TCO (Total Cost of Ownership) of software cost (VNF), providing Quality of Services (QoS) to a specific amount of users. Software costs include various costs, from development to maintenance, integration to release management, and professional services. Our research focuses on proprietary software (developed by a publisher and sold via a paid license). We considered that TCO consists of the software license cost, the resources necessary to execute and operate SW, and the energy consumed by this execution. In this research, first, we have identified the need for a standardized VNF licensing model, which is highly dependent on the VNF provider's creativity; This lack of standards places CSPs (Communication Service Providers) at risk of having to delegate the management of rights to suppliers. Hence, we proposed a licensing model based on the metrics, which help to quantify the usage of the VNF. After estimating the license of VNF, we estimated the license cost. Afterward, we presented several ways to minimize the license cost depending upon the different use cases, which depend on the user's scenario and needs. Then after, with the help of industrial knowledge, we found that reducing resource consumption to minimize the TCO providing QoS affects the deployment of the VNF directly or indirectly, which impacts the licensing. Thus, the licenses and resources are interdependent. We used these costs to construct the software's total cost. After that, we proposed several ways to reduce the software's total cost by fulfilling the client's requirements. Then after, we considered the energy and its associated cost of VNF. The energy consumption of the VNF is dependent on resource consumption, and resources usages impact the license. Thus, we can see that these three costs are interdependent: license, resources, and energy cost of VNF. Hence, we consider these costs and construct TCO. Minimizing TCO fulfilling the client's requirements is challenging since it is a multi-parameter. Therefore, we proposed several heuristical algorithms based on resource sharing and consolidation to reduce the TCO depending on the license, resource preference, and the client's scenarios.; Aujourd'hui, un changement massif est en cours dans les réseaux de télécommunication avec l'émergence de la softwarisation et de la cloudification. Parmi les technologies qui accompagnent ces mutations, l'une d'elles est la NFV (Network Function Virtualization). NFV est l'architecture réseau qui découple les fonctions réseau des périphériques matériels (middleboxes) à l'aide d'un composant virtuel appelé VNF (Virtual Network Function). VNF a changé le paradigme technologique des réseaux. Avant : la fonction de réseau était assurée par un équipement physique et les fournisseurs de services acquéraient sa propriété pour la durée de vie du matériel de confiance (au lieu de compter en années). Aujourd'hui, les fonctions réseau sont des logiciels que les fournisseurs de services développent ou acquièrent en achetant des licences. Une licence définit le droit d'utilisation (RTU) du logiciel.Par conséquent, si l'octroi de licences dans la NFV n'est pas géré de manière appropriée, les fournisseurs de services pourraient (1) être exposés à la contrefaçon et risquer de lourdes sanctions financières en cas de non-conformité ; (2) pourrait suracheter des licences pour couvrir des usages mal estimés. Ainsi, la maîtrise de la licence de fonction réseau via la mise en place du Software Asset Management et du FinOps (Finance et DevOps) est indispensable pour maîtriser les coûts. Dans cette recherche, notre problème principal est de minimiser le TCO (Total Cost of Ownership) du coût du logiciel (VNF), en fournissant une Qualité de Services (QoS) à un nombre spécifique d'utilisateurs. Les coûts des logiciels comprennent divers coûts, du développement à la maintenance, de l'intégration à la gestion des versions et des services professionnels. Nos recherches portent sur les logiciels propriétaires (développés par un éditeur et vendus via une licence payante). Nous avons considéré que le TCO se compose du coût de la licence du logiciel, des ressources nécessaires pour exécuter et faire fonctionner le SW, et de l'énergie consommée par cette exécution. Dans cette recherche, premièrement, nous avons identifié le besoin d'un modèle de licence VNF standardisé, qui dépend fortement de la créativité du fournisseur VNF ; Cette absence de normes expose les CSP (Communication Service Providers) au risque de devoir déléguer la gestion des droits aux fournisseurs. Par conséquent, nous avons proposé un modèle de licence basé sur les métriques, qui aide à quantifier l'utilisation du VNF. Après avoir estimé la licence de VNF, nous avons estimé le coût de la licence. Ensuite, nous avons présenté plusieurs façons de minimiser le coût de la licence en fonction des différents cas d'utilisation, qui dépendent du scénario et des besoins de l'utilisateur. Puis après, avec l'aide des connaissances industrielles, nous avons constaté que la réduction de la consommation de ressources pour minimiser le TCO fournissant la QoS affecte le déploiement de la VNF directement ou indirectement, ce qui impacte l'octroi de licences. Ainsi, les licences et les ressources sont interdépendantes. Nous avons utilisé ces coûts pour construire le coût total du logiciel. Après cela, nous avons proposé plusieurs façons de réduire le coût total du logiciel en répondant aux exigences du client. Puis après, nous avons considéré l'énergie et son coût associé de VNF. La consommation énergétique du VNF est dépendante de la consommation des ressources, et les usages des ressources impactent la licence. Ainsi, on voit que ces trois coûts sont interdépendants : licence, ressources et coût énergétique de VNF. Par conséquent, nous considérons ces coûts et le TCO construit. Minimiser le coût total de possession en répondant aux exigences du client est un défi car il s'agit d'un multi-paramètres. Par conséquent, nous avons proposé plusieurs algorithmes heuristiques basés sur le partage et la consolidation des ressources pour réduire le TCO en fonction de la licence, de la préférence des ressources et des scénarios du client.

We construct the infinitesimal generator of the Brox diffusion on a line with a periodic Brownian environment. This gives a new construction of the process and allows to solve the singular martingale problem. We prove that the associated semigroup is strong Feller with Gaussian lower and upper bounds. This also yields a construction of the Brox diffusion on a segment with periodic or Dirichlet boundary conditions. In this bounded space, we prove that there exists a unique measure and the existence of a spectral gap giving exponential ergodicity of the diffusion.

According to the commonly used metaphor of "genetic programs", cells adapt to environmental fluctuations through more or less complex signalling pathways pre-programmed in their genomes, leading to a compartmentalized description of cellular activities. However, the different cellular activities are intimately linked and interdependent. I analysed the response of a cell model, a melanoma-derived cell line, to cell growth inhibitors directed against BRAF and MEK proteins. The results obtained show that these inhibitors decrease the bioavailability of certain amino acids such as glutamate and aspartate. This leads to the accumulation of ribosomes on mRNAs coding for proteins enriched in these amino acids, and we show that this translation arrest leads to the degradation of these mRNAs whose composition is biased. However, proteins enriched in glutamate and aspartate are frequently involved in DNA metabolism, and in particular in its repair. Thus, through their effects on amino acid metabolism, cell growth inhibitors cause the arrest of the biosynthesis of glutamate and aspartate enriched proteins involved in DNA repair. This decrease in the biosynthesis of DNA repair proteins dependent on cell metabolism is discussed in the context of the emergence of cancer cells carrying mutations and being resistant, i.e. no longer responding to anti-cancer therapies such as the combination of BRAF and MEK inhibitors often used in the treatment of melanoma., Préprogrammées dans leurs génomes, conduisant à une description cloisonnée des activités cellulaires. Pourtant, les différentes activités cellulaires sont intimement liées et interdépendantes. J’ai analysé la réponse d’un modèle cellulaire, une lignée dérivée d’un mélanome, exposée à des inhibiteurs de la croissance cellulaire dirigés contre les protéines BRAF et MEK. Les résultats obtenus montrent que ces inhibiteurs diminuent la biodisponibilité de certains acides aminés comme le glutamate et l’aspartate. Ceci entraîne l’accumulation de ribosomes sur des ARNm codant pour des protéines enrichies en ces acides aminés, et nous montrons que cet arrêt de traduction entraîne la dégradation de ces ARNm dont la composition est biaisée. Or, les protéines enrichies en glutamate et aspartate sont fréquemment impliquées dans le métabolisme de l’ADN, et en particulier dans sa réparation. Ainsi, via leurs effets sur le métabolisme des acides aminés, des inhibiteurs de croissance cellulaire entraînent l’arrêt de la biosynthèse de protéines enrichies en glutamate et aspartate impliquées dans la réparation de l’ADN. Cette diminution de la biosynthèse des protéines de la réparation de l’ADN dépendante du métabolisme cellulaire est discutée dans le contexte de l’émergence de cellules cancéreuses porteuses de mutations et étant résistantes, c’est-à-dire ne répondant plus à des thérapies anti-cancéreuses comme la combinaison d’inhibiteurs BRAF et MEK souvent utilisée dans le traitement des mélanomes.

In this dissertation, I study the conflictual process which led, in France, to the institutionalization of philosophy as an autonomous discipline and to the formation of a philosophical “canon”, that is, a particular set of problems and texts by which philosophy defines itself. For this purpose, I focus on the reception of Blaise Pascal in the scholastic institution between 1809 and 1914. Pascal has a singular position in the formation of the French canon. He is neither a neglected philosophical figure, nor an unquestioned one. In fact, his highly polemical reception during the 19th century is structured by questions related to the criteria of inclusion or exclusion from the canon. Thus, accounting for the reception of Pascal in the scholastic institution enables me to clarify the requirements for a philosophy to be considered acceptable in 19th-century France. Those are, first, internal requirements: to have one’s works critically edited, so that its theoretical aspects are manifest. They are also external requirements: to be considered a morally acceptable philosophy (in oppositions to the supposed “scepticism” of Pascal), and to be compatible with the ongoing process of laïcisation of French institutions. I expect this research to have effects upon our current practices as historians of philosophy, as we are not always fully aware of our criteria when appreciating a specific philosophy.; Cette thèse entend rendre compte du processus conflictuel par lequel, en France, la philosophie s’est constituée comme une discipline autonome, et s’est dotée d’un « canon » d’auteurs et de problèmes par lesquels elle se définit. Je l’analyse par le prisme de la réception de Blaise Pascal dans l’institution scolaire française entre 1809 et 1914. En effet, cet auteur occupe une position tout à fait singulière dans le processus de formation du canon. Il n’est ni un « oublié » ni une de ses grandes figures indiscutées de la philosophie. Sa réception très polémique au XIXe siècle est même structurée par les questions relatives aux critères d’entrée – ou de sortie – du canon. Étudier la place de Pascal dans l’institution scolaire me permet ainsi de mettre au jour les critères selon lesquels une philosophie devient acceptable comme telle en France au XIXe siècle. Ceux-ci sont à la fois internes (édition critique et fiable des œuvres, mise en évidence de leur portée théorique) et externes (acceptabilité morale d’une philosophie longtemps perçue comme « sceptique », compatibilité avec l’affirmation de la laïcité des institutions). Des effets de cette recherche sont attendus en retour sur notre pratique d’historiens et historiennes de la philosophie, dans la mesure où nous n’avons pas toujours conscience des critères selon lesquels nous apprécions telle ou telle philosophie.

The ability to regenerate injured or amputated body parts is widespread in the animal kingdom. Highly regenerative species can restore organs with complex architectures and multiple differentiated cell types, such as external appendages, internal organs or, in some cases, the entire body from tiny tissue fragments. Single-cell sequencing technologies have opened a new way to answer old questions on the cellular composition and dynamics of regenerating tissues at single-cell resolution. During my thesis, I implemented this method in the emerging model system Parhyale hawaiensis to investigate the catalog of cell types found within the legs and to assess the fidelity of regeneration. Pahryale legs are small but complex tissues surrounded by an impermeable cuticle, which presents a challenge for extracting intact cells. After several trials and optimization, I established a single-nucleus RNA sequencing (snRNA-seq) approach, which diminishes the bias in recovering heterogeneous cell populations compared with single-cell methods. Sequencing the nuclear transcriptome of intact limbs allowed me to identify distinct clusters of nuclei, based on their transcriptional profile, reflecting a diversity of putative cell types. The comparison of datasets from uninjured and post-regenerated limbs revealed that the diversity and proportions of the cell types are faithfully restored during regeneration. Additionally, these datasets revealed a distinct cluster with a strong signature related to the molting cycle. This work establishes the basis for exploring the cell trajectories during regeneration using snRNA-seq, characterizing their dynamics and identifying the progenitor cells.; La capacité à régénérer des parties du corps blessées ou amputées est très répandue dans le règne animal. Les espèces hautement régénératrices peuvent restaurer des organes aux architectures complexes et aux multiples types de cellules différenciées, comme des appendices externes, des organes internes ou, dans certains cas, le corps entier à partir de minuscules fragments de tissus. Les technologies de séquençage de cellules uniques ont ouvert une nouvelle voie pour répondre à l’échelle unicellulaire aux anciennes questions sur la composition et la dynamique cellulaires des tissus en régénération. Au cours de ma thèse, j'ai mis en œuvre cette méthode dans le système modèle émergent Parhyale hawaiensis afin d’établir le catalogue des types de cellules présentes dans les membres et d'évaluer la fidélité de la régénération. Les membres de Parhyale hawaiensis sont des tissus petits mais complexes entourés d'une cuticule imperméable, qui représente un obstacle à l'extraction de cellules intactes. Après plusieurs essais et optimisations, j'ai mis en place une approche de séquençage de l'ARN mononucléaire (snRNA-seq), qui diminue le biais de récupération de populations cellulaires hétérogènes par rapport aux méthodes unicellulaires. Le séquençage du transcriptome nucléaire de membres intacts m'a permis d'identifier des groupes distincts de noyaux, sur la base de leur profil transcriptionnel, reflétant une diversité de types cellulaires putatifs. La comparaison de données provenant de membres indemnes et régénérés après amputation a révélé que la diversité et les proportions des types de cellules sont fidèlement restaurées pendant la régénération. De plus, j’ai mis en évidence un groupe de cellules distinct avec une forte signature liée au cycle de la mue. Ces travaux posent les bases de l'exploration des trajectoires cellulaires au cours de la régénération à l'aide du snRNA-seq, de la caractérisation de leur dynamique et de l'identification des cellules progénitrices.

Since the end of the 1990s, as food and agricultural issues hold a permanent place in the news, schools are at the centre of numerous social demands as to take charge of the food education of pupils. A growing number of national and local initiatives are being launched to raise awareness of food-related issues and encourage healthy eating practices in schools. Located at the crossroads of geography and socio-anthropology, this thesis proposes to better understand the current debates around food education in schools. It examines the way in which school actors take hold of institutional prescriptions, and how pupils receive this education. In doing so, this research aims at identifying the obstacles and levers that limit or foster the implementation and effects of food education in secondary schools. The research methodology combines the analysis of a corpus of institutional texts and an ethnographic survey conducted in three secondary schools, chosen for their contrasting social and geographical contexts, in France and Mexico. Using the notion of 'school foodscape' as an exploratory tool, this research proposes a systemic analysis of the interactions between prescriptions, norms, spaces, actors and practices involved in food education at the school level. The thesis shows that in the three schools studied, the school foodscape is traversed by tensions that can restrain the extent to which food education is provided. A series of contradictions are identified, between the official prescriptions, the educational practices of the school staff, the school food environment and the food representations and practices of the students, especially for those coming from disadvantaged backgrounds. Nonetheless, the results also highlight the importance of several existing resources in the school food landscape for raising students' awareness of food issues: social interactions during meals, the mobilisation of a range of objects and spaces in the school premises, and a renewed attention to the students' food representations and habits. Therefore, this thesis invites education and research actors to better consider the geographical, sociological and organizational context of each school, in order to design a food education adapted to the challenge of food-related social inequalities.; Depuis la fin des années 1990, alors que les problématiques alimentaires et agricoles s’inscrivent en permanence dans l’actualité, l’école est au centre de nombreuses demandes sociales pour prendre en charge l’éducation alimentaire des élèves. Les initiatives nationales et locales se multiplient pour sensibiliser les élèves à l’alimentation et favoriser des pratiques alimentaires saines au sein des établissements scolaires. A la croisée de la géographie et de la socio-anthropologie, cette thèse propose de saisir les enjeux actuels de l’éducation alimentaire à l’école. Elle interroge la manière dont les acteurs scolaires s’emparent des prescriptions institutionnelles et comment les élèves reçoivent cette éducation. Ce faisant, l’enjeu de la présente recherche est d’identifier les freins et les leviers qui limitent ou au contraire favorisent la mise en place et les effets d’une éducation alimentaire au collège. La méthodologie de recherche combine l’analyse d’un corpus de textes institutionnels et une enquête ethnographique menée dans trois collèges de milieux sociaux et géographiques contrastés en France et au Mexique. En mobilisant à titre exploratoire la notion de « foodscape scolaire », cette recherche propose une analyse systémique des interactions entre prescriptions, normes, espaces, acteurs et pratiques impliqués dans l’éducation alimentaire à l’échelle du collège. La thèse montre que dans les trois collèges étudiés, le foodscape scolaire est traversé par des tensions qui peuvent limiter la portée de l’éducation alimentaire. Il existe en effet des contradictions entre les prescriptions officielles, les pratiques éducatives du personnel scolaire, l’environnement alimentaire scolaire et les représentations et pratiques des élèves en matière d’alimentation, surtout pour ceux issus de milieux défavorisés. Néanmoins, les résultats mettent en évidence l’importance de plusieurs ressources au sein du foodscape scolaire pour sensibiliser les élèves aux enjeux de l’alimentation : les interactions sociales lors des repas, la mobilisation d’un ensemble d’objets et d’espaces de l’établissement ainsi que les représentations et habitudes des élèves en matière d’alimentation. Ainsi, cette thèse invite les acteurs de l’éducation et de la recherche à davantage tenir compte du contexte (géographique, sociologique et organisationnel) de chaque établissement scolaire pour penser une éducation alimentaire à même de répondre aux inégalités sociales liées à l’alimentation.

Progress in physics has gone hand in hand with improvements in measurement precision. Heisenberg's uncertainty principle puts some bounds on the minimum amount of measurement noise but classical measurement devices are generally unable to get very close to this fundamental limit. In this thesis, we showcase three different experiments that push measurements beyond the classical limit. These three experiments are performed using the same superconducting circuit called the quantum node. The first chapters of this thesis are dedicated to presenting the uncertainty principle, the tools circuit quantum electrodynamics provide us to approach this limit and the presentation of the quantum node circuit. In the first experiment, we show how one can non-destructively resolve the energy of a single microwave pulse down to the single photon. We then perform a tomography of the measured state to show the fundamental principle of quantum back-action. In the second experiment, we devise a scheme using two simultaneous parametric couplings capable of stabilizing a long-lived electromagnetic mode in a squeezed state well beyond the conventional 3 dB limit. Finally, in the third experiment, we present the first microwave realization of a quantum radar which despite its limited practical applications is a rare example of a quantum metrological improvement robust to noise.; Le progrès en physique va de pair avec l'amélioration de la précision des mesures. Le principe d'incertitude d'Heisenberg met une limite sur le niveau minimal de bruit de la mesure mais les appareils de mesure classiques sont généralement incapables de s'approcher de cette limite fondamentale. Dans cette thèse, nous présentons trois expériences qui vont au-delà de la limite classique. Ces trois expériences sont réalisées en utilisant un même circuit supraconducteur appelé nœud quantique. Les premiers chapitres de cette thèse présentent le principe d'incertitude, les outils que l'électrodynamique quantique peut nous apporter pour s'approcher de cette limite ainsi que le circuit du nœud quantique lui-même. Dans la première expérience, nous montrons comment on peut résoudre l'énergie d'une unique impulsion micro-ondes jusqu'au niveau du photon sans le détruire. Nous réalisons ensuite une tomographie de l'état mesuré pour montrer le principe fondamental de la rétro-action de la mesure quantique. Dans la deuxième expérience, nous utilisons deux interactions paramétriques simultanément pour stabiliser un mode électromagnétique dans un état comprimé bien plus fortement que la limite habituelle des 3 dB. Finalement, dans la troisième expérience, nous présentons la première réalisation d'un radar quantique fonctionnant dans les fréquences micro-ondes. Malgré ses applications pratiques limitées, cette expérience est un rare exemple d'amélioration en métrologie quantique qui est robuste au bruit.

Due to the increasing number of nodes in supercomputers, scientific applications are frequently interrupted by failures. Ensuring a correct and uninterrupted application execution requires fault tolerance mechanisms, consisting of Checkpoint/Rollback mechanisms. A checkpoint of the application is taken periodically; that is, the state of the application is written onto reliable storage. Whenever one of the computing resources experiences a failure, the application pauses and restarts from the last valid checkpoint. The optimal checkpointing period can be computed by the well-known Young/Daly formula, which applies to applications where a checkpoint can be taken anytime during the computation. However, many scientific applications exhibit a more complicated behavior. For example, checkpointing at the end of an iteration is efficient for iterative applications since the volume of data to checkpoint is dramatically reduced at that point. In addition, the batch scheduler, a key component of the supercomputing infrastructure, is also affected by failures. This thesis designs fault-tolerant algorithms for iterative applications to minimize the makespan and designs scheduling heuristics for batch schedulers to improve the performance of the platform. The first two works focus on iterative applications but with different application models. In the first work, we consider the stochastic iterative applications as a linear chain whose tasks do not have constant execution times but obey some probability distributions. We propose the static checkpointing strategy and the dynamic checkpointing strategy to minimize the makespan and show that the Young/Daly formula can be safely applied to stochastic iteration applications. The second work considers the deterministic iterative applications as a chain of cyclic tasks. We propose the optimal checkpointing strategy computed in polynomial time and show that the strategy extended from the Young/Daly formula is suboptimal. The final work concerns batch schedulers. For traditional scheduling heuristics, failed jobs must wait until enough nodes become available for their re-execution. We propose a novel scheduling heuristic to schedule failed jobs more efficiently. Simulations using traces from the Mira supercomputer at Argonne National Laboratory show that the new approach improves the utilization of the platform and dramatically reduces the flow of large jobs at the price of slightly increasing the flow of small jobs.; En raison du nombre croissant de nœuds dans les supercalculateurs, les applications scientifiques sont fréquemment interrompues par des pannes. Assurer une exécution correcte et ininterrompue de l'application nécessite des mécanismes de tolérance aux pannes, consistant en des mécanismes de prise de point de contrôle/retour sur erreur. Un point de contrôle de l'application est effectué périodiquement ; c'est-à-dire que l'état de l'application est écrit sur un stockage fiable. Chaque fois que l'une des ressources informatiques rencontre une panne, l'application s'interrompt et redémarre à partir du dernier point de contrôle valide. La période de point de contrôle optimale peut être calculée par la formule de Young/Daly, qui s'applique aux applications où un point de contrôle peut être pris à tout moment pendant le calcul. Cependant, de nombreuses applications scientifiques présentent un comportement plus compliqué. Par exemple, prendre un point de contrôle à la fin d'une itération est recommandé pour les applications itératives puisque le volume de données à contrôler est considérablement réduit à ce stade. De plus, l’ordonnanceur, un composant clé de l'infrastructure de calcul intensif, est également affecté par les pannes. Cette thèse conçoit des algorithmes tolérants aux pannes pour les applications itératives afin de minimiser le temps de terminaison des tâches de calcul et conçoit des heuristiques d'ordonnancement pour les ordonnanceurs afin d'améliorer les performances de la plate-forme. Les deux premiers travaux portent sur des applications itératives mais avec des modèles d'application différents. Dans le premier travail, nous considérons des applications itératives stochastiques comme une chaîne linéaire dont les tâches n'ont pas de temps d'exécution constants mais obéissent à des distributions de probabilité. Nous proposons une stratégie de point de contrôle statique ainsi qu’une stratégie dynamique pour minimiser le temps de complétion et montrons que la formule de Young/Daly peut être appliquée avec succès aux applications dont les itérations sont stochastiques. Le second travail considère les applications itératives déterministes comme un cycle constitué d’une chaîne de tâches. Nous proposons une stratégie de point de reprise optimale calculée en temps polynomial et montrons que des extensions de la stratégie de Young/Daly sont sous-optimales. Le travail final concerne les ordonnanceurs pour supercalculateurs. Dans les heuristiques d’ordonnancement traditionnelles, tout travail ayant échoué doit attendre que suffisamment de nœuds soient disponibles pour sa réexécution. Nous proposons une nouvelle heuristique d'ordonnancement plus rapide pour les tâches qui ont échoué. Des simulations utilisant des traces du supercalculateur Mira du Laboratoire national d'Argonne montrent que notre nouvelle approche peut améliorer l'utilisation de la plate-forme et réduire considérablement le temps de traitement des grosses tâches au prix d'une légère augmentation du temps de traitement des petites tâches.

This thesis examines how members of a bereaved family continue to form a family in the context of the death of a child. The framework chosen is that of families who have lost a child aged between 12 and 25 years. This study is based on qualitative material, i.e. 40 interviews with parents and siblings who have lost a child or a sibling aged between 12 and 25. Based on this material, the aim is to question the tools and concepts that sociology possesses today to carry out an analysis of bereavement within the family. By focusing on individual and family trajectories as well as the turning points induced by bereavement, this thesis shows that, far from being an individual and psychological task, grieving a child constitutes above all a status that affects parenthood over time. This thesis begins with an exploration of the links between the sociology of bereavement and the contemporary sociology of family. By defining the family as an emotional configuration and by placing the roles of parents and siblings at the centre of the analysis, this doctoral work shows how emotions circulate within the family, making it possible to be a family despite an absent member. The transformation of parental roles is questioned, and in particular the way in which bereaved parents are now part of a liminal form of parenthood. Through the elaboration of the notion of the emotional labour of grief, this thesis highlights the inequalities between fatherhood and motherhood in situations of bereavement, particularly in relation to the place within the professional sphere. By following the family through its material components, this work shows how material elements anchor absence within a shared daily life. Finally, a long-term analysis of bereavement leads us to question the future of bereaved siblings, but also the transformation of the family, for example through the arrival of grandchildren.; Ce travail de thèse porte sur la manière dont les membres d’une famille endeuillée continuent de faire famille dans le contexte du décès d’un·e enfant. Le cadre choisi est celui des familles ayant perdu un·e enfant âgé·e de 12 à 25 ans. Ce travail s’appuie sur des matériaux qualitatifs, soit 40 entretiens réalisés avec des parents, mais aussi des frères et sœurs endeuillé·e·s d’un·e enfant, d’une sœur ou d’un frère âgé·e de 12 à 25 ans. À partir de ces matériaux, il s’agit de questionner les outils et concepts que possède aujourd’hui la sociologie pour mener à bien une analyse du deuil au sein de la famille. En s’intéressant aux trajectoires individuelles et familiales et aux bifurcations induites par le deuil, ce travail de thèse expose que, loin de pouvoir se résumer à un travail individuel et psychologique, le deuil d’un·e enfant constitue surtout un statut qui affecte la parentalité sur le temps long. Cette thèse commence par décrire comment la sociologie du deuil s’articule aujourd’hui à la sociologie de la famille. En définissant la famille comme configuration émotionnelle et en mettant au centre de l’analyse le rôle des parents et des frères et sœurs, ce travail doctoral montre comment les émotions circulent au sein de la famille, et permettent de faire famille malgré un membre absent. La transformation des rôles parentaux est interrogée, et notamment la manière dont les parents endeuillé·e·s s’inscrivent désormais dans une forme liminale de parentalité. Grâce à l’élaboration de la notion de travail émotionnel de deuil, cette thèse met en lumière les inégalités entre paternité et maternité en deuil, particulièrement par rapport à l’inscription dans la sphère professionnelle. En suivant la famille à travers ses indices matériels, ce travail montre en outre comment les éléments matériels ancrent l’absence dans un quotidien partagé. Enfin, l’analyse sur le temps long amène à interroger le devenir des sœurs et frères en deuil, mais aussi la transformation de la famille, notamment à travers l’arrivée des petits-enfants.

A multitude of stable and heritable phenotypes arise from the same DNA sequence, owing to epigenetic regulatory mechanisms relying on the molecular cooperativity of ``reader-writer'' histone modifying enzymes. We introduce a unified modeling framework, the ''Painter model'', describing the mechanistic interplay between sequence-specific recruitment of chromatin regulators, chromatin-state-specific reader-writer processes and long-range spreading mechanisms. A systematic analysis of the model highlights the crucial impact of tridimensional chromatin organization and state-specific recruitment of enzymes on the stability of epigenomic domains and on gene expression. In particular, we show that enhanced 3D compaction of the genome and enzyme limitation facilitate the formation of ultra-stable, confined chromatin domains. To go beyond the effective 3D description, we study explicit 3D polymer dynamics. Since the physics of long, topologically-constrained polymers may significantly deviate from those of shorter chains, we theoretically investigate the extent of the minimal genomic region that one should consider around a given locus in order to effectively capture the correct dynamical and structural properties of the domain of interest. We show that this minimal size depends on the overall epigenomic context and on the entanglement properties of the long polymer. Finally, we introduce a theoretical framework coupling 3D polymer dynamics and epigeneome regulation by diffusing HMEs, the ``Living painter'' model, that exhibits intriguing properties on the coupling between 3D genome folding and epigenetic spreading, reflecting the scope and extension of the thesis.; Une multitude de phénotypes stables et héritables peuvent naître d'une seule séquence d'ADN grâce à des mécanismes de régulation épigénétique qui reposent sur la coopération entre des enzymes modificatrices d'histones suivant des processus de "lecture-écriture". Nous introduisons ici un cadre de modélisation unifié, le modèle "painter", qui décrit les mécanismes faisant interagir les processus de recrutement des régulateurs de la chromatine spécifique d'une séquence, les processus de lecture-écriture spécifiques à l'état de la chromatine et la propagation à longue distance. Une analyse systématique du modèle met en évidence l'importance de l'organisation tridimensionnelle de la chromatine et du recrutement spécifique des enzymes sur la stabilité des domaines epigénomiques et sur l'expression génétique. En particulier, nous montrons que la compaction tridimensionnelle accrue du génome et la limitation des enzymes facilitent la formation de domaines chromatiniens confinés ultra-stables. Pour aller au-delà de la description effective en 3D, nous étudions la dynamique explicite des polymères en 3D. Puisque la physique des polymères longs et topologiquement contraints peut dévier de manière significative de celle des chaînes plus courtes, nous étudions théoriquement l'étendue de la région génomique minimale que l'on devrait considérer autour d'un locus donné afin de capturer efficacement les propriétés dynamiques et structurelles correctes du domaine d'intérêt. Nous montrons que cette taille minimale dépend du contexte épigénomique global et des propriétés d'enchevêtrement du long polymère. Enfin, nous introduisons un cadre théorique couplant la dynamique des polymères 3D et la régulation de l'épigénome par des HMEs diffusants, le modèle du "peintre vivant", qui présente des propriétés intrigantes sur le couplage entre le repliement du génome 3D et la propagation épigénétique, reflétant la portée et l'extension de la thèse.

International audience; Les sciences humaines et sociales utilisent le terme de situation pour désigner le réseau évolutif de relations enchevêtrées et les interactions transformatrices qu’une entité entretient avec un assemblage hétérogène d’éléments abiotiques, biotiques et anthropiques. Sans prétendre à l’exhaustivité, cet article a pour objectif d’identifier quelques jalons qui permettent de constituer un cadre théorique pour penser les situations problématiques en géographe. Les influences proviennent non seulement des écrits anglophones associés à la philosophie pragmatiste (Dewey et Mead) et à la sociologie interactionniste (Becker, Blumer et Goffman), mais aussi des éclairages de l’existentialisme (Marcel, Sartre et Jaspers), de l’Internationale situationniste (Debord) et de la philosophie de l’instauration (Souriau). Pour chacun de ces jalons, un exemple emprunté à la géographie de l’eau permet de montrer comment s’incarnent et se nouent les principes théoriques dans des situations particulières. Le croisement de ces différentes approches peut aider les géographes à traiter les situations problématiques de manière à la fois plus humaine, plus qu’humaine et plus-que-représentationnelle.

Dorsal closure and head involution are among the last major events in the morphogenesisof the Drosophila melanogaster embryo, taking place during stages 13 to 15. During dorsal closure, the cells of the dorsal epidermis elongate until they fusewith their counterparts on the dorsal midline, pulled by an extra-embryonic tissue:the amnioserosa. At the same time, the dorsal epidermis of the thoracic segments,having just fused, covers the head of the embryo: that is the head involution . I dedicated this thesis to the understanding of the morphogenetic processes at the origin of these two phenomena and to their regulation by two signaling pathways:JNK and DPP (the TGFβ homolog in D. melanogaster ). [...] Finally, I identify how a subpopulation of cells from the head epidermis participatein the migration of the thoracic epidermis over it. These cells are organized in twobands located laterally on either side of the head epidermis. During head involution,these two bands contract thanks to the intercalation of their cells as well as the reduction of their apical area. Thus, these bands act as suspenders pulling on the thoracic epidermis via the dorsal ridge. Concomitantly, the dorsal ridge also contracts and acts as a belt to synchronize the migration of the thoracic epidermis over the head. Altogether, this work demonstrates that the role of the DPP pathwayin the regulation of late epidermal morphogenesis in the Drosophila embryooriginates much earlier than previously thought. It also sheds light on the crucialrole of inter-organ cooperation during this process.; La fermeture dorsale et l'involution de la tête sont parmi les derniers évènements majeurs de la morphogénèse de l'embryon de drosophile. J'ai consacré ce travail de thèse à la compréhension des procédés morphogénétiques à l'origine de ces deux phénomènes ainsi qu'à leur régulation par deux voies de signalisation : JNK et DPP (l'homologue des TGFβ chez D. melanogaster). Dans un premier temps, j'y décortique et précise les rôles distincts de chacune de ces deux voies de signalisation pour la fermeture dorsale. En effet, les embryons mutés pour des composants de la voie JNK ou DPP ne parviennent pas à réaliser la fermeture dorsale et subissent une éviscération fatale marquant l'échec de leur développement. J'y identifie ainsi que DPP définit le domaine ainsi que l'activité contractile de l'amnioséreuse précocement chez l'embryon. Il détermine ensuite l'épiderme dorsal et lui confère des propriétés visco-plastiques bien avant la fermeture dorsale. Enfin, j'y établie comment JNK et DPP agissent de concert pour assurer la cohésion entre l'amnioséreuse et l'épiderme dorsal, dont la perte est à l'origine de l'éviscération des mutants. Dans un second temps, j'y écarte l'apoptose comme responsable de l'éviscération des mutants de la voie DPP et y pointe le rôle de la morphogenèse des organes internes. Finalement, j'y identifie comment une population de cellules de l'épiderme de la tête participe à l'involution de la tête. Ces cellules sont organisées en deux bandes agissant telles des bretelles tirant sur l'épiderme thoracique via la crête dorsale, se comportant elle comme une ceinture et synchronisant la migration de l'épiderme thoracique par-dessus la tête. Ainsi, ce travail permet de démontrer que le rôle de la voie DPP dans la régulation de la morphogénèse tardive de l'épiderme de l'embryon de drosophile puise son origine bien plus précocement que ce qui était pensé jusqu'alors. Il permet également d'éclairer le rôle crucial de la coopération entre organes lors de celle-ci.

Growth of living organisms originates from molecular events. These events add up, and generate cellular behaviors that together produce morphogenesis. In my PhD, I studied how such microscopic events contribute to plant morphogenesis. More specifically, in a first set of projects, we investigated the dynamics of the microtubule cytoskeleton in Arabidopsis pavement cells by quantifying distribution of microtubule orientation and tip dynamics at subcellular scale. Disruption of microtubule patterning was predicted to lead to mechanical failure of cells, but we highlighted compensation mechanisms that prevented it. In my main project, we investigated the role of cellulose synthase guidance along microtubules via a protein called CELLULOSE-SYNTHASE INTERACTIVE 1 (CSI1). In the absence of CSI1, cellulose synthases follow previously deposited cellulose microfibrils, which should lead to increased alignment. Contrary to the current growth model where cellulose alignment is associated with growth anisotropy, we found that this did not lead to an increase in cell elongation and even led to a decrease of organ elongation in Arabidopsis sepal. Sepals also presented less anisotropic mechanical properties and displayed cells with a snake-like shape. At a multicellular scale, we found that spatial consistency of growth direction was impaired in csi1, which explains the reduced length of its organs, the reduced mechanical anisotropy of organs, and the defects in cell shape. Our results contribute to bridging knowledge between scales, from the cytoskeleton, to the cell wall and to plant morphogenesis.; La croissance des organismes vivants est le résultat d'événements moléculaires. Ces événements s'additionnent et génèrent des comportements cellulaires qui, ensemble, produisent la morphogenèse. J'ai étudié comment ces événements microscopiques contribuent à la morphogenèse des plantes. D’une part, nous avons étudié la dynamique des microtubules dans les cellules de pavage d'Arabidopsis, en quantifiant la distribution d’orientation des microtubules et la dynamique de leurs extrémités à échelle subcellulaire. La perturbation de l'orientation des microtubules est censée entraîner une défaillance mécanique des cellules, mais nous avons mis en évidence des mécanismes de compensation qui l'empêchent. Dans mon projet principal, nous avons étudié le rôle du guidage des complexes synthétisant la cellulose le long des microtubules par une protéine appelée CELLULOSE-SYNTHASE INTERACTIVE 1 (CSI1). En l'absence de CSI1, les complexes synthétisant la cellulose suivent les fibres de cellulose précédemment déposées, ce qui devrait conduire à un alignement accru. Contrairement au modèle selon lequel l’alignement de la cellulose augmente l’anisotropie de croissance, nous avons constaté que cela n’augmente pas l'élongation cellulaire et entraîne même une diminution de l’élongation du sépale d'Arabidopsis. Ces sépales présentent également des propriétés mécaniques moins anisotropes et des cellules ondulant en forme de serpent. À l'échelle multicellulaire, nous avons constaté que la cohérence spatiale de la direction de la croissance est altérée chez csi1, ce qui explique la longueur réduite de ses organes, l'anisotropie mécanique réduite des organes et les défauts de forme des cellules. Nos résultats contribuent à éclairer le lien entre échelles spatiales lors de la morphogenèse végétale.

At the cellular level, the integration of endogenous and exogenous signals and the resulting adaptive response enable cells to make decisions which are necessary for the functions and survival of organisms. Studying these decision-making processes at the single cell level has highlighted the functional role of gene expression variability, particularly during differentiation. In parallel, the literature also describes the existence of transcriptional memory between sister cells during divisions. Thus, understanding how the variability of gene expression, required for differentiation, and transcriptional memory combine and propagate over cell generations is a real challenge.In the first part of my thesis, I developed experimental and computational methods to analyse and compare the transcriptomes of sisters and cousin-cells (avian primary erythrocyte progenitors) maintained in a self-renewal or differentiation state. My work showed that in both states, sister-cells have more similar transcriptomes compared to unrelated cells. Furthermore, differentiating sister-cells are further apart than self-renewing sister-cells, and this sister-to-sister difference is enven more pronouced after a second division. Thus, transcriptional memory is gradually erased as differentiation proceeds. This erasure may be related to the increased gene variability observed at the beginning of the differentiation process. In the second part of my thesis, I molecularly characterised the point of irreversible commitment of erythrocyte progenitors differentiation. This single-cell study showed that committed progenitors induced to differentiate are able to phenotypically revert up to this crucial point; moreover, they return to a transcriptomic state almost identical to that of undifferentiated cells, highlighting a molecular plasticity during erythrocyte differentiation., A l’échelle cellulaire, l'intégration des signaux endogènes et exogènes et la réponse adaptée qui en découle permettent aux cellules de prendre les décisions nécessaires aux fonctions et à la survie des organismes. L’étude de ces processus décisionnels investiguée à l’échelle de la cellule unique a mis en évidence le rôle fonctionnel de la variabilité de l’expression génique notamment au cours de la différenciation. Parallèlement, est aussi décrit dans la littérature, l’existence d’une mémoire transcriptionnelle entre cellules sœurs au cours des divisions. Ainsi, comprendre comment la variabilité de l'expression génique nécessaire à la différenciation et la mémoire transcriptionnelle se combinent et se propagent au cours des générations cellulaires est un véritable défi. Dans la première partie de ma thèse, j’ai ainsi développé des méthodes expérimentales et computationnelles pour analyser et comparer les transcriptomes de cellules sœurs et cousines (progéniteurs érythrocytaires primaires aviaires) maintenues en état d’auto-renouvellement ou de différenciation. Mes travaux ont montré que dans les deux états, les cellules sœurs ont des transcriptomes plus proches entre elles comparés à des cellules non-apparentées. De plus, les cellules sœurs en cours de différenciation sont plus éloignées les unes des autres que les cellules sœurs qui s'autorenouvellent, et cette différence entre sœurs est encore plus prononcée après une deuxième division. Ainsi, la mémoire transcriptionnelle s'efface progressivement au fur et à mesure de la différenciation. Cet effacement peut être lié à l'augmentation de la variabilité génétique observée au début du processus de différenciation. Dans la seconde partie de ma thèse, j’ai caractérisé moléculairement le point d’engagement irréversible en différenciation de ces progéniteurs érythrocytaires. Cette étude menée à l’échelle de la cellule unique a permis de montrer que les progéniteurs engagés en différenciation sont capables de réverter phénotypiquement jusqu’à ce point crucial ; de plus, ils retrouvent un état transcriptomique quasiment identique à celui de cellules indifférenciées, mettant en lumière une plasticité moléculaire lors de la différenciation érythrocytaire.

Over the last three decades, the issue of the feminist ‘subject’ has substantially been put forward by feminist theorists, in the wake of post-structuralism. Feminist political togetherness as well as the universality of feminist claims have been called into question. Among the profusion of voices which compose post-structuralist feminism one statement emerges as a rallying point: feminist theorizing has to be anti-essentialist and avoid at all costs to turn its own subject into an essence. However, I contend that the vagueness of this recommendation raises more problems than it solves. Thus in the second part of this essay I establish a set of prescriptive guidelines as to what would be good feminist theorizing. I then outline the main characteristics of a pragmatic approach: one that makes political praxis for social change a standard for feminist theorizing as well as a primary source for theoretical problems. Using a combination of Foucauldian archaeology and field philosophy, I put this approach into practice in the third part of my dissertation applying it to my initial problem. Using archives, printed historical sources, and memoirs of feminist activists, I examine the significance of separatism and ‘non-mixité’ (non-mixedness) in French and US radical feminist movements of the 1960s and 1970s. Through them I identify various ways of successfully or poorly express a feminist ‘us.’ Thereby I both clarify its issues and provide for a reconstructive framework of the feminist subject; Au cours des trente dernières années, le courant post-structuraliste a largement contribué à populariser la question du « sujet » féministe : ce « nous » qui fonde le caractère collectif et la prétention à la généralité des luttes et revendications féministes. Un consensus émerge des nombreuses voix qui le composent : la théorisation féministe doit être anti-essentialiste, elle doit éviter par tous les moyens de faire de son sujet une essence. Je soutiens pourtant que cette position pose plus de problèmes qu’elle n’en résout, en raison du caractère particulièrement vague de cette préconisation. La deuxième partie de la thèse élabore donc des critères normatifs permettant de distinguer ce que serait une bonne théorisation féministe. J’esquisse les caractéristiques d’une méthode pragmatique, qui fait des pratiques politiques de transformation sociale une norme pour les théorisations féministes (une mesure permettant d’évaluer leur pertinence), mais aussi une source privilégiée pour les problèmes théoriques. Au croisement de l’archéologie foucaldienne et de la philosophie de terrain, les réflexions que je développe dans la troisième partie sont une application de cette méthode à mon problème initial. À partir d’archives, de sources imprimées, de mémoires et de témoignages, j’interroge le sens des pratiques de non-mixité dans les mouvements féministes français et étasunien des années 1960-1970. Ces pratiques, à travers lesquelles j’identifie autant de manières de bien ou de mal dire « nous », me permettent de mieux poser le problème du sujet féministe et de formuler une critique sociale immédiatement orientée vers la reconstruction de son objet.

General relativity is the most widely accepted gravitational theory to date which describes cosmological scale in terms of differential geometry of spacetime, and quantum theory is the most accurate physical theory which describes microscopic scale in terms of non-commutative algebra. While the two fundamental physical theories have not been put into one picture. Loop quantum gravity is a tentative theory of quantum gravity that inherits the essences from the two theories. One of crucial properties of loop quantum gravity is diffeomorphism invariance, which, however, leads to the absence of locality in the theory. Inspired from the insights of holography and relational perspective, the issue involved to locality could be resolved by the prescriptions of quasi-locality and emergent geometry. Following the two insights, it is conceivable that the diffeomorphism invariant operators are entirely described by a theory living on boundary, and the quantum geometry could be reconstructed/emerged from entanglement and correlation. This thesis is dedicated to the relevant explorations: (1) to formulate a quasi-local description for loop quantum gravity with bulk-to-boundary relation; (2) to formulate quantum geometry in terms of the notions of quantum information theory. We wish these formulations shed light on the holography and renormalization flow in loop quantum gravity. We study open spin networks, which are embedded in manifolds with non-empty boundaries, from the viewpoint of bulk-boundary maps. Based on it, we formulate quasi-local descriptions of loop quantum gravity. We investigate the coarse-graining procedure via tracing over bulk degrees of freedom, which encodes all that we can know about the quantum state of geometry from probing the boundary. We prove a boundary-to bulk universal reconstruction procedure, to be understood as a purification of the mixed boundary state into a pure bulk state. We then move to define multipartite entanglement in spin networks, and show the computation of entanglement excitation from holonomy operator, which also allows us to glimpse bulk curvature from entanglement. Moreover, by investigating another coarse-graining procedure - via gauge-fixing, which does not trace over any bulk degrees of freedom, we show a new interesting connection between bulk geometry and boundary observables via the dynamics of entanglement. Finally, we define the spin network entanglement between spin sub-networks, which correspond to spatial sub-regions. We then generalize the coarse-graining approach, and prove that the entanglement between spin sub-networks is preserved under the coarse-graining (via gauge-fixing), which exhibits a holographic perspective for the topic of entanglement.; Cette thèse explore la question de la gravitation quantique, qui vise l'unification de la théorie de la relativité générale et de la théorie quantique des champs et étudie les conséquences phénoménologiques d'une telle théorie physique nouvelle. Récemment, les efforts sur cette ligne de recherche se sont concentrés sur l'idée d'holographie gravitationnelle et sur l'interface entre géométrie et information quantique. Dans ce contexte, la présente thèse est consacrée à l'implémentation et l'analyse de ces problématiques à la théorie de la gravitation quantique à boucles (loop quantum gravity). L'objectif est double, il s'agit de: (1) formuler une description quasi-locale de la gravitation quantique à boucle explicitant avec la relation entre états de géométries 4D et états de frontière 3D ; (2) formuler la géométrie quantique à l'échelle de Planck en termes d'information quantique et de flux quantique. Ainsi, nous étudions les réseaux de spin ouverts (open spin networks), qui définissent les états quantiques de géométrie de variété 4D avec frontière. Nous les formulons comme des fonctions d'onde envoyant les géométries d'espace-temps 4D sur les états quantiques de bord. La question de l'holographie gravitationnelle est alors de comprendre à quel point il est possible de reconstruire la géométrie 4D à partir d'un état quantique de bord. En termes d'information quantique, il s'agit de la purification de l'état mixte de la frontière en un état pur de de la géométrie de l'intérieur. Nous prouvons un théorème de reconstruction universelle: pour un état de frontière quelconque, il est toujours possible de reconstruire un état pur de géométrie 4D sans profondeur. Cela constitue le point de départ de l'étude de l'holographie de la gravitation quantique à boucles. Poussant l'étude de l'intrication quantique multipartite dans les réseaux de spin, en particulier son comportement sous l'action de l'opérateur d'holonomie, nous prouvons l'invariance de l'intrication quantique sous coarse-graining de l'état quantique.

Random integer partitions have been particularly useful in explaining the connections between diverse physical and combinatorial models exhibiting the same asymptotic phenomena. Famously, a partition under the Plancherel measure encodes the lengths of monotone subsequences of a uniform random permutation; its parts also correspond to positions of free fermions on a lattice, a connection that allows their statistics to be studied exactly. It has a deterministic limit shape and edge fluctuations with a universal critical exponent of 1/3, associated with out-of-equilibrium physics. This thesis presents two generalisations of the Plancherel measure with edge behaviour escaping its universality class. First, we introduce measures on partitions corresponding to natural models of free fermions, and show that they give rise to “multicritical” asymptotic edge fluctuations, with new critical exponents. These measures relate multicritical free fermions to random unitary matrices, explaining the appearance of the same asymptotic distributions for both. Second, we introduce a measure related to the enumeration of transposition factorisations on symmetric groups and certain discrete surfaces. We show that, in a regime where the corresponding surfaces are of high genus, it produces a novel twofold limit behaviour where the first part becomes very large. As a consequence, we find an asymptotic estimate for the unconnected Hurwitz numbers at high genus. The laws studied each have integrable structures. In the first case our analysis exploits integrability directly; in the second, we use an entropy method to study an asymptotic regime which is inaccessible by integrability approaches.; Les partitions aléatoires d’entiers ont servi à expliquer les connexions entre modèles physiques et combinatoires très différentes. Une partition sous la célèbre mesure de Plancherel donne les longueurs des sous-suites monotones d’une permutation aléatoire uniforme ; ses parties correspondent aussi aux positions de fermions libres sur réseau, ce qui permet d’étudier leurs statistiques de manière exacte. Elle a une forme limite déterministe et des fluctuations de bord avec exposant critique universel 1/3, associé à la physique hors d’équilibre. Cette thèse porte sur deux généralisations de la mesure de Plancherel, dont le comportement de bord échappe l’universalité. On introduit en premier une famille de mesures correspondant aux fermions libres, et montre qu’elles entament des fluctuations de bord «multicritiques », avec d’autres exposants critiques. Ces mesures relient les fermions multicritiques aux matrices unitaires aléatoires, et expliquent l’apparition des mêmes distributions asymptotiques pour chaque modèle. En- suite, on introduit une mesure liée à l’énumération des factorisations par transpositions sur les groupes symétriques et de certaines surfaces discrètes. On montre que, dans un régime où les surfaces concernées sont de grand genre, elle produit un comportement limite inédit où la première partie devient très grande. Par conséquent, on obtient une approximation asymptotique pour les nombres d’Hurwitz non connexes à grand genre. Les lois étudiées possèdent des structures intégrables. Dans le premier cas, on les exploite directement ; dans le deuxième, on étudie via une méthode d’entropie un régime asymptotique inaccessible par l’approche d’intégrabilité.

International audience

The textural properties of alumina catalyst supports are determined by the synthesis, shaping and drying steps applied to boehmite dispersions, before their calcination into gamma alumina. This work focuses on the impact of shear on the evolution of the structure and rheology of boehmite powder dispersions in an aqueous solution of nitric acid. The study of the evolution of dispersions of colloidal boehmite particles at rest allowed us to characterize their gelation dynamics as well as the mechanical properties and the microstructure of the resulting soft solid. Then, we have shown that the temporal evolution of the viscosity of these dispersions can be controlled by imposing a shear flow and we proposed a numerical model based on population balance equations to represent the impact of shear rate on the viscosity. The shear rate dependence of the mechanical properties of the gel formed upon cessation of the flow was demonstrated experimentally. Using a set of rheology protocols, we showed that the mechanical properties of boehmite gels can also be modified once they are formed. For instance, the application of a shear step can induce either a rejuvenation of the gel microstructure or its overaging depending on the shear rate value and on the strain accumulated during the shear step. It is thus possible, at sufficiently low shear rates, to induce the storage of residual stresses within the gel and increase the elasticity of the final microstructure. Finally, a small angle X-ray scattering study reveals a strong link between the anisotropy of the microstructure formed at low shear rates and the enhancement of the gel viscoelastic properties.; Les propriétés texturales des supports de catalyseur en alumine sont déterminées par l’ensemble des étapes de synthèse, de mise en forme et de séchage appliquées aux dispersions de boehmite, avant leur calcination en alumine-gamma. Cette thèse se concentre sur l’impact du cisaillement sur l’évolution de la structure et de la rhéologie d'une dispersion de poudre de boehmite dans une solution aqueuse d'acide nitrique. L'étude de dispersions de particules colloïdales de boehmite au repos a permis de caractériser leur dynamique de gélification ainsi que les propriétés mécaniques et la microstructure du solide mou obtenu. Nous avons montré que l'évolution temporelle de la viscosité de ces dispersions peut être contrôlée en imposant un écoulement de cisaillement et nous avons proposé un modèle numérique basé sur des équations de bilan de population pour représenter l'effet du cisaillement sur la viscosité. La dépendance des propriétés mécaniques du gel formé après l'arrêt de l'écoulement avec le taux de cisaillement appliqué a été mise en évidence expérimentalement. Un ensemble de protocoles de rhéologie nous a permis de montrer que les propriétés mécaniques des gels de boehmite peuvent être également modifiées une fois celui-ci formé. Ainsi, l'application d'une étape de cisaillement peut induire un rajeunissement de la microstructure du gel ou, au contraire, son vieillissement accéléré en fonction du taux de cisaillement appliqué et de la déformation accumulée au cours de l'étape de cisaillement. En se plaçant à des taux de cisaillement suffisamment faibles, il est alors possible d'induire des contraintes résiduelles au sein du gel et d'augmenter l'élasticité de la microstructure formée. Enfin, une étude en diffusion de rayons X aux petits angles a montré un lien fort entre l'anisotropie de la microstructure formée à faible taux de cisaillement et le renforcement des propriétés viscoélastiques du gel.

This thesis is divided into two main parts, although a common denominator can be found in the notion of non-determinism in automata, and its resolution. The first part focuses on a notion of limited non-determinism, which is explorable automata. These are automata for which the non-determinism can be resolved by building a finite number of simultaneous runs. This generalizes the notion of Good-For-Games (GFG) automata, which correspond to the case where a single run is enough. We give another link between these two notions, namely the fact that GFGness is decidable in PTIME for explorable automata. We prove that deciding whether an automaton is explorable is an EXPTIME-complete problem for finite and Büchi automata. We also consider the problem of omega-explorability, in which we allow for a countable number of simultaneous runs. This problem is non-trivial for automata of infinite words, and we prove the EXPTIME-completeness of deciding the omega-explorability of a co-Büchi automaton. In the second part, we describe a cyclic proof system designed to provide certificates of inclusions between languages of infinite words. These languages are represented by omega-regular expressions, or in the final version by a generalization of these expressions, allowing for arbitrary nesting of the omega operator. We prove the soundness and completeness of that system, along with some algorithmic results: the decidability of the validity of a cyclic proof, and a PSPACE proof search algorithm to decide the inclusion of languages.; Cette thèse est divisée en deux parties, qui ont en commun le problème du non-déterminisme chez différents modèles d'automates, et la résolution de celui-ci. La première partie s'intéresse à une forme de limitation du non-déterminisme, que l'on nomme l'explorabilité. Un automate est explorable s'il est possible de résoudre le non-déterminisme en créant un nombre finis d'exécutions en parallèle. Il s'agit d'une généralisation de la notion d'automate Good-For-Games, i.e. Bon-Pour-les-Jeux (GFG), qui correspond au cas où une seule exécution suffit. Nous commençons par fournir un lien supplémentaire entre ces deux notions : le fait que l'on peut décider en temps polynomial si un automate est GFG, à condition de savoir qu'il est explorable. Nous montrons ensuite que la reconnaissance des automates GFG est un problème PSPACE-complet dans le cas des automates de mots finis ou de Büchi. Nous nous intéressons aussi au problème de l'omega-explorabilité, qui correspond au cas où l'on s'autorise un nombre dénombrable d'exécutions. Celui-ci est non trivial dans le cas des mots infinis, et nous montrons que décider l'omega-explorabilité d'un automate de co-Büchi est EXPTIME-complet. Dans la seconde partie, nous présentons un système de preuves cycliques permettant de fournir des certificats d'inclusions entre langages de mots infinis. Ces langages sont représentés par des expressions omega-régulières dans un premier temps, puis par une généralisation de ces expressions, qui permet notamment des imbrications de l'opérateur omega. Nous montrons la correction et la complétude de ce système, et fournissons deux résultats algorithmiques : la décidabilité de la validité d'une preuve cyclique, ainsi qu'un algorithme PSPACE pour décider l'inclusion de deux langages par la recherche de preuve.

As men, we are most often unaware of the multiple causes that determine our actions and structure our existence. Then, we tend to believe that we are free. We can explain it with Spinoza but also observe it in the social and cultural structures which, far to dissipate it, reinforce this illusion in different ways depending on the era. Beyond the epistemic problem concerning the knowledge of oneself and of other men, this ignorance has problematic consequences on the ethical and political levels, as well as on the psychological level: it is a source of suffering for men and instability in their relationships, as in the organization of their life together. Thus, addiction, like depression, can be interpreted as social pathologies, symptomatic of a way of life and a mode of relationship based on this illusion of freedom. A more adequate knowledge of the ontological situation of men, of the conditions of their existence and of the way in which they themselves experience it is then decisive, in order to respond to a properly human desire, namely the desire to live better, or to enjoy a real good in the long term, individually and collectively. This task, and the knowledge of human life that it implies, does not exclude the idea of freedom but presupposes redefining it and discerning the conditions for its realization. Freedom is the result of a long process of reconfiguration of one's own existence – a long path assumed in the first person from an existential perspective that we propose to study based on the work of Spinoza. The question “how to live?” becomes “how to move from structuring but potentially enslaving bonds of attachment, to an active involvement in relations and institutions likely to support this process of liberation?”, Le plus souvent inconscients des multiples causes qui déterminent nos actes et structurent notre existence, nous avons tendance, en tant qu’hommes, à nous croire libres – ce que nous pouvons expliquer avec Spinoza mais aussi constater dans les structures sociales et culturelles qui, loin de la dissiper, renforcent cette illusion de différentes façons selon les époques. Au-delà du problème épistémique concernant la connaissance de soi et des autres hommes, cette méconnaissance a des conséquences problématiques sur les plans éthique et politique, comme sur le plan psychologique : elle est source de souffrances chez les hommes et d’instabilités dans leurs relations comme dans l’organisation de leur vie commune. Ainsi, l’addiction, comme la dépression, peuvent être interprétées comme des pathologies sociales, symptomatiques d’une manière de vivre et d’un mode de relation fondés sur cette illusion de liberté. Une connaissance plus adéquate de la situation ontologique des hommes, des conditions de leur existence et de la manière dont eux-mêmes en font l’expérience est alors décisive, pour répondre à un désir proprement humain, à savoir le désir de vivre mieux, ou de jouir durablement d’un vrai bien, individuellement et collectivement. Cette tâche, et la connaissance de la vie humaine qu’elle implique, n’exclut pas l’idée de liberté mais suppose de la redéfinir et d’en discerner les conditions de réalisation. La liberté est le résultat d’un long processus de reconfiguration de son existence propre – un cheminement assumé en première personne relevant d’une perspective existentielle que nous nous proposons d’étudier à partir de l’œuvre de Spinoza. La question « comment vivre ? » devient « comment passer de liens d’attachement structurants mais potentiellement asservissants, à une implication active dans des relations et des institutions susceptibles de soutenir ce processus de libération ? ».

We study the notion of program equivalences, i.e. proving that two programs can be used interchangeably without altering the overall observable behaviour. This definition is highly dependent on the contexts in which these programs can be used; does the context have exceptions, parallelism, etc… So proofs also need to be adapted according to the expressiveness of those contexts. This thesis presents on the pi-calculus – a concurrent programming language – under various typing constraints. Types allows us to impose different disciplines like forcing a sequential execution, or ensuring linearity, meaning an object can be used once. In each case, the bisimulation, a standard proof technique for the pi-calculus, needs to be adapted accordingly to obtain a suitable equivalence. We then test how using the modified bisimulations can be used to reason about a language with higher-order functions and references, which once translated into the pi-calculus satisfies the typing constraints., Nous étudions la notion d’équivalences entre programmes, c’est-à-dire prouver que deux programmes peuvent être utilisé de façon identique sans modifier le comportement global. Cette définition dépend beaucoup du contexte dans lequel ces programmes sont exécutés ; le contexte a-t-il accès à des exceptions, du parallélisme, etc… Ainsi, les preuves doivent être adaptées pour tenir compte des différents niveaux d’expressivité du contexte. Cette thèse s’intéresse au pi-calcul – un langage de programmation concurrent – sous différentes contraintes de typage. Ces types nous permettent de spécifier différentes disciplines comme imposer une exécution séquentielle du programme, ou encore assurer un comportement linéaire, c’est-à-dire que les objets ne peuvent être utilisés qu’une seule fois. Dans chaque cas, la bisimulation, une technique de preuve standard pour le pi-calcul, doit être adapté en conséquence afin d’obtenir une équivalence satisfaisante. Nous testons ensuite comment ces bisimulations modifiées peuvent être mise en pratique pour raisonner sur un langage avec des fonctions d’ordre supérieur et des références, langage qui une fois traduit dans le pi-calcul vérifie les contraintes de typage.

My thesis focused on the development of novel biomolecular NMR methodologies to characterise dynamics and interactions of biological macromolecules, by exploring novel horizons of biology, chemistry and NMR spectroscopy. My work first focused on micro-RNAs (miRNAs), key genetic regulators, capable to block messenger RNA (mRNA) translation. The let-7 miRNA and its targets were chemically synthesized to incorporate 19F probes, allowing to describe the interaction between let-7 and its target mRNAs by NMR. The second project was centered on a transfer RNA (tRNA), an essential component of the translation. Modulation of tRNA dynamic was probed using NMR 15N spin relaxation, in the context of tRNA maturation. Here, multiple-field relaxation rates, were measured and analysed to capture the fast dynamics of this system. The third study aimed at characterising a protein involved in the T5 bacteriophage infection of bacteria, and probe its interaction with its bacteria receptor protein. Resonance assignment of LLP the T5 protein involved in phage infection has been performed, as well as the 3D structure characterisation. Spin relaxation was used to probe LLP dynamics and titration experiments with the bacteria receptor allowed to reveal the binding interface. An additional project (not detailed) involved the dynamic study of an aquaporin, a membrane protein acting as water channel, by solid-state NMR at multiple fields. All these examples exemplify how NMR spectroscopy can probe complex dynamic processes in various contexts.; Ma thèse portait sur le développement de méthodologies de RMN biomoléculaire pour caractériser la dynamique et les interactions de molécules biologiques, en explorant de nouveaux horizons de la biologie, de la chimie et de la spectroscopie RMN. Mes travaux ont d’abord porté sur les micro-ARN (miARN), des régulateurs génétiques clés, capables de bloquer la traduction des ARN messagers (ARNm). Le miARN let-7 et ses cibles ont été synthétisés chimiquement pour incorporer des sondes 19F, permettant de décrire l’interaction entre let-7 et ses ARNm cibles par RMN. Le deuxième projet était centré sur un ARN de transfert (ARNt), un composant essentiel de la traduction. La modulation de la dynamique de l’ARNt a été étudiée à l’aide de la relaxation de spin 15N, dans le contexte de la maturation de l’ARNt. Les vitesses de relaxation ont ainsi été mesurées à plusieurs champs et analysées pour entrevoir la dynamique rapide de ce système. La troisième étude visait à caractériser une protéine impliquée dans l’infection de bactérie par le bactériophage T5, et à sonder son interaction avec son récepteur membranaire. L’attribution des résonances de la protéine LLP impliquée dans l’infection par le phage a été réalisée, ainsi que la caractérisation de la structure 3D. La relaxation de spin a été utilisée pour entrapercevoir la dynamique de LLP et une titration avec le récepteur bactérien a permis de révéler l’interface de liaison. Un projet complémentaire (non détaillé ici) concernait l’ étude dynamique d’une aquaporine, une protéine membranaire jouant le rôle de passeur d’eau, par RMN du solide à plusieurs champs. Tous ces exemples illustrent comment la spectroscopie RMN peut sonder des processus dynamiques complexes dans divers contextes biologiques.

What explains the rigidity of a material? The answer, in most cases, lies in the microscopic stiffness of their components. However, in the 18th century, Maxwell understood that materials made of stiff constituents may exhibit soft modes depending on a macroscopic quantity: the number of degrees of freedom and constraints. Two centuries later we can understand this softness as a topological property.This thesis explores the concept of rigidity from a topological lens. First, I explore the consequences of Maxwell’s realization on networks of beads and springs. These systems enjoy an often overlooked symmetry known as chiral symmetry. I exploit this symmetry to define a new material property, the chiral polarization, encoding both the geometry and topology of the material. It distinguishes between distinct topological phases and also probes their softness by locating zero-energy modes. We confirm these findings by experimentally measuring the chiral polarization on several mechanical metamaterials, without resorting to any low-energy model.In the second part, I analyze the connection between a different topological property, non-orientability, and the location of highly stiff regions in an otherwise homogeneous system. Inspired by the relation between global frustration and non-orientability, I describe a unifying framework explaining the topological origin of the rigidity of non-orientable soft surfaces and frustrated mechanical metamaterials. Their common denominator corresponds to the non-orientability of their deformation bundles. Through experiments and simulations, we confirm the existence of topologically protected undeformable nodes and lines, and explore their non-commutative responses, paving the way to designing robust and functional mechanical metamaterials.; Comment expliquer la rigidité d’un matériau? Dans la plus part des cas grâce à la raideur microscopique de ses composants. Néanmoins, au 18ème siècle, Maxwell comprit que certains matériaux construits à partir de constituants rigides, peuvent posséder des modes de déformations mous. Ils en fait le comptage à partir d’une quantité macroscopique: le nombre de degrés de liberté et de restrictions. Deux siècles plus tard, nous comprenons cette souplesse comme un propriété topologique.Cette thèse explore le concept de rigidité du point de vue topologique. Premièrement, j’explore les conséquences de la réalisation de Maxwell sur des réseaux de billes et ressorts. Ces systèmes possèdent une symétrie souvent négligée : la symétrie chirale. J’exploite cette symétrie pour définir une nouvelle propriété de matériau, la polarisation chirale, codant à la fois la géométrie et la topologie du système. Cette polarisation distingue des phases topologiques distinctes et permet de sonder leur souplesse en localisant les modes d'énergie nulle. Nous confirmons ces résultats grâces à des mesures expérimentales de la polarisation chirale sur plusieurs métamatériaux mécaniques sans recourir priori à quelque modèle de basse énergie. Dans la deuxième partie, j’analyse le rapport entre non-orientabilité et la rigidité des certains métamatériaux. J’établis un lien étroit entre non-orientabilité et frustration, et décris un cadre général permettant d’expliquer l’origine topologique de la rigidité des surfaces élastiques non-orientables et des métamatériaux frustrés. Leur point commun est la non-orientabilité des leurs fibrés de déformations. En utilisant des expériences et des simulations, nous confirmons l’existence de points et lignes rigides topologiquement protégés, et nous explorons leur réponses non-commutatives, ouvrant la voie à la conception de métamatériaux mécaniques robustes et fonctionnels.

Tree data appear naturally in many scientific domains. Their intrinsically non-Euclidean nature and the combinatorial explosion phenomenon make their analysis delicate. In this thesis, we focus on three approaches to compare trees, notably through the prism of a lossless compression technique of trees into directed acyclic graphs. First, concerning tree isomorphism, we consider an extension of the classical definition to labeled trees, which requires that trees are identical up to label rewriting. This problem is as hard as graph isomorphism, and we have developed an algorithm that drastically reduces the size of the solution search space which is then explored with a backtracking strategy. When two trees are different, we may try to find common substructures. If this question has already been addressed for subtrees, we are interested in a larger problem, namely finding sets of subtrees appearing simultaneously. This leads us to consider forest enumeration, for which we propose a reverse search algorithm that constructs an enumeration tree whose branching factor is linear. Finally, from a list of common substructures, one can build a convolution kernel allowing to tackle classification problems. We consider the subtree kernel from the literature, and build an algorithm that explicitly enumerates subtrees (unlike the original method). In particular, our approach allows us to parameterize the kernel more finely, significantly improving its classification abilities.; Les arbres sont des données qui apparaissent naturellement dans de nombreux domaines scientifiques. Leur nature intrinsèquement non euclidienne ainsi que le phénomène d’explosion combinatoire rendent leur analyse délicate. On s’intéresse dans cette thèse à trois approches permettant de comparer des arbres, sous le prisme notamment d’une technique de compression sans perte des arbres par des graphes dirigés acycliques. D’abord, concernant l’isomorphisme d’arbres, nous considérons une extension de la définition classique aux arbres étiquetés, qui requiert que les arbres soient identiques à réécriture des étiquettes près. Ce problème est aussi dur que l’isomorphisme de graphes, et nous avons développé un algorithme qui réduit drastiquement la taille de l’espace de recherche des solutions, qui est ensuite exploré avec une stratégie de retour sur trace. Lorsque deux arbres sont différents, on peut chercher à en trouver des sous-structures communes. Si cette question a déjà été traitée pour les sous-arbres, nous nous intéressons à un problème plus large, celui de trouver des ensembles de sous-arbres apparaissant simultanément. Cela nous amène à considérer l’énumération des forêts, pour laquelle nous proposons un algorithme de type “reverse search” qui construit un arbre d’énumération dont le facteur de branchement est linéaire. Enfin, à partir d’une liste de sous-structures communes, on peut construire un noyau de convolution qui permet d’aborder des problèmes de classification. Nous reprenons de la littérature le noyau des sous-arbres, et construisons un algorithme qui les énumère explicitement (contrairement à la méthode originale). Notre approche permet notamment de paramétrer plus finement le noyau, améliorant significativement les capacités de classification.

In the actual context of energetic transition, the photocatalysis community is strongly interested in the reduction of carbon dioxide (CO2). This thesis work aims at better understand the complex phenomenon associated to this reaction and the photocatalytic materials, by using quantum chemistry methods. The objectives can be divided in two axes. In a first time, the determination of the feasibility of a heterojunction involving MoS2 (a promising material limiter by its small bandgap). In a second time, the investigations of the CO2 photoreduction mechanisms on this material.In a first part, we explore the evolution of the position of the conduction band and valence band for some heterostructures composed of 2D-MoS2 and TiO2 anatase surfaces. In particular, we study various TiO2 surfaces, interaction modes (physical and chemical), MoS2 sizes and chemical compositions of the interface. The results identify the nano-structuration parameters that have an influence on the electronic structure of the junction and that have an influence on the charge migration expected (type I, type II or Z-scheme). In a second part, the steps of the CO2 reduction mechanism are studied under different conditions of hydrogenation and hydroxylation of the MoS2 edge. Mechanisms leading to the formation of formic acid or carbon monoxide are identified. This study is performed thanks to the surface charging approach, that manage to explicitly simulate the impact of the electrochemical potential on the energy of the reactional intermediates.; Dans un contexte de transition énergétique, la communauté de la photocatalyse s’intéresse actuellement à la réduction de dioxyde de carbone (CO2). Ces travaux de thèse visent à mieux comprendre les phénomènes complexes liés à cette réaction et aux matériaux photocatalytiques via l’utilisation de méthodes de chimie quantique. Les objectifs sont d’une part, de déterminer la faisabilité d’une hétérojonction impliquant MoS2 (un matériau prometteur mais limité par son faible « bandgap ») et d’autre part, d’étudier les mécanismes de photoréduction du CO2 sur ce matériau.Dans un premier temps, nous explorons l’évolution de la position des bandes de conduction et valence pour différentes hétérostructures constituées d’un feuillet 2D-MoS2 et d’une surface de TiO2-anatase. En particulier, différentes surfaces de TiO2, différents modes d’interaction (chimique ou physique), tailles de MoS2 et compositions chimiques de l’interface sont étudiées. Les résultats identifient les paramètres de nano-structures ayant une influence sur la structure électronique de la jonction et ayant une influence sur le mécanisme de migration attendu (type I, type II ou schéma en Z). Dans un second temps, les étapes du mécanisme de réduction du CO2 en acide formique ou en monoxyde de carbone sur les sites de MoS2 sous différentes conditions d’hydroxylation et d’hydrogénation sont étudiées. Cette étude est menée grâce à la méthode de la surface chargée, qui permet de simuler explicitement l’impact du potentiel électrochimique sur l’énergie des intermédiaires réactionnels.

He focus of this thesis is to design a hypersequent calculus called HMR for Riesz modal logic, or equivalently, for the equational theory of modal Riesz spaces. It is part of a line of research aiming to provide a structural proof system for well–known probabilistic logics like the probabilistic µ–calculus or probabilistic Computational Tree Logic. Riesz modal logic is a real–valued modal logic, i.e., a modal logic whose terms are interpreted as real numbers instead of Booleans. If extended with fixed–point defined operators, Riesz modal logic is expressive enough to encode most of the usual probabilistic logics like the probabilistic Computational Tree Logic mentioned above. Moreover, an equational axiomatisation has been provided for Riesz modal logic: there is a set of axioms such that two terms of Riesz modal logic are equivalent, i.e., they have the same interpretations in all models, if and only if they can be proved equal using this set of axioms and the rules of equational reasoning. The goal of providing a hypersequent calculus for Riesz modal logic is to have a better– behaved proof system. The main limitation of equational reasoning is that its rules are not all analytical: it may be necessary to "guess" formulas during the construction of a derivation, which require some human ingenuity. Therefore we want to provide a proof system that is both sound and complete with regards to the axiomatisation of Riesz modal logic, while having only analytical rules, making the process of building derivations much simpler. To do so, we build upon another existing hypersequent calculus introduced for the Abelian logic. Riesz modal logic can be seen as the Abelian logic extended with a scalar multiplication (a term can be multiplied by a real scalar r ∈ R) and a modal operator. Therefore, HMR is built by extending the hypersequent calculus for the Abelian logic with new rules to deal with those new operations, and by using weighted hypersequents instead of regular hypersequents, i.e., using pairs of real numbers and Riesz modal logic terms as elementary blocks instead of just Riesz modal logic terms. We show that this new hypersequent calculus is both sound and complete with regards to the axiomatisation of Riesz modal logic. We also prove that it satisfies the CAN elimination theorem, or equivalently the CUT elimination theorem, effectively removing the only non–analytical rule. Lastly, we use this new hypersequent calculus to prove new and interesting results. Among them, we show that the equivalence problem of Riesz modal logic is decidable (i.e., there is an algorithm to decide whether or not two Riesz modal logic terms are equivalent). We also solve a problem that was previously left open regarding the axiomatisation of Riesz modal logic.; L’objectif de cette thèse est de concevoir un calcul d’hypersequents appelé HMR pour la Logique Modale de Riesz, ou de manière équivalente, pour la théorie équationnelle des espaces de Riesz modaux. Elle s’inscrit dans une ligne de recherche visant à fournir un système de preuve structurelle pour des logiques probabilistes bien connues comme le µ–calcul probabiliste ou la logique probabiliste du temps arborescent (probabilistic Computational Tree Logic or pCTL). La logique modale de Riesz est une logique modale à valeurs réelles, c’est-à-dire une logique modale dont les termes sont interprétés comme des nombres réels au lieu de Booléens. Si elle est étendue avec des opérateurs de point fixes, la logique modale de Riesz est suffisamment expressive pour coder la plupart des logiques probabilistes habituelles comme la logique probabiliste du temps arborescent mentionnée ci-dessus. De plus, une axiomatisation équationnelle a été fournie pour la logique modale de Riesz : il existe un ensemble d’axiomes tels que deux termes de la logique modale de Riesz sont équivalents, c’est-à-dire qu’ils ont les mêmes interprétations dans tous les modèles, si et seulement s’ils peuvent être prouvés égaux en utilisant cet ensemble d’axiomes et les règles du raisonnement équationnel. Le but de fournir un calcul d’hypersequents pour la logique modale de Riesz est d’avoir un système de preuve ayant certaines propriétés intéressantes. La principale limite du raisonnement équationnel est que ses règles ne sont pas toutes analytiques : il peut être nécessaire de « deviner » des formules lors de la construction d’une dérivation, ce qui demande une certaine ingéniosité humaine. Par conséquent, nous voulons fournir un système de preuve à la fois correct et complet en ce qui concerne l’axiomatisation de la logique modale de Riesz, tout en n’ayant que des règles analytiques, ce qui rend le processus de construction des dérivations beaucoup plus simple. Pour ce faire, nous nous appuyons sur un autre calcul d’hypersequents existant introduit pour la logique Abélienne. La logique modale de Riesz peut être vue comme la logique Abélienne étendue avec une multiplication par un nombre réel (un terme peut être multiplié par un nombre réel r ∈ R) et un opérateur modal ♢. Par conséquent, HMR est construit en étendant le calcul d’hypersequents pour la logique Abélienne avec de nouvelles règles pour traiter ces nouvelles opérations, et en utilisant des hypersequents pondérés au lieu des hypersequents habituels, c’està-dire en utilisant des paires de nombres réels et des termes de la logique modale de Riesz comme blocs élémentaires au lieu de simples termes de la logique modale de Riesz. Nous montrons que ce nouveau calcul d’hypersequents est à la fois correct et complet en ce qui concerne l’axiomatisation de la logique modale de Riesz. Nous prouvons également qu’il satisfait le théorème d’élimination de la règle CAN, ou de manière équivalente le théorème d’élimination de la règle CUT, supprimant la seule règle non analytique. Enfin, nous utilisons ce nouveau calcul d’hypersequents pour prouver des résultats nouveaux et intéressants. Parmi eux, nous montrons que le problème d’équivalence de la logique modale de Riesz est décidable (c’est-à-dire qu’il existe un algorithme pour décider si oui ou non deux termes de la logique modale de Riesz sont équivalents). Nous résolvons également un problème précédemment laissé ouvert concernant l’axiomatisation de la logique modale de Riesz.

This thesis examines neoliberal political and legal philosophy, focusing on the concept of rule, drawing particularly on the contributions of four major contributors: Walter Lippmann, Friedrich Hayek, James Buchanan, and Richard Posner. Their contributions encounter the same problem, which emerged in the 1930s and 1940s when liberalism was being reconstructed as a third way between economic planning and laissez-faire, justifying and developing the institutional conditions that would allow a market society to thrive. In doing so, neoliberals face three challenges with this seminal problematization. First, they must deal with the normative question of how to justify the game's rules. By rejecting the naturalistic perspective that underlies laissez-faire, and any transcendental basis for social order, neoliberals are compelled to offer a series of arguments supporting a well-organized market society. These answers imply a second question relating to the impossibility of stating the game's rules from an epistemically valued point of view. Neoliberals have criticized socialist planning from the outset in that it took advantage of an undue epistemic privilege. How, then, to reconcile the epistemic critique that underlies the defense of the market as an aggregator, transmitter, and discoverer of information with the need for some form of institutional interventionism? Finally, the thesis of a government by the rules of the game, their enunciation, and their modification presuppose a theory of law capable of thinking about the form that the rules should take and the processes of modification of these rules. I show that the theses of the different authors of my corpus are crossed by these problems, which also constitute a key to the interpretation of their theories. I thus distinguish two central moments, namely a first period of formation of the neoliberal problematic, drawing on recent historical works on the constitution of neoliberalism – relying in particular on the works of Lippmann and the first Hayek –, then I show, in a second period, how this problem crosses the more recent positions of authors participating in the exact reflection on the way to justify the rules of the game of liberal society – the second Hayek, the works of the economist Buchanan and the jurist Posner. I show, for each of them, that the structuring problems of neoliberalism are renewed and allow an internal critique of these authors' positions while underlining the interest in thinking from their problems. This thesis intends to contribute not only to clarifying neoliberal political and legal philosophy as a thesis about government by rules in order to establish legitimate liberal planning but also to show the importance of taking these positions into account in order to inform our contemporary theoretical elaborations since neoliberal diagnoses constitute so many ways of interrogating the conceptual bestiary of these theories. Paradoxically, neoliberal positions can thus constitute resources for alternative positions, not defending the same conclusions.; Résumé de la thèse Cette thèse examine la philosophie politique et juridique néolibérale, à travers le concept de règle, en s'appuyant particulièrement sur les contributions de quatre auteurs : Walter Lippmann, Friedrich Hayek, James Buchanan et Richard Posner. Ces travaux sont reliés par un même problème, développé au cours des années 1930-1940 – moment de reconstruction du libéralisme, pensé comme une troisième voie entre celle de la planification économique et celle du laisser-faire –, à savoir celui de la justification et de l'élaboration des conditions institutionnelles à même de permettre à une société de marché de s'épanouir. Ce faisant, les néolibéraux doivent affronter trois difficultés relatives à cette problématisation séminale. Tout d'abord, il leur faut traiter de la question normative de la justification des règles du jeu. En refusant la perspective naturaliste sous-jacente au laisser-faire, et par ailleurs tout fondement transcendantal à l'ordre social, les néolibéraux sont amenés à proposer une série d'arguments relatifs à la défense d'une société de marché bien organisée. Ensuite, ces réponses impliquent une seconde question, relative à l'impossibilité d'énoncer les règles du jeu depuis un point de vue épistémiquement valorisé. Les néolibéraux ont, en effet et dès le départ, critiqué la planification socialiste en ce qu'elle se prévalait d'un privilège épistémique indu. Comment, dès lors, concilier la critique épistémique qui sous-tend la défense du marché comme agrégateur, transmetteur et découvreur d'information avec la nécessité d'une forme d'interventionnisme institutionnel ? Enfin, la thèse d'un gouvernement par les règles du jeu, leur énonciation et leur modification, suppose une théorie du droit, à même de penser la forme que doivent prendre les règles, ainsi que les processus de modification de celles-ci. Je montre que les thèses des différents auteurs de mon corpus sont traversées par ces problèmes, qui constituent également une clef d'interprétation de leurs théories. Je distingue, ainsi, deux grands moments, à savoir un premier temps de formation de la problématique néolibérale, en puisant dans les travaux historiques récents portant sur la constitution du néolibéralisme – en m'appuyant particulièrement sur les travaux de Lippmann et du premier Hayek –, puis je montre, dans un second temps, comment ce problème traverse les positions plus récentes d'auteurs participant de la même réflexion sur la manière de justifier les règles du jeu d'une société libérale – le second Hayek, les travaux de l'économiste Buchanan et du juriste Posner. Je montre, pour chacun, que les problèmes structurants du néolibéralisme sont reconduits, et permettent une critique interne des positions de ces auteurs, tout en soulignant l'intérêt de penser à partir de leurs problèmes. Cette thèse entend donc contribuer non seulement à clarifier la philosophie politique et juridique néolibérale comme une thèse portant sur le gouvernement par les règles en vue d'établir une planification libérale légitime, mais aussi à montrer l'importance de prendre en compte ces positions pour informer nos élaborations théoriques contemporaines, puisque les diagnostics néolibéraux constituent autant de manière d'interroger le bestiaire conceptuel de ces théories. Paradoxalement, les positions néolibérales peuvent donc constituer des ressources pour des positions alternatives, ne défendant pas les mêmes conclusions.

To identify novel cellular modulators of HIV-1 infection in IFN-stimulated myeloid cells, we have carried out a screen that combines functional and evolutionary analyses in THP-1-PMA cells that led us to the Tripartite Motif Protein 69 (Trim69), a poorly studied member of the Trim family of innate immunity regulators. Trim69 inhibits HIV-1, primate lentiviruses and the negative and positive-strand RNA viruses VSV and SARS-CoV2, overall indicating it is a broad- spectrum antiviral factor. Trim69 binds directly to microtubules and its antiviral activity is intimately linked to its ability to promote the accumulation of stable MTs, a specialized subset of microtubules. By analyzing the behavior of primary blood cells, we provide evidence that a program of MT stabilization is commonly observed in response to IFN-I in cells of the myeloid lineage and Trim69 is the key factor behind this program.Overall, our study identifies Trim69 as the first antiviral innate defense factor that regulates the properties of microtubules to limit viral spread, highlighting the possibility that the cytoskeleton may be a novel unappreciated fighting ground in the host-pathogen interactions that underlie viral infections.; Afin d’identifier de nouveaux modulateurs cellulaires de l'infection par le VIH-1 dans les cellules myéloïdes stimulées par l'IFN, nous avons réalisé un criblage qui combine des analyses fonctionnelles et évolutives dans les cellules THP-1-PMA. Ce crible nous ont conduit à la Tripartite Motif Protein 69 (Trim69), un membre peu étudié de la famille Trim des régulateurs de l'immunité innée. Trim69 inhibe le VIH-1, les lentivirus de primate et les virus à ARN à brin négatif et positif VSV et SARS-CoV2, indiquant globalement qu'il s'agit d'un facteur antiviral à large spectre. Trim69 se lie directement aux microtubules (MT) et son activité antivirale est intimement liée à sa capacité à favoriser l'accumulation de MT stables, un sous-ensemble spécialisé de microtubules. En analysant le comportement des cellules primaires du sang périphérique, nous apportons la preuve qu'un programme de stabilisation des MT est couramment observé en réponse à l'IFN-I dans les cellules de la lignée myéloïde et Trim69 est le facteur clé derrière ce programme.Dans l'ensemble, notre étude identifie Trim69 comme le premier facteur de défense innée antiviral qui régule les propriétés des microtubules afin de limiter la propagation virale, soulignant la possibilité que le cytosquelette soit un nouveau terrain de combat méconnu dans les interactions hôte-pathogène qui sous-tendent les infections virales.

My doctoral research studies movements to promote a social agroecology in contemporary China. Since the mid-2000s, the agri-food context in China has been marked by two mutually reinforcing phenomena. The food scandals that regularly hit the headlines have triggered the development of new food supply systems, notably illustrated by short supply chains and the promotion of “local” and “quality” agricultural products. While the new forms of consumption associated with these practices have already been discussed in the literature, particularly in relation to urban and affluent populations, our research focuses on the links between the various rural and urban networks and the circulation of knowledge between local, national and even transnational scales in these areas. “Ecological spaces” are constructed at the crossroad between different spheres – academic, legal, political – as public arenas of the agri-food worlds. My thesis is built on the following hypothesis: Faced with the multiplication of distrust regimes in the agri-food worlds in contemporary China, the cooperation of different categories of “ethical consumption” entrepreneurs participates in producing ecological spaces where regimes of trust are recomposed. These spaces are interconnected with each other by market arrangements that engage in negotiations on autonomy and food ethics. The regimes of mistrust and trust in co-presence and in tension in collective actions contribute to actualising green capitalism, building a new negotiated order in an authoritarian context. The research is built on three sociological approaches: economic sociology, through the study of market interactions around food short supply chains and green capitalism; rural sociology, through the analysis of a food ethic of agroecology in Chinese southwest as a process of valorisation of cultural heritages and agricultural know-how in disuse; political sociology, by linking local forms of mobilisations for access to land, emerging figures of agroecology moral entrepreneurs and international environmental mobilisations. My work is based on a multi-sited ethnographic survey, carried out between 2017 and 2020, based on in situ observations in production, processing and distribution sites of peasant products in Guangxi and Yunnan, as well as on participant observation in an international research programme on Chinese terroir products, organised by actors of these networks (2019 - 2021). The ethnographic fieldwork includes about 50 individual and collective interviews with actors of peasant agriculture networks and a four-year monitoring of digital interactions and online publications through different social networks.; La recherche doctorale étudie les mouvements de promotion d’une agroécologie sociale en Chine contemporaine. Depuis le milieu des années 2000, le contexte agroalimentaire a été marqué en Chine par deux phénomènes qui se renforcent mutuellement. Les scandales alimentaires qui défrayent régulièrement la chronique ont pour pendant le développement de nouveaux dispositifs d’approvisionnement. Ceux-ci sont notamment illustrés par les circuits courts et la mise en avant d’aliments de « terroir » et de « qualité ». Si les nouvelles formes de consommation qui y sont associées ont déjà été abordées par la littérature, notamment concernant les populations urbaines et aisées, notre recherche s’attache quant à elle à penser les articulations entre les différents réseaux, ruraux et urbains, et la circulation de savoirs entre échelles locales, nationales voire transnationales dans ces domaines. À l’intersection entre différentes sphères – universitaires, juridiques, politiques – des « espaces écologiques » se construisent comme des arènes publiques des mondes agroalimentaires. La thèse se construit autour de l'hypothèse suivante : Face à la démultiplication des régimes de méfiance dans les mondes agroalimentaires en Chine contemporaine, la coopération de différentes catégories d’entrepreneur·ses de la consommation éthique participe à produire des espaces écologiques où se recomposent des régimes de confiance. Ces espaces sont reliés entre eux par des agencements marchands qui engagent des négociations sur l’agroécologie et l’éthique alimentaire. Les régimes de méfiance et de confiance en coprésence et en tension dans les actions collectives contribuent à actualiser le capitalisme, en construisant un nouvel ordre négocié – économique, écologique et moral – en contexte autoritaire. La recherche se construit sur trois approches sociologiques : la sociologie économique, par l’étude des interactions marchandes autour des circuits courts alimentaires et du capitalisme vert en Chine contemporaine ; la sociologie rurale, à travers l’analyse d’une éthique alimentaire de l’agroécologie dans les montagnes du sud-ouest chinois comme processus de valorisation de patrimoines culturels et de savoir-faire agricoles en déshérence ; la sociologie politique, par la mise en relation entre les mobilisations locales pour l’accès à la terre, l’émergence d’entrepreneur·ses de morale de l’agroécologie et l’inscription dans des mobilisations environnementales internationales. Le travail de thèse est fondé sur une enquête ethnographique multi-site, réalisée entre 2017 et 2020, à partir d’observations in situ dans des lieux de production, de transformation et de distribution de produits fermiers du Guangxi et du Yunnan, ainsi que sur l’observation participante dans un programme international de recherche et de définition des produits de terroir chinois, organisé par les acteur·rices de ces réseaux (2019 – 2021). L’enquête de terrain ethnographique comprend une cinquantaine d’entretiens individuels et collectifs avec les acteur·rices des réseaux de l’agriculture paysanne et une veille de quatre années sur les interactions numériques et les publications en ligne à travers différents réseaux sociaux.; 博士论文研究当前云南和广西两省社会生态农业的现状。个体和集体行动者都参与构建一种城乡互助、省内外联系的网络。通过这一网络的分析，本论文讨论当代中国对“生态”的四个不同领域的定义：科学、政治、商业和宗教。社会生态农业的生产、配送和消费过程涉及中国的几个现象，如城乡平等，食品安全，社区支持型农业，消费者合作社，以及某些传统性、民族性、宗教性生态农耕方法的持续性发展等现象。本研究主要通过对当地生态农业生产和配送过程的观察和参与为手段来展开。研究对象包括几个在家庭农场、返乡青年社会企业和都市店铺之间的合作，一个消费者合作社和一种土食材饭馆网络。

If the many responses of plants to drought are well documented, how plants integrate them remains poorly understood. During my PhD, I tested the contribution of mechanical signals in this process. Plant cells are inflated by a high osmotic pressure to which they resist thanks to their stiff cell wall. I showed that, among a set of molecular receptors, the FERONIA receptoris necessary for the mechanical integrity of plant cells, and therefore for the response of cells to their own osmotic pressure. In the feronia mutant, epidermal cells burst following excessive tension in their cell wall. While the reinforcement of the wall in response to mechanical stress usually happens through microtubule reorientation and guidance of the deposition of cellulose microfibrils, I showed that FERONIA is not necessary for the microtubule response to mechanical stress. There are therefore two distinct pathways maintaining the mechanical integrity of plant cells, one involving FERONIA, and another one involving microtubules. I then tried to understand the processes associated with the FERONIA response, in particular by characterizing the mechanical, hydraulic and biochemical properties of the wall in the mutant. These studies open a new field of research: mechano-eco-sensing, i.e. the perception of the environment through an integrative pathway, mechanotransduction, and its implications for adapting growth accordingly.; Si les multiples réponses des plantes à la sécheresse sont bien documentées, comment une plante intègre l’ensemble de ces informations reste mal connu. Durant ma thèse, j’ai testé la contribution des signaux mécaniques. Les cellules végétales sont gonflées par une pression osmotique importante à laquelle elles résistent grâce à une paroi rigide. J’ai montré que, parmi un ensemble de récepteurs moléculaires, le récepteur FERONIA est nécessaire à l’intégrité mécanique des cellules, et donc à la réponse des cellules à leur propre pression osmotique. Chez le mutant feronia, les cellules de l’épiderme explosent suite à une tension trop importante de leur paroi. Alors que le renforcement de la paroi en réponse aux contraintes mécaniques pourrait passer par la réorientation des microtubules et le guidage du dépôt des microfibrilles de cellulose, j’ai montré que FERONIA n’est au contraire pas nécessaire à la réponse des microtubules aux contraintes mécaniques. Il existe donc deux voies distinctes maintenant l’intégrité mécanique des cellules végétales, une passant par FERONIA, et une autre passant par les microtubules. J’ai ensuite cherché à disséquer les processus associés à la réponse de FERONIA, notamment en caractérisant les propriétés mécaniques, hydrauliques et biochimiques de la paroi chez le mutant. Ces études ouvrent un nouveau champ de recherche, le mechano-eco-sensing, c’est-à-dire la perception de l’environnement par une voie intégratrice, la mécanotransduction, et ses implications pour adapter la croissance en conséquence.

The Moon Impact formation theory was first proposed in 1975 by Hartmann and Davis.To this day, it is still the prevalent theory to expiain the unique aspects concerning the Earth-Moon system. Although well accepted in the scientific community, this theory is still subject of debate regarding the conditions of the impact and the resulting scenario. lt is still challenging to encompass in a single solution the problematic aspects of chemical equilibration that took place post-impact. Different models of impact have been proposed over the years in order to address the aforementioned issues. These models often rely on equations of state to describe the behavior of the materials present in the Earth and the Moon.Equations of state (EOS) describe the distribution of materials' phases and they are used on collision models based in hydrodynamic simulations to predict the final composition. The use of precise EOS lead to more correct post-impact chemical models where phases can be estimated correctly. The majority of minerais present on rocky bodies in the Solar System are Si02 based and they are the building blocks of the Earth and the Moon. ln terms of composition, Si02 represents more than 44% of lunar mare basalts and highlands, and about 45% of Earth's primitive mantle. However similar in parts of their composition, Moon and Earth differ considerably when it cornes to the presence of volatile elements, where H20 is arguably the most relevant. The impart of energy given by the large impact is sufficient to melt and vaporize silicate minerais. lt produces a silicate atmosphere, where physicochemical properties and geochemical signatures of the resulting scenario depend on the fractionation of liquid-vapor. The presence of volatiles can change the behavior of typical equations of state of silicate materials and eventually be responsible for increasing the amount of vapor and supercritical material in such conditions. We aim to construct equations of state for the silica-water binary system and subsequently study structural and transport properties of such system, comparing the behavior of the main elements under different conditions. We employ ab initio molecular dynamics (AIMD) methods where forces and energy are calculated with densityfunctional theory as implemented in the VASP package. We start by building a supercell containing 72 molecules of Si02 and describe its behavior under temperatures from 4000 to 7000 K and densities from 0.2 to 2.33 g/cm3. We follow by inserting 9, 18, 36 and 72 H20 molecules inside the Si02 supercell to obtain four different water-silica ratios and compare changes in the thermodynarnic behavior as well as potential effects in elemental structural and transport properties. We2study the four systems at temperatures of 2000, 3000,4000 and 5000 K and densities of 0.34 to 2.77 g/cm3 depending on the system. We calculate the critical point of Si02 in between 5000 and 5500 K, from 0.6 to 0.85 g/cm3 and 0.15 to 0.25 GPa. The presence of water has a direct effect on the placement of the critical point, reducing it in more than 2000 K at specific conditions. Our results show that supercritical state materials are often underestimated in moon forming hydrodynamic models, which may impact elemental mixing in the outcome of the Giant Impact.; La théorie de la formation de la Lune par un impact geant a été proposée pour la première fois en 1975 par Hartmann et Davis. À ce jour, c'est toujours la théorie qui prévaut pour expliquer les aspects uniques concernant le système Terre-Lune. Bien que acceptée dans la communauté scientifique, cette théorie fait encore débat quant aux conditions de l'impact et au scénario qui en résulte.Ilest toujours difficile d'englober dans une solution unique les aspects problématiques de l'équilibrage chimique qui ont eu lieu après l'impact. Différents modèles d'impact ont été proposés au fil des ans afin de résoudre les problèmes susmentionnés. Ces modèles s'appuient souvent sur des équations d'état pour décrire le comportement des matériaux présents sur la Terre et la Lune. Les équations d'état {EOS) décrivent la distribution des phases des matériaux et sont utilisées sur des modèles de collision basés sur des simulations hydrodynamiques pour prédire la composition finale. L'utilisation d'EOS précis conduit à des modèles chimiques post-impact plus corrects où les phases peuvent être estimées correctement. La majorité des minéraux présents sur les corps rocheux du système solaire sont à base de Si02 et sont les éléments constitutifs de la Terre et de la Lune. En termes de composition, Si02 représente plus de 44% des mare basaltes et des hauts plateaux lunaire, et environ 45% du manteau primitif de la Terre. Bien que similaires dans certaines parties de leur composition, la Lune et la Terre diffèrent considérablement en ce qui concerne la présence d'éléments volatils, où H20 est sans doute le plus pertinent. L'apport d'énergie donné par le grand impact estsuffisant pour faire fondre et vaporiser les minéraux silicatés. Il produit une atmosphère silicatée, où les propriétés physico­ chimiques et les signatures géochimiques du scénario résultant dépendent du fractionnement liquide-vapeur. La présence de volatils peut modifier le comportement des équations d'état typiques des matériaux silicatés et éventuellement être responsable de l'augmentation de la quantité de vapeur et de matériau supercritique dans de telles conditions. Nous visons à construire des équations d'état pour le système binaire Si02-H20 et ensuite à étudier les propriétés structurelles et de transport d'un tel système, en comparant le comportement des principaux éléments dans différentes conditions. Nous utilisons des méthodes de dynamique moléculaire ab initio (AIMD) où les forces et l'énergie sont calculées avec la théorie fonctionnelle de la densité telle qu'implémentée dans le package VASP. Nous commençons par construire une supercellule contenant 72 molécules de Si02 et décrivons son comportement sous des températures de 4000 à 7000 K et des densités de 0,2 à 2,33 g/cm3. Nous suivons en insérant 9, 18, 36 et 72 molécules H20 à l'intérieur de la supercellule Si02 pour obtenir quatre rapports Si02-H20 différents et comparer les changements dans le comportement thermodynamique ainsi que les effets potentiels sur les propriétés structurelles et de transport élémentaires. Nous étudions les quatre systèmes à des températures de 2000,3000,4000 et 5000 K et des densités de 0,34 à 2,77 g/cm3 selon le système.Nous calculons le point critique de Si02 entre 5000 et 5500 K, de 0,6 à 0,85 g/cm3 et de 0,15 à 0,25 GPa. La présence d'eau a un effet direct sur le placement du point critique, le réduisant à plus de 2000 K dans des conditions spécifiques. Nos résultats montrent que les matériaux à l'état supercritique sont souvent sous-estimés dans les modèles hydrodynamiques de formation de la Lune, ce qui peut avoir un impact sur le mélange élémentaire dans le résultat de l'impact géant.

Initially present only in functional languages such as OCaml and Haskell, Algebraic Data Types have now become pervasive in mainstream languages, providing nice data abstractions and an elegant way to express functions though pattern-matching. Numerous approaches have been designed to compile rich pattern matching to cleverly designed, ecient decision trees. However, these approaches are specic to a choice of internal memory representation which must accommodate garbage-collection and polymorphism. ADTs now appear in languages more liberal in their memory representation such as Rust. Notably, Rust is now introducing more and more optimizations of the memory layout of Algebraic Data Types. As memory representation and compilation are interdependent, it raises the question of pattern matching compilation in the presence of non-regular, potentially customized, memory layouts. In this report, we present Knit&Frog, a framework to compile pattern-matching for monomorphic ADTs, parametrized by an arbitrary memory representation. We propose a novel way to describe choices of memory representation along with a validity condition under which we prove the correctness of our compilation scheme. The approach is implemented in a prototype tool ribbit.; Initialement présents dans les langages fonctionnels comme Ocaml et Haskell, les types algébriques sont maintenant de plus en plus présents dans les langages mainstream comme Rust. Ils permettent une abstraction commode des données et une façon élégante de décrire des fonctions via le fitrage de motifs (pattern-matching). Ce rapport de recherche présente Knit&Frog, un cadre formel pour décrire des représentations mémoires de types algébrique paramétré par la représentation mémoire. La correction de l'algorithme est prouvée sous une hypothèse de validité de la représentation. L'algorithme est implémenté dans l'outil ribbit. Le principal avantage de l'approche est l'indépendance de l'algorithme et de sa représentation mémoire,qui permettra à terme de décrire des représentations optimisées sans perdre de l'expressivité.

With computers, it is possible to evaluate some numerical functions such as f = exp, sin, arccos, etc. The purpose of this thesis is to study how these functions can be implemented. Depending on the target architecture (software or hardware, small or high accuracy required), different problems must be addressed, but the final goal is always to eventually obtain an implementation as efficient as possible. We first study with an example the problems that arise in the case when the precision is arbitrary. When, on the contrary, the precision is known in advance, the function f is often replaced by an approximation polynomial p. Such a polynomial can then be very efficiently evaluated. In practice, the coefficients of p must be representable on a given finite number of bits. We propose several algorithms (some of them are heuristic and others are rigorous) for finding very good approximation polynomials satisfying this constraint. Our results also apply in the case when the approximant is a rational fraction. Once p has been found, one must prove that the error |p-f| is not greater than a given bound. The particular form of the function p-f (subtraction between two very close functions) makes this property hard to rigorously prove. We propose an algorithm for overcoming this difficulty. All these algorithms have been integrated into a software tool called Sollya, developed during the thesis. In the beginning, it was created for making the implementation of functions easier. Now, it may be interesting for anyone who needs to perform numerical computations in a safe environment.; Les systèmes informatiques permettent d'évaluer des fonctions numériques telles que f = exp, sin, arccos, etc. Cette thèse s'intéresse au processus d'implémentation de ces fonctions. Suivant la cible visée (logiciel ou matériel, faible ou grande précision), les problèmes qui se posent sont différents, mais l'objectif est toujours d'obtenir l'implémentation la plus efficace possible. Nous étudions d'abord, à travers un exemple, les problèmes qui se posent dans le cas où la précision est arbitraire. Lorsque, à l'inverse, la précision est connue d'avance, la fonction f est souvent remplacée par un polynôme d'approximation p. Un tel polynôme peut ensuite être évalué très efficacement en machine. En pratique, les coefficients de p doivent être représentables sur un nombre fini donné de bits. Nous proposons un ensemble d'algorithmes (certains sont heuristiques, d'autres rigoureux) pour trouver de très bons polynômes d'approximation répondant à cette contrainte. Ces résultats s'étendent au cas où la fonction d'approximation est une fraction rationnelle. Une fois p trouvé, il faut prouver que l'erreur |p-f| n'excède pas un certain seuil. La nature particulière de la fonction p-f (soustraction de deux fonctions très proches) rend cette propriété difficile à prouver rigoureusement. Nous proposons un algorithme capable de contourner cette difficulté. Tous ces algorithmes ont été intégrés au logiciel Sollya, développé pendant la thèse. À l'origine conçu pour faciliter l'implémentation de fonctions, ce logiciel s'adresse à présent à toute personne souhaitant faire des calculs numériques dans un cadre complètement fiable.

Deep learning models are known to be vulnerable to adversarial attacks. Adversarial learning is therefore becoming a crucial task. We propose a new vision on neural network robustness using Riemannian geometry and foliation theory. The idea is illustrated by creating a new adversarial attack that takes into account the curvature of the data space. This new adversarial attack called the two-step spectral attack is a piece-wise linear approximation of a geodesic in the data space. The data space is treated as a (degenerate) Riemannian manifold equipped with the pullback of the Fisher Information Metric (FIM) of the neural network. In most cases, this metric is only semi-definite and its kernel becomes a central object to study. A canonical foliation is derived from this kernel. The curvature of transverse leaves gives the appropriate correction to get a two-step approximation of the geodesic and hence a new efficient adversarial attack. The method is first illustrated on a 2D toy example in order to visualize the neural network foliation and the corresponding attacks. Next, experiments on the MNIST dataset with the proposed technique and a state of the art attack presented in Zhao et al. (2019) are reported. The result show that the proposed attack is more efficient at all levels of available budget for the attack (norm of the attack), confirming that the curvature of the transverse neural network FIM foliation plays an important role in the robustness of neural networks.

International audience

International audience; Range proofs allow a sender to convince a verifier that committed integers belong to an interval without revealing anything else. So far, all known non-interactive range proofs in the standard model rely on groups endowed with a bilinear map. Moreover, they either require the group order to be larger than the range of any proven statement or they suffer from a wasteful rate. Recently (Eurocrypt'21), Couteau et al. introduced a new approach to efficiently prove range membership by encoding integers as a modular ratio between small integers. We show that their technique can be transposed in the standard model under the Composite Residuosity (DCR) assumption. Interestingly, with this modification, the size of ranges is not a priori restricted by the common reference string. It also gives a constant ratio between the size of ranges and proofs. Moreover, we show that their technique of encoding messages as bounded rationals provides a secure standard model instantiation of the Naor-Yung CCA2 encryption paradigm under the DCR assumption.

International audience; Ynamides are useful and versatile building blocks in organic synthesis, from which 1,1,4,4-tetracyanobutadienes (TCBD) can be prepared for application in molecular electronics. However, their insertion onto multi-functional molecular scaffold remains a synthetic challenge. In this work, we report the two-steps synthesis in good isolated yield (64% overall, 89 degrees o stepwise) of a tetraphenylethylene (TPE) bearing four ynamides, and its further one-step conversion into the tetra-TCBD derivative through a [2 + 2] cycloaddition-retroelectrocyclization sequence. The concomitant formation of the four ynamides required a specific optimisation of the reaction conditions. Although a poor fluorescent emitter in solution, the tetra-TCBD compound displayed near-infrared luminescence in the solid state, which is an attractive optoelectronic feature when considering future applications in molecular electronic devices.