Cette thèse traite de la theorie de la preuve pour les logiques a points fixes, telles que le μ-calcul, lalogique lineaire a points fixes, etc. ces logiques sont souvent munies de systèmes de preuves finitairesavec des règles d’induction à la Park. Il existe néanmoins d’autres sytèmes de preuves pour leslogiques à points fixes, qui reposent sur la notion de preuve infinitaire, mais qui sont beaucoupmoins developpés dans la litterature. L’objectif de cette thèse est de pallier à cette lacune dansl’état de l’art, en developpant la théorie de la preuve infnitaire pour les logiques a points fixes,avec deux domaines d’application en vue: les langages de programmation avec types de données(co)inductifs et la vérification des systèmes réactifs.Cette thèse contient trois partie. Dans la première, on rappelle les deux principales approchespour obtenir des systèmes de preuves pour les logiques à points fixes: les systèmes finitaires avecrègle explicite d’induction et les systèmes finitaires, puis on montre comment les deux approchesse relient. Dans la deuxième partie, on argumente que les preuves infinitaires ont effectivement unréel statut preuve-theorique, en montrant que la logique lineaire additive multiplicative avec pointsfixes admet les propriétés d’élimination des coupures et de focalisation. Dans la troisième partie,on utilise nos developpements sur les preuves infinitaires pour monter de manière constructive lacomplétude du μ-calcul lineaire relativement à l’axiomatisation de Kozen. / The subject of this thesis is the proof theory of logics with fixed points, such as the μ-calculus,linear-logic with fixed points, etc. These logics are usually equipped with finitary deductive systemsthat rely on Park’s rules for induction. other proof systems for these logics exist, which relyon infinitary proofs, but they are much less developped. This thesis contributes to reduce thisdeficiency by developing the infinitary proof-theory of logics with fixed points, with two domainsof application in mind: programming languages with (co)inductive data types and verification ofreactive systems.This thesis contains three parts. In the first part, we recall the two main approaches to theproof theory for logics with fixed points: the finitary and the infinitary one, then we show theirrelationships. In the second part, we argue that infinitary proofs have a true proof-theoreticalstatus by showing that the multiplicative additive linear-logic with fixed points admits focalizationand cut-elimination. In the third part, we apply our proof-theoretical investigations to obtain aconstructive proof of completeness for the linear-time μ-calculus w.r.t. Kozen’s axiomatization.

L’imagerie RSO circulaire aéroportée permet d’obtenir de nombreuses informations sur les zones imagées et sur les cibles mobiles. Les objets peuvent être observés sous plusieurs angles, et l’illumination continue d’une même scène permet de générer plusieurs images successives de la même zone. L’objectif de cette thèse est de développer une méthode de reconstruction de trajectoire de cibles mobiles en imagerie RSO circulaire monovoie, et d’étudier les performances de la méthode proposée. Nous avons tout d’abord mesuré les coordonnées apparentes des cibles mobiles sur les images RSO et leur paramètre de défocalisation. Ceci permet d’obtenir des informations de mouvement des cibles, notamment de vitesse et d’accélération. Nous avons ensuite utilisé ces mesures pour définir un système d’équations non-linéaires permettant de faire le lien entre les trajectoires réelles des cibles mobiles et leurs trajectoires apparentes. Par une analyse mathématique et numérique de la stabilité de ce système, nous avons montré que seul un modèle de cible mobile avec une vitesse constante permet de reconstruire précisément les trajectoires des cibles mobiles, sous réserve d’une excursion angulaire suffisante. Par la suite, nous avons étudié l’influence de la résolution des images sur les performances de reconstruction des trajectoires, en calculant théoriquement les précisions de mesure et les précisions de reconstruction qui en découlent. Nous avons mis en évidence l’existence théorique d’une résolution azimutale optimale, dépendant de la radiométrie des cibles et de la validité des modèles étudiés. Finalement nous avons validé la méthode développée sur deux jeux de données réelles. / Circular SAR imagery brings a lot of information concerning the illuminated scenes and the moving targets. Objects may be seen from any angle, and the continuity of the illumination allows generating a lot of successive images from the same scene. In the scope of this thesis, we develop a moving target trajectory reconstruction methodology using circular SAR imagery, and we study the performances of this methodology. We have first measured the apparent coordinates of the moving targets on SAR images, and also the defocusing parameter of the targets. This enables us to obtain information concerning target movement, especially the velocity and the acceleration. We then used these measurements to develop a non-linear system that makes the link between the apparent trajectories of the moving targets and the real ones. We have shown, by a mathematical and numerical analysis of the robustness, that only a model of moving target with constant velocity enables us to obtain accurate trajectory reconstructions from a sufficient angular span. Then, we have studied the azimuth resolution influence on the reconstruction accuracy. In order to achieve this, we have theoretically estimated the measurement accuracy and the corresponding reconstruction accuracy. We have highlighted the existence of an optimal azimuth resolution, depending on the target radiometry and on the validity of the two target models. Finally, we have validated the method on two real data sets on X-Band acquired by SETHI and RAMSES NG, the ONERA radar systems, and confirmed the theoretical analyses of its performances.

La mésentéricine Y105 est une bactériocine de sous-classe IIa produite par Leuconostoc mesenteroides Y105. Pour comprendre le mécanisme de l'activité anti-Listeria de ce peptide et plus généralement des bactériocines de classe IIa, l'étude des relations existant entre la structure et la fonction de ce peptide a été envisagée. Dans ce but, une collection de mésentéricines Y105 modifiées au niveau d'un résidu a été produite. Afin d'obtenir ces dérivés de bactériocine, une méthode de mutagenèse aléatoire par PCR a été mise en place pour générer des séquences d'ADN, codant la bactériocine mature, modifiées sur un seul codon. Dans un deuxième temps, une méthode de production hétérologue de ces peptides mutés a été développée en utilisant d'une part un vecteur portant les gènes de structure des bactériocines, et d'autre part, un vecteur permettant l'expression de l'immunité et du transport de ces peptides. Un outil de production universelle de peptide a été élaboré. L'étude de l'impact des mutations sur l'activité antagoniste, la structure secondaire (analysée par dichroïsme circulaire en présence de trifluoroéthanol ou de micelles de lysophosphatidylcholine), la structure tridimensionnelle (prédite) et l'interaction de la mésentéricine Y105 avec des environnements mimant les membranes cibles (méthode d'extinction de la fluorescence intrinsèque du tryptophane) a été réalisée. Enfin, une analyse par résonance magnétique nucléaire (RMN) a été effectuée sur la bactériocine sauvage pour déterminer sa structure tridimensionnelle. De l'ensemble de ces données, un modèle d'action est proposé pour la mésentéricine Y105, ce modèle peut être étendu aux bactériocines de structure proche.

Certaines protéines, appelées protéines amphitropiques, sont solubles en milieux aqueux et capables de se lier aux membranes pour leurs activités biologiques. Ces protéines apparaissent comme d'excellents modèles pour la compréhension des principes généraux de stabilité et de repliement des protéines membranaires intrinsèques. L'α-lactalbumine et l'apo-myoglobine ont été choisies comme modèles de protéines amphitropiques. Nous proposons une étude exhaustive des facteurs qui influencent la liaison aux membranes de ces deux protéines telles que le pH, la présence de cofacteurs, la force ionique, la charge et la courbure des membranes. Une description macroscopique des mécanismes de liaison a été entreprise par des expériences de centrifugation et de fluorescence. Enfin, la structure et la stabilité des états liés aux membranes ont été sondées par des expériences d'échanges hydrogène/deutérium (H/D).<br />L'état conformationnel de l'α-lactalbumine liée aux membranes s'est révélé très dépendant de la courbure membranaire. Nous avons identifié deux hélices amphiphiles qui sont directement impliquées dans les interactions α-lactalbumine-lipides. D'autre part, nos expériences d'échanges H/D permettent une description thermodynamique de la liaison à la membrane. Dans le cas de l'apo-myoglobine, nos résultats suggèrent un mécanisme commun d'insertion membranaire pour les protéines qui possèdent une topologie de type globine. Par ailleurs, la liaison de l'apo-myoglobine aux membranes ne semble pas nécessaire pour la fonction biologique de cette protéine. Une description des structures membranaires de l'apo-myoglobine a été entreprise par des expériences d'échanges H/D suivies par spectrométrie de masse.

Les facteurs de transcription NikR et FUR sont impliqués dans l'homéostasie des métaux. Les propriétés de métallation et de liaison à l'ADN de NikR d'E.coli (Ec) et d'H.pylori (Hp) ont été comparées. EcNikR, protéine tétramérique, lie 8 nickels par sous unité dont un nickel dans un site dit de haute affinité ayant un Kd submicromolaire. Les autres sites métalliques, de plus basse affinité, sont impliqués dans le processus l'agrégation Ni- et pH-dépendant. HpNikR, partage des propriétés de métallation avec EcNikR, dont la liaison possible de différents métaux dans son site de haute affinité (Cu(II), Ni(II), Co(II)). Les 4 sites de haute affinité de cette protéine semblent égaux 2 à 2. La métallation des premiers sites faciliterait une « fermeture de la protéine » permettant la métallation des deux derniers sites. La métallation de ces 4 sites semble suffire pour qu'HpNikR puisse lier l'ADN.<br />Cependant cette liaison serait améliorée en présence d'un métal stabilisateur dans d'autres sites. Selon les séquences opératrices, le métal et la technique employée, l‘affinité d'HpNikR métallée pour l'ADN varie. En présence d'un excès de Ni(II), HpNikR se lie à pureA et à pnixA avec un Kd de 2,5 et 1,7 nM mais se lie faiblement à pnikR et pexbB. En présence d'un excès de Ni(II) puis de Mn(II), HpNikR se lie à pnikR et à pexbB avec un Kd de 38 et 24 nM. FUR d'H.pylori (HpFUR), un métallorégulateur Fe dépendant, a aussi été caractérisé dans le but d'étudier sa co-régulation avec HpNikR de la région intergénique nikR-exbB. HpFUR est dimérique et contient au moins deux sites métalliques : un site structural et un site de régulation permettant l'activation pour la liaison à l'ADN.

Grâce aux progrès réalisés ces dernières années dans la conception de réseaux intelligents, tels que les réseaux centrés sur la personne (WBAN) ou les réseaux sans fils de proximité (WPAN), de nouveaux types d'applications émergent et utilisent des capteurs d'informations capables de relever les paramètres physiologiques, environnementaux et plus particulièrement le positionnement des personnes. Dans ce cadre, nous nous sommes attachés dans ce travail de recherche à la conception et la réalisation d'antennes en polarisation circulaire pouvant être intégrées dans des vêtements, pour les standards de géolocalisation européen Galiléo et Américain GPS. Nous avons utilisé pour ces antennes des structures métamatériaux de type conducteurs magnétiques artificiels, afin d'augmenter les performances en rayonnement et pour diminuer le couplage avec et le corps humain. Une autre voie explorée est l'utilisation d'antennes patchs qui sont de nature faible encombrement. La bande de fréquence du standard de communications par satellite Iridium étant très proche du standard de géolocalisation GPS, nous avons trouvé intéressant de développer une solution de type patch couvrant les deux bandes GPS (1,575 GHz) et Iridium (1,621 GHz). L'antenne devant être intégrée sur une boite crânienne, les niveaux de débit d'absorption spécifique et les modifications du rayonnement sous conformation de l'antenne ont également été étudiés. L'évolution de ce travail a été ensuite d'étudier le comportement de cette antenne posée sur le dessus d'un casque militaire français. Les performances en rayonnement ont été satisfaisantes et ont montré la possibilité d'une telle application.

Cette thèse s’inscrit dans le cadre du projet collaboratif FUI VEADISTA. Le but de ce projet est le développement d’une solution technologique à bas coût pour la veille à distance de personnes fragiles. Cette thèse se focalise sur la conception d’antennes lecteur et d’une étiquette RFID UHF posée sur le corps humain. Deux objectifs principaux sont visés dans ces travaux de thèse. Le premier aborde la conception d’antennes pour lecteurs RFID, le second aborde la conception d’une antenne large bande, pour une étiquette RFID, adaptée au corps humain. Les objectifs à atteindre pour l’antenne lecteur sont : un champ rayonné à polarisation circulaire, un gain élevé, faible coût de fabrication et faible épaisseur. Pour atteindre ces objectifs, une topologie d’anneau fente miniaturisé par une méthode itérative de repliement d’anneau associée à un réflecteur incluant un AMC à cellules élémentaires réduites sont employés. Le second objectif de la thèse est la conception d’une antenne large bande, pour une étiquette RFID, capable de minimiser l’influence du corps humain sans sacrifier la distance de lecture tout en restant faible coût. Un modèle électromagnétique d’avant-bras humain est utilisé comme support de conception de l’antenne tag large bande. Enfin le système RFID complet incluant, l’étiquette, l’antenne lecteur et le lecteur RFID ont fait l’objet de tests fonctionnels pour préparer les tests cliniques sur patient. / This thesis was initiated within the VEADISTA project. The main goal of this project was to develop a cost effective technological remote care system for fragile person. The main focus of this thesis is on antenna design for RFID reader and also for RFID tags in contact with human body. For the reader antenna the criteria are: a circularly polarized radiated field, high gain, cost effectiveness and small thickness. To achieve these objectives, a miniaturized slot ring topology obtained by an iterative method of ring folding associated with a reflector including a reduced unit cells AMC are used. For the tag the objective is to design a broadband antenna, by minimizing the influence of human body without affecting the reading scope. The tag is needed to also be cost effective. An electromagnetic model of human forearm is used as the broadband tag antenna design support. Ultimately, the functionality of the complete system including a tag and a reader have been tested.

La thèse explore les potentiels d’utilisation des terres de déblais comme matériau de construction et examine la pertinence d’une valorisation de cette ressource pour une construction soutenable dans le contexte français actuel avec un focus plus particulier sur la région parisienne. Elle s'articule autour d'une double question qui s’inscrit dans le cadre de la transition écologique des milieux habités : est-t-il pertinent de transformer les terres d’excavation générées par les chantiers des grands centres urbains en ressource pour l’architecture et quels potentiels offrent-elles pour la construction de la ville durable? La croissance des grandes villes entraine chaque année la production de millions de tonnes de terres de déblais qui sont issues des terrassements nécessaires à la construction de nouveaux immeubles ou extraites lors de la création d’infrastructures de transport (tunnels, gares, routes, …). À lui seul, le chantier du Grand Paris Express « devrait peser de 30 à 40 millions de tonnes » de terres d’excavation qui seront principalement acheminées par péniches en dehors de Paris pour être stockées ou enfouies dans des sites adaptés. Ce processus représente un coût financier, énergétique et écologique phénoménal et l’enfouissement d’une ressource pourtant potentiellement utilisable, d’où l’intérêt de s’interroger sur les possibilités d’utilisation de ces terres comme matériau de construction. Au commencement de cette thèse en 2015, peu de recherches et encore moins de pratiques portaient sur ce sujet. Or, dès les premières rencontres, les acteurs ont exprimés leur intérêt pour cette possible valorisation des terres de déblais comme ressource. Il était donc temps, d’une part, de faire le point sur les connaissances scientifiques concernant la matière terre, les pratiques actuelles en architecture de terre et les professionnels spécialistes de la construction en terre. D’autre part, il s’agissait de décrypter le contexte et le système des acteurs des terres d’excavation sur le territoire du Grand Paris. Enfin, la présence d’acteurs motivés sur le Grand Paris a facilité la réflexion prospective sur le potentiel d’utilisation de ces terres en architecture, y compris en ayant la possibilité d’en observer les premiers résultats concrets. / This thesis explores the potentials of using excavated earth as a building material and examines the relevance of a valorization of this resource for sustainable buildings in the actual French context with a more particular focus on the Parisian region. It is structured around a double question within the framework of the ecological transition of the inhabited environment: is it relevant to transform the excavated earth of the construction sites of major urban centers into a resource for architecture and which are the potentials for the construction of a sustainable city ?The growth of big cities is generating millions of tons of excavated earth yearly, issued from the necessary earthworks for the construction of new buildings or excavated during the creation of transport infrastructures (tunnels, railway stations, roads,…). On is own, the Grand Paris Express construction site « should generate 30 to 40 millions of tons »[1] of excavated earth that will be principally shipped by barges out of Paris to be stocked or buried in adapted sites. This process has a huge financial, energetical and ecological cost, and a potential usable resource is buried, hence the importance of the question on the possibilities of using this earth as a building material.At the beginning of this thesis in 2015, few researches and even less practices had been done on the subject. But, ever since the first meetings, the actors expressed their interest for the possible valorization of the excavated earth as a resource.On one hand, it was time to make an inventory of the scientific knowledges of the material earth, the current practices in earthen architecture and the professional earthen building specialists. On the other hand, it was necessary to decrypt the context and the system of actors around the excavated earth in the Grand Paris territory. Finally, the presence of motivated actors in the Grand Paris has facilitated the prospective reflection on the potential use of these earths in architecture including having the opportunity to observe the first concrete results.

Les travaux présentés dans cette thèse portent sur la définition du paradigme de régénération issu des principes du développement durable et de l’économie circulaire. L’idée est de limiter l’épuisement des ressources de la sphère naturelle en exploitant les gisements de «déchets» de la sphère technique et en diminuant la production de déchets. La notion de régénération émerge d’une analogie entre la sphère naturelle et la sphère technique, et fait apparaitre les concepts de «nutriments» et de «décomposeurs». Le concept de nutriment permet de revisiter la fin de vie d’équipements domestiques ou industriels, en les voyant comme des nutriments techniques capables de nourrir certaines filières industrielles après transformation. Ces transformations sont opérées par des décomposeurs dans le milieu naturel, et des régénérateurs dans le milieu industriel. Quatre types de régénérateurs ont été définis. Pour chaque type de régénérateurs, des exigences sur le produit devant être satisfaites par les produits «déchets» sont identifiées afin d’assurer la régénération de ces produits. D’autres exigences ont été définies au niveau du processus de régénération pour spécifier les actions de régénération. Ces deux types d’exigences doivent être maintenus tout au long du cycle de vie du produit. La maintenance a été identifiée comme le processus fondamental pour surveiller et maintenir au travers du temps la capacité de régénération et ainsi prolonger la durée de vie des produits. Lorsque les régénérateurs mettent en place une stratégie de régénération, il est nécessaire d’évaluer sa faisabilité. Nous avons donc proposé un outil d’aide à la décision, en modélisant d’une part le comportement du produit au cours de son cycle de vie, ainsi que le comportement des régénérateurs, et d’autre part l’effet des exigences sur le produit et sur le processus. Les modèles choisis sont les System Dynamics qui permettent la modélisation et la simulation des interactions entre les variables d’un système complexe. Cet outil d’aide à la décision permet d’éprouver les propositions de la thèse, au tour d’un exemple de régénération d’un D3E / This thesis is dedicated to the regeneration paradigm from the principles of sustainable development and circular economy. The intention is to limit the exhaustion of natural resources and to reduce waste production through exploiting “waste” deposits of technosphere. The notion of regeneration emerges from an analogy between the natural and technical sphere. It brings to light the concepts of “nutrients” and “decomposers”. The nutrient concept enables to revisit the end of life of domestic or industrial equipment. These equipment are seen as technical nutrients that can feed industrial sectors. The regenerators, called decomposers in nature, are intermediates processors to process “waste” in technical nutrients. Four regenerators have been identified. For each regenerator, product requirements are identified to ensure the regeneration of “waste” product. Additional requirements have been defined in the regeneration process to specify regeneration actions. These two types of requirements must be maintained throughout the product lifecycle. Maintenance process has been identified as fundamental industrial process to monitor and maintain over time the regeneration capability of a product. When regenerators implement a regeneration strategy, it is necessary to assess its feasibility. That is why we proposed a decision- making tool by modeling the product’s behavior during its lifecycle and the regenerator’s behavior, and the effect of the requirements on the product and process. The selected models are System Dynamics. These models allow the modeling and simulation of interactions between the variables of a complex system. The decision-making tool allow test the proposals of this thesis through a regeneration example of an electronic waste

Ces travaux de thèse s’intéressent à une stratégie de fin de vie naissante : le repurposing. Nous le définissons comme un processus industriel par lequel des produits en fin d’usage sont réutilisés dans des applications distinctes. À la fin de leur premier usage, les produits sont réintégrés dans la chaine industrielle en vue d’une nouvelle utilisation dans une autre application. On parle également d’utilisations en cascade. Le but avoué est la conservation de la valeur-ajoutée des produits, aussi longtemps que possible. Cette stratégie s’inscrit aux côtés d’autres stratégies de réutilisation plus connues telles que le réemploi et le remanufacturing.L’illustration principale de la littérature, qui constitue également notre terrain d’étude, concerne les batteries au lithium. Utilisées initialement dans les véhicules électriques, elles sont aujourd’hui recyclées lorsque leurs capacités de stockage diminuent de 20 à 30%. Prolonger leur durée de vie par une seconde application, e.g. un usage stationnaire, permettrait de différer les étapes de recyclage tout en maximisant le maintien de la valeur ajoutée lors de la fabrication. Malgré ces avantages, les exemples de transformations de produits pour des applications en cascade restent à l’état de démonstrateurs, en particulier parce qu’aujourd’hui ces produits et leur chaine de valeur ne sont pas conçus avec des stratégies supportant leur réutilisation.L’objectif de ces travaux est d’apporter aux équipes de conception une vision claire de ce qu’est la stratégie de réutilisation en cascade, de comment l’intégrer lors des étapes amont du processus de conception et de guider l’évaluation environnementale correspondante, afin de les accompagner pour une réelle industrialisation des produits repurposés. En ce sens, nous émettons trois propositions.La première consiste en une classification des caractéristiques propres aux solutions en cascade selon trois axes : le produit, le processus de (re)fabrication et le modèle d’affaire envisagé. À travers ce cadre, nous décrivons les dimensions et les caractéristiques des offres de produits repurposés. Elles sont alors utilisables pour l’établissement de compromis dès les phases amont de conception. Celles-ci sont issues d’une étude bibliographique couplée à des études de terrain.Notre deuxième proposition concerne le processus de conception de tels produits. En effet, plusieurs spécificités sont à prendre en compte en comparaison d’une activité de conception classique : récupération du produit en fin d’usage, applications ultérieures pas ou peu définies, besoins flous, usage influençant les performances, etc. Une étape de conception pour les produits repurposés devra donc être intégrée en amont du processus de repurposing afin d’optimiser les solutions ultérieures. En complément, plusieurs recommandations pour la conception d’un produit repurposé sont formulées. Intégrées au plus tôt, elles visent à faciliter la réutilisation des produits en tenant compte des parties-prenantes, des phases du cycle de vie, des aspects temporels et en gérant mieux l’information.Enfin, un cadre générique structurant la réalisation d’analyses du cycle de vie de ces solutions est proposé. Les ACVistes pourront ainsi plus facilement tenir compte des spécificités de ces stratégies, car la complexité des modélisations ACV pour les produits aux applications en cascade nécessite davantage de rigueur et de précision que pour des produits à application unique. Pour supporter ce cadre, trois recommandations à destination des équipes de conception sont émises. Elles permettent la formalisation d'éléments de contexte pour améliorer la comparaison avec d’autres études et d’informations en vue des analyses de sensibilité.Ces trois propositions sont implémentées sur deux cas d’étude ‘batterie’, au cours de séances de travail regroupant des parties-prenantes de l’ensemble du cycle de vie : commanditaire, équipes de conception, logisticiens, recycleur, etc. / This PhD dissertation focuses on an innovative end-of-life strategy: repurposing. We define ‘repurposing’ as a manufacturing process through which products nearing their end-of-life are reused in different applications. At the end of their intended use, products are reintegrated into the manufacturing chain and adapted for their next application. We also refer to this strategy as cascading application reuse (CAR). The main purpose of CAR is the preservation of the added-value of such products. This strategy is in line with other reuse strategies such as direct reuse and remanufacturing.The central illustration in our case study addresses lithium-ion batteries used in electric vehicles, which are recycled when the battery’s charging capacity falls below 80%. Extending the component lifespan with a second application, e.g. stationary application, postpones introduction into the waste stream, retaining the added-value from the original manufacturing process. Despite these advantages, examples of product adaptation for CAR remain at a proof-of-concept scale - currently these products and their value chains are not yet designed with strategies supporting reuse.The objective of this research is to provide a clear vision to design teams about repurposing strategies, how to integrate the strategies during the upstream stages of the design process and how to facilitate the corresponding lifecycle assessment. The objective is to support designers during the manufacturing of repurposed products. We make three proposals.The first consists of classifying the characteristics specific to the repurposing strategy according to three axes: the product, the (re)manufacturing process and the business model. Through this framework, we describe the dimensions and characteristics of what the repurposed product offers, which are integral during the design activity. These attributes are the result of a study of the relevant literature coupled with several field investigations.Our second proposal concerns the design process for such products. Indeed, several differences with classical design practices appear: the need for product recovery at the end of use, subsequent applications and needs not fully defined, which affect performance, etc. A design stage for repurposed products must therefore be integrated before subsequent applications in order to optimise redesign solutions. Integrated as early as possible, they aim to facilitate product reuse by taking into account stakeholders, life cycle phases, time aspects and better information management.Finally, a generic framework structuring the carrying out of life cycle analyses of repurposing is proposed. This will simplify the inclusion of their specificities for life cycle assessments (LCA) practitioners. Indeed, the complexity of LCA modelling for cascading applications products requires more rigour and precision than single application products. To support this framework, three recommendations for design teams are made, the objective of which is to better formalise the information from the design process. These recommendations support the formalisation of contextual elements to improve comparison with other studies and the organisation of information for sensitivity analyses.These three proposals are implemented on two battery case studies, during working sessions involving stakeholders representing the complete life cycle: sponsor, design teams, logisticians, recycler, etc.