Flow in small systems in the EPOS4 approach for high-energy scatterings

International audienceEPOS4 is based on a sophisticated (recently significantly improved) parallel-primary-scattering scenario followed by a hydrodynamic expansion, for all collision systems, from small ones such as proton-proton ($pp$) to big ones such as lead-lead (PbPb). Having already reported on identified particle spectra in recent publications (providing information about radial flow), I discuss here the multiplicity dependence of multi-particle cumulants and flow harmonics, to better understand collectivity in small systems. The model is not particularly tuned for flow results, but it is a "general purpose" approach, trying to accommodate various types of observables with the same model

Multi-technique radiometric assessment of a desert-marine ecosystem facilitating radiological-environmental safety in hyper-arid regions

International audienceThis paper presents a rigorous, multi-technique assessment of radiometric and physiochemical characteristics of a desert-marine ecosystem in the United Arab Emirates (UAE). Current models and empirical data on the release, dispersion, retention and migration of radionuclides in hyper-arid regions are inadequate. This is a critical gap in the radiological-environmental assessments in the Arabian Peninsula, where industries producing radioactivity, such as oil and gas, mining, and both thermal and nuclear power generations, are expanding rapidly. This study offers the most diverse baseline data to date, laying the groundwork for an evidence-based radionuclide transport modeling in hyper-arid environments. It identifies the key isotopes to track and carefully selects a representative region for a comprehensive sampling. The Al Dhafra region of Abu Dhabi was chosen due to its importance in hosting oil, gas, and nuclear industries, and because it covers 71 % of the total area of the emirate. Around 30 different samples were collected, including rock, sand, groundwater, seawater, plants, and farm products. A tailored combination of advanced radiometric methods with XRD, ICP-MS, IC, and gamma spectrometry was developed for this complex and rare sample set. Majority of the instrumentation for this project were hosted in the Subatech Laboratories (France). The study yielded radioactivity compositions in the main arid environmental matrices, consistent with the previous research, and introduced novel findings on the probable host rocks to study for nuclear waste storage, desert shrubs as bioindicators, and camel milk as a medium for transfers to humans. •Diverse and multi-method radiometric characterization of an expansive hyper-arid desert region.•Baseline radionuclide concentrations measured for rocks, sand, waters, plants, and farm produces.•Identified primary rock types, groundwater chemistry and salinity, and plants for transport mechanisms.•Vital empirical data for nuclear and radioactivity-producing industries in hyper-arid ecosystems

Impact of the physico-chemical properties of commercial pea proteins concentrate and isolate on the quality of meat analogs

International audiencePlant proteins extracted from soys and peas, have been identified as potential functional ingredients for plantbased meat analogs producted by high moisture extrusion cooking (HMEC). However, the extraction process (dry for concentrate and wet for isolate) can have an impact on the primary structure of the proteins, affecting their technical and functional properties. This study aims to compare the impact of two fractionation process on pea proteins (structure, fractions, flowing index) and their ability to create a network, which can mimic the fiber structure found in meat, within moisture extrusion. Pea protein concentrates (PPC) obtained by dry fractionation, and pea protein isolate (PPI) by isoelectric precipitation were characterized in terms of functional and flow properties. Results showed that PPI have a higher aggregation, lower solubility and water-holding capacity than PPC, and no thermal event was highlighted by differential scanning calorimetry, indicating proteins denaturation of PPI. Denaturation of proteins before the heating step in extruder barrel contrasts with the current model described in the literature. However, treating with HMEC, PPC is less suitable than PPI where better results in term of flow properties (respectively with flowability indexes of 27.33 and 56.17) and anisotropic structure. In that way, it appears that proteins concentration (55 % and 70 % respectively for PPC and PPI) is the most important parameter for creating a meat like texture in the conditions of the experiment

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

À quelles conditions l'arrêté de cessibilité est-il susceptible de faire l'objet d'un référé-suspension ?

International audienceConseil d'État, 22 juillet 2025, no 501042, M. et Mme B… et C… A… c/ Préfet de Haute-Savoie et commune de Faucigny, inédi

StripesCounter: A new image software for increment measurement in paleoclimate archives

International audienceMost natural paleoclimate archives are accretionary material presenting periodic structures that bear environmental and/or chronological information. Here we present StripesCounter, an open access Python software designed for automated banding detection and measurement. As a study case, 16-year long profiles of daily growth increment measurements were conducted on a modern shell of the giant clam Tridacna gigas. High resolution images of shell thin sections were obtained using a confocal laser scanning microscopy and processed using StripesCounter. We demonstrate that StripesCounter provides highly reproducible and accurate results. The long time series of daily increments indicate that Tridacna gigas growth is strongly modulated by seasonal oceanographic variations, reflecting changes in sea surface temperature, precipitation, and salinity. Notably, growth profiles reveal semi-annual variations related to semi-annual variations in environmental factors, potentially linked to ENSO events. This automated growth increment analysis can be extended to other archives with cyclic structures, including tree rings, corals, and other biogenic or abiotic laminated materials. StripesCounter offers a powerful and accessible tool for generating long high-resolution, temporally explicit datasets, opening new perspectives for investigating rapid environmental changes across diverse ecosystems and geological timescales

A macro-element for circular shallow foundations on rigid inclusion-reinforced soil

International audienc

Merveilles et féeries de cour dans « Gracieuse et Percinet » de Marie-Catherine d'Aulnoy

épi-revue JE3LAMWhen Marie-Catherine d'Aulnoy published her collection Contes des fées in 1697, she had already made a name for herself with two works devoted to foreign courts, Mémoires de la cour d'Espagne (1690) and Mémoires de la cour d'Angleterre (1695), which attest to her knowledge of and interest in European court circles. By examining references to French court culture and customs in "Gracieuse et Percinet", this study aims to consider this story as a court tale, the significance of which will be explored here. This work also examines the influence of Princess Palatine on the narrative and ideological choices of the storyteller, who dedicated her two collections of fairy tales to her.Lorsque Marie-Catherine d’Aulnoy publie le recueil Contes des fées en 1697, elle s’est déjà distinguée par deux ouvrages consacrés aux cours étrangères, les Mémoires de la cour d’Espagne (1690) et les Mémoires de la cour d’Angleterre (1695), qui témoignent de sa connaissance et de son intérêt pour les milieux curiaux européens. Par l’examen des références à la culture de cour française et à ses mœurs dans « Gracieuse et Percinet », cette étude se propose d’envisager ce récit comme un conte de cour, dont il s’agira ici de comprendre les enjeux. Ce travail interroge également l’influence de la princesse Palatine sur les choix narratifs et idéologiques de la conteuse, qui lui dédie ses deux recueils de contes féeriques

Recombinant Human IgG1 Enhances Complement-Mediated Bacteriolysis and Macrophage Phagocytosis of Pseudomonas aeruginosa via Targeting Cell Surface Polysaccharides

International audienceThe development of innovative therapeutics against WHO priority pathogens is an urgent global need. Here, we demonstrate the functionalities of a human antibody, previously isolated by whole cell biopanning of the phage display scFv library. The yPgi3G4 IgG1 could mediate antibody-dependent phagocytosis of Pseudomonas aeruginosa by human matured THP-1 monocytes, of which colocalization with caveolin was clearly observed at 24 h. Next, the antibacterial activity against live P. aeruginosa was demonstrated by an agglutination assay and complement-mediated killing of the bacteria. Lipopolysaccharide (LPS) extraction and Western blot (WB) analysis suggested that LPS was the target of the yPgi3G4 IgG1 antibody. A cross-reactivity assay to available isolates in Thailand and France showed that the antibody could detect 6 P. aeruginosa serotypes including several multidrug-resistant clinical isolates. This study proved the potential of using this strategy to identify a biotherapeutic for a certain quotient of multidrug-resistant P. aeruginosa and other bacterial infections

An Adaptive Multiphase Finite Element Framework for Simulating Two-Dimensional Rotational Molding

Rotational molding, also known as rotomolding, is a widely used manufacturing process for composite tank liners. Developing this process to obtain high-quality liners is usually a long and delicate step. The implementation of numerical simulation can facilitate and expedite its development. It is challenging to obtain information about polymer movement through experimental methods. In this paper, we present a two-dimensional thermo-fluid simulation of rotomolding using the immersed boundary approach with the level-set technique. Numerical simulation using the Eulerian approach with the finite element method with anisotropic mesh refinement and the immersed boundary method has proven to be a powerful tool for analyzing and optimizing the molding processes with the help of implicit boundary and adaptive anisotropic meshing techniques. The finite element method is a valuable tool that allows us to combine several physical elements. This approach enables us to identify critical process variables and optimize design choices. To verify our methodology, we first simulated a 2D crosssection of the mold by incorporating a two-phase flow problem involving the polymer/air interface.</div