Avec le renforcement des pressions réglementaires en matière de traitement des produits en fin de vie, les entreprises se trouvent obligées de s'engager dans une démarche environnementale. Pour répondre à cette contrainte, il faut intégrer les critères de valorisation dès la phase de conception. Les choix de conception doivent d'être plus adaptés aux spécificités des scénarios de valorisation et de désassemblage. L'intégration du désassemblage en fin de vie en conception du produit, s'est traduite par l'évaluation des prototypes ou au mieux par l'évaluation des modèles géométrique de CAO. Par conséquent, le champ de questionnement de ces travaux de recherche porte sur des outils permettant aux concepteurs d'améliorer la désassemblabilité et la recyclabilité de leurs produits. La question des méthodes et des outils d'aide à la conception pour le désassemblage est ici plus particulièrement abordée dans la phase de conception détaillée. Nos observations et nos analyses montrent que le désassemblage en phase amont de conception nécessite parfois de remettre en cause certains dispositifs traditionnels. Par conséquent, ce mémoire contribue à l'intégration des contraintes de désassemblage et de recyclage dès les premières phases de conception de produits. Dans un premier temps nous identifions les différents outils et modèle de DfD, et montrons le manque méthodologique au niveau de la phase conceptuelle de la conception. Pour complet ce manque, nous proposons par la suite un modèle minimal intégrant des outils de représentation des données du produit à partir des modèles d'analyse fonctionnelles et des contraintes de valorisation en fin de vie: BDS, les composants principaux, estimation massique, matériaux et scénarios de valorisation. Une séquence optimale de désassemblage est alors définie. Cette séquence représente dans notre démarche l'objectif à atteindre par les concepteurs. Finalement, nous proposons un outil d'évaluation constitué de trois indicateurs: structure; liaison et matériaux, intégrant aussi une méthode d'agrégation et un tableau de bord pour l'interprétation des résultats. Ainsi, cet outil est dédié au pilotage d'un projet de conception dans une logique de respect des contraintes de valorisation en fin de vie.

Nous généralisons la dualité de Koszul des algèbres et des opérades aux PROPs. Alors que les opérades sont des objets algébriques qui représentent les opérations à plusieurs entrées et une seule sortie sur les différents types d'algèbres, les PROPs modélisent les opérations à plusieurs entrées et plusieurs sorties agissant sur des structures algébriques telles que les bigèbres et les bigèbres de Lie. Nous introduisons un nouveau produit monoidal qui décrit les compositions entre ces opérations et nous restreignons notre étude à la partie connexe de chaque PROP, que nous appelons "propérade", par analogie avec les opérades. Nous généralisons aux propéades les différents objets homologiques associés aux algèbres et aux opérades comme les bar et cobar constructions, les modules et les propérades quasi-libres. Pour une propérade (resp. un PROP) donnée, nous construisons une copropérade (resp. un coPROP) dual ainsi qu'un complexe de Koszul dont l'acyclicité est un critère qui permet de déterminer si la cobar construction fournit une résolution quasi-libre, appelée modèle minimal, de la propérade (resp. du PROP) de départ. Pour démontrer ce théorème, nous introduisons une graduation supplémentaire qui provient ici des différents foncteurs analytiques engendrés par le produit monoidal. Cette théorie nous permet de définir des notions de "bigèbres" à homotopie près, sur un PROP de Koszul. Cette notion est l'équivalente au niveau des "bigèbres" de celle d'algèbre à homotpie près, qui est très importante en topologie algèbrique.