Titre de l'écran-titre (visionné le 1er février 2024) / La validité de la connaissance contemporaine est de moins en moins claire, certaine. Considérant l'impact de la réduction logique sur la transmission des connaissances, le savoir se transforme en ignorance et en croyance. Comment garantir la validité de la connaissance ? Loin des courants philosophiques traditionnels, Piaget rejeta la division entre connaissance scientifique et connaissance commune. En marge des courants philosophiques traditionnels, les travaux de Piaget proposent une compréhension alternative des notions de validité et de vérité épistémiques et épistémologiques au niveau de l'acquisition, de la validation, de la mise en application et de la fiabilité des connaissances. Se basant sur l'interprétation constructiviste radicale d'Ernst von Glasersfeld ainsi que de l'analyse holistique exhaustive de Marie-Françoise Legendre, ce travail revient aux sources fondamentales (souvent mal comprises) et explore cette notion piagétienne de la « connaissance valable ». Pour l'expliquer, nous avons dégagé « certaines » prémisses fondamentales (mais non les seules) du corpus piagétien et des travaux d'épistémologie génétique afin d'en constituer une "théorie des limites". Ancrées dans les fondements psychobiologiques développementaux de la connaissance, nous avons ainsi proposé une philosophie constructiviste dans un contexte de résolution de problème et d'adaptation psychobiologique. Ceci nous mena à envisager une méta-épistémologie normative portant sur l'application des connaissances afin d'y intégrer la notion de programme épistémologique. Notions associées : constructivisme, structuralisme, biologie de la connaissance, autorégulation, équilibration, assimilation, accommodation, phénocopie, pseudophénocopie, évolution variationnelle, évolution organisatrice, égocentrisme, décentration, connaissance valable, vérité, épistémologie génétique, psychologie génétique, validité épistémologique, validité épistémique, fiabilité épistémologique, processus d'objectivation, objectivation, dialectique, épistémologie, méta-épistémologie, logique épistémologique, logistique, déduction, induction, transduction, etc. Les auteurs principaux identifiés dans la thèse sont Jean Piaget, Marie-Françoise Legendre, Ernst von Glasersfeld, Edgar Morin, Jean-Louis Le Moigne, Burrhus Frederic Skinner, John Broadus Watson, Robert Nadeau, Willard Van Orman Quine, Ilya Prigogine et Philippe Lestage. / The validity of contemporary knowledge is becoming increasingly unclear and uncertain. Considering the impact of logical reduction on the transmission of knowledge, our understanding of reality transforms into ignorance and belief. How can we ensure the validity of knowledge ? Far from traditional philosophical currents, Piaget rejected the division between scientific knowledge and common knowledge. Alongside non-traditional philosophical currents, Piaget's work offers an alternative understanding of epistemic and epistemological validity and truth at the levels of acquisition, validation, application, and reliability of knowledge. Based on the radical constructivist interpretation by Ernst von Glasersfeld and a comprehensive holistic analysis by Marie-Françoise Legendre, this work returns to the fundamental sources (often misunderstood) and explores Piaget's notion of "valid knowledge." To explain this, we have identified "certain" fundamental premises (but not limited to) from the Piagetian corpus and genetic epistemology works to form a "theory of limits." Grounded in the psychobiological developmental foundations of knowledge, we have proposed a constructivist philosophy in the context of problem-solving and psychobiological adaptation. This led us to consider a normative meta-epistemology regarding the application of knowledge, integrating the concept of an epistemological program. Associated concepts include constructivism, structuralism, biology of knowledge, selfregulation, autoregulation, equilibration, assimilation, accommodation, phenocopy, pseudophenocopy, variational evolution, organizing evolution, egocentrism, decentration, valuable knowledge, truth, genetic epistemology, genetic psychology, epistemological validity, epistemic validity, epistemological reliability, objectification process, objectification, dialectic, epistemology, meta-epistemology, epistemological logic, logistic, deduction, induction, transduction, etc. The main authors identified in the thesis are Jean Piaget, Marie-Françoise Legendre, Ernst von Glasersfeld, Edgar Morin, Jean-Louis Le Moigne, Burrhus Frederic Skinner, John Broadus Watson, Robert Nadeau, Willard Van Orman Quine, Ilya Prigogine and Philippe Lestage.

Étant donné les progrès majeurs de l'intelligence artificielle (IA) au cours des dernières années, de plus en plus de domaines d'application adoptent les outils proposés par l'IA afin d'accomplir une multitude de tâches. Considérant l'importance de ces tâches dans des domaines comme la santé et l'énergie, il est nécessaire d'être en mesure de garantir le bon fonctionnement des algorithmes d'IA. Plusieurs résultats proposés dans la littérature visent à garantir la bonne performance de certains algorithmes. Toutefois, l'existence d'erreurs au sein de la littérature scientifique est inévitable dû aux milliers d'articles qui sont publiés chaque année. Bien que plusieurs de ces erreurs aient des conséquences mineures, certaines, en revanche, peuvent avoir un impact considérable sur l'état des connaissances scientifiques ainsi qu'en pratique. Par conséquent, il est important d'identifier et de comprendre ces erreurs dès qu'elles sont identifiées. Dans ce mémoire, nous abordons deux erreurs identifiées dans la littérature liée à l'usage de la statistique bayésienne dans une approche visant à identifier ces erreurs, comprendre leur nature tant au niveau de la théorique que de l'intuition et explorer les implications de ces erreurs pour la recherche en IA. La première erreur concerne l'optimalité C-borne dans le cadre de la classification binaire. Nous parvenons à démontrer que pour des problèmes bruités, cette borne ne peut pas atteindre la valeur théorique optimale et utilisons cette analyse afin de démontrer théoriquement la meilleure valeur que peut produire cette borne selon le problème de classification. La seconde erreur concerne la garantie théorique de la convergence de l'algorithme ADD-GP-UCB dans le cadre de l'optimisation bayésienne. Bien que cette erreur ait été soulevée par le passé, celle-ci n'a jamais été proprement abordée dans la littérature. Nous parvenons ainsi à démontrer l'invalidité de la preuve tout en explicitant une multitude de raisonnements fallacieux identifiés dans la littérature concernant cet algorithme. / Given the significant progress of artificial intelligence (AI) in recent years, an increasing number of application domains are adopting AI tools to perform a multitude of tasks. Considering the importance of these tasks in areas such as health and energy, it is necessary to ensure the proper behavior of these AI algorithms. Several results proposed in the literature aim to guarantee the proper performance of certain algorithms. However, due to the thousands of articles published each year, errors in scientific literature are inevitable. Although many of these errors are of minor consequences, some can have a significant impact regarding general scientific knowledge as well as in practice. Therefore, it is important to address and understand these errors as soon as they are identified. In this paper, we address two errors identified in the literature related to the use of Bayesian statistics. Our approach aims to identify these errors, understand their nature both on a theoretical and an intuitive level, and explore their implications in the field of AI. The first error concerns the optimality of the C-bound, a bound used in the context of binary classification. We demonstrate that in a noisy setting, this bound cannot reach an optimal value. Our analysis leads to the proof of the best value the C-bound can achieve for a given classification problem. The second error concerns the convergence of the ADD-GP-UCB algorithm in the context of Bayesian optimization. Although this error has been raised in the past, it has never been properly addressed in the literature. We manage to demonstrate that the proposed proof is invalid while also shining light on a multitude of fallacious statements found in the literature concerning this algorithm.

Cette thèse s’intitule Les racines philosophiques et anthropologiques du destin de l’ordre catallactique chez Friedrich August von Hayek. Von Hayek fut économiste, psychologue théorique, juriste et historien. Mais l’étude de son oeuvre montre aussi qu’il fut philosophe et anthropologue. Et, dans une certaine mesure, même s’il ne respectait pas toujours les politiciens, il fit, à sa manière, de la politique, dans son acception non politicienne, puisqu’il eut une réelle compréhension et un très grand respect pour la démocratie. Il tenta plutôt d’influencer, à l’université, lors de conférences internationales, dans ses ouvrages, les intellectuels, spécialement les rationalistes constructivistes, les hommes d’État ou de gouvernement, particulièrement les socialistes et les conservateurs, et, surtout, l’homme de la rue, finalement sur qui portait tout le poids de l’avenir de la civilisation occidentale. À ce sujet précis, il eut tellement de choses à dire. Et ces choses furent le prétexte à l’écriture d’un ouvrage philosophique. En effet, 1943 fut une date importante, pour lui. Il fit paraître La Route de la servitude. Déjà le titre était annonciateur. Dans cet ouvrage, von Hayek voulait alerter le monde des intellectuels, des hommes politiques et administratifs et de l’opinion publique au sujet de la prison vers laquelle tout ce monde, nonchalamment, volontairement, se dirigeait. Et en s’asservissant ainsi, l’homme du XXe siècle menaçait de mort ou d’appauvrissement, à terme, insidieusement, l’Occident. La mort ou l’appauvrissement de la civilisation occidentale, pour von Hayek, serait cataclysmique. Des milliards de personnes, au XXe siècle, survivaient justement grâce à ce qui avait permis à cette grande civilisation de la liberté de l’homme d’apparaître, de se développer et de se maintenir : il s’agissait de l’ordre catallactique. Mais qu’arrivait-il, au XXe siècle, à cet ordre catallactique riche de vies humaines? En fait, ce questionnement portait justement sur cet ordre et surtout sur son destin de plus en plus incertain. L’ordre catallactique, qui apparut, se développa et se maintint, s’affaiblissait ou disparaissait de plus en plus au XXe siècle et ce, malgré le fait qu’il favorisa, il y a des millénaires de cela, la vie à travers un mode différent et nouveau de survie. C’est pourquoi la déchéance de cet ordre, au XXe siècle, le préoccupa et le fit penser et écrire. L’objet de ses réflexions à l’égard du destin incertain de l’ordre catallactique est précisément ce que vise cette thèse : élucider et exposer, dans une perspective exégétique, les racines philosophiques et anthropologiques qui, dans la pensée de von Hayek, ont favorisé l’apparition, le développement et le maintien de l’ordre catallactique et de son déclin. Ainsi, nous avons eu besoin de nous appuyer sur quatre parties, qui sont, elles-mêmes, distribuées en sept chapitres. Première partie et ses deux chapitres. D’abord, nous avons tracé le profil biographique de Friedrich August von Hayek et enfin nous avons présenté une thématique intégratrice autour de laquelle gravite sa réflexion à l’égard du destin de l’ordre catallactique : il s’agit de la vie qui est essentiellement comprise comme une survie. Deuxième partie et son seul chapitre. Nous avons présenté la théorie de la connaissance de von Hayek, qui pourrait se ramener à l’idée suivante : l’homme ou l’intellectuel, du reste, reste un être de limites et d’ignorance. Cette conception, qui peut sembler étrange, possédait le mérite, selon von Hayek, de pouvoir voir au-delà de ce que les sens offrent à l’observation : l’invisible, l’inobservable et l’intangible qui caractérisent les pratiques économiques et les règles juridiques catallactiques qui apparurent, se développèrent et se maintinrent de façon spontanée, abstraite et complexe. Troisième partie et ses trois chapitres. En fait, ils viendront élucider et exposer les racines philosophiques et anthropologiques du destin incertain de l’ordre catallactique. D’abord, nous présenterons les concepts économiques et juridiques d’ordre et de catallaxie, qui sont à la base de l’ordre catallactique. Ensuite, nous tracerons le profil psychologique et anthropologique de l’homme : l’homme sensoriel ou phénoménal, l’homme biologique et l’homme culturel, qui furent à la base de la naissance de l’ordre catallactique et de son déclin. Enfin, nous avons repéré cette biologie immémoriale et psychophysiologique, et cette culture récente et lente au sein de l’histoire de l’évolution humaine afin d’y détecter des mouvements d’évolution – de la biologie à la culture – et d’autres de retour en arrière – de la culture vers la biologie. Quatrième partie et son chapitre. Nous avons présenté la problématique morale ou éthique que le destin de l’ordre catallactique, incertain au XXe siècle, portait en lui. En effet, pour certaines raisons, le système moral ou éthique catallactique n’arrivait plus, au XXe siècle, à concurrencer le système moral ou éthique socialiste ou socialisant issu de la pensée rationaliste constructiviste.

<p align="justify">Depuis 20 à 30 ans, l'aide multicritère à la décision est apparue. L'expansion de cette nouvelle discipline s'est marquée dans la littérature essentiellement par un foisonnement de nouvelles méthodes multicritères d'aide à la décision et par des applications de celles-ci à des problèmes "réels". Pour la plupart de ces méthodes, il n'y pas ou peu de fondements théoriques. Seul le bon sens a guidé les créateurs de ces méthodes.</p> <p align="justify">Depuis une dizaine d'années, le besoin de bases théoriques solides se fait de plus en plus sentir. C'est dans cette perspective que nous avons réalisé le présent travail. Ceci étant dit, nous n'allons pas vraiment nous occuper de méthodes multicritères à la décision dans ce travail, mais seulement de fragments de méthodes. En effet, les méthodes multicritères d'aide à la décision peuvent généralement être décomposées en trois parties (outre la définition de l'ensemble des alternatives et le choix des critères):</p> <p align="justify"><ol><li>Modélisation des préférences: pendant cette étape, les préférences du décideur sont modélisées le long de chaque critère. <li>Agrégation des préférences: un modèle global de préférences est construit au départ des modèles obtenus critère par critère à la fin de la phase précédente. <li>Exploitation des résultats de l'agrégation: du modèle global de préférences issu de la phase 2, on déduit un choix, un rangement, une partition, ... selon les besoins.</ol></p> <p align="justify">Jusqu'à présent, à cause de la difficulté du problème, peu de méthodes ont été axiomatisées de bout en bout; la plupart des travaux ne s'intéressent qu'à une ou deux des trois étapes que nous venons de décrire.</p> <p align="justify">Nous nous sommes intéressés à une méthode bien connue: la méthode de Borda. Elle accepte comme données de départ des relations binaires. Elle intervient donc après la phase de modélisation des préférences. Le résultat de cette méthode est un rangement. Elle effectue donc les opérations correspondant aux étapes 2 et 3. Dans la suite de ce travail nous appellerons méthode de rangement toute méthode effectuant les étapes 2 et 3 pour aboutir à un rangement. Etant donné que les méthodes de rangement, celle de Borda en particulier, sont utilisées également en choix social, nous puiserons abondamment dans le vocabulaire, les outils et les résultats du choix social. Les résultats présentés seront valides en choix social, mais nous nous sommes efforcés de les rendre aussi pertinents que possible en aide multicritère à la décision.</p> <p align="justify">Dans le chapitre II, après quelques définitions et notations, nous présentons quelques méthodes de rangement classiques, y compris la méthode de Borda, et quelques résultats majeurs de la littérature. Nous généralisons une caractérisation des méthodes de scorage due à Myerson (1995).</p> <p align="justify">Nous nous tournons ensuite vers les relations valuées. La raison en est la suivante: elles sont utilisées depuis longtemps dans plusieurs méthodes multicritères et, depuis peu, elles le sont aussi en choix social (p.ex. Banerjec 1994) car elles permettent de modéliser plus finement les préférences des décideurs confrontés à des informations incertaines, imprécises, contradictoires, lacunaires, ... Nous commençons donc le chapitre III par des notations et définitions relatives aux relations valuées.</p> <p align="justify">Ensuite, nous présentons quelques méthodes de rangement opérant au départ de relations valuées. C'est-à-dire des méthodes de rangement qui agissent non pas sur des relations nettes, mais sur des relations valuées et qui fournissent comme précédemment un rangement des alternatives. N'ayant trouvé dans la littérature aucune méthode de ce type, toutes celles que nous présentons sont neuves ou des généralisations de méthodes existantes; comme par exemple, les méthodes de scorage généralisées, que nous caractérisons en généralisant encore une fois le résultat de Myerson.</p> <p align="justify">Nous présentons enfin ce que nous appelons la méthode de Borda généralisée, qui est une des généralisations possibles de la méthode de Borda au cas valué. Nous basant sur un article de Farkas et Nitzan (1979), nous montrons que contrairement à ce qui se passait dans le cas particulier envisagé par Farkas et Nitzan (agrégation d'ordres totaux), la méthode de Borda généralisée (et sa particularisation au cas net) n'est pas toujours équivalente à la méthode proximité à l'unanimité. Cette dernière méthode classe chaque alternative en fonction de l'importance des changements qu'il faudrait faire subir à un ensemble de relations pour que l’alternative considérée gagne à l'unanimité. Nous identifions quelques cas où l'équivalence est vraie.</p> <p align="justify">Ensuite, nous reprenons un résultat de Debord (1987). Il s'agit d'une caractérisation de la méthode de Borda en tant que méthode de choix appliquée à des préordres totaux. Nous la généralisons de deux façons au cas de la méthode de Borda en tant que méthode de rangement appliquée à des relations valuées. Lorsqu'on applique la méthode de Borda, on est amené à calculer une fonction à valeurs réelles sur l'ensemble des alternatives.</p> <p align="justify">La valeur prise par cette fonction pour une alternative s'appelle le score de Borda de cette alternative. Ensuite, on range les alternatives par ordre décroissant de leur score de Borda. La tentation est grande - et beaucoup y succombent (peut-être avec raison) d'utiliser le score de Borda non seulement pour calculer le rangement mais aussi pour estimer si l'écart entre deux alternatives est important ou non (voir par exemple Brans 1994). Cette approche n'a, à notre connaissance, jamais été étudiée d'un point de vue théorique. Nous présentons deux caractérisations de la méthode de Borda utilisée à cette fin.</p> <p align="justify">Dans la dernière partie du chapitre III, nous abandonnons la démarche qui visait à caractériser une méthode par un ensemble de propriétés le plus petit possible. Nous comparons 12 méthodes sur base d'une vingtaine de propriétés. Les résultats de cette partie sont résumés dans quelques tableaux.</p> <p align="justify">Ce travail aborde donc la méthode de Borda et sa généralisation au cas valué sous différents angles. Il livre une série de résultats qui, espérons-le, devraient permettre de mieux comprendre la méthode de Borda et peut-être de l'utiliser à meilleur escient. Toutefois, quoique notre objectif ait été de présenter des résultats pertinents en aide multicritère à la décision (et nous avons fait des progrès dans ce sens), il reste du chemin à faire. Nous sommes probablement encore trop proche du choix social. Ceci constitue donc une voie de recherche intéressante, de même que l'étude d'autres méthodes de rangement et l'étude de méthodes complètes d'aide multicritère à la décision: modélisation du problème (identification du ou des décideur(s), des alternatives et des critères), modélisation des préférences, agrégation des préférences et exploitation des résultats de l'agrégation.</p>

Dans la partie oeuvre originale de ce mémoire d'habilitation, la validité de deux analyses phonologiques synchroniques sont testée par des comparaison avec des données historiques. Les deux analyses concernent l'alternance schwa/zéro en allemand et le r intrusif en anglais britannique.<br /> En ce qui concerne l'allemand, nous montrons que notre analyse de 1992 est confirmée par les donnée historiques. Dans cette annalyse, le comportement différent d'adjectifs d'une part et de verbes et de substantif d'autres part était analysé comme étant le résultat de l'existence d'un morphème adjectival sous forme de schwa. par des données historiques. Dans l'histoire de l'allemand on voit naître le comportement différent de schwa en ce qui concerne les adjectifs.<br />En ce qui concerne le r instrusif en anglais, nous montrons que l'analyse d'Anttila et Cho (1968) dans le cadre de la Théorie d'optimalité présente de sérieux problèmes comparée à l'analyse d'inversion de règles de Vennemann (1972) : elle n'explique ni le fait que les segments effacés et insérés sont identiques, ni le fait qu'il s'agit précisément de r (oude n dans un cas pareil en du néerlandais). En outre, la spécificité des contextes des<br />deux processus est ignorée.

On trouve dans la littérature de nombreux exemples de jeux où les stratégies souhaitées sont soumises à des contraintes ''transversales'' portant sur des ensembles de parties, reliées entre elles par quelque relation sémantique. L'exemple le plus fameux est celui des stratégies dans les jeux à information imparfaite, et les jeux où la condition de gain a un aspect épistémique en sont d'autres. Cependant, aucune étude approfondie n'a à notre connaissance été menée sur ce type de contraintes dans leur généralité. C'est ce que nous nous proposons de commencer dans cette thèse. Nous définissons donc une notion générale de stratégies uniformes. Les propriétés d'uniformité des stratégies sont exprimées dans un langage logique qui étend CTL∗ avec deux quantificateurs originaux. Ces quantificateurs sont très proches des opérateurs de connaissance classiques en logique épistémique, et font intervenir des ensembles de parties reliées entre elles par des relations binaires. Nous montrons comment cette notion de stratégies uniformes capture les exemples connus de la littérature, puis nous étudions en profondeur le problème de la synthèse de stratégies uniformes, en considérant que les relations binaires entre les parties sont reconnaissables par des automates finis (relations rationnelles). Nous établissons plusieurs résultats de décidabilité et de complexité, reposant largement sur des techniques d'automates : nous introduisons notamment comme outils les automates d'arbres bondissants et les automates d'ensembles d'informations. Par ailleurs, nos résultats permettent d'améliorer des résultats existants et d'en établir de nouveaux, dans les domaines du model-checking des logiques temporelles et épistémiques, ainsi que de la planification épistémique.

Communiquer efficacement nécessite de produire une multitude d’inférences pragmatiques. Celles-ci reposent sur la capacité à prendre en compte un grand nombre d’indices, tels que le contexte ou l’état mental et physique du locuteur. Dans le cas du langage oral, l’interlocuteur s’appuie également sur les indices prosodiques. Ainsi, une prosodie enthousiaste associée à l’énoncé « Excellent. » aidera un interlocuteur à inférer que le locuteur est content tandis qu’une intonation plate le conduira au contraire à penser qu’il était ironique. Ces situations peuvent être particulièrement délicates pour les patients atteints d’un Trouble du Spectre Autistique (TSA) qui éprouvent des difficultés pour reconnaître et interpréter les états mentaux d’autrui. Nous prédisons donc que l’interprétation des indices prosodiques est délicate dans les TSA. Cependant, tous les aspects de l’interprétation prosodique ne requièrent pas d’attribuer des états mentaux. Par exemple, la distinction entre « PREsent » et « preSENT » (en anglais) est basée sur une simple connaissance du lexique, indépendante des pensées du locuteur. Dans ce travail, j’explore différents aspects de la prosodie afin de déterminer si les personnes avec un TSA sont spécifiquement atteintes dans leur capacité à comprendre les signaux prosodiques reposant sur la compréhension des intentions du locuteur. Je présente une série de travaux traitant de la prosodie grammaticale (Article 1), de la transmission accidentelle d’informations (Article 2), de l’accent contrastif (Articles 3 et 4), et de l’identification des états mentaux du locuteur (Article 5). Les résultats présentés dans ces travaux me conduisent ensuite à discuter des questions plus générales concernant la Théorie de l’Esprit (Article 6) et à proposer une explication alternative des déficits sociaux observés dans les TSA (Article 7). / Efficient communication requires a great deal of pragmatic inferencing. This is rooted in the ability to take into account a variety of cues, such as the context and the speaker’s mental or emotional states. Crucially, in spoken language, hearers can also rely on prosodic cues. For instance, if someone utters “That was brilliant”, using an enthusiastic prosody, this will help the hearer to decipher that the speaker is happy. In contrast, if the speaker’s comment is uttered in a deadpan tone of voice, she will be thought to be ironical. These situations can be especially challenging for people with an Autism Spectrum Disorder. Indeed, these individuals have well-known difficulties in recognising and interpreting others’ mental states. This leads to the prediction that interpreting prosodic cues should be problematic in ASDs. However, not all aspects of prosodic interpretation involve mental states attribution. For instance, differentiating “PREsent” from “preSENT” merely requires one to be aware of the fact that these words stand for different things, without needing to attribute any particular thoughts to the speaker. In this work, I explore the various components of prosody and assess whether people with an ASD are specifically impaired in interpreting prosodic cues that rely on the understanding of the speaker’s intentions. I present a series of papers focusing on grammatical prosody (Paper 1), accidental information transmission (Paper 2), contrastive stress (Papers 3 and 4), and identification of the speaker’s attitude and emotional state (Paper 5). The results presented in these papers then lead me to address more general questions concerning Theory of Mind (Paper 6) and to discuss the possible origins of the social impairments found in ASDs (Paper 7).

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

L'objectif central de cette thèse est d'étudier le comportement de fraude fiscale des contribuables quand ils ne déclarent qu'une partie de leur revenu. Le premier chapitre complète la littérature existante en étudiant le niveau de déclaration du revenu et les effets de changements des taux de taxe, de pénalité et de probabilité de contrôle, en considérant des fonctions d'imposition et de pénalité non linéaire, dans le cadre de la théorie de l'espérance de l'utilité.Le cadre fourni par la théorie des perspectives cumulatives est ensuite utilisé dans le second chapitre. L'accent est mis sur la dépendance des décisions du contribuable vis-à-vis du revenu de référence introduit par cette théorie. Le troisième chapitre caractérise le barème optimal d'imposition du revenu et la stratégie de contrôle et de pénalité que doit mettre en place l'État quand le comportement de fraude des contribuables vérifie les propriétés de la théorie des perspectives. / This dissertation analyzes the tax evasion behavior of taxpayers when they do not declare their entire income. The first chapter studies the declaration of the taxpayer and the effects of changes in the tax rate, the penalty rate and the probability of audit. The tax and the penalty functions are assumed to be non linear. The setting is provided by expected utility theory. The setting provided by cumulative prospect theory is used in the second chapter. Reference dependence, which is a central point in this theory, is particularly studied. The third chapter characterizes the optimal income tax and audit schemes under taxe evasion behavior, when of tax payers behave as predicted by prospect theory.

La théorie des groupes de tresses s'inscrit au croisement de plusieurs domaines des mathématiques, en particulier, l'algèbre et la géométrie. La recherche actuelle s'étend dans chacune de ces directions, et de riches développements naissent du mariage de ces deux aspects. D'un point de vue géométrique, le groupe des tresses à n brins est vu comme le groupe modulaire d'un disque à n trous, avec composante de bord. On peut représenter une tresse par un diagramme de courbes, c'est-à-dire l'image d'une famille fixée d'arcs sur le disque, par l'élément correspondant du groupe modulaire. Dans cette thèse est présenté l'algorithme de relaxations par la droite, qui permet de retrouver, étant donné un diagramme de courbes, la tresse à partir de laquelle il a été obtenu. Cet algorithme aide à faire le lien entre des propriétés géométriques du diagramme de courbes, et des propriétés algébriques du mot de tresse, en permettant de repérer de grandes puissances d'un générateur sous forme de spirales dans le diagramme de courbes. D'un point de vue algébrique, le groupe de tresses est l'exemple classique de groupe de Garside. L'un des objectifs actuels des recherches en théorie de Garside est d'obtenir un algorithme de résolution en temps polynomial du problème de conjugaison dans les groupes de tresses. À cette fin, on cherche à exploiter les propriétés de certains ensembles finis de conjugués d'une tresse, qui sont des invariants de conjugaison. L'un des résultats de cette thèse concerne la taille d'un de ces invariants, l'ensemble super-sommital : on exhibe une famille de tresses pseudo-anosoviennes dont l'ensemble super-sommital est de taille exponentielle. González-Meneses avait déjà établi le résultat similaire pour une famille de tresses réductibles. La conséquence de ces résultats est qu'on ne peut pas espérer résoudre le problème de conjugaison en temps polynomial au moyen de cet ensemble, et qu'il vaut mieux chercher à exploiter des invariants plus petits. Dans le cas des tresses pseudo-anosoviennes, des espoirs résident actuellement en l'ensemble des circuits glissants. Dans cette thèse, un algorithme en temps polynomial s'appuyant sur ce dernier ensemble résout génériquement le problème de conjugaison, c'est-à-dire qu'il le résout pour une proportion de tresses tendant exponentiellement vite vers 1 lorsque la longueur de la tresse tend vers l'infini. On montre également que, dans une boule du graphe de Cayley avec pour générateurs les tresses simples, une tresse générique est pseudo-anosovienne, ce qui était une conjecture bien connue des spécialistes de la théorie de Garside. / The theory of braid groups is at the intersection of several areas of mathematics, especially algebra and geometry. The current research extends in each of these directions, leading to rich developments. From a geometrical point of view, the braid group on n strands is seen as the mapping class group of a disc with n punctures, with boundary component. A braid can be represented by a curve diagram, that is to say, the image of a family of arcs attached to the disc, by the corresponding mapping class. In this thesis we present the algorithm of relaxations from the right, which, given a curve diagram, determines the braid from which it was obtained. This algorithm helps us to make the link between geometric properties of the curve diagram and algebraic properties of the braid word, allowing us to identify great powers of a generator as spirals in the curve diagram. From an algebraic point of view, the braid group is the classical example of a Garside group. One of the objectives of current research in Garside theory is to obtain a polynomial time algorithm to solve the conjugacy problem in braid groups. For this, a possibility is to exploit the properties of some finite sets of conjugates of a braid, which are invariants of the conjugacy classes. One of the results of this thesis concerns the size of one of these invariants, the super summit set: we construct a family of pseudo-Anosov braids whose super summit set has exponential size. González- Meneses had already established the similar result for a family of reducible braids. These results implies that we cannot hope to solve the conjugacy problem in polynomial time through this set, and it is better to try to use smaller invariants. In the case of pseudo-Anosov braids, one may hope that the so-called sliding circuit set is more useful. In this thesis, we present a polynomial time algorithm based on this last set which generically solves the conjugacy problem, that is to say, it solves it for a proportion of braids that tends exponentially fast to 1 as the length of the braid tends to infinity. We also show that, in a ball of the Cayley graph with generators the simple braids, a braid is generically pseudo-Anosov, which was a well-known conjecture for the specialists in Garside theory.