Soient D (les données) et M (les modules) deux ensemble de relations binaires sur un ensemble fini d'objets X. le but de cette thèse est l'étude, d'un point de vue axiomatiques, des (D,M)-procédures (ou multiprocédures) c'est à dire des applications qui à tout sous-ensemble fini de D associent un (ou plusieurs) élément de M. La première partie contient la caractérisation axiomatique des procédures et multiprocédures qui ne dépendent que des matrices de préférences ainsi que la caractérisation de ces matrices pour différents ensemble de données. La seconde partie est une étude d'une classe de multiprocédures qui généralisent la notion de fonction de choix. Enfin, dans la troisème partie, sont développées les notions de procédures et de multiprocédures prudentes ainsi que les variantes séquentielles de la procédure de Borda.

Alors que la lutte contre la pauvreté est devenue l'objectif prioritaire des politiques de développement, les outils dont nous disposons pour analyser ce phénomène et proposer des recommandations de politiques économique semblent encore incomplets ou sujets à caution. La présente thèse constitue une analyse technique et normative desméthodes employées pour décomposer les variations de la pauvreté en composantes respectivement associées à la croissance du revenumoyen et aux évolutions du degré d'inégalités. Les chapitres 1 à 3 s'intéressent aux problèmes de méthode que l'on peut rencontrer pour l'estimation d'élasticités croissance et inégalités de la pauvreté. Le chapitre 1 est une revue critique des différentes approches développées dans la littérature pour estimer ces élasticités, à savoir les approches « comptable », « analytique » et économétrique. Le chapitre 2montre l'importance des formes fonctionnelles utilisées pour le calcul des élasticités de la pauvreté lorsque l'intégralité de l'information relative à la distribution des revenus n'est pas disponible. Nous proposons ensuite dans le chapitre 3 une famille de transformations de la courbe de Lorenz permettant une formulation analytique, pour différentesmesures de pauvreté et d'inégalités, des élasticités inégalités de la pauvreté. Enfin, le chapitre 4 aborde sous l'angle normatif le cadre analytique sur lequel repose cette distinction stricte des effets de la croissance et de la redistribution, etmet en lumière l'importance des a priori éthiques individuels dans la décomposition des variations observées de la pauvreté.

Ce travail propose une réévaluation du schisme phénoménologico-analytique à la lumière des textes de Husserl et de Carnap qui en constituent l’un des fondements et qui cependant émergent d’un contexte philosophique et scientifique similaire. L’idée carnapienne de constitution comme « reconstruction rationnelle » et arbitraire du monde peut en effet paraître s’opposer terme à terme au «se-constituer» des choses que déploie la phénoménologie husserlienne, mais l’emploi par Carnap du vocabulaire de la constitution nous impose d’interroger le lien que l’entreprise de l’Aufbau entretient avec la constitution idéaliste transcendantale. La thèse de ce travail revient à affirmer que l’opposition Husserl/Carnap ne peut être interprétée dans les termes d’une opposition entre phénoménologie et analyse logique, ni non plus sur la base des concepts d’idéalisme transcendantal, de logicisme ou de phénoménalisme. Comprendre l’opposition entre les deux auteurs (et donc plus lointainement entre les deux mouvements dont ils endossent, au moins partiellement, la paternité) implique de se pencher sur les textes de jeunesse où l’un et l’autre élaborent leur concept respectif de constitution, en s’intéressant notamment au modèle logico-mathématique du formel dont ils héritent, et dont leur système de constitution présente le déploiement. Cette confrontation nous amène à définir la constitution comme l’élaboration d’un modèle continu de la discontinuité atteinte par la description phénoménologique pré-constitutive du monde – ce qui nous conduira à interroger la pertinence du modèle topologique pour la constitution. / In this PhD thesis, I attempt to reevaluate the opposition between analytical and phenomenological philosophy through the study of Husserl’s and Carnap’s systems of constitution. Carnap’s idea of constitution as a “rational” and arbitrary “reconstruction” of the world seems to be radically antithetical to Husserl’s descriptive account of the “self-constitution” of the things themselves. Yet, Carnap’s use of the language of constitution, as well as his attempt to translate it into the language of logistics, lead us to question the links between his own enterprise and Husserl’s transcendental idealist constitution. What I am trying to demonstrate in this work is that the opposition between Husserl and Carnap cannot be interpreted either in terms of “phenomenology” and “analytical philosophy” or in terms of transcendental idealism, logicism and phenomenalism. In order to understand the opposition between Husserl and Carnap (and therefore, between continental and analytical philosophy), it is necessary to ask how and why, in their very first works and articles, they both conceived philosophy as a system of constitution. This leads us to give an account of Husserl’s and Carnap’s logico-mathematical models of the formal dimension of experience, and to define constitution as the elaboration of a continuous model for the discontinuity of the world – this discontinuity being given by the phenomenological and pre-constitutive description of the world. Would this imply then that topology is a suitable model for the construction of the world ?

Les travaux de recherche exposés dans ce mémoire sont relatifs à l'élaboration d'une méthode d'intégration de la santé-sécurité à la conception des produits. L'intégration de la santé sécurité dans la conception est aujourd'hui considérée comme un processus séquentiel. Ce type d'approche ne permet pas d'atteindre les résultats escomptés en termes d'amélioration de la sécurité. La méthode proposée consiste à prendre en compte celle-ci dès les premières phases de conceptualisation du produit. Nous avons proposé trois principes fondamentaux régissant la conception sécuritaire. Elle est basée sur les méthodes de conception systématique et axiomatique et permet trois cas d'emploi. Nous proposons ainsi, un processus du risque évoluant simultanément avec un processus de conception. Ce processus des risques est constitué de six contextes, exprimant chacun un nouveau point de vue des risques. Cette méthode, baptisée IRAD permet au concepteur d'exprimer les exigences de sécurité d'une part, à partir de l'analyse structurée du retour d'expérience (cas d'emploi 1) et d'autre part, à partir de l'analyse systématique des risques liés aux choix technologiques effectués au cours de la conception (cas d'emploi 2). Suite à cette démarche, le cahier des charges du produit s'avère évolutif et dépendant du développement du produit. La conception de produits sécuritaires s'effectue alors à travers l'intégration des exigences de sécurité dans la synthèse des solutions (cas d'emploi 3). Les exigences de sécurité découlant de la mise en oeuvre de la méthode se présentent sous forme d'équations d'optimisation. L'applicabilité de la méthode IRAD a été enfin démontrée sur le cas des liaisons tracteur-outils.

L'objet de cette thèse est la formalisation et l'automatisation du raisonnement géométrique au sein de l'assistant de preuve Coq.<br />Dans une première partie, nous réalisons un tour d'horizon des principales axiomatiques de la géométrie puis nous présentons une formalisation des huit premiers chapitres du livre de Schwabäuser, Szmielew et Tarski: Metamathematische Methoden in der Geometrie.<br />Dans la seconde partie, nous présentons l'implantation en Coq d'une procédure de décision pour la géométrie affine plane : la méthode des aires de Chou, Gao et Zhang. Cette méthode produit des preuves courtes et lisibles.<br />Dans la troisième partie, nous nous intéressons à la conception d'une interface graphique pour la preuve formelle en géométrie : Geoproof. GeoProof combine un logiciel de géométrie dynamique avec l'assistant de preuve Coq.<br />Enfin, nous proposons un système formel diagrammatique qui permet de formaliser des raisonnements dans le domaine de la réécriture abstraite. Il est par exemple possible de formaliser dans ce système la preuve diagrammatique du lemme de Newman. La correction et la complétude du système sont prouvées vis-à-vis d'une classe de formules appelée logique cohérente.

La présente étude se propose comme première tentative de lecture, interprétation et transcription intégrale duCentheologicon d’Heymeric de Campo, philosophe et théologien brabantin du XVème siècle, connu parmi lesspécialistes surtout pour sa relation intellectuelle avec son élève, Nicolas de Cuse.Ce travail se compose de deux volumes, le premier qui constitue le véritable noyau théorique de la recherche, c’est-à-direle problème théorique de la ‘citation’ considérée comme ars citandi dans la pratique des genres philosophiques etthéologiques notamment au moyen âge ; et le deuxième qui représente le travail philologique préparatoir à l’édition dutexte du Centheologicon, conservé dans un seul manuscrit qui se trouve à la Bibliothèque Royale de Bruxelles (ms.11571-75). Dans le premier volume on discute la relation entre ‘auteur et auctoritas’, ‘texte original et copie’, ‘écriture etplagiat’ tout en se concentrant sur la ‘pratique de la citation’ et l’emploi des sources ‘cachées’ dans le Centheologicond’Heymeric. Cette démarche a été possible grâce au repérage de certaines ‘sources implicites’ dans le texte, auparavantinconnues, et a permis d’interpréter la citation comme ‘travail tout à fait littéraire’ et non comme ‘plagiat’ dans le senspéjoratif du terme. Le deuxième volume complète l’étude avec la trascription intégrale du Centheologicon dans uneforme très proche à l’emendatio définitive du manuscrit latin et pourtant constitue un bon résultat en vue de l’achèvementde l’édition du Centheologicon. / The study represents the first attempt to read, interpret and transcribe the complete Centheologicon of Heymeric deCampo, fifteenth century Flemish philosopher and theologian from Brabant, known among experts especially for hisintellectual relationship with his student, Nicolas of Cues.The work consists of two volumes; the first one is the core of the research, that is to say, the theoretical problem of the'citation', considered as ars citandi, in the practice of the philosophical and theological genres in the Middle Ages; andthe second one represents the philological work that is preparatory to the edition of the Centheologicon, preserved in asingle manuscript, which is in the Bibliothèque Royale of Brussels (ms. 11571-75).In the first volume the relationship between ‘author and auctoritas', 'original and copies 'composition and plagiarism isconsidered, by focusing the 'practice of citation’, and the use of 'hidden' sources in the Centheologicon of Heymeric.This approach has been made possible by the identification of 'implicit sources' in the text, previously unknown, andhelped interpret citation as 'quite literary work' and not as 'plagiarism' in the negative sense.The second volume completes the study with full transcription of the Centheologicon in a form very close to the finalemendatio of the Latin manuscript, thus being a good result for the completion of the edition of Centheologicon.

Dans ce travail de thèse, nous avons proposé des nouvelles approches pour la conception des aménagements cellulaires (AC) et plus particulièrement pour la formation des cellules (FC) de production. La première approche consiste à appliquer la méthode d'analyse en composantes principale sur la matrice d'incidence (produits/machines). La matrice de corrélation statistique est exploitée comme une matrice de similarité. L'analyse du plan principal permet de grouper simultanément les machines en groupes et les produits en machines. Des algorithmes pour l'affection des éléments exceptionnels sont également proposés. Le problème de FC devient plus complexe en présence de gammes alternatives. Dans ce contexte, nous avons proposé une deuxième nouvelle approche qui se base sur l'application de la méthode des plans d'expériences (factoriel, méthode de Taguchi). L'objectif étant de choisir, pour chaque produit, la gamme préférentielle permettant l'optimisation des indicateurs de performance de FC. En plus, ce traitement permet d'introduire un aspect d'analyse de la sensibilité de la solution finale ignorée par les techniques antérieures de la FC. La troisième approche porte sur le développement d'une démarche de conception basée sur la combinaison de la conception axiomatique avec la technique des plans d'expériences. Elle permet de lister et d'ordonner les différentes tâches nécessaires pour concevoir un AC. Les autres approches que nous avons développées sont validées à travers cette démarche. Partant de l'une des solutions initiales de répartition des machines en cellules en présence d'éléments exceptionnels, la quatrième approche proposée consiste à appliquer la méthode de simulation à événements discrets pour évaluer puis améliorer la performance des cellules de production. Plusieurs stratégies pourront être étudiées : admettre des éléments exceptionnels dans les différentes cellules, dupliquer les machines exceptionnelles, etc. Les résultats des études comparatives basées sur plusieurs indicateurs de performance, indiquent que les approches proposées sont efficaces, efficientes et pratiques surtout dans leurs accessibilités à travers la disponibilité de plusieurs logiciels dans le marché.

L'objet de cette thèse est de proposer et de développer les différentes mesures multidimensionnelles de la pauvreté. La multidimensionnalité de la pauvreté fait aujourd'hui consensus. Scientifiques, décideurs politiques et professionnels du développement s'accordent pour dire que la seule dimension monétaire (le manque de revenu) ne suffit pas à représenter la pauvreté. En se basant sur les travaux de Sen (Prix Nobel d'Economie) en particulier sur l'approche des capacités, nous proposons quatre mesures différentes de la pauvreté. La première est une mesure monétaire basée sur l'approche utilitaire ; la seconde est une mesure subjective basée sur les expériences des ménages ; la troisième est une mesure multidimensionnelle axiomatique et enfin la dernière est une mesure non axiomatique basée sur la théorie des ensembles flous. Elles sont toutes mises en oeuvre en utilisant les données d'enquêtes EDAM3-IS (Enquête Djiboutienne Auprès des Ménages 2012). Les résultats s'inscrivent dans un contexte de croissance économique que connait Djibouti. Cependant, toutes les mesures utilisées ont montré des grandes disparités régionales entre la capitale et les régions en termes d'infrastructure de base et de bien-être des ménages. Chacune de ses méthodes a fourni des résultats avec différentes interprétations des déterminants de la pauvreté. Cela ne signifie pas qu'il existe une méthode bien meilleure que l'autre, mais chaque approche, dans un contexte particulier, peut-être plus pertinente. Ainsi, l'identification des pauvres en appliquant les différentes mesures de la pauvreté nous a donné un profil différencié. Par conséquent, le décideur doit définir au préalable l'objectif poursuivi dans les politiques de lutte contre la pauvreté. Nous pouvons souligner que l'intégration d'une pondération subjective dans la mesure de la pauvreté est une de nos contributions au développement de mesures multidimensionnelles de la pauvreté. / The aim of this thesis is to propose and develop the various multidimensional measures of poverty. There is a consensus on the multidimensional nature of poverty. Scientists, policy makers and development professionals agree that the monetary dimension (lack of income) is inadequate to represent poverty. On the basis of the work of Sen (Nobel Proze of Economics), particularly on the capability approach, we propose four different measures of poverty. The first one is a monetary measure based on the utilitarian approach ; the second is a subjective measure founded on household experience ; the third is a multidimensional axiomatic measure and the final one is a non-axiomatic measure based on the theory of fuzzy sets. They are implemented using survey data EDAM3-IS (Djiboutian Survey of Households 2012). The esults fall within the framework of economic growth in Djibouti. However, all the measures used have shown great disparities between the capital and the regions in terms of basic infrastructure and household welfare. Each method produced results with different interpretations of the determinants of poverty. This does not mean that there is one method being better than the other but rather each approach, in a particular context, may be more relevant. Thus, identifying the poor by applying the different measures of poverty gave us a clear-cut profile, which implies that the decision-maker must first set the aim in view in the implementation of anti-poverty policies. It can be emphasized that the inclusion of a subjective weighting in the process of measuring of poverty is one of our contributions towards the development of multidimensional measures of poverty.

La thèse propose quatre contributions sur la méthode axiomatique. Les trois premiers chapitres utilisent le formalisme des jeux coopératifs à utilité transférable. Dans les deux premiers chapitres, une étude systématique de l'opération de nullification est menée. Les axiomes de retraits sont transformés en axiomes de nullification. Des caractérisations existantes de règles d’allocation sont revisitées, et des résultats totalement neufs sont présentés. Le troisième chapitre introduit et caractérise une valeur de Shapley proportionnelle, où les dividendes d’Harsanyi sont partagés en proportion des capacités des singletons concernés. Le quatrième chapitre propose une variante multi-dimensionnelle de l’indice de Hirsch. Une caractérisation axiomatique et une application aux classements sportifs sont fournies. / The dissertation provides four contributions on the axiomatic method. The first three chapters deal with cooperative games with transferable utility. In the first two chapters, a systematic study of the nullification operation is done. The removal axioms are translated into their nullified counterparts. Some existing characterizations are revisited, and completely new results are presented. The third chapter introduces and characterizes a proportional Shapley value in which the Harsanyi dividends are shared in proportion to the stand-alone worths of the concerned players. The fourth chapter proposes a multi-dimensional variant of the Hirsch index. An axiomatic characterization and an application to sports rankings are provided.

Cette thèse traite de l’analyse théorique et l’application d’une nouvelle famille de jeux coopératifs, où la valeur de chaque coalition peut être calculée à partir des contributions des joueurs par un opérateur additif qui décrit comme les capacités individuelles interagissent au sein de groupes. Précisément, on introduit une grande classe de jeux, les Generalized Additive Games, qui embrasse plusieurs classes de jeux coopératifs dans la littérature, et en particulier de graph games, où un réseau décrit les restrictions des possibilités d’interaction entre les joueurs. Des propriétés et solutions pour cette classe de jeux sont étudiées, avec l’objectif de fournir des outils pour l’analyse de classes de jeux connues, ainsi que pour la construction de nouvelles classes de jeux avec des propriétés intéressantes d’un point de vue théorique. De plus, on introduit une classe de solutions pour les communication situations, où la formation d’un réseau est décrite par un mécanisme additif, et dans la dernière partie de cette thèse on présente des approches avec notre modèle à des problèmes réels modélisés par des graph games, dans les domaines de la théorie de l’argumentation et de la biomédecine. / This thesis deals with the theoretical analysis and the application of a new family of cooperative games, where the worth of each coalition can be computed from the contributions of single players via an additive operator describing how the individual abilities interact within groups. Specifically, we introduce a large class of games, namely the Generalized Additive Games, which encompasses several classes of cooperative games from the literature, and in particular of graph games, where a network describes the restriction of the interaction possibilities among players. Some properties and solutions of such class of games are studied, with the objective of providing useful tools for the analysis of known classes of games, as well as for the construction of new classes of games with interesting properties from a theoretic point of view. Moreover, we introduce a class of solution concepts for communication situations, where the formation of a network is described by means of an additive pattern, and in the last part of the thesis we present two approaches using our model to real-world problems described by graph games, in the fields of Argumentation Theory and Biomedicine.