Le contrôle de systèmes industriels à cause de l’automatisation et la réduction de nombre des opérateurs devient un enjeu crucial. Les systèmes de production automatisés (AMS) sont d’autant plus touchés car une défaillance du programme de contrôle peut réduire considérablement la productivité voire entraîner l’arrêt du système de production. Pour certains de ces systèmes où le partage des ressources est pondérant, la notion de blocage partiel ou global est fréquente et la validation avant implantation est préférable pour réduire les risques.En raison de la capacité des réseaux de Petri à décrire aisément l’exécution concurrente des processus et le partage des ressources, de nombreuses méthodes de vérification d’absence de blocage et de synthèse de contrôleurs basées sur la théorie structurelle ou le graphe d’accessibilité des réseaux de Petri ont été proposées au cours des deux dernières décennies.Traditionnellement, une méthode de prévention de blocage est évaluée selon trois critères de performance: la complexité structurelle, la permissivité comportementale, et la complexité de calcul. Les méthodes fondées sur l’espace d’état aboutissent généralement à un contrôle maximal permissif mais souffrent de l'explosion combinatoire de l'espace d'états. En revanche, les méthodes de synthèse de contrôleurs fondées sur l’analyse structurelle évitent le problème de l’explosion de l’espace d’état mais aboutissent à des superviseurs pouvant restreindre considérablement les comportements admissibles du système. De plus si la théorie structurelle de contrôle de siphons pour la synthèse des superviseurs est mature dans le cas des réseaux de Petri ordinaires, elle est en développement pour les réseaux de Petri généralises. Par ailleurs, la plupart des travaux existants partent du principe que les ressources sont constamment disponibles. Or l’indisponibilité de ressources est en réalité un phénomène ordinaire. Il serait donc judicieux de développer une politique de vérification de blocage qui soit efficace tout en considérant des ressources non fiables.Cette thèse vise principalement à faire face aux limitations mentionnées ci-dessus. Nos principales contributions à la fois théoriques et algorithmiques sont les suivantes.Premièrement, après avoir revisité les conditions de contrôlabilité des siphons (cs–propriété) et précisé les limitations de la max cs- propriété et max’ cs- propriété, nous définissons la max’’ cs-propriété et nous démontrons que cette nouvelle propriété est une condition non seulement suffisante mais aussi nécessaire pour la vivacité de la classe des GS3PR (Generalized Systems of SimpleSequential Processes with Resources).Par la suite nous montrons comment le problème de la vérification de cette propriété et donc la vivacité des GS3PR peut se ramener à la résolution d’un programme linéaire en nombre entiers.Dans une seconde partie, nous proposons une classe de réseaux de Petri appelée M-Nets dotée d’une forte capacité de modélisation des systèmes de production automatisés. En combinant la théorie du contrôle siphon avec la théorie des régions, nous développons une méthode de prévention de blocage ayant un bon compromis entre l'optimalité du comportement et la complexité de calcul. De plus, nous proposons une méthode de synthèse d'un contrôleur maximal permissif pour une sous-classe de réseaux notée b-nets.Enfin, nous proposons dans cette thèse une méthode de conception d’un superviseur de systèmes de production automatisés où les ressources ne sont pas toutes fiables et particulièrement efficace pour la classe des S3PR (Systems of Simple Sequential Processes with Resources). / Because of automation and reduction of the number of operators, the control of industrial systems is becoming a critical issue. For automated manufacturing systems (AMS) where resource sharing is preponderant, the notion of partial or total blocking is frequent and validation before implementation is preferable to reduce the risks.Due to the easy and concise description of the concurrent execution of processes and the resource sharing by Petri nets, many methods to verify deadlock-freeness and to synthesize controllers using structural theory or reachability graph have been proposed over the past two decades.Traditionally, a deadlock control policy can be evaluated by three performance criteria : structural complexity, behavioral permissiveness, and computational complexity. Generally, deadlock control policies based on the state space analysis can approach the maximal permissive behavior, but suffer from the state explosionproblem. On the contrary deadlock control policies based on the structural analysis of Petri nets avoid in general the state explosion problem successfully, but cannot lead to the maximally or near maximally permissive controller. Morover, the current Deadlock control theory based on siphons is fairly mature for ordinary Petri nets,while for generalized Petri nets, it is presently at an early stage.On the other hand, most deadlock control policies based on Petri nets for AMS proceed on the premise that the resources in a system under consideration are reliable. Actually, resource failures are inevitable and common in most AMS, which may also cause processes to halt. Therefore, it is judicious to develop an effective and robust deadlock control policy considering unreliable resources.This thesis aims to cope with the limitations mentioned above. Our main theoretical and algorithmic contributions are the following. Firstly, after revisiting the controllability conditions of siphons and limitations of max and max' controlled-siphon properties, we define the max'' cs property and we prove that this new cs-property is not only sufficient but also a necessary liveness condition forgeneralized systems of simple sequential processes with resources (GS3PR). Moreover, we show how the checking of this property and hence liveness of GS3PR nets can be translaled into resolution of an integer programming (IP) model.Secondly, we propose a class of manufacturing-oriented Petri nets, M-nets for short, with strong modeling capability. Combining siphon control and the theory of regions, we develop a deadlock prevention method that makes a good trade-off between behavioral optimality and computational tractability Moreover, this thesis proposes a maximally permissive control policy for a subclass of Petri nets (calledBéta-nets) based on the token distribution pattern of unmarked siphons.Finally, we propose a designs method for robust liveness-enforcingsupervisors for AMS with unreliable resources appropriate in particular for systems of simple sequential processes with resources(S3PR)

Cette thèse d'Études rurales en Géographie-Environnement est consacrée à l' "insertion de la caféiculture dans les structures de production en Guinée Forestière". Introduite dans les systèmes de production paysans par les colons entre 1902 et 1920, la caféiculture a évolué sous l'influence des contextes socioéconomiques, politiques et démographiques variés. Sa dynamique spatiale se présente comme un paradoxe. Les superficies de cultures pérennes à base du café augmentent en effet au détriment des cultures vivrières à base du riz, cependant les rendements et revenus de ces plantations (désormais individuelles) restent généralement faibles. La reconversion de ces parcelles de café en d'autres systèmes de cultures pérennes ou vivrières est rare . Or, il existe d'autres cultures (le palmier à huile amélioré, l'hévéa etc.) plus rentables aujourd'hui que le caféier. Les ressources foncières s'amenuisent dans un contexte de forte croissance de la population régionale qui se situe à 4,3% par an contre 3,1% pour le pays. Cette population vit essentiellement d'une agriculture extensive. L'insécurité foncière s'accroît à travers des conflits complexes parce que l'application en milieu rural du code foncier moderne promulgué en 1992 reste encore limitée. Ainsi, en vue de maximiser la rentabilité des parcelles, les paysans privilégient la polyculture sur les coteaux, en association avec le café. Pour les jeunes, ce choix s'inscrit souvent dans le cadre du processus de leur autonomisation. Cette thèse montre qu'au-delà de sa rentabilité économique, c'est surtout le besoin de sécurisation foncière qui détermine le choix de la culture caféière par la plupart des paysans.

Les travaux présentés dans ce mémoire apportent une contribution à la configuration des systèmes de production en contexte incertain. Les différents outils permettant d'appréhender l'incertain en optimisation sont d'abord présentés. Nous insistons plus particulièrement sur la notion de robustesse à travers l'approche utilisée dans le cadre de nos travaux. Nous présentons ensuite deux applications : la configuration d'un atelier de machines partiellement multifonctions soumis à des incertitudes sur la demande et la configuration d'un réseau de distribution d'électricité soumis à des incertitudes sur les caractéristiques de puissance. Pour chaque application, nous identifions les perturbations prises en compte ainsi que les performances attendues en présence de ces perturbations. Nous proposons ensuite un critère de robustesse en adéquation avec cette problématique. Enfin des méthodes de résolution sont proposées pour appréhender les différents problèmes mis en évidence par ce critère.

Le contrôle de systèmes industriels à cause de l’automatisation et la réduction de nombre des opérateurs devient un enjeu crucial. Les systèmes de production automatisés (AMS) sont d’autant plus touchés car une défaillance du programme de contrôle peut réduire considérablement la productivité voire entraîner l’arrêt du système de production. Pour certains de ces systèmes où le partage des ressources est pondérant, la notion de blocage partiel ou global est fréquente et la validation avant implantation est préférable pour réduire les risques.En raison de la capacité des réseaux de Petri à décrire aisément l’exécution concurrente des processus et le partage des ressources, de nombreuses méthodes de vérification d’absence de blocage et de synthèse de contrôleurs basées sur la théorie structurelle ou le graphe d’accessibilité des réseaux de Petri ont été proposées au cours des deux dernières décennies.Traditionnellement, une méthode de prévention de blocage est évaluée selon trois critères de performance: la complexité structurelle, la permissivité comportementale, et la complexité de calcul. Les méthodes fondées sur l’espace d’état aboutissent généralement à un contrôle maximal permissif mais souffrent de l'explosion combinatoire de l'espace d'états. En revanche, les méthodes de synthèse de contrôleurs fondées sur l’analyse structurelle évitent le problème de l’explosion de l’espace d’état mais aboutissent à des superviseurs pouvant restreindre considérablement les comportements admissibles du système. De plus si la théorie structurelle de contrôle de siphons pour la synthèse des superviseurs est mature dans le cas des réseaux de Petri ordinaires, elle est en développement pour les réseaux de Petri généralises. Par ailleurs, la plupart des travaux existants partent du principe que les ressources sont constamment disponibles. Or l’indisponibilité de ressources est en réalité un phénomène ordinaire. Il serait donc judicieux de développer une politique de vérification de blocage qui soit efficace tout en considérant des ressources non fiables.Cette thèse vise principalement à faire face aux limitations mentionnées ci-dessus. Nos principales contributions à la fois théoriques et algorithmiques sont les suivantes.Premièrement, après avoir revisité les conditions de contrôlabilité des siphons (cs–propriété) et précisé les limitations de la max cs- propriété et max’ cs- propriété, nous définissons la max’’ cs-propriété et nous démontrons que cette nouvelle propriété est une condition non seulement suffisante mais aussi nécessaire pour la vivacité de la classe des GS3PR (Generalized Systems of SimpleSequential Processes with Resources).Par la suite nous montrons comment le problème de la vérification de cette propriété et donc la vivacité des GS3PR peut se ramener à la résolution d’un programme linéaire en nombre entiers.Dans une seconde partie, nous proposons une classe de réseaux de Petri appelée M-Nets dotée d’une forte capacité de modélisation des systèmes de production automatisés. En combinant la théorie du contrôle siphon avec la théorie des régions, nous développons une méthode de prévention de blocage ayant un bon compromis entre l'optimalité du comportement et la complexité de calcul. De plus, nous proposons une méthode de synthèse d'un contrôleur maximal permissif pour une sous-classe de réseaux notée b-nets.Enfin, nous proposons dans cette thèse une méthode de conception d’un superviseur de systèmes de production automatisés où les ressources ne sont pas toutes fiables et particulièrement efficace pour la classe des S3PR (Systems of Simple Sequential Processes with Resources). / Because of automation and reduction of the number of operators, the control of industrial systems is becoming a critical issue. For automated manufacturing systems (AMS) where resource sharing is preponderant, the notion of partial or total blocking is frequent and validation before implementation is preferable to reduce the risks.Due to the easy and concise description of the concurrent execution of processes and the resource sharing by Petri nets, many methods to verify deadlock-freeness and to synthesize controllers using structural theory or reachability graph have been proposed over the past two decades.Traditionally, a deadlock control policy can be evaluated by three performance criteria : structural complexity, behavioral permissiveness, and computational complexity. Generally, deadlock control policies based on the state space analysis can approach the maximal permissive behavior, but suffer from the state explosionproblem. On the contrary deadlock control policies based on the structural analysis of Petri nets avoid in general the state explosion problem successfully, but cannot lead to the maximally or near maximally permissive controller. Morover, the current Deadlock control theory based on siphons is fairly mature for ordinary Petri nets,while for generalized Petri nets, it is presently at an early stage.On the other hand, most deadlock control policies based on Petri nets for AMS proceed on the premise that the resources in a system under consideration are reliable. Actually, resource failures are inevitable and common in most AMS, which may also cause processes to halt. Therefore, it is judicious to develop an effective and robust deadlock control policy considering unreliable resources.This thesis aims to cope with the limitations mentioned above. Our main theoretical and algorithmic contributions are the following. Firstly, after revisiting the controllability conditions of siphons and limitations of max and max' controlled-siphon properties, we define the max'' cs property and we prove that this new cs-property is not only sufficient but also a necessary liveness condition forgeneralized systems of simple sequential processes with resources (GS3PR). Moreover, we show how the checking of this property and hence liveness of GS3PR nets can be translaled into resolution of an integer programming (IP) model.Secondly, we propose a class of manufacturing-oriented Petri nets, M-nets for short, with strong modeling capability. Combining siphon control and the theory of regions, we develop a deadlock prevention method that makes a good trade-off between behavioral optimality and computational tractability Moreover, this thesis proposes a maximally permissive control policy for a subclass of Petri nets (calledBéta-nets) based on the token distribution pattern of unmarked siphons.Finally, we propose a designs method for robust liveness-enforcingsupervisors for AMS with unreliable resources appropriate in particular for systems of simple sequential processes with resources(S3PR)

Cette thèse de doctorat constitue une première étude de synthèse de la céramique de cuisine (Brittle Ware), de l’époque romaine à l’époque omeyyade en Syrie. Cette recherche repose sur une approche méthodologique combinant un classement typologique des formes et un classement par groupes de pâtes. Le corpus étudié provient de plusieurs sites archéologiques de Syrie du nord, dont la céramique de cuisine est encore inédite et pour laquelle on ignore les centres de production (Apamée, Andarin, Alep et Dibsi Faraj). Ce travail a entrepris d’identifier le nombre d’ateliers et leur localisation, leur profil de production et leur aire de diffusion. Les objectifs sont de caractériser la production de Brittle Ware depuis la manufacture jusqu’aux contextes de consommation, L’étude chrono-typologique a permis de définir le répertoire de la Brittle Ware et de situer sa production entre l’époque hellénistique (3e av. J.-C.) et l’époque mamelouke (13e s. apr. J.-C.). Aux époques romaine, byzantine et omeyyade, un même assemblage formel, constituant un service de cuisine se diffuse dans toute la province antique de Syrie. Ce service de cuisine est constitué d’un pot à cuire haut et fermé qui devait servir aux liquides et aux bouillies, d’une casserole ouverte pour les plats mijotés et d’une cruche. L’analyse minéralogique et chimique des pâtes a identifié cinq groupes de pâte, correspondant à cinq zones de production. L’origine des matières premières exploitées a pu être localisée dans le nord-ouest de la Syrie, à proximité de l’Euphrate et dans le sud-ouest de la Syrie. L’étude des pâtes et des formes de Brittle Ware dans leur contexte géographique et chronologique a de surcroît montré que ces cinq sources d’argile correspondent à cinq centres de production. Les profils de ces centres de production ont pu être définis : leur durée d’activité et l’aire géographique de leur diffusion varie pour chacun d’entre eux. Quatre sont des ateliers syriens alors que le dernier semble être localisé plus au sud. Deux centres de production ont une diffusion supra-régionale (couvrant plusieurs zones géographiques). L’un diffuse ses produits de Syrie occidentale jusqu’à l’Euphrate et l’autre, moins attesté à l’est, constitue l’unique fournisseur de la ville d’Apamée. Les trois autres centres ont une distribution régionale. La plupart de ces ateliers partagent le même service de cuisine, témoignant de la transmission d’un savoir-faire technique et formel sur plusieurs générations. Alors qu’à l’époque hellénistique, on note sur quelques sites la présence d’une vaisselle culinaire différente, qui s’apparente aux traditions de l’Âge du Fer et de l’Âge du Bronze syrien, l’étude de la distribution de la Brittle Ware en Syrie révèle que celle-ci représente l’unique céramique de cuisine utilisée aux époques romaines et byzantines. En outre, les formes typiques de la Brittle Ware ne sont pas attestées en dehors des limites de la province antique de Syrie : en Cilicie, en Palestine ou à Chypre. Les céramiques culinaires des régions limitrophes de la Syrie constituent d’autres faciès régionaux qui partagent néanmoins des traditions formelles et techniques avec les productions de Brittle Ware. Ces autres faciès sont caractérisés par leurs répertoires typologiques spécifiques, par ailleurs inconnus en Syrie. Les cartes de distribution de la Brittle Ware et la comparaison avec les productions des régions limitrophes montrent par conséquent que la production de Brittle Ware représente un commerce à échelle supra-régionale, tourné essentiellement vers l’intérieur de la Syrie. Le fait que ce commerce ne dépasse pas les limites de la province, loin d’être un facteur négatif, indique que la production de Brittle Ware est suffisamment prospère pour défier la concurrence. L’étude des contextes de production de la Brittle Ware montre que cette catégorie de vaisselle, bien qu’utilitaire était l’objet d’une production de masse, diffusée à l’échelle d’une province et provenant sans doute de grands centres de production spécialisés. Cette recherche couvrant trois périodes historiques contribue à notre connaissance de l’économie syrienne, car elle illustre la pérennité des centres de production et de certains réseaux d’échange, depuis l’époque romaine jusqu’à la fin de l’époque omeyyade.

Ce travail de thèse s'attache à l'étude de l'artisanat du verre du second âge du Fer sous ses aspects économiques et sociaux. La méthode d'étude pluridisciplinaire développée a permis d'approcher les différentes étapes de production, de distribution et de consommation d'une production spécialisée, exclusivement dédiée aux ornements du corps. Les analyses élémentaires en LA-ICP-MS réalisées sur un corpus de plus de 700 objets montrent des évolutions dans les types de verres bruts utilisés par les verriers celtes et produits en Orient ainsi que dans les origines des matières premières. L'étude technologique utilisant l'ethnoarchéologie, l'expérimentation exploratoire des techniques et les études de collections, a conduit à une définition des savoir-faire moteurs et idéatoires impliqués dans la fabrication des parures en verre. La production nécessite l'importation de matières premières et la mobilisation d'artisans spécialisés. La définition et la description de ces savoir-faire montre une phase de simplification technique de la production qui pourrait être lié à une volonté de privilégier l'efficacité et le rendement pour répondre aux besoins d'une nouvelle clientèle. La reconstitution des étapes et des besoins de la production et de leurs évolutions a permis d'approcher les valeurs et les fonctions de signes des parures, redéfinissant ces objets comme des parures de luxe dont la production et consommation évoluent parallèlement à la hiérarchisation de la société laténienne. L'étude révèle une organisation de réseaux de biens, d'artisans et de structures de production, dédiés à la production d'objets de distinction et à des pratiques de consomma­tion ostentatoire. / This thesis aims to approach the Iron Age glass-making through a socio-economic perspective. To do so, a muldisciplinary method has been developed, combining archaeological data with archaeometrical and technological approaches. lt allowed us to reconstruct, step by step, the commodity chains analysis of this craft, only dedicated to jewelry produc­tions, from the raw material production, its transformation into items of adornments but also its distribution and its consumption processes by La Tène societies. The analysis on La Tène Glass characterization (done by LA-ICP-MS), including more than seven hundred glass abjects, permitted to distinguish sands from different origins used to make the imported natron base glass. It also highlighted different recipes according to the chemical features of the glasses. The technological approach, combining ethnoarchaeological and experimental referentials, shown the high-Ievels of expertise required to produce these objects. Moreover, glass abjects production required Near-Eastern raw material, implying transport over long distances and specialized and trained craftsmen. At the end of La Tène period, the obser­ved increase and simplification of production couId be linked with a choice of efficiency in response to new population categories' needs. Glass beads and bracelets are luxury productions and their consumption evolves alongside the hierarchisation of La Tène societies. This study reveals conspicuous consumption practices depending on the networks organization of goods, specialized craftsmen and production structures only dedicated to the production of objects used for distinction.

Les systèmes de production sont devenus des systèmes de grande échelle dont la complexité est accentuée par des contextes marqués de plus en plus par le changement. La capacité des systèmes a répondre au changement – appelée également changea-bilité – est reconnue comme étant une propriété essentielle pour leur cycle de vie, aussi bien dans le domaine des systèmes de production que dans le domaine de la conception en ingénierie. Au regard de la complexité des systèmes de production changeables, la méthodologie proposée par cette thèse a pour objectif de supporter la change-abilité dans la conception en souscrivant au domaine de l’ingénierie des systèmes. La première contribution est un formalisme pour la modélisation des systèmes changeables étayé d’après les principes de la conception systémique. Les concepts de flexibilité et de reconfigurabilité ne sont ici pas limités à des composants organiques du système, mais englobent l’ensemble des artefacts d’ingénierie dans le domaine du problème (exigences) et le domaine de la solution (blocs structurels). La deuxième contribution est une méthodologie pour la conception et la gestion des systèmes changeables. Elle repose sur un modèle du cycle de vie des systèmes changeables où des phases de conception des capacités de change-abilité du système s’alternent avec des phases de reconception tirant bénéfice de ces capacités existantes. Ces processus complémentaires garantissent la cohérence entre les décisions de conception pour intégrer et réutiliser des capacités de change-abilité, augmentant alors leurs potentiels tout au long du cycle de vie des systèmes complexes. Les concepts et les méthodologies développés ont été validés par des projets de conception de systèmes de production chez un équipementier automobile. Enfin, des développements possibles d’outils d’aide à la conception supportant la méthodologie proposée sont discutés. / Manufacturing systems have become large scale systems with increasing complexity particularly magnified by highly changing contexts. The system’s ability to cope with change (i.e. changeability) is recognized as a critical lifecycle property in the manufacturing system and engineering design domains. Given the complexity of changeable manufacturing systems, the proposed methodology of this dissertation aims to support design of changeability in subscribing to the domain of system engineering. The first contribution is a formalism for modeling changeability in a systemic way. Flexibility and reconfigurability paradigms are not limited to physical components of the system, but to the overall system architecture that encompasses all engineering artifacts relating to the designed system in both the requirements and physical solution domains. The second contribution is the methodology for the design and the management of changeability. The methodology utilizes a lifecycle model for changeable systems, in which design for changeability phases alternate with re-design phases that embrace and benefit from the existing changeability capabilities. These complementary processes allow a better consistency between design decisions to embed and reuse changeability, increasing changeability potential during the lifecycle of complex systems. The developed concepts and methodologies are validated in manufacturing system design projects from an automotive supplier. Finally, perspectives on design tools assisting the proposed methodology are discussed.

On constate en Amazonie brésilienne une action chaque fois plus ferme du gouvernement fédéral dans le sens de limiter le défrichement d'origine agricole. Les politiques agraires pour les fronts pionniers doivent maintenant intégrer des objectifs de limitation du défrichement.<br />Or les dynamiques d'expansion et de défrichement des fronts pionniers se nouent en partie au niveau national. Nous avons montré la relation forte entre les politiques excluantes et anti-paysannes de la Dictature pendant les années 1964-85 et l'accélération de l'occupation agricole de l'Amazonie. Une politique nationale faisant plus de place à la promotion de la paysannerie favorise le développement durable des fronts amazoniens.<br />Pour garantir le développement durable des fronts, il faut réduire l'expansion du territoire approprié et y fixer des densités humaines plus élevées. Nous avons calculé la rémunération que proportionnent les systèmes intensifs existants dans la région : elle est peu différente de celle espérée dans les systèmes extensifs les plus rémunérateurs, et elle est plus élevée que celle des systèmes de production mis en oeuvre actuellement.<br />Un développement plus durable des fronts pionnier nous paraît donc une alternative réaliste du point de vue de l'Etat et acceptable du point de vue paysan si certaines conditions sont remplies, notamment en matière de crédit, de développement de nouvelles activités agricoles, et de formation technique.

En conception et pilotage des systèmes de production, le mode de

Cette thèse porte sur l'étude des impacts environnementaux de systèmes de production de bovins. Le premier objectif était d'analyser et de comparer les impacts environnementaux de systèmes de production de viande et de lait par analyse de cycle de vie (ACV) attributionnelle. Les effets de pratiques d'atténuation de ces impacts ont été évalués pour les systèmes de production de viande. Le second objectif était un développement méthodologique afin d'explorer les conséquences possibles d'une préférence accrue pour un lait produit à base d'herbe, par ACV conséquentielle. Dans un système de production de viande par le troupeau allaitant, le méthane entérique a été le principal contributeur à l'impact changement climatique, et la production de l'herbe a été la principale contributrice aux autres impacts (demande énergétique cumulée, eutrophisation, acidification, occupation du sol). L'atelier naisseur (vaches allaitantes et leurs veaux, génisses) a contribué de manière majeure aux impacts du système allaitant dans son ensemble. La pratique d'atténuation la plus efficace pour le système a été la diminution de l'âge au vêlage de 3 à 2 ans. L'utilisation de lipides riches en acides gras oméga-3 dans le régime a très peu affecté les impacts du système. L'application simultanée de plusieurs pratiques d'atténuation compatibles entre elles réduit sensiblement les impacts. L'application de pratiques telles que la réduction du gaspillage d'herbe, l'engraissement des génisses non utilisées pour le renouvellement et la diminution de l'âge au vêlage réduisent l'occupation du sol. Un usage alternatif des terres libérées tel que la plantation de forêt pour séquestrer du carbone dans la biomasse semble prometteur. L'étude de systèmes de production de lait a été centrée sur les comparaisons de systèmes à base d'herbe ou d'ensilage de maïs, d'une race spécialisée (Holstein) ou mixte (Normande) et sur l'effet du niveau de production laitière par ACV attributionnelle. Quelle que soit la méthode d'attribution des impacts aux co-produits, les impacts par kg de lait ont été plus faibles pour les systèmes à base d'ensilage de maïs et pour les Holstein, sauf pour l'eutrophisation. L'accroissement de la production de lait par vache grâce à une consommation d'énergie accrue et au vêlage à 2 ans a permis de réduire les impacts du lait et de son co-produit viande. Les conséquences de la conversion d'une exploitation laitière utilisant beaucoup de maïs ensilage vers une exploitation utilisant de l'herbe comme unique source de fourrage pour répondre à une demande de lait produit à base d'herbe en France ont été évaluées par ACV conséquentielle. Cette conversion entraîne des changements notables de l'utilisation des sols en dehors de l'exploitation, et donc un fort accroissement des impacts du système dans son ensemble et du lait produit.