This thesis is about the nature of proofs in mathematics as it is practiced, contrasting the informal proofs found in practice with formal proofs in formal systems. In the first chapter I present a new argument against the Formalist-Reductionist view that informal proofs are justified as rigorous and correct by corresponding to formal counterparts. The second chapter builds on this to reject arguments from Gödel's paradox and incompleteness theorems to the claim that mathematics is inherently inconsistent, basing my objections on the complexities of the process of formalisation. Chapter 3 looks into the relationship between proofs and the development of the mathematical concepts that feature in them. I deploy Waismann's notion of open texture in the case of mathematical concepts, and discuss both Lakatos and Kneebone's dialectical philosophies of mathematics. I then argue that we can apply work from conceptual engineering to the relationship between formal and informal mathematics. The fourth chapter argues for the importance of mathematical knowledge-how and emphasises the primary role of the activity of proving in securing mathematical knowledge. In the final chapter I develop an account of mathematical knowledge based on virtue epistemology, which I argue provides a better view of proofs and mathematical rigour.

Les travaux de recherche présentés dans ce mémoire s’inscrivent dans le cadre de la valorisation des connaissances issues des expériences passées afin d’améliorer les performances des processus industriels. La connaissance est considérée aujourd'hui comme une ressource stratégique importante pouvant apporter un avantage concurrentiel décisif aux organisations. La gestion des connaissances (et en particulier le retour d’expérience) permet de préserver et de valoriser des informations liées aux activités d’une entreprise afin d’aider la prise de décision et de créer de nouvelles connaissances à partir du patrimoine immatériel de l’organisation. Dans ce contexte, les progrès des technologies de l’information et de la communication jouent un rôle essentiel dans la collecte et la gestion des connaissances. L’implémentation généralisée des systèmes d’information industriels, tels que les ERP (Enterprise Resource Planning), rend en effet disponible un grand volume d’informations issues des événements ou des faits passés, dont la réutilisation devient un enjeu majeur. Toutefois, ces fragments de connaissances (les expériences passées) sont très contextualisés et nécessitent des méthodologies bien précises pour être généralisés. Etant donné le potentiel des informations recueillies dans les entreprises en tant que source de nouvelles connaissances, nous proposons dans ce travail une démarche originale permettant de générer de nouvelles connaissances tirées de l’analyse des expériences passées, en nous appuyant sur la complémentarité de deux courants scientifiques : la démarche de Retour d’Expérience (REx) et les techniques d’Extraction de Connaissances à partir de Données (ECD). Le couplage REx-ECD proposé porte principalement sur : i) la modélisation des expériences recueillies à l’aide d’un formalisme de représentation de connaissances afin de faciliter leur future exploitation, et ii) l’application de techniques relatives à la fouille de données (ou data mining) afin d’extraire des expériences de nouvelles connaissances sous la forme de règles. Ces règles doivent nécessairement être évaluées et validées par les experts du domaine avant leur réutilisation et/ou leur intégration dans le système industriel. Tout au long de cette démarche, nous avons donné une place privilégiée aux Graphes Conceptuels (GCs), formalisme de représentation des connaissances choisi pour faciliter le stockage, le traitement et la compréhension des connaissances extraites par l’utilisateur, en vue d’une exploitation future. Ce mémoire s’articule en quatre chapitres. Le premier constitue un état de l’art abordant les généralités des deux courants scientifiques qui contribuent à notre proposition : le REx et les techniques d’ECD. Le second chapitre présente la démarche REx-ECD proposée, ainsi que les outils mis en œuvre pour la génération de nouvelles connaissances afin de valoriser les informations disponibles décrivant les expériences passées. Le troisième chapitre présente une méthodologie structurée pour interpréter et évaluer l’intérêt des connaissances extraites lors de la phase de post-traitement du processus d’ECD. Finalement, le dernier chapitre expose des cas réels d’application de la démarche proposée à des interventions de maintenance industrielle. / The research work presented in this thesis relates to knowledge extraction from past experiences in order to improve the performance of industrial process. Knowledge is nowadays considered as an important strategic resource providing a decisive competitive advantage to organizations. Knowledge management (especially the experience feedback) is used to preserve and enhance the information related to a company’s activities in order to support decision-making and create new knowledge from the intangible heritage of the organization. In that context, advances in information and communication technologies play an essential role for gathering and processing knowledge. The generalised implementation of industrial information systems such as ERPs (Enterprise Resource Planning) make available a large amount of data related to past events or historical facts, which reuse is becoming a major issue. However, these fragments of knowledge (past experiences) are highly contextualized and require specific methodologies for being generalized. Taking into account the great potential of the information collected in companies as a source of new knowledge, we suggest in this work an original approach to generate new knowledge based on the analysis of past experiences, taking into account the complementarity of two scientific threads: Experience Feedback (EF) and Knowledge Discovery techniques from Databases (KDD). The suggested EF-KDD combination focuses mainly on: i) modelling the experiences collected using a knowledge representation formalism in order to facilitate their future exploitation, and ii) applying techniques related to data mining in order to extract new knowledge in the form of rules. These rules must necessarily be evaluated and validated by experts of the industrial domain before their reuse and/or integration into the industrial system. Throughout this approach, we have given a privileged position to Conceptual Graphs (CGs), knowledge representation formalism chosen in order to facilitate the storage, processing and understanding of the extracted knowledge by the user for future exploitation. This thesis is divided into four chapters. The first chapter is a state of the art addressing the generalities of the two scientific threads that contribute to our proposal: EF and KDD. The second chapter presents the EF-KDD suggested approach and the tools used for the generation of new knowledge, in order to exploit the available information describing past experiences. The third chapter suggests a structured methodology for interpreting and evaluating the usefulness of the extracted knowledge during the post-processing phase in the KDD process. Finally, the last chapter discusses real case studies dealing with the industrial maintenance domain, on which the proposed approach has been applied.

La sécurité est une première étape essentielle dans l'amélioration de la qualité des soins. Devant l’importance de ces erreurs qui menacent 12 millions de patients aux USA chaque année ; plusieurs travaux ont essayé de trouver des solutions pour réduire les erreurs médicales et les effets indésirables des médicaments : La médecine basée sur la preuve, la médecine personnalisée et les systèmes d’aide à la décision médicale. Les sociétés savantes élaborent de façon périodique des recommandations de bonnes pratiques pour aboutir à instaurer une médecine basée sur la preuve. Ces recommandations sont considérées comme des outils efficaces pour faire pont entre la pratique médicale des praticiens et les preuves scientifiques.La simple diffusion de GBPC n’a qu’un impact limité sur les pratiques cliniques.Plusieurs études ont montré que l’informatisation de ces guides en les intégrant dans le Workflow clinique permet d’améliorer l’adhérence des médecins à ces recommandations. Les guides de bonnes pratiques cliniques ne couvrent pas les caractéristiques individuelles des patients. Un des objectifs d’amélioration des soins et de la réduction des effets indésirables des patients est la personnalisation de la prise en charge. Cette personnalisation nécessite l’utilisation de toutes les informations (cliniques, biologiques, génétiques, radiologiques, sociales..) pour caractériser le profil du patient. Nous avons développé une méthode de raisonnement hybride, CBFCM, capable d’utiliser des connaissances et des données hétérogènes. L’implémentation de la méthode a été faite avec des outils du web sémantique. Nous avons développé un environnement Open Source pour la modélisation et la formalisation des connaissances médicales (recommandations..). Nous avons validé la méthode avec plusieurs études dans le domaine des infections urinaires mais aussi dans d’autres domaines (pneumologie, stéatose hépatique non alcoolique, diabète gestationnel..). L’intégration des données génétiques, cliniques et biologiques nous a permis d’améliorer la prédiction de certaines maladies (NASH). / Several studies have tried to find ways to reduce medical and adverse drug errors:The evidence-based medicine, personalized medicine and clinical decision support systems. Many recommandations are developped periodically to improve a best practices. These recommendations are considered effective tools to bridge between medical practitioners and practice of scientific evidence. The use of the Clinical Practice Guidelines has a limited impact on clinical practice. Several studies showed that the computerization of these guides by integrating them into the clinical workflow improves adherence of physicians to these recommendations.One of the aims of improving care and reducing adverse effects of patients is personalizing care. This customization requires the use of all the information (clinical, biological, genetic, radiological, social..) to characterize the profile of the patient.We have developed a method of hybrid reasoning "Case Based Fuzzy CognitiveMaps" able to use knowledge and heterogeneous data. The implementation of themethod was made with semantic web technologies. We have developed an open source environment for modeling and formalization of medical knowledge.We validated the method with several studies in the field of urinary tract infections,but also in other areas (respiratory, nonalcoholic fatty liver disease, gestational diabetes..). The integration of genetic, clinical and laboratory data have allowed us to improve the prediction of certain diseases (NASH).

La formalisation des données cliniques est réalisée et adoptée dans plusieurs domaines de la santé comme la prévention des erreurs médicales, la standardisation, les guides de bonnes pratiques et de recommandations. Cependant, la communauté n'arrive pas encore à tirer pleinement profit de la valeur de ces données. Le problème majeur reste la difficulté à intégrer ces données et des services sémantiques associés au profit de la qualité de soins. Objectif L'objectif méthodologique de ce travail consiste à formaliser, traiter et intégrer les connaissances d'histopathologie et d'imagerie basées sur des protocoles standardisés, des référentiels et en utilisant les langages du web sémantique. L'objectif applicatif est de valoriser ces connaissances dans une plateforme pour faciliter l'exploration des lames virtuelles (LV), améliorer la collaboration entre pathologistes et fiabiliser les systèmes d'aide à la décision dans le cadre spécifique du diagnostic du cancer du sein. Il est important de préciser que notre but n'est pas de remplacer le clinicien, mais plutôt de l'accompagner et de faciliter ses lourdes tâches quotidiennes : le dernier mot reste aux pathologistes. Approche Nous avons adopté une approche transversale pour la représentation formelle des connaissances d'histopathologie et d'imagerie dans le processus de gradation du cancer. Cette formalisation s'appuie sur les technologies du web sémantique. / Semantic modelling of a histopathology image exploration and analysis tool. Recently, anatomic pathology (AP) has seen the introduction of several tools such as high-resolution histopathological slide scanners, efficient software viewers for large-scale histopathological images and virtual slide technologies. These initiatives created the conditions for a broader adoption of computer-aided diagnosis based on whole slide images (WSI) with the hope of a possible contribution to decreasing inter-observer variability. Beside this, automatic image analysis algorithms represent a very promising solution to support pathologist’s laborious tasks during the diagnosis process. Similarly, in order to reduce inter-observer variability between AP reports of malignant tumours, the College of American Pathologists edited 67 organ-specific Cancer Checklists and associated Protocols (CAP-CC&P). Each checklist includes a set of AP observations that are relevant in the context of a given organ-specific cancer and have to be reported by the pathologist. The associated protocol includes interpretation guidelines for most of the required observations. All these changes and initiatives bring up a number of scientific challenges such as the sustainable management of the available semantic resources associated to the diagnostic interpretation of AP images by both humans and computers. In this context, reference vocabularies and formalization of the associated knowledge are especially needed to annotate histopathology images with labels complying with semantic standards. In this research work, we present our contribution in this direction. We propose a sustainable way to bridge the content, features, performance and usability gaps between histopathology and WSI analysis.

Les micro-entreprises domestiques constituent une part importante, si ce n'est dominante, de toutes les économies en développement. C’est aussi le cas au Vietnam où le poids du secteur informel diminue peu malgré une croissance économique rapide. Les quatre chapitres de ce travail posent quatre questions fondamentales pour informer les politiques publiques. Leur originalité est d'adopter le point de vue des entreprises informelles elles-mêmes. Quels bénéfices y a-t-il à rejoindre le secteur formel (chapitre 1)? Quelle est la vulnérabilité de ces unités de production, dont le budget est souvent confondu avec celui du ménages, aux chocs de santé (chapitre 2) ? L’assurance santé permet-elle de réduire efficacement cette vulnérabilité (chapitre 3) ? Enfin, quelle est l’importance du mode de gestion de ces micro-entreprises (chapitre 4) ? Tous les chapitres s’appuient en premier lieu sur des données d’enquêtes quantitatives, de première ou seconde main. L’approche quantitative est complétée par des enquêtes qualitatives. Les résultats dressent le portrait d’un secteur dynamique, dont la persistance ne peut être ignorée, et suggèrent des mécanismes pour améliorer la productivité de ces entreprises qui opèrent dans des conditions largement précaires. / This PhD dissertation is built around four main chapters. Their topic shall sound familiar to policy makers, and to all empirical economists working on microenterprises, as they quesion the common mottos to deal with the informal sector: “formalize them”, “protect them”, and “train them”. Little of these recommendations rely on actual evidence, in particular regarding their effects for the firms themselves. Chapter one starts by questioning the relevance of formalization: what exactly do these production units have to gain from registration? The second chapter investigates the vulnerability of microenterprises to health problems: how much do they suffer from the consequences of health shocks within the household? The third chapter deals with the complementary question of the protection mechanisms, and questions the mitigating potential of health insurance. The fourth chapter finally deals with their managerial capital: do the business skills that are considered standard among larger firms have any meaning for informal micro enterprises?

Un problème de géométrie algébrique réelle s'exprime sous forme d’un système d’équations et d’inéquations polynomiales, dont l’ensemble des solutions est un ensemble semi-algébrique. L'objectif de cette thèse est de montrer comment les algorithmes de ce domaine peuvent être décrits formellement dans le langage du système de preuve Coq.Un premier résultat est la définition formelle et la certification de l’algorithme de transformation de Newton présentée dans la thèse d'A. Bostan. Ce travail fait intervenir non seulement des polynômes, mais également des séries formelles tronquées. Un deuxième résultat est la description d'un type de donnée représentant les ensembles semi-algébriques. Un ensemble semialgébrique est représenté par une formule logique du premier ordre basée sur des comparaisons entre expressions polynomiales multivariées. Pour ce type de données, nous montrons comment obtenir les différentes opérations ensemblistes et allons jusqu'à décrire les fonctions semi-algébriques. Pour toutes ces étapes, nous fournissons des preuves formelles vérifiées à l'aide de Coq. Enfin, nous montrons également comment la continuité des fonctions semi-algébrique peut être décrite, mais sans en fournir une preuve formelle complète. / A real algebraic geometry problem is expressed as a system of polynomial equations and inequalities, and the set of solutions are semi-algebraic sets. The objective of this thesis is to show how the algorithms of this domain can be formally described in the language of the Coq proof system. A first result is the formal definition and certification of the Newton transformation algorithm presented in A. Bostan's thesis. This work involves not only polynomials, but also truncated formal series. A second result is the description of a data type representing semi-algebraic sets. A semi-algebraic set is represented by a first-order logical formula based on comparisons between multivariate polynomial expressions. For this type of data, we show how to obtain the different set operations all the way to describing semialgebraic functions. For all these steps, we provide formal proofs verified with Coq. Finally, we also show how the continuity of semi-algebraic functions can be described, but without providing a fully formalized proof.

Concevoir une ontologie formelle demande une expertise certaine, qui est la plupart du temps, peu accessible à des experts de contenu. En revanche, de plus en plus d'experts utilisent la modélisation semi-formelle pour représenter leur expertise, car ce type de langage est notamment reconnu pour sa simplicité d'utilisation et sa capacité à représenter des connaissances de types déclaratifs, procédurales, stratégiques et factuels. La modélisation semi-formelle, qui peut constituer une première démarche dans la mise en place d'une mémoire d'entreprise, n'élimine en rien la nécessité de représenter formellement la connaissance, obligeant ainsi à mettre en oeuvre une étape de formalisation du modèle semi-formel. Nous avons conçu une méthodologie de transformation d'un modèle semi-formel en ontologie et développé un assistant logiciel qui semi-automatise, ou automatise les processus de la méthodologie de transformation. La démarche de conception de la méthodologie et de son assistant informatique se divise en trois phases: 1) la phase de Mise en place des composants architecturaux, procéduraux et informatiques de la méthodologie est la phase initiale de la démarche; 2) la phase d'Agrégation des composants ontologiques, procéduraux et informatiques est la phase de développement et d'harmonisation des modules de l'assistant aux processus de la méthodologie; 3) la phase de confirmation est l'étape de tests et de raffinement de la fonctionnalité, de l'assistant informatique et de la méthodologie. Quatre champs disciplinaires sont concernés par cette thèse: en gestion des connaissances, notre approche offre une méthode de formalisation de la connaissance fondée sur une représentation semi-formelle de la connaissance; en ingénierie ontologique, nos travaux offrent un cadre architectural et procédural qui formalise et instrumente le processus de construction d'une ontologie à partir d'une représentation semi-formelle des connaissances; en représentation des connaissances, notre thèse approfondit l'étude d'une catégorisation formelle de la représentation des connaissances qu'elles soient déclaratives, procédurales, stratégiques ou factuelles; et finalement, d'un point de vue informatique, cette recherche présente une architecture et des outils informatiques qui formalisent et rendent exécutable le processus de transformation.

Cette étude de cas, composée de trois articles, examine les diverses sources d’explication de l’écart salarial selon le genre chez les professeurs d’une grande université de recherche canadienne. Le premier article analyse les écarts selon le genre sur les primes “de marché” à partir de données d’un sondage réalisé auprès des professeurs en 2002. Une analyse des correspondances donne une solution à deux facteurs dans laquelle le second facteur oppose clairement les professeurs qui ont reçu une prime à ceux qui n’en n’ont pas reçue. Le genre est fortement associé à ce facteur, la catégorie “femme” se retrouvant du côté de l’axe associé à l’absence de primes de marché. Les résultats de la régression logistique confirment que le secteur d’activité, la fréquence des contrats de recherche, la valorisation du salaire ainsi que le rang combiné à l’ancienneté sont reliés à la présence de primes de marché, tel que proposé par les hypothèses. Toutefois, même après avoir contrôlé pour ces relations, les femmes sont toujours près de trois fois moins susceptibles de s’être vu attribuer des primes de marché que leurs homologues masculins. Dans l’ensemble, les résultats suggèrent que dans un contexte où les salaires sont déterminés par convention collective, la réindividualisation du processus de détermination des salaires — en particulier le versement de primes de marché aux professeurs d’université — peut favoriser la réapparition d’écarts de salaire selon le genre. Le second article est réalisé à partir de données administratives portant sur les années 1997 à 2006. Les contributions respectives de quatre composantes de la rémunération à l’écart salarial selon le genre y sont analysées, soit le salaire de base, l’accès au rang de professeur titulaire, l’accès aux primes de marché et chaires de recherche du Canada, de même que les montants reçus. Les composantes varient quant à leur degré de formalisation. Ceci permet de tester l’hypothèse selon laquelle l’ampleur de l’écart salarial selon le genre varie en fonction du degré de formalisation des composantes salariales. Nous déterminons également dans quelle mesure l’écart selon le genre sur les diverses composantes de la rémunération varie en fonction de la représentation relative des femmes professeurs au sein des unités. Les résultats démontrent l’existence de variations dans l’ampleur des différences selon le genre en fonction du degré de formalisation des pratiques de rémunération. Qui plus est, après contrôles, la rémunération est plus faible dans les unités où les femmes sont fortement représentées. Le dernier article examine les mécanismes pouvant mener à un écart selon le genre en ce qui a trait à l’accès aux primes de marché chez les professeurs de l’institution. Les processus d’attribution de ces suppléments salariaux sont examinés à partir d’entretiens réalisés avec 17 administrateurs à tous les niveaux hiérarchiques de l’institution et dans une diversité d’unités académiques. Les résultats suggèrent que les différences selon le genre pourraient être liées à des caractéristiques spécifiques du processus d’attribution et à une distribution inégale des primes aux unités à forte représentation féminine. De façon générale, les résultats démontrent que l’écart de rémunération selon le genre chez les professeurs de cette université n’est pas totalement expliqué par des différences dans les caractéristiques individuelles des hommes et femmes. L’analyse révèle que l’écart réside dans des différences selon le genre en ce qui a trait à l’accès aux primes de marché et aux chaires de recherches du Canada et, dans une moindre mesure, au rang de professeur titulaire. Aucune différence n’est observée sur le salaire de base et le montant des primes salariales reçues, que celles-ci soient dites de “marché” ou associées à une chaire de recherche du Canada. Qui plus est, on constate que la rémunération est plus faible dans les unités où les femmes sont le mieux représentées. L’accès différencié selon le genre aux primes de marché qui est observé pourrait être lié à certains processus organisationnels qui limitent les probabilités d’octrois à des femmes. Les femmes pourraient être particulièrement désavantagées dans ce système d’octroi, pour plusieurs raisons. L’existence de différences selon le genre en ce qui a trait aux dispositions ou habiletés des individus à négocier leur salaire est évoquée et supposée par certains administrateurs. Un accès limité aux informations concernant la politique de primes pourrait réduire la probabilité que des femmes tentent d’obtenir ces suppléments salariaux. Les directeurs d’unités, qui sont en majorité des hommes, pourraient être biaisées en faveur des professeurs masculins dans leurs évaluations s’ils tendent à favoriser ceux qui leurs ressemblent. Il est également possible que les directeurs d’unités où les femmes sont les mieux représentées n’aient pas reçu d’information sur les primes de marché ou que des traditions disciplinaires les aient rendu réticents à demander des primes. / This case study examines the various sources of explanation of the gender pay gap among professors at a large Canadian research university. It comprises three articles. The first article analyzes gender differences in “market supplements” using data from a survey of professors conducted in 2000. The correspondence analysis produces a two-factor solution in which the second axis clearly opposes faculty who receive market supplement to those who do not. Gender is strongly related to this factor, with the female category on the side of the axis associated with the absence of market supplement. The results of the logistic regression confirm that field of specialization, frequency of external research contracts, faculty members’ values and attitudes towards remuneration and seniority within rank are all related to the award of market supplements, as hypothesized. However, women were still almost three times less likely than men to have been awarded market supplements after controlling for these relationships. Overall, the results suggest that within a collective bargaining context, reindividualization of the pay determination process — notably, the payment of market supplements to faculty — may reopen pay differences by gender. The second article uses administrative data for years 1997 to 2006. We estimate the respective contributions to the gender pay gap of four pay components: base pay, promotion to full professor, access to market supplements and Canada research chairs as well as the amounts received. These are characterized by various levels of formalization. This allows testing the hypothesis that the magnitude of gender differences in pay varies with the extent of formalization of pay components. We also determine how gender differences on each pay component vary according to the relative representation of female faculty members within units. We find some evidence that the magnitude of gender differences varies with the degree of formalization in remuneration practices. We also find that, other things being equal, pay is lower in units with a high proportion of females. The last article examines the mechanisms that may lead to gender differences in access to ‘market supplements’ among professors. The process of awarding pay in excess for the amounts provided for in a collective agreement are examined based on interviews with 17 administrators at all hierarchical levels and in various academic units. Results suggest that gender differences in the likelihood of receiving an award may be related to specific features of the award process and to an unequal distribution of awards to units with strong female representation. Overall, the results show that the gender pay gap among professors at this university is not entirely accounted for by differences in the individual characteristics of male and female professors. The analysis reveals that the pay gap resides in gender differences in access to market supplements and Canada research chairs (CRCs) and, to a lesser extent, to the full professor rank. No difference is found on base pay or on the amounts of pay supplements received, whether they are “market” premiums or supplements associated to a CRC. Furthermore, pay tends to be lower in units where female representation is highest. The observed gender differences in access to market supplements could be due to organizational processes that reduce the likelihood of awards to women. There are several reasons why female faculty members are particularly disadvantaged in this award system. Gender differences in the propensity or ability to negotiate are alleged (and assumed) by some of those negotiating. More limited access to information about supplements reduces the likelihood that women will pursue them. Chairpersons, who are mostly males, may allow gender bias to influence their evaluations of faculty members, perhaps because they tend to favor others like themselves. It may also be that chairpersons from the units where women are better represented do not have access to information about market supplements or that disciplinary traditions make them reluctant to request them.

Les pays du Maghreb (Tunisie, Algérie, Maroc) ont engagé de profondes réformes structurelles sur les plans politique et économique. Leurs équilibres macroéconomiques sont à peu près maîtrisés et ils bénéficient d’une multiplication de partenariats avec l'UE et de programmes d'aides internationales. Pour autant, ces pays n'arrivent pas à atteindre un niveau soutenu de croissance leur permettant de se développer. En se basant sur un cadre théorique centré sur l’interrelation entre les mécanismes de gouvernance publique et privée, cette recherche doctorale se propose de comprendre les raisons du blocage de développement dans les pays du Maghreb.A partir d’une définition stricte de la gouvernance et au moyen de la base de données « Profils Institutionnels » du MINEFI, pour les années 2001 et 2009, nous construisons 31 variables institutionnelles de gouvernance publique et privée pour 51 pays développés et en développement. Nous examinons ainsi la dynamique des Systèmes Nationaux de Gouvernance des pays du Maghreb comparée à celle d’autres pays, notamment à celle des Pays de l’Europe Centrale et Orientale (PECO).L’exploitation des données, moyennant des ACP et des régressions linéaires, souligne l’importance des institutions de gouvernance qui se rapportent aux niveaux de formalisation des règles et qui expliquent le développement ou le blocage des pays. Nos résultats démontrent également, en comparaison avec les PECO, que le blocage de la transition des pays du Maghreb est expliqué, dans une large mesure, par leur faible niveau de formalisation des règles souligné par la quasi-stagnation de l’évolution de cette formalisation entre 2001 et 2009. Les niveaux des libertés accordées aux citoyens permettent aussi d’expliquer les différences de développement entre les pays. / Maghreb countries (Tunisia, Algeria and Morocco) have undertaken substantial structural reforms on the political and economical level. Their macro-economical equilibrium is almost under control and they benefit from increased E.U. partnerships coupled with international aid programs. However, these countries have failed to reach a sustained growth level that would allow them to develop. Based on a theoretical framework centered on the interrelationship between mechanisms of public and private governance, this doctoral research aims at understanding the reasons behind the Maghreb countries’ development block.From a strict definition of governance and using the MINEFI "Institutional Profiles" database, for the years 2001 and 2009, we built 31 variables of institutional, public and private, governance for 51 developed and developing countries. Dynamics of the National Systems of Governance of the Maghreb countries were examined and compared to that of other countries, particularly to that of Central and Eastern Europe countries.The use of data factor analysis and linear regressions has highlighted the importance of governance institutions that are related to the levels of formalization of rules, and that explain the development or its hiatus in these countries. Our results also showed, in comparison with the Central and Eastern Europe countries, that the transition of the Maghreb countries is explained largely by their low level of formalization of rules and by their almost stagnation between 2001 and 2009. The different levels of freedoms granted to citizens also helped explaining the differences in development between countries.

Für die Konzeption sozio-technischer Systeme zur wissenschaftlichen Erkenntnisgenerierung ist das Wissen über die spezifischen Inhalte und Bedingungen der Arbeit einer Fachgemeinschaft essenziell. Im Kontext der Automatisierung von Wissensproduktion ist unklar, welche fachspezifischen Faktoren die Möglichkeiten einer Arbeitsteilung zwischen Mensch und Maschine beeinflussen. In der vorliegenden Arbeit wird eine grundlegende Voraussetzung für die Automatisierung von Forschungsprozessen, nämlich die Formalisierbarkeit typischer Handlungen und Wissensbestände, hinsichtlich ihrer fachspezifischen Bedingungen untersucht. Dafür wurde ein qualitativer Vergleich der Evidenzkonstruktion zweier Fachgebiete, der Editionsphilologie und der Klimaforschung, durchgeführt. Um deren Forschungsprozesse systematisch vergleichen und Zusammenhänge zwischen den Eigenschaften eines Forschungsprozesses und den Möglichkeiten seiner Formalisierbarkeit empirisch untersuchen zu können, wurde ein Vergleichsrahmen entwickelt, der auf dem wissenschaftssoziologischen Konzept der epistemischen Bedingungen beruht. Die fachspezifischen Bedingungen des Forschungshandelns stellen einen Erklärungsansatz für Varianten der Wissensproduktion und damit auch für unterschiedlich formalisierbare Forschungsprozesse dar. Es konnte gezeigt werden, dass insbesondere der Grad an Kodifizierung des Wissens einen wesentlichen Einfluss auf das Auftreten bzw. die Abfolge unterschiedlich formalisierbarer Handlungstypen und Wissensbestände hat. Der Anteil persönlicher Perspektive in der Evidenzkonstruktion und der Grad der Zerlegbarkeit eines Forschungsprozesses sind ebenfalls wichtige Faktoren für die Möglichkeiten der Delegation von Handlungen an Maschinen. Desweiteren konnte gezeigt werden, dass selbst bei einem hohen Formalisierungsgrad das informelle menschliche Handeln das wesentliche Komplement automatisierter Abläufe darstellt und dass die Formalisierbarkeit einer zeitlichen Dynamik unterliegt. / Knowing about the field-specific content and conditions of work in a scientific discipline is essential for the design of socio-technical systems used for the production of scientific knowledge. In the context of automated knowledge production, it remains unclear which field-specific factors influence the possibilities to distribute labour between humans and machines. This study analyses a fundamental prerequisite for the automation of research processes, namely the possibility to formalise typical actions and knowledge, with regard to its field-specific conditions. A qualitative approach is used to compare the construction of evidence in two scientific fields, textual studies and climate research. In order to systematically compare research processes and to empirically investigate correlations between the properties of a research process and the possibilities of its formalisation, a comparative framework based on the sociological concept of epistemic conditions was developed. Field-specific conditions of doing research represent an explanatory approach for variants of knowledge production and thus for variant degrees of formalised processes. Results show that the degree of codification of knowledge has a significant influence on the occurrence and on the sequence of types of action and of knowledge resources with variant degrees of formalisation. In addition, the role of personal interpretation in problem formulation and construction of empirical evidence and the degree of decomposability of a research process are decisive factors for being able to delegate actions to machines. Furthermore, the study shows that a high degree of formalisation requires informal human action to complement automated processes and that formalisability is subject to temporal dynamics during research processes.