Les contraintes internes contrôlent la dynamique d’enroulement des vrilles chez les plantes grimpantes

International audiencePlant tendrils are mechanosensitive and highly motile organs known for touch-induced differential growth. The resulting coiling dynamics under external traction reveal that non-homogeneous internal stress over the tendril cross-section is fundamental to understanding the system. External loading inhibits curvature generation and can fully suppress it above a threshold force. Remarkably, however, the internal differential stress onset persists even under the highest applied traction forces.We develop an autotropic morphoelastic growth (AMG) model, grounded in a bi-strip geometry and Kirchhoff rod theory, which capture these main features. In particular, the AMG model reproduces the observed 1/4 ratio between the generated intrinsic curvature at high force and that at zero force. According to the AMG model, this ratio depends solely on the twist-to-bend ratio, which is a parameter determined by the plant species.Les vrilles des plantes sont des organes mécanosensibles et hautement mobiles, connus pour leur croissance différentielle induite par le contact. La dynamique d’enroulement sous traction externe montre que la présence de contraintes internes non homogènes à travers la section de la vrille est essentielle pour comprendre le système. La charge externe inhibe la génération de courbure et peut même la supprimer complètement au-delà d’une force seuil. Il est toutefois remarquable que l’apparition de contraintes différentielles internes persiste, même sous les forces de traction les plus élevées appliquées.Nous développons un modèle de croissance morphoélastique autotropique (AMG), fondé sur une géométrie de type bi-lame et sur la théorie des tiges de Kirchhoff, qui rend compte de ces caractéristiques principales. En particulier, le modèle AMG reproduit le rapport expérimental de 1/4 entre la courbure intrinsèque générée sous forte traction et celle observée en l’absence de force. Selon le modèle AMG, ce rapport dépend uniquement du rapport torsion–flexion, un paramètre déterminé par l’espèce végétale

MEGATRON: Reproducing the Diversity of High-Redshift Galaxy Spectra with Cosmological Radiation Hydrodynamics Simulations

International audienceWe present the MEGATRON suite of cosmological radiation hydrodynamics simulations following the formation of Milky Way-mass galaxies from the earliest cosmic epochs when Population III stars form to Cosmic Noon. The suite represents the first set of cosmological simulations that couples a vast non-equilibrium thermochemistry network of primordial species, metals, and molecules to multifrequency, on-the-fly radiation transport, allowing us to directly predict the spectral properties of early galaxies. By initializing the simulations at zero metallicity, resolving haloes well below the atomic cooling threshold, reaching parsec-scale resolution, and modeling a Milky Way-mass environment, we aim to address four key science themes: 1) Star formation at cosmic dawn, 2) Galaxy formation and the interstellar medium in the epoch of reionization, 3) The circumgalactic medium towards cosmic noon, and 4) Reionization in a local volume environment and near-field cosmology. In this introductory work, we present an overview of the physical characteristics of high-redshift MEGATRON galaxies and their environment at $z>8$. We present a library of $>175,000$ simulated galaxy spectra and demonstrate how the diversity of galaxy spectra seen by JWST is naturally reproduced in the context of a $Λ$CDM cosmology. This project represents a step towards making more direct comparisons between simulations and observations and will enable future work to both optimize methods for inferring galaxy properties from observations and to elucidate the physics that governs galaxy formation in the early Universe

Instabilités mécaniques et claquage pour les tiges hélicoidales en présence de perversion

International audienceEquilibrium configurations of helical elastic rods during quasi-static unwinding are studied experimentally and theoretically. At a critical degree of unwinding, the helical conformation destabilizes into a mixed phase consisting of two helices with opposite chiralities connected by a perversion. As unwinding progresses, the perversion migrates along the rod, eventually disappearing, leading to a pure helical conformation with opposite chirality from the initial state. Measurements of axial torque and force as functions of extension and winding reveal remarkable phenomena: (i) As the perversion migrates, the torque remains nearly constant. (ii) The transition from a pure helix to a configuration with perversion is accompanied by snapping events, seen as singularities in torque and force. (iii) At a critical force, the perversion destabilizes and transitions to a self-touching conformation. The phase diagram and overall mechanical behavior are reproduced using a biphasic model. A shooting technique, numerical path-following methods and finite element simulations are employed to assess the instability of the perversion and the associated snapping toward self-contact. The singularity at the creation of the perversion is reproduced by incorporating clamping effects within path-following methods. An analogy with first-order phase transitions is discussed. The nearly constant torque in the mixed phase is reminiscent of a Maxwell plateau, while the creation of a perversion with snapping corresponds to a nucleation event. Finally, to apply our analysis to plant tendrils, we study a specific line in the phase diagram of the mixed state corresponding to zero net turns. The associated transition is continuous and supercritical.Les configurations d'équilibre des tiges élastiques hélicoïdales lors de leur déroulement quasi-statique sont étudiées expérimentalement et théoriquement. À un degré critique de déroulement, la conformation hélicoïdale se déstabilise pour former une phase mixte constituée de deux hélices de chiralités opposées reliées par une perversion. À mesure que le déroulement se poursuit, la perversion migre le long de la tige, pour finalement disparaître, aboutissant à une conformation hélicoïdale pure de chiralité opposée de l'état initial.Les mesures du couple axial et de la force en fonction de l'extension et du déroulement révèlent des phénomènes remarquables :(i) Pendant la migration de l'inversion, le couple reste presque constant.(ii) La transition d'une hélice pure à une configuration avec inversion s'accompagne de phénomènes de rupture brusque, observés comme des singularités dans les mesures de couple et de force.(iii) À une force critique, la perversion se déstabilise pour adopter une conformation avec auto-contact.Le diagramme de phase et le comportement mécanique global sont reproduits à l'aide d'un modèle biphasique. Une technique de tir ("shooting"), des méthodes numériques de suivi de chemin et des simulations par éléments finis sont utilisées pour analyser l'instabilité de la perversion et les phénomènes claquage associés menant à l'auto-contact. La singularité à la création de la perversion est reproduite en incluant les effets de fixation dans les méthodes de suivi de chemin.Une analogie avec les transitions de phase du premier ordre est discutée. Le couple presque constant dans la phase mixte rappelle un plateau de Maxwell, tandis que la création d'une perversion accompagnée d'un claquage correspond à un événement de nucléation. Enfin, pour appliquer cette analyse aux vrilles de plantes, une ligne spécifique dans le diagramme de phase de l'état mixte correspondant à un nombre net de tours nul est étudiée. La transition associée est continue et supercritique

The LISA Astrophysics "Disc-IMRI" Code Comparison Project: Intermediate-Mass-Ratio Binaries in AGN-Like Discs

International audienceUpcoming space-based gravitational wave detectors such as LISA, the Laser Interferometer Space Antenna, will be sensitive to extreme- and intermediate-mass-ratio inspirals (EMRIs and IMRIs). These binaries are comprised of a supermassive black hole and a stellar-mass object or intermediate-mass black hole. Their detection will probe the structure of galactic nuclei and enable tests of general relativity. As these events will be observed over thousands of orbital cycles, they will be extremely sensitive to both the underlying spacetime and astrophysical environment, demanding exquisite theoretical models on both fronts to avoid biased or even erroneous results. In particular, many (E/)IMRIs are expected to occur within accretion discs around supermassive black holes, and the nonlinearities present when modeling these systems require numerical simulations. In preparation for future modeling of LISA sources, we have conducted a comparison between eight different hydrodynamical codes and applied them to the problem of a q = 10^{-4} mass ratio binary interacting with an accretion disc. Thicker discs appear more lenient, and all codes at sufficiently high resolutions are in good agreement with each other and analytical predictions. For thinner discs, beyond the reach of analytical models, we find substantial disagreement between 2D and 3D simulations and between different codes, including both the magnitude and sign of the torque. With time and energy efficiency in mind, codes that leverage moving meshes or grid-based Lagrangian remapping seem preferable, as do codes that can leverage graphical processing units and other energy-efficient hardware

Reimagining Urban River Bathing in Europe: A Multisectoral and Interdisciplinary Dive Into Lyon's Rivers (France)

International audienceUrban river bathing is re‐emerging across Europe, driven by social demand and climate change impacts. The Urban Bathing Consortium, an interdisciplinary and intersectoral consortium initiated at the University of Lyon (France), is at the forefront of studying the challenges and opportunities of creating and managing healthy, safe, and accessible river bathing spaces. Through interdisciplinary collaboration among researchers and stakeholders, the consortium proposed an analytical framework, identifying seven critical dimensions for urban river bathing: the history and revival of city‐river relationships, legal and regulatory frameworks, bathing water quality, river drowning risks, river ecosystems, social perspectives, and urban planning. By examining these dimensions with state‐of‐the‐art approaches and drawing on Lyon's experiences, the study provides scientific insights and practical recommendations for future sustainable urban river bathing development. These include revitalizing historical city‐river connections, aligning local regulations with EU guidance, advancing holistic microbial water quality control, enhancing safety measures, incorporating ecological considerations, balancing competing river uses in urban planning, and addressing social needs for inclusive river governance

Bounded Sort Polymorphism with Elimination Constraints

International audienceProof assistants based on dependent type theory-such as Agda, Lean, and Rocq-employ different universes to classify types, typically combining a predicative tower for computationally relevant types with a possibly impredicative universe for proof-irrelevant propositions. Several other universes with specific logical and computational principles have been explored in the literature. In general, a universe is characterized by its sort (e.g., Type, Prop, or SProp) and, in the predicative case, by its level. To improve modularity and better avoid code duplication, sort polymorphism has recently been introduced and integrated in the Rocq prover.However, we observe that, due to its unbounded formulation, sort polymorphism is currently insufficiently expressive to abstract over valid definitions with a single polymorphic schema. Indeed, to ensure soundness of a multi-sorted type theory, the interaction between different sorts must be carefully controlled, as exemplified by the forbidden elimination of irrelevant terms to produce relevant ones. As a result, generic functions that eliminate values of inductive types from one sort to another cannot be made polymorphic; dually, polymorphic records that encapsulate attributes of different sorts cannot be defined. This lack of expressiveness also breaks the possibility to infer principal types, which is highly desirable for both metatheoretical and practical reasons. To address these issues, we extend sort polymorphism with bounds that reflect the required elimination constraints on sort variables. We present the metatheory of bounded sort polymorphism, paying particular attention to the consistency of the resulting constraint graph. We implement bounded sort polymorphism in Rocq and illustrate its benefits through concrete examples. Bounded sort polymorphism with elimination constraints is a natural and general solution that effectively addresses current limitations and fosters the development of, and practical experimentation with, multi-sorted type theories.</p

: Suivi qualitatif du recours au Contrat d’engagement jeune

Le Contrat d’engagement jeune (CEJ), initié en mars 2022, s’adresse aux jeunes de 16 à 25 ans en difficulté d’insertion sociale et professionnelle. Mis en œuvre par les Missions locales et par France Travail, il combine un accompagnement « intensif » par une conseillère et une allocation mensuelle, conditionnés à la réalisation de 15 à 20 heures d’activités hebdomadaires. Il a fait l’objet d’une enquête sociologique, dont les résultats et analyses font l’objet de ce rapport, menée entre octobre 2023 et mai 2025. Elle repose sur 223 entretiens et 74 séquences d’observation dans onze territoires aux caractéristiques variées. Elle explore les usages du CEJ, le travail des conseillères, et les effets du dispositif sur les structures du service public de l’emploi.Succédant à la Garantie jeunes dans un contexte post-Covid marqué par une précarité juvénile et des débats sur l’ouverture du RSA aux moins de 25 ans, le CEJ est présenté comme plus « intensif » que les dispositifs lui préexistant. Il introduit une obligation inédite de « 15 à 20 heures d’activités » hebdomadaires, censée responsabiliser les jeunes et répondre aux critiques d’« assistanat ». Il est mis en œuvre par les Missions locales et France Travail. Son déploiement contribue aussi à réorganiser les politiques d’insertion : les Missions locales, historiquement en charge de ce public, l’ont perçu comme une mise en concurrence avec France Travail.Le CEJ a accéléré des transformations déjà engagées dans les Missions locales : intensification des tâches administratives, montée en puissance du management, rationalisation et division horizontale du travail. Les conseillères, majoritairement des femmes issues des classes populaires ou moyennes, revendiquent une « fibre sociale », et investissent l’écoute et le soutien relationnel dans leur relation avec les jeunes. Elles valorisent le lien de confiance qu’elles nouent avec eux et elles, et dénoncent la surcharge administrative et parfois les tensions liées au contrôle des activités. Elles jugent le CEJ de manière ambivalente en ce que d’une part, il permet de renforcer le travail relationnel, en raison de l’intensité des rencontres qu’il suppose et de sa logique contractuelle, mais que d’autre part, il génère une surcharge de travail administrative décrite comme un facteur majeur d’empêchement du travail.Les bénéficiaires du CEJ sont majoritairement issu·es des classes populaires précarisées, cumulant souvent instabilité économique, sociale, scolaire et psychique. Ils décrivent un rapport à l’école et au marché du travail marqué par des orientations subies, des emplois précaires et des expériences dévalorisantes. Au regard de leurs conditions de vie et de leurs projets, le CEJ est un soutien important, traduit par une aide financière et l’accompagnement d’une conseillère, mais il reste temporaire et apporte rarement une réponse structurelle à leurs difficultés.Enfin, le CEJ poursuit une logique d’adaptation des jeunes aux opportunités locales de travail ou de formation. L’exigence des « 15 à 20 heures d’activités » est son innovation majeure, mais son interprétation varie selon les territoires et les conseillères, alimentant des jugements normatifs sur la légitimité des activités. L’allocation, à la fois ressource vitale et objet de contrôle moral, cristallise les tensions entre aide sociale et contrepartie. Le CEJ semble ainsi illustrer une tendance au renforcement du contrôle et de la responsabilisation, déséquilibrant le principe des droits et devoirs dans les politiques d’insertion

Acceleration of implicit schemes for large systems of delay differential equations

International audienceThe objective is to accelerate numerical implicit schemes for solving large linear or nonlinear delay differential equations. These schemes require solving large linear or nonlinear systems at each integration step, making effective initial guesses critical for rapid convergence. For nonlinear problems, an inexact Newton method is used, whose efficiency depends heavily on the quality of these initial guesses. To generate them, line search or trust-region algorithms are employed -each involving the solution of large linear systems. These linear systems are solved using a Krylov subspace method. Initial guesses are constructed via a Petrov-Galerkin process applied to low-dimensional approximation subspaces derived from previous steps. Error estimates are provided, linking the accuracy of the initial guesses to the timestep size, the scheme's order, and the subspace dimension. Numerical experiments show speedups of up to two orders of magnitude over standard predictor-based methods, when those converge

SpeckSeq enables high-throughput functional stratification of MEFV variants in autoinflammatory diseases

International audienceVariants of uncertain significance (VUS) are a major obstacle in genetic diagnosis, particularly when involving gain-of-function (GoF) mutations that are poorly predicted in silico. MEFV, which encodes the inflammasome sensor pyrin, is mutated in two autoinflammatory diseases, familial Mediterranean fever (FMF) and pyrin-associated autoinflammation with neutrophilic dermatosis (PAAND). Here, we developed SpeckSeq, a method that combines DNA bar-coding, ASC speck–based single-cell sorting and next-generation sequencing to systematically identify hypermorphic MEFV variants in response to different stimuli. SpeckSeq identified 49 GoF mutations separated into two distinct groups containing either PAAND variants or FMF variants. SpeckSeq was validated using patients’ cells and supported a reclassification of MEFV variant pathogenicity, leading to novel diagnoses. As a large-scale mutagenesis approach, using human genetics as a guide, SpeckSeq revealed structural and functional pyrin features, including a putative ligand-accommodating cavity in the B30.2 domain. Altogether, SpeckSeq classifies VUS to refine molecular diagnostics and improve our knowledge on the pyrin inflammasome