Les perturbateurs endocriniens ont la capacité d'altérer les systèmes hormonaux des invertébrés. Lorsqu'elles sont rejetées dans le milieu aquatique, elles peuvent moduler le signalement de systèmes hormonaux centraux et, par conséquent, avoir un impact sur la physiologie et l'aptitude phénotypique des invertébrés aquatiques. Le changement de sexe et l'accumulation de l'hémoglobine chez Daphnia magna sont connus pour être des réponses aux perturbateurs endocriniens affectant le système de l'hormone juvénile. Cependant, dans plusieurs cas, notamment avec les effluents d'usines de pâte et papier et avec les substances pures des arbres, la détection, les effets et les mécanismes d'action de ces pollutions n'ont jamais été évalués. Notre premier objectif est alors de développer et de tester un bioindicateur de pollutions endocriniennes juvéniles chez le crustacé D. magna. Dans ce but, la modification de l'expression de l'hémoglobine impliquant le récepteur de l'hormone juvénile (JHR) est évaluée en utilisant la méthode PCR avec des amorces spécifiques au gène Hb2 chez les daphnies. De plus, la mesure de l'augmentation du phénotype mâle lorsque les daphnies sont exposées à des effluents d'usine de pâte et papier ou à une substance pure des arbres est faite par la méthode comparative. Nos résultats montrent que le pyriproxyfène, qui est un analogue de l'hormone juvénile servant de contrôle positif, induit plus de 2 fois le gène Hb2 à 1.6 µg/L et cause aussi une augmentation du phénotype mâle chez les rejetons. Les effluents ayant subi un traitement primaire (10% v/v), induisent plus de 2 fois l'expression du gène Hb2, contrairement aux effluents avec traitement secondaire (50% v/v) qui ne cause pas d'induction. Un analogue de l'hormone juvénile détecté dans les effluents primaires, la juvabione, est capable d'augmenter l'expression du gène Hb2, à de faibles concentrations (3.75 µg/L). Une exposition prolongée causant une diminution du niveau d'oxygène cause cependant une faible augmentation de l'expression du gène Hb2. Nos résultats indiquent que l'induction du gène Hb2 peut être utilisée afin de détecter les analogues de l'hormone juvénile; les juvénoïdes. Le second objectif est de détecter les effets physiologiques et phénotypiques des pollutions potentiellement juvénoïdes. Afin de déterminer ces effets sur la première génération de D. magna, nous avons mesuré le temps de mue des femelles et le nombre de néonates par portée. Pour leurs progénitures, le changement de phénotype sexuel sous le contrôle de l'hormone juvénile, la taille et la mortalité sont les paramètres testés. Avec les effluents primaires (2.5% v/v) un nouveau phénotype a été repéré: le phénotype "juvénile". De plus, une prolongation de la mue et une diminution du nombre de néonates par femelle furent observées. En revanche, avec les effluents secondaires, trois des quatres effluents testés n'ont pas démontré ces effets. Nos résultats suggèrent que ces différences entre les deux types d'effluents peuvent être attribuées au fait que le traitement secondaire diminue fortement la concentration de certaines substances naturelles des arbres comme la juvabione. En effet, la juvabione, à faible concentration (2.25 µg/L), empêche le développement de néonates et augmente le temps de la mue. L'analyse des résultats démontre aussi l'importance de faire des tests sur les adultes et sur les néonates pour de meilleurs résultats. En conclusion, l'induction du gène Hb2 combinée à des indicateurs biologiques comme le temps de la mue et le changement de phénotype sexuel, ont permis de détecter les effets potentiellement juvénoïdes et anti-ecdystéroïdes des effluents primaires et de la juvabione. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : Hormone juvénile, Gène Hb2, Phénotype, Effluents d'usines de pâte et papier, Daphnia magna.

Le présent mémoire s'intéresse à la question du patrimoine des villes post-industrielles à partir de l'analyse d'un cas spécifique, celui du processus de patrimonialisation de l'élévateur à grain no 5 de Montréal. En partance d'une relecture d'un débat sur les notions et les pratiques de l'histoire et de la mémoire ayant contribué, dans les années 1980, aux mouvements de l'histoire culturelle et au renouveau de l'épistémologie des sciences historiques, nous interrogeons la construction socioculturelle des patrimoines contemporains, et du patrimoine industriel en particulier. Plus spécifiquement, nous questionnons la participation de ce type émergeant de patrimoine aux transformations des rapports à l'espace et au temps qui caractérisent les villes post-industrielles. Dans cette perspective, notre démarche s'interroge sur l'implication des savoirs historiques et sur leurs tensions constitutives avec la construction de mémoires socioculturelles spécifiques, qui contribuent ainsi à la patrimonialisation d'un objet public urbain. Trois questions centrales président à notre démarche. De qui, de quoi y a-t-il mémoire? De qui, de quoi y a-t-il histoire? Comment les savoirs cultivés et les souvenirs culturels transigent-ils ainsi dans la construction des patrimoines actuels? Le cas du silo no 5 est ainsi examiné à l'aune de deux séries historiques comparées. La première présente la mise en forme d'une description historique du silo no 5, que nous avons construite à partir d'une recherche documentaire de notre cru. La seconde décrit, par le biais d'une analyse comparée, la mise en exposition du silo no 5 telle qu'elle fut réalisée, en 2000, à l'occasion d'une exposition organisée spécifiquement à son sujet par le Centre d'histoire de Montréal. Cette analyse descriptive débouche sur l'exposé de quatre logiques patrimoniales se dégageant du processus de patrimonialisation examiné, qui prennent la forme de tensions imbriquées et paradoxales. Une première logique, qui s'attache aux intentionnalités qui sous-tendent l'action patrimoniale, identifie une tension entre la transformation et la monumentalisation de l'objet, d'où ressort le travail d'une mémoire paradoxalement absente du lieu. Une seconde logique démontre la prégnance de l'urbanité sur le passé propre de l'objet patrimonial, en exemplifiant les tensions qui définissent son intégration et sa dislocation dans le tissu urbain. Une troisième logique, plus proprement culturelle, s'attarde aux tensions du spectaculaire et de l'intervention dans la mise en scène patrimoniale, qui correspondent à des dispositifs caractéristiques de la transformation des nouveaux espaces publics urbains. Ces tensions constitutives culminent enfin dans une logique plus globale de l'objet patrimonial mettant en exergue l'un des enjeux fondamentaux du patrimoine contemporain, et des rapports à l'histoire et à la mémoire qu'il engage. Cet enjeu est celui d'une question troublante d'actualité: les patrimoines actuels parviendraient-ils ainsi à tirer de l'oubli par l'oubli? Fondés sur une « authenticité » nouvelle, les patrimoines des villes post-industrielles imposeraient-ils désormais à l'histoire le verdict de la mémoire? ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : Histoire, Mémoire, Sociologie historique, Épistémologie de l'histoire, Ville post-industrielle, Espaces publics urbains, Patrimoine, Patrimoine industriel, Montréal (Québec).

La problématique principale de cette étude est de constituer un cadre d'analyse systémique en conciliant les approches traditionnelles de la gestion des risques et des crises avec le concept et les outils de l'Intelligence Économique et d'appliquer ce cadre d'analyse dans le cas concret de la crise subie par Air Canada, afin de raffiner notre cadre d'analyse et de formuler nos conclusions. La recherche s'effectue en deux grandes étapes. La première étape, basée sur la revue de la littérature, définit les différents concepts de la gestion de risques et des crises, ainsi que ceux reliés à l'Intelligence Économique (lE) pour aboutir à la création du modèle conceptuel d'analyse. La deuxième étape de la recherche sera constituée par l'étude de cas d'Air Canada. La première étape de notre recherche se retrouve dans les chapitres 3, 4, et 5. Le chapitre 3 a pour objet de définir les principales définitions et concepts reliés aux risques et aux crises ainsi que les différentes approches qui existent dans la littérature scientifique. Le chapitre 4 présente le concept de l'Intelligence Économique (lE) et les principaux outils et méthodes d'analyse de ce champ de recherche. Le chapitre 5 est dédié à l'élaboration du modèle conceptuel basé sur les concepts et approches retenus dans les deux chapitres précédents et organisé selon les trois grandes phases d'une crise: la phase pré-crise; la phase de la crise proprement dite; la phase post-crise. L'entreprise ciblée pour la seconde section de notre recherche est Air Canada, la plus grosse entreprise canadienne de transport aérien ayant subi des événements majeurs mettant en danger sa survie et la contraignant à déclarer faillite. L'étude de cas présenté dans le chapitre 6 étudie la crise d'Air Canada, crise qui a débuté lorsque Air Canada s'est mise sous protection judiciaire de la LACC en avril 2003. À partir de notre modèle vérifié selon les données recueillies sur la crise d'Air Canada, nous formulons ensuite nos conclusions, en soulignant nos contributions personnelles à l'avancement des connaissances dans le domaine de la gestion des crises. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : Intelligence Économique, Gestion des risques et des crises, Crise, Air Canada, Modèle conceptuel d'analyse de crises, Espionnage industriel, Stratégie de changement radical, Crise informationnelle.

L'objectif principal de la présente recherche est de traiter de la gestion de l'innovation ouverte au sein de l'écosystème d'affaires d'une firme. Le but de cette étude est de concevoir un cadre d'analyse permettant d'aider les dirigeants d'entreprises technologiques à tracer la meilleure trajectoire d'innovation dans un environnement en constante évolution. Afin de mieux cerner les enjeux ainsi que les caractéristiques associées à cette dimension, ce mémoire offre un cadre théorique particulièrement riche et surtout synthétique intégrant les résultats de plusieurs recherches distinctes (Porter, M. 1998 ; 2000 ; Moore, 1993 ; Iansiti et Levien, 2004 ; Chesbrough, 2007). Nous avons tenté de mettre en application notre cadre conceptuel en nous basant sur la méthodologie de l'étude de cas, étant donné la grande flexibilité dans l'analyse des données de cette dernière. Dans le cas qui nous préoccupe, l'entreprise ciblée est l'équipementier canadien de téléphonie sans-fil Research In Motion (RIM). Concrètement, par le biais d'analyse des données primaires (entrevues avec quelques cadres de RIM) et secondaires (rapports annuels, revues de presse, études de cas, etc.), nous avons constaté que la présence d'un contexte local fortement propice à l'innovation constituait un facteur décisif grâce auquel une entreprise était susceptible d'exceller, et ce, en mettant à profit la contribution de plusieurs acteurs appartenant à diverses industries. Nous avons également observé qu'il existe un lien remarquable entre les dynamiques concurrentielles existant au sein de l'écosystème et le niveau d'application du paradigme d'innovation ouverte par une firme. En effet, l'accroissement de l'intensité des dynamiques concurrentielles s'accompagne inévitablement d'une multiplication des opérations d'innovation ouverte entretenues par une entreprise. En outre, nous avons découvert le rôle structurant joué par les plateformes électroniques, dans la mesure où celles-ci contribuent à accroître la valeur générée au sein de l'écosystème, et ce, en encourageant la contribution de divers acteurs. Finalement, à la lumière de cette étude, nous soulignons les limites, les contributions personnelles et les avenues futures de recherches de ce mémoire. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : Écosystème d'affaires, Innovation ouverte, Grappes industrielles, Plateforme électronique.

La réduction des impacts environnementaux par une coopération entre les acteurs d'un système industriel est au cœur de la mise en œuvre de l'écologie industrielle (EI). En comparant les systèmes industriels aux systèmes biologiques, l'EI cherche une circulation en boucle fermée des sous-produits industriels, par une réutilisation en cascade de matières et d'énergie entre diverses entreprises, tout comme il se fait, par exemple, dans le cycle de nutriments des systèmes biologiques. Cette recherche a analysé la coopération des acteurs d'un système régional d'EI à travers le cas du corridor d'échanges de sous-produits de Sorel-Tracy-Contrecœur. La principale contribution de cette étude concerne l'introduction des aspects sociaux dans l'étude des systèmes d'EI. De manière pratique, elle explique les mécanismes de coopération entre les acteurs, autant au niveau des échanges « techniques » de matières et d'énergie, que des échanges « sociaux » d'information, de connaissances et de ressources financières et humaines. Ces mécanismes permettent l'établissement de confiance et l'adoption d'une vision commune entre les acteurs ainsi que de la recherche de moyens efficaces de coordination de ces échanges. Les données pour cette recherche ont été recueillies à la fois par de l'observation participante, des entretiens semi-directifs et de l'analyse documentaire pour ensuite être analysées selon la démarche inductive. Accompagnée d'une description des événements ayant menés au développement de l'EI à Sorel-Tracy-Contrecœur, l'analyse des données a permis de répondre à la question suivante. Comment le technique et le social en EI se rejoignent-ils? Ainsi, une attention particulière a été apportée autant au point de vue des échanges de matières et d'énergie que des échanges d'informations, de connaissances et de ressources financières et humaines, etc., ce qui contribue à distinguer cette recherche. Cette recherche a permis non seulement de démontrer que les aspects techniques de l'EI étaient aussi importants que les aspects sociaux lors de l'analyse d'écosystèmes industriels, mais aussi, que la diversité des acteurs permet l'application de la vision systémique et multidisciplinaire de l'EI en plus de contribuer à la longévité et l'évolution du système industriel. Cette diversité, autant dans les acteurs « sociaux » que dans les acteurs « techniques », permet aussi de relever plusieurs défis associés à la mise en œuvre de l'EI, malgré le fait qu'elle peut avoir tendance à compliquer les efforts de coopération entre les acteurs. Cependant, avec de bons mécanismes de coopération, les difficultés associées à une plus grande diversité sont surmontables. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : écologie industrielle, systèmes sociaux, systèmes techniques, ecosystems industriels, symbiose industrielle, confiance, vision, diversité, coopération inter-organisationnelle, éco-parcs industriels.

Le but de ce travail est de montrer que le Cameroun, pays de 19 millions d'habitants, situé au-dessus du 45e parallèle en Afrique centrale et conscient du potentiel que représente sa filière élaeïcole, a décidé de la redynamiser. Mais cette filière déficitaire et pratiquement privatisée reste handicapée par des problèmes de productivité et manque de compétitivité. Les difficultés sont attribuables en partie à des stratégies de développement défaillantes et essoufflées toujours appliquées à travers divers programmes. Ces programmes ont tous pour objectif d'augmenter les surfaces des palmeraies à huile pour accroître la production du pays et la rendre compétitive. Cependant, redynamiser un secteur en déficit tout en suivant un modèle limité n'est pas sans entraîner des conséquences socio-économiques sur le pays et surtout sur le milieu rural, premier producteur d'huile de palme depuis des générations. Ce qui nous mène à nous demander, en quoi la poursuite d'un modèle de développement contraignant affecte-t-il la filière élaeïcole camerounaise à long terme, et quelles sont ses incidences sur la société? Le travail suivant se divise ainsi en trois parties pour répondre à cette question. La première partie, qui analyse les effets d'un modèle de développement inefficace et extraverti sur la filière privatisée, tend à montrer que ceux-ci découlent d'une économie de traite qui influe sur les actions de l'État. Des actions interventionnistes et inefficaces qui ont mené à l'épuisement du modèle et à la déstructuration de la filière élaeïcole. Elles tendent ainsi à être corrigées par les réformes de la Banque mondiale qui ont également pour objectif de relancer la filière de l'huile de palme camerounaise. Ces réformes, qui sont appliquées par l'État et le secteur privé dans la seconde partie, mettent l'accent sur les mécanismes de l'agriculture commerciale. Mais ces derniers sont pénalisés par des contraintes institutionnelles et financières et celles liées à l'accès au marché. D'autre part, si les actions publiques restent mitigées pour profiter des retombées, celles du privé, en revanche, malgré leur insuffisance, génèrent des retombées aux agro-industries. Quant aux petits producteurs, comme nous le verrons dans la troisième partie, leurs revenus restent faibles même s'ils permettent de mener une vie décente dans quelques régions. De plus, concurrencés à l'intérieur par les importations asiatiques, ils doivent également faire face aux effets provoqués par les accords internationaux et subir, avec les populations villageoises marginalisées, des effets sociaux et environnementaux, à l'origine des conflits écosociaux. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : Cameroun, huile de palme, modèle de développement, conséquences socioéconomiques, Banque mondiale.

Le secteur des services occupe une place plus importante que toutes les autres activités économiques. Il regroupe près des trois quarts des emplois. La frontière entre cette industrie et le manufacturier est désormais difficile à établir. Aussi, la valeur ajoutée se concentre dans les services en amont et en aval de la production manufacturière. Cette thèse porte sur les entreprises de services-conseils. Les services aux entreprises sont déterminants dans le développement économique à l'heure de la mondialisation. Notre recherche porte sur ce type de services et la ville, notamment l'espace intra-urbain. La question posée est: dans un contexte de restructurations économiques et technologiques des métropoles, quel rôle jouent les relations de proximité conseillers-clients, indiquées par des rapports de face-à-face, au cours de la relation de services dans le développement des entreprises de services-conseils? À partir du constat que les entreprises de services-conseils en gestion sont concentrées sur le territoire urbain, et compte tenu des particularités des relations de conseils des entreprises avec leurs clients, sont-elles poussées à se localiser à proximité de ceux-ci? L'hypothèse est que les caractéristiques spécifiques de la relation entre le conseiller et son client donnent à la proximité une très grande importance et par le fait même, cela a une influence dans le choix de localisation des entreprises, lesquelles devraient privilégier une localisation à proximité de leur clientèle. Les résultats de notre recherche révèlent que la communication directe et personnalisée est très importante. Le conseiller et le client développent des relations de confiance. L'accent est donc mis sur la dimension interpersonnelle. Au cours de la négociation du contrat et de la production du service, les relations face à face sont déterminantes. D'où l'importance de la proximité dans l'établissement de relations de confiance. Les modalités et la fréquence des rapports personnalisés varient en fonction du type d'entreprise et n'interviennent pas de la même façon, ni au même rythme. Les technologies de l'information ne se substituent pas aux rencontres en face-à-face. Un code de déontologie, l'appartenance à un réseau mondial, la certification ISO et le «Bouche à oreille» permettent d'établir une relation de confiance avec le client. Les besoins de contacts en face-à-face entre conseillers et clients découlent de la nature du conseil et nécessitent l'accès aux différents moyens de déplacement. Parmi toutes les catégories de facteurs de localisation (milieu, emplacement, coût, communications, corporatisme) les plus déterminants sont ceux qui ont un lien ou sont influencés par les contacts avec la clientèle. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : services-conseils, espace intra-urbain, facteurs de localisation, proximité, face-à-face.

L'objectif du Génie Industriel est d'améliorer les performances industrielles. Ce champ très large est abordé dans notre équipe par le développement d'outils et de méthodes basés sur l'utilisation d'environnements d'ingénierie virtuelle. Ces derniers sont conçus pour assister, accélérer et donc améliorer les démarches d'ingénierie liées à la conception et la réalisation de produits, mais aussi la gestion des projets associés.<br />Nous développons ainsi des environnements que nous voulons interactifs, pour l'aide à la prise de décision (SIAD).<br />Dès lors, et indépendamment du domaine abordé, la connaissance des experts d'un métier devient une ressource que l'on voudrait partager au maximum, voir faire fonctionner de manières semi-automatiques. Or ces connaissances sont immatérielles, souvent non formalisées et échangées au travers de flux d'informations dont la quantité, la qualité et la véracité ne sont pas toujours assurées ou certifiées. <br />Il importe donc de s'intéresser aux approches de gestion des connaissances ou Knowledge Management, pour spécifier des environnements virtuels les plus riches possibles (sémantiquement parlant) dans lesquels on peut espérer intégrer une partie des connaissances d'experts. Certaines actions d'ingénierie, dont les processus et les règles ont été formalisés puis modélisés, sont alors partiellement automatisables, laissant la place à l'utilisateur pour décider dans des situations non gérées par l'expertise automatique, de critiquer, révoquer ou faire évoluer les choix et alternatives proposées.<br />Un pan important des études et recherches faites dans les domaines des sciences de l'information et de la communication font la part belle à l'intelligence artificielle. Mais les domaines d'application restent souvent très loin des cas d'utilisation ou d'application d'ingénierie (ingénierie mécanique en particulier).<br />Il nous importe donc de nous imprégner des approches, méthodes et outils existants pour nous les approprier tout en les faisant évoluer pour les adapter à nos besoins. Il faut donc pouvoir maîtriser ces méthodes et leurs solutions techniques pour pouvoir être porteur d'évolutions et requêtes et attirer ces thématiques de recherches vers nos problématiques.<br />En conséquences, mes travaux se sont inscrits dans cette démarche d'appropriation des approches de gestion et d'automatisation des connaissances qui relève d'une thématique d'ingénierie des connaissances. Nous avons donc cherché à développer des environnements à base de connaissances supportant les démarches d'ingénierie.<br />Cette position (ingénieur des connaissances) se place en interface entre l'expert (réceptacle et source des connaissances à partager), l'informaticien (qui va développer l'environnement virtuel à base de connaissances) et l'utilisateur (qui va utiliser et faire vivre l'outil).<br />Dès lors différents points de vue se confrontent, et il devient tout aussi important de maîtriser les aspects techniques (méthodes et solutions existantes pour formaliser et modéliser des connaissances, développer les applications, valider l'intégrité et la cohérence des éléments intégrés et à intégrer, faire vivre les bases de connaissances, etc...) que les aspects de gestion de projet, puisqu'il reste très difficile d'évaluer le retour sur investissement direct de tels projets. Un échec conduisant généralement à l'abandon de ce type d'approches, longues, lourdes et souvent opaques pour l'expert ou l'utilisateur.<br />Cette première partie de mes activités de recherches a donc participé à l'enrichissement d'aspects de modélisation (d'objets d'entreprise : information, connaissances ...), de structuration de ces modèles (méthode de modélisation) et d'intégration dans le cycle de développement d'applications informatiques.<br />En analysant les démarches d'ingénierie en mécanique (au sens large), il est ressorti que nous continuons à approfondir et affiner des modèles et calculs sur les solutions techniques qui répondent à des fonctions et des besoins clients. Cependant, le critère de coût ou de valeur reste très peu évalué ou abordé. Or, dans le contexte mondial et concurrentiel actuel il importe d'assurer l'équilibre entre les fonctions techniques et économiques des produits qui sont devenus de plus en plus complexes.<br />Ainsi nous essayons d'aborder la performance au travers des aspects économiques le long du cycle de vie du produit. Ceci nous donne un domaine d'application de nos travaux sur l'intégration et la mise à disposition d'expertise(s) issue(s) des sciences économiques et de gestion dans les démarches d'ingénierie.<br />Ces travaux ont initialement abordé l'adéquation entre les outils et méthodes d'évaluation économique au regard du cycle de vie produit. Les problèmes d'information partielle ou de passage de modèles se posent alors à chaque étape charnière.<br />De plus, nos réflexions et échanges avec les chercheurs en sciences de gestion nous ont porté vers la prise en compte du concept de valeur englobant le coût. Il est ainsi possible d'évaluer les alternatives de chaînes de valeurs et d'envisager d'aborder la conception conjointe de produits et de processus à valeur ajoutée maîtrisée. Ainsi l'environnement d'aide à la décision complète les contextes de décisions en intégrant les différents points de vus d'acteurs et leurs visions sur la valeur à prendre en compte.<br />L'ensemble de ces travaux et réflexions m'ont conduit au néologisme d'Industrialisation des Connaissances, au sens de la mise à disposition fiable, évolutive et objectivée, des connaissances d'experts d'entreprise. Ces travaux ont été alimentés par 4 thèses soutenues (une en cours), 7 DEA et Masters, des implications dans un Réseau Thématique du FP5 et deux Réseaux d'Excellence du FP6, ainsi qu'une collaboration soutenue depuis 2003 avec une équipe de recherche Sud Africaine.

Ce mémoire propose des représentations formelles pour contrôleurs logiques industriels qui visent à améliorer le passage à l'échelle des techniques de model-checking. Ces vérifications, focalisées sur les propriétés extrinsèques, permettent d'améliorer la sûreté et aident à la certification de ces contrôleurs. Premièrement, la représentation de contrôleurs ne comprend que les états qui sont pertinents pour la preuve de propriétés et minimise le nombre de variables qui caractérisent chaque état. Puis une représentation de chaque bloc fonctionnel, décrit dans un nouveau langage formel adapté à nos besoins, est incluse dans la représentation du contrôleur. Ces représentations permettent la vérification formelle du contrôleur, même avec des programmes de grande taille. La comparaison avec de précédentes représentations, ainsi que leur utilisation dans un contexte industriel, valide nos représentations et quantifie leur efficacité.

Thèse de doctorat : Psychologie : Metz : 1998. / 1998METZ010L. 323 ref.