HAL-ENS-LYON
Not a member yet
104280 research outputs found
Sort by
Les ressources minières en Afrique au tournant de la transition énergétique : quel positionnement face à la complexification des chaînes d’approvisionnement ?Les cas de la République démocratique du Congo et de la République de Guinée
No full textInternational audienc
Semantics of Probabilistic Programs Using s-Finite Kernels in Dependent Type Theory
No full textInternational audienceProbabilistic programming languages are used to write probabilistic models to make probabilistic inferences. A number of rigorous semantics have been developed to reason about transformations of probabilistic programs and their execution. We propose to investigate the formalization of such a semantics to allow for the formal verification of probabilistic programs. Concretely, we extend an existing formalization of measure and integration theory in the Rocq prover, a proof assistant based on dependent type theory, with s-finite kernels, a mathematical structure to interpret typing judgments in the semantics of a probabilistic programming language. We explain the issues raised by organizing kernels as a hierarchy of mathematical structures and use the latter to formalize the semantics of a first-order probabilistic programming language. We use this semantics to establish generic properties of this language, prove rewriting laws to perform symbolic evaluation, and reason about iteration
Juliette Fabre, La Promenade littéraire de La Mothe Le Vayer à Rousseau: marcher, penser, écrire
No full textInternational audienc
Des objectifs au développement : l’effet des intentions des porteurs de monnaies locales françaises sur leurs caractéristiques et leur circulation
No full textInternational audienc
Vegetation and climate reconstructions from sedimentary archives in the Circum-Caspian region.
No full textInternational audienc
Biodéchets et économie circulaire : quelle stratégie territoriale pour quel changement de modèle ?
No full textCarbon Footprint of Composting and Vermicomposting of Household Biowaste: A Decision-Making Factor for Regional Biowaste Recovery Policies?
No full textInternational audienceSince 1 January 2024, French local authorities will be required to offer householders a means of recovering biowaste, either as a soil improver or as an energy source. Several criteria influence their choice: cost, availability of operators and equipment, social facilitation, etc. However, greenhouse gas (GHG) emissions are rarely taken into account in the decision-making process. This article compares the emissions of four biowaste recovery systems, differentiated by their process (composting or vermicomposting) and management type (community or industrial). It is based on the carbon footprint method defined by the French Agency for Ecological Transition (ADEME). The assumptions and emission factors come from two sources: a field survey of composting and vermicomposting companies and associations in the Lyon area and a review of the literature on GHG emissions from the decomposition of organic matter. The carbon footprint of the processes was determined by estimating the CO2 equivalent per ton of composted biowaste. The results show that industrial composting emits the most carbon (CO2). Depending on whether biogenic carbon is taken into account or not, the ranking of the other three processes changes. When biogenic CO2 is taken into account, it is the process that has the greatest influence on the result; on the other hand, when biogenic CO2 emissions are not taken into account, the type of management determines the ranking. These results are discussed in relation to the methodological limitations of the comparison, other biowaste management options and the reduction of biowaste-related emissions. For example, by studying the agricultural use of biowaste compost, the carbon balance could be refined by including the emissions avoided from the production of nitrogen fertiliser. However, environmental assessment is only one of a number of decision-making factors (social, economic, agricultural, etc.) in waste management
« On est passé d’un objet technique à un objet de recherche », la fabrique d’un sujet de recherche interdisciplinaire au regard de la transition énergétique
No full textInternational audienc
Fatphobia and physical activity: from the co-construction of stigma to the potential for change
No full textInternational audienceThis article contributes to the research into the conditions and forms of incorporation of gender norms relating to body size and shape (Smith et al., 2015), as people age. The specific aim is to understand these norms in relation to the dispositions that individuals have built up through the successive sites of socialisation in which they have been involved in French society, which may be contradictory or very diverse (Mauger, 2023). In this article, we will examine the role of adapted physical activity upon medical prescription (APAP) for individuals with chronic illnesses or other long-term medical conditions. Our analysis draws on comparative work conducted in five regions across mainland France. APAP is a range of programmes designed for individuals with moderate functional limitations who are not currently engaged in physical activity. In all of the programmes, a particular focus is placed on 'bridging programmes' (e.g. 'ateliers passerelles'), which are designed to provide a transitional period at the end of which participants are expected to continue practising in a mainstream context. These programmes are generally funded by decentralised state services.They exhibit considerable heterogeneity with regard to both duration and the methods of exercise employed. APAP occupies a singular position in France: although it is in the process of being integrated into the medical field, it remains relatively unknown or unrecognised by general practitioners (GPs) who are expected to prescribe it. It was initially limited to individuals with the long-term medical and administrative status of Affection de Longue Durée (ALD), entitling them to reimbursement of long-term medication. In 2023, it was expanded to encompass a broad array of chronic diseases. However, no social security coverage has been provided, which reflects the incomplete inclusion of this practice in the legitimate therapeutic system. This field of activity is directly relevant to the theme of this issue 1 , as it lies at the intersection of two distinct fields-medicine and sports-in which body weight is subject to control, measurement, and standardisation. In the medical field, the medicalisation of overweight and obesity (Jutel, 2006; Lupton, 2018; Rail, 2012) due to the pathologies objectively associated with them or likely to be so (Murray, 2008) contributes to the classification of 'healthy weight' as a health standard. A number of studies have explored the multifaceted consequences of the social and moral stigma of overweight and obesity as a result of health standards (Carof, 2017; Lang et al., 2008). As pioneer in France, Baszanger (1986) showed that GPs' professional expertise intersects with patterns associated with their social background. In various forms, class contempt persists during medical consultations with individuals classified as overweight or obese (Carof, 2015). Meanwhile, the field of sport is structured by standards of performance, mostly combined with those of youth, thinness, and muscular bodies. Several studies have explored the effects of injunctions to be thin, in almost all sports and at all ages (cf., in particular, Byrne & McLean, 2002). At the crossroads between medicine and sport, APAP, a product of recent health policies, has been developed in France in conjunction with policies related to nutrition (Boubal, 2018), namely successive 'national nutrition and health policy' plans and their focus on 'preventing sedentary lifestyles' and promoting physical activity (Clément, Genolini, 2010). The communication and slogans used appear to be aimed particularly at 'fat bodies', which are gradually becoming associated with unhealthy lifestyles (Vigarello, 2013), while the construction of obesity as a social problem gains strength (Grossetête, 2015), in France as in other Western countries (Stern, 1997; Rail, 2012; Wright, Harwood, 2012). 1 We would like to thank the reviewers for their careful reading and suggestions, which have greatly contributed to improve our analysis. We would also like to thank E. Rowley-Jolivet for her proofreading work.Information about the PrescAPP collective: www.msh-lse.fr/projets/prescapp/Corresponding authors for this article: Marie-Amélie Lauzanne, Julie ThomasCet article contribue à la recherche sur les conditions et les formes d'intégration des normes de genre relatives à la taille et à la morphologie (Smith et al., 2015) à mesure que les personnes vieillissent. L'objectif spécifique est de comprendre ces normes en relation avec les dispositions que les individus ont acquises au fil de leurs différents espaces de socialisation (dans la société française), qui peuvent être contradictoires ou très diverses (Mauger, 2023). Dans cet article, nous examinerons le rôle de l'activité physique adaptée sur prescription médicale (APAP) pour les personnes atteintes de maladies chroniques ou d'autres affections médicales de longue durée. Notre analyse s'appuie sur des travaux comparatifs menés dans cinq régions de France métropolitaine. L'APAP est un ensemble de programmes destinés aux personnes présentant des limitations fonctionnelles modérées qui ne pratiquent actuellement aucune activité physique. Dans tous les programmes, l'accent est mis sur les « programmes passerelles » (par exemple, les « ateliers passerelles »), qui sont conçus pour offrir une période de transition à l'issue de laquelle les participants sont censés continuer à pratiquer dans un contexte ordinaire. Ces programmes sont généralement financés par les services décentralisés de l'État. Ils présentent une hétérogénéité considérable tant en termes de durée que de méthodes d'exercice utilisées. L'APAP occupe une place singulière en France : bien qu'elle soit en cours d'intégration dans le domaine médical, elle reste relativement méconnue ou non reconnue par les médecins généralistes qui sont censés la prescrire. Elle était initialement réservée aux personnes bénéficiant du statut médical et administratif d'Affection de Longue Durée (ALD), qui leur donne droit au remboursement des médicaments à long terme. En 2023, elle a été étendue à un large éventail de maladies chroniques. Cependant, aucune couverture sociale n'a été prévue, ce qui reflète l'intégration incomplète de cette pratique dans le système thérapeutique légitime. Ce domaine d'activité est directement lié au thème de ce numéro 1 , car il se situe à l'intersection de deux domaines distincts, la médecine et le sport, dans lesquels le poids corporel est soumis à un contrôle, à une mesure et à une normalisation. Dans le domaine médical, la médicalisation du surpoids et de l'obésité (Jutel, 2006 ; Lupton, 2018 ; Rail, 2012) en raison des pathologies qui y sont objectivement associées ou susceptibles de l'être (Murray, 2008) contribue à la classification du « poids santé » comme norme de santé. Plusieurs études ont exploré les conséquences multiples de la stigmatisation sociale et morale du surpoids et de l'obésité résultant des normes de santé (Carof, 2017 ; Lang et al., 2008). Pionnier en France, Baszanger (1986) a montré que l'expertise professionnelle des médecins généralistes recoupe des schémas associés à leur milieu social. Sous diverses formes, le mépris de classe persiste lors des consultations médicales avec des personnes classées comme en surpoids ou obèses (Carof, 2015). Parallèlement, le domaine du sport est structuré par des normes de performance, souvent associées à celles de la jeunesse, de la minceur et de la musculature. Plusieurs études ont exploré les effets des injonctions à la minceur, dans presque tous les sports et à tous les âges (cf. notamment Byrne & McLean, 2002). À la croisée de la médecine et du sport, l'APAP, produit des politiques de santé récentes, s'est développée en France en lien avec les politiques liées à la nutrition (Boubal, 2018), à savoir les plans successifs de « politique nationale de nutrition et de santé » et leur accent sur la « prévention de la sédentarité » et la promotion de l'activité physique (Clément, Genolini, 2010). La communication et les slogans utilisés semblent viser particulièrement les « corps gras », qui sont progressivement associés à des modes de vie malsains (Vigarello, 2013), tandis que la construction de l'obésité comme problème social se renforce (Grossetête, 2015), en France comme dans d'autres pays occidentaux (Stern, 1997 ; Rail, 2012 ; Wright, Harwood, 2012) . 1 Nous tenons à remercier les relecteurs pour leur lecture attentive et leurs suggestions, qui ont grandement contribué à améliorer notre analyse. Nous remercions également E. Rowley-Jolivet pour son travail de relecture.Informations sur le collectif PrescAPP : www.msh-lse.fr/projets/prescapp/Auteurs correspondants pour cet article : Marie-Amélie Lauzanne, Julie Thoma