Cette étude entend questionner l’impensé de la lecture et de la textualité sous-jacent aux modèles traductologiques orientés vers le processus qui se sont imposés en didactique de la traduction au cours des quatre dernières décennies, tels que la théorie interprétative de l’École de Paris et la théorie fonctionnaliste du Skopos de l’École allemande, et qui sous-tendent actuellement la formation des traducteurs professionnels au Canada. On trouvera dans ces pages, après un survol de l’histoire de cette formation, une confrontation dialogique entre les fondements immanentistes des approches qui y sont dominantes et ceux de théories issues du champ littéraire ayant problématisé l’acte de lecture, ainsi que l’analyse de la traduction collective d’une œuvre de fiction (réalisée par une équipe de traducteurs diplômés du premier cycle) dont le but est d’étayer la critique métathéorique.

L’objectif central de cette thèse est d’observer et de décrire le processus de naissance et d’institutionnalisation d’une nouvelle théorie de la peine : la théorie de la dénonciation. Cette théorie de la peine va naître à l’intérieur d’un système d’idées formé par d’autres théories de la peine déjà institutionnalisées. Ce système d’idées a été identifié et appelé par Alvaro Pires la « rationalité pénale moderne ». Notre contribution visera, elle, à observer d’une part le processus de naissance d’une autre théorie de la peine à l’intérieur de ce système d’idées et, d’autre part, la naissance et l’institutionnalisation de cette théorie dans divers discours : la philosophie et la doctrine juridique, les rapports des commissions de réforme du droit ou encore dans la jurisprudence (canadienne). Au cours de cette observation, nous aurons également la possibilité de voir comment une conception alternative de la dénonciation est apparue, mais sans réussir à prendre la forme stricte d’une « théorie de la peine » ni à s’institutionnaliser de façon stable et visible. Il s’agit de la dénonciation telle que l’a conçue la Commission de réforme du droit du Canada dans les années 1970. Cette manière de concevoir la dénonciation se situait à l’extérieur du système d’idées formé par la rationalité pénale moderne. Cette thèse fait plusieurs contributions à la fois, et de différents genres. Elle prétend contribuer entre autres à la description du processus de naissance et d’institutionnalisation d’une théorie (de la peine) du système de droit criminel en mettant en évidence comment cette théorie va s’opposer à une conception alternative portant le même nom et prédominer sur cette dernière. De plus, cette thèse va construire trois niveaux parallèles d’observation empirique. En effet, nous allons observer la naissance de cette théorie sur trois trames discursives distinctes et bien différenciées : (i) le discours de la philosophie, de la théorie du droit et de la sociologie (ou criminologie) ; (ii) le discours des commissions de réforme (« étatiques » et « non étatiques ») ; (iii) le discours de la jurisprudence.

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. / There are in the literature many examples of games where the desired strategies are submitted to ''transversal'' constraints involving sets of plays, related by some semantic relation. The most famous example is strategies for games with imperfect information, and games where the objective involves some epistemic aspect provide many more examples. Nevertheless, to the best of our knowledge, there has been no thorough study on this type of constraints in their generality. This is what this thesis intends to start. Therefore, we define a general notion of uniform strategies. Uniformity properties of strategies are expressed in a logical language that extends CTL∗ with two original quantifiers. These quantifiers are very close to the classic knowledge operators of epistemic logics, and they involve sets of plays related by binary relations. We show how this notion of uniform strategies captures the known examples from the literature, and we study in depth the problem of uniform strategy synthesis, assuming that the binary relations between plays can be recognized by finite automata (rational relations). We establish several decidability and complexity results, relying widely on automata techniques: in particular, we introduce as tools jumping tree automata and information sets automata. Moreover, our results enable us to improve existing results and establish new ones, in the domains of model checking epistemic temporal logics, and epistemic planning.

L'étude des processus de création de connaissances souligne la complexité des interactions individuelles au sein des organisations productives. Cette complexité est telle que les théories de l'entreprise basées sur les incitations, focalisées sur les problèmes de traitement de l'information, peuvent ignorer une part substantielle des facteurs de décision individuels intervenant dans le contexte de l'apprentissage organisationnel, et plus largement dans les processus de production collectifs. Nous utilisons dans cette thèse la méthode expérimentale pour étudier les déterminants de la coopération, afin d'affiner les hypothèses comportementales sur lesquelles sont basées les théories économiques de la production collective. Nous montrons que les deux visions de la coopération portées par les théories de l'entreprise - un comportement devant être extrait d'intérêts divergents et une propriété émergente découlant des interactions sociales entre agents – sont étayées par les résultats expérimentaux. Par conséquent, nous concluons que les deux approches devraient être retenues et éventuellement intégrées dans un cadre d'analyse plus large. / The study of knowledge creation processes has pointed to the complexity of individual interactions within productive organizations. This complexity appears to be such that incentive-based theories of the firm, which focus on information processing issues, may fail to grasp a substantial part of the individual decision-making involved in the context of organizational learning, and more broadly in collective production processes. In this thesis we use experimental methods to study the determinants of cooperation, in order to refine the behavioral assumptions on which economic theories of collective production are based. We show that the two visions of cooperation embodied in competing theories of the firm - a behavior to be elicited from diverging interests and an emergent property stemming from social interactions among agents - find support from the laboratory experiments. Accordingly, we conclude that both approaches should be upheld and possibly combined in a broader, integrative, analytical framework.

La théorie des cordes est un de nos meilleurs candidats pour une théorie quantique de la gravité. A ce jour elle n'a pas encore été conclusive à propose de ce sujet. Malgré cela, on a réalisé qu'on peut en tirer des informations sur tout une variété de sujets, dont notamment les théories de jauges supersymétriques, en étudiant la limite de basse énergie dans le volume d'univers des branes. Cette immersion des théories de jauges en théorie des cordes nous fournit un autre point de vue. Ce dernier nous permet souvent de prendre une approche plus géométrique pour obtenir de nouveaux résultats sinon inaccessible par des méthodes plus conventionnelles. Même en absence de vérification expérimentale de la supersymétrie, sa présence dans cette classe de théories de jauge nous fournit un terrain de jeux propice pour tester de nouvelles méthodes d'une manière efficace. En effet, la présence de la supersymétrie donne une structure additionnelle qui rend la théorie plus rigide. Cela simplifie les calculs et rend des résultats plus accessibles. On peut oser de dire que si on n'arrive pas à calculer un certain résultat en présence de supersymétrie, il y a très peu de chance d'y arriver sans. L'approche par la théorie des cordes le rend possible de découvrir des symétries cachées ou de comprendre des symétries connues d'une autre manière.Une classe de théories quantique intéressantes qui sont présentes en théories des cordes, c'est les théories de petites cordes. Ces dernières ont été découverte il y a deux décennies. Ces théories en six dimensions ont été construite une première fois comme théories dans le volume d'universe de branes NS5 dans le cadre de la théorie des cordes IIB en prenant la limite du couplage de la corde qui tend vers zéro. Dans cette limite, la théorie résultant reste non-trivial mais les interactions en dehors de la brane sont supprimées, notamment la gravité. Comme le nom le suggère, ces théories contiennent des cordes qu'on appelle petites cordes. La tension des petites cordes est proportionnelle à l'échelle naturelle de la corde. En plus, ces théories profitent de la T-dualité comme les théories de cordes critiques. Elle sont donc des théories quantiques non-locales. Leur complexité se situe entre celle des théories quantiques locales et celle de la théorie des cordes complète. Elles sont donc des candidates intéressantes pour étudier la dynamique dans le volume d'univers de la brane NS5. Pour des énergies inférieures à l'échelle de la corde, elles ont une description en termes de théories de jauges symétriques de type quiver. On peut donc également obtenir des informations sur ces dernières. Cette description locale n'est plus valable une fois l'échelle de la corde atteinte.Le but principal de cette thèse est d'étudier des dualités entre le théories de petites cordes en utilisant différentes constructions disponible en théorie des cordes. Cela nous permet d'attaquer le problème d'angles différents et de faire un lien avec des structures géométriques. En conséquence on peut analyser différentes relation parmi les théories de petites cordes. On confirme ensuite la validité des dualités qu'on obtient en utilisant la fonction de partition instantonique. Cet object est complètement non-perturbative et établit ces dualités comme résultat exact. Cette structure de dualités s'étend naturellement aux descriptions de basse énergie en terme de théories de jauges supersymétriques. De plus, on étudie les conséquences directes du réseaux de dualités qu'on a découvert. / String theory remains one of our best candidates for a theory of quantum gravity. Until now it has not lived up to this goal. However, along the way it was realized that string theory can give us valu-able insights into a variety of subjects among which supersymmetric gauge theories by studying the low-energy worldvolume dynamics of branes. This embedding of gauge theories into string theory provides us with a different viewpoint that often allows us to use powerful geometric considerati-ons in order to obtain new results that are inaccessible from conventional methods. Even in the ab-sence of experimental confirmation of supersymmetry, its presence in this class of gauge theories provides us with a playground where different methods can be tested in an efficient way. Indeed, supersymmetry provides additional structure, rendering the underlying theory more rigid and thus simplifying computations and making results more accessible. One could dare to say that when a certain result can not be calculated in the presence of supersymmetry, there is probably not much hope of achieving it without supersymmetry. This stringy approach to gauge theories makes it pos-sible to unravel hidden dualities or to understand already known ones from a different perspective. An interesting class of quantum theories that are embedded into string theory are the so called little string theories. They have been discovered two decades ago. These six-dimensional theories were first obtained as the worldvolume theory of a stack of NS5 branes in the context of Type II string theory trough a particular decoupling limit that sends the string coupling constant to zero while kee-ping at the same time the string scale finite. In this limit, the resulting theory remains interacting but the bulk dynamics is decoupled, in particular gravity. As their name suggests, they contain strings. The tension of the little strings is proportional to the string scale, which is the only intrinsic scale in the theory. Furthermore, the little string theories enjoy T-duality similar to the critical string theory. They are thus non-local quantum theories. So the complexity of little string theory lies between that of local quantum field theories and full fledged critical string theory. This makes them interesting candidates for studying stringy phenomena in an easier setup where gravity is absent and to learn more about the worldvolume dynamics of the NS5 brane. At energies far below the string scale, they have a low-energy description in terms of quiver gauge theories, so their study can also give us insights into these kinds of theories. This local description breaks down as we reach the string scale and we must rely on the full little string theories. The main goal of this thesis is to study dualities between little string theories by using different dual constructions available in string theory. These allow us to attack the problem from different angles and they establish also a connection to geometric structures. This makes it possible to systematically analyse relations among different little string theories. We then confirm the validity of the newly found duality relations by using the so called instanton partition function. The latter is a completely non-perturbative object allowing us to establish the dualities as an exact result. This duality structure naturally extends to the low-energy description in terms of supersymmetric quiver gauge theories. Furthermore, we study the direct consequences of this duality web. We find interesting cases where the dimensional reduction from six to five dimensions simultaneously reduces the rank of the group and changes the matter content. Another result that we find is the presence of a hidden dihedral symmetry which acts in a highly non-trivial fashion on the spectrum of the underlying gauge theories.

La théorie de Galois a eu un impact sur les mathématiques plus important que ce qu'elle laissait présager au départ. Son résultat le plus important est le théorème de correspondance qui s'énonce de la manière suivante :si L/K est une extension de corps finie galoisienne et si G = Gal(L/K) est son groupe de Galois, alors il existe une correspondance biunivoque entre les corps intermédiaires de L/K et les sous-groupes de G. Explicitement, si G_0 est un sous-groupe de G, alors on lui associe l'ensemble des G_0-invariants L^(G_0) qui est un corps intermédiaire de L/K. D'autre part, si L_0 est un corps intermédiaire de L/K, alors on lui associe le groupe de Galois Gal(L/L_0) qui est un sous-groupe de G.Il existe de nombreuses manières de généraliser la théorie de Galois, celle que nous avons choisie utilise les algèbres de Hopf. L'idée, introduite par Chase et Sweedler, est de remplacer l'action de groupe G par une action d'algèbre de Hopf H. De telles extensions sont appelées Hopf-galoisiennes.La première étape vers la généralisation du théorème de correspondance est due à Chase et Sweedler :si L/K est une extension Hopf-galoisienne d'algèbre de Hopf H et si H_0 est une sous-algèbre de Hopf de H, alors on peut construire l'ensemble des H_0-invariants L^(H_0) qui est un corps intermédiaire de L/K. Malheureusement, contrairement au cas des extensions galoisiennes, tous les corps intermédiaires de L/K ne s'obtiennent pas de cette manière et une caractérisation des corps de la forme L^(H_0) ne semble pas être connue.Le but de cette thèse est de généraliser le théorème de correspondance pour des extensions Hopf-galoisiennes finies séparables. Dans ce but, nous avons caractérisé de manière naturelle et intrinsèque les corps intermédiaires de L/K qui peuvent s'écrire sous la forme L^(H_0) pour une certaine sous-algèbre de Hopf H_0 de H. Ainsi, nous avons pu prouver un théorème de correspondance tout à fait analogue à celui de la théorie de Galois. Nous avons également établi, à l'instar de la théorie de Galois, une variante du théorème de correspondance pour les sous-algèbres de Hopf qui sont normales.Un apport essentiel à cette thèse est fourni par les travaux de Greither et Pareigis. Ceux-ci ont associé un groupe à une extension Hopf-galoisienne finie séparable. Nous avons prouvé qu'il était possible de traduire le théorème de correspondance en termes de ce groupe. De plus, ce groupe nous a permis de construire une structure Hopf-galoisienne alternative nous aidant à mieux comprendre le théorème de correspondance.Enfin, nous avons proposé une définition d'extensions Hopf-galoisiennes pour des extensions de corps infinies séparables et avons obtenu des résultats encourageants. Cela ouvre un nouveau champ de possibilités pour des recherches futures. / Doctorat en Sciences / info:eu-repo/semantics/nonPublished

Dans cette thèse, nous nous intéressons à l’étude du spectre essentiel d’opérateurs de Schrödinger et tout particulièrement à l’obtention d’un Principe d’Absorption Limite pour ces opérateurs. Ce Principe d’Absorption Limite consiste en l’existence d’une limite de l’opérateur résolvante lorsque le paramètre spectral se rapproche du spectre essentiel et permet de connaitre des informations sur le groupe engendré par l’Hamiltonien de Schrödinger. Une méthode pour montrer ce Principe d’Absorption Limite est d’utiliser la théorie de Mourre. Cette théorie nécessite l’utilisation d’un autre opérateur appellé opérateur conjugué. Lorsqu’on veut appliquer la théorie de Mourre aux opérateurs de Schrödinger, on utilise habituellement un opérateur conjugué nommé le générateur des dilatations. Cet opérateur implique que les dérivées du potentiel doivent avoir une certaine décroissance ce qui peut être gênant dans certains cas.Dans cette thèse, nous appliquerons le théorème de Mourre avec d’autres types d’opérateurs conjugués, dont certains n’impliquent pas de conditions de dérivabilité. Dans une première partie, nous nous intéresserons aux opérateurs de Schrödinger sur l’espace euclidienpour lesquels nous montrerons un Principe d’Absorption Limite à énergie strictement positive, un Principe d’Absorption Limite à énergie nulle et l’absence de valeurs propres plongées dans le spectre essentiel. Dans une seconde partie, nous nous intéresserons aux opérateurs de Schrödinger sur des guides d’ondes pour lesquels nous montrerons un Principe d’Absorption Limite loin des seuils et un Principe d’Absorption Limite près des seuils. / In this thesis, we are interested in the study of the essential spectrum of Schrödinger operators and more particulary in the obtention of a Limiting Absorption Principle for these operators. This Limiting Absorption Principle consists on the existence of a limit for the resolvent operator when the spectral parameter is near the essential spectrum and permits to know some properties about the group generated by the Schrödinger Hamiltonian we study. A technique to prove this Limiting Absorption Principle is to use the Mourre theory. This theory needs to use an other operator called the conjugate operator. When we want to apply the Mourre theory to Schrödinger operators, we usually used a conjugate operatornamed the generator of dilations. This operator implies some conditions of decay on the derivatives of the potentials which can be a problem in certain cases. In this thesis, we will apply the Mourre theory with other types of conjugate operators wich, for some of them, does not imply any conditions on the derivatives of the potential.In a first part, we will be interested in Schrödinger operators on the euclidian space. We will show a Limiting Absorption Principle at positive energy, a Limiting Absorption principle at zero energy and the absence of eigenvalue embedded in the essential spectrum. In a second part, we will be interested in Schrödinger operators on wave guides for which we will prove a Limiting Absorption Principle far thresholds and near thresholds.

Notre problème de recherche a été formulé à la suite d'une interrogation portant sur la persistance des représentations spontanées relativement à des phénomènes naturels dans le raisonnement d'individus qui, par ailleurs, avaient atteint un développement cognitif équivalent au niveau formel, tel que défini dans le cadre de la théorie de Piaget. Ainsi, nous avons pu redéfinir l'apprentissage des sciences en tant que changement conceptuel impliquant la transformation de la structure conceptuelle de l'individu, plutôt que l'acquisition pure et simple de nouveaux concepts. Ce changement conceptuel suppose toutefois que des changements interviennent dans les postulats épistémologiques qui supportent cette structure conceptuelle. En a-t-il été ainsi chez les enseignants de science, notamment en ce qui a trait à leurs conception des théories atomiques? Aux fins d'une éventuelle analyse des discours des enseignants, nous avons, suite à un aperçu historique du développement des théories atomiques depuis les grecs jusqu'à l'époque moderne, élaboré une grille qui précise les diverses conceptions des doctrines atomiques qui se sont succédé (l'atomisme naïf, l'atomisme empiriste, l'atomisme classique et l'atomisme moderne). Ces conceptions correspondent à autant de paradigmes au sens kuhnien du terme et sont marquées par des ruptures épistémologiques. Lors d'une étude concrète au cours de laquelle nous avons interrogé dix-huit enseignants de sciences du secondaire et du collégial, nous avons pu, suite à une analyse de leurs discours, dégager trois grandes conclusions. La première est relative à la variabilité des représentations dans leurs discours. En effet, on ne peut interpréter ceux-ci comme étant caractérisés par une seule représentation de l’"atome". Un même enseignant pourra être "naïf" dans le thème de la "matérialité" et se référer au rationalisme classique dans le thème de l’"existentialisme" atomique, ou l'inverse. La seconde conclusion qui s'impose concerne l'absence d'une représentation discontinuiste du développement des théories atomiques. Enfin, la troisième porte sur l'absence quasi totale de représentations de la théorie atomique voisine de l'atomisme moderne. / Québec Université Laval, Bibliothèque 2016

Les fonctions de corrélation en théorie conforme des champs peuvent être décrites par un développement en produit d'opérateurs. Celui-ci contient l'entièreté des informations nécessaires pour caractériser ces théories. Ceci a donné naissance aux équations de type bootstrap. Quelques résultats numériques ont démontré l'ecacité de cette méthode, mais aucun résultat théorique n'est en mesure de valider ceux-ci. De récents résultats ont permis d'inverser les développements en produit d'opérateurs an d'obtenir une forme analytique des données conformes. Ces relations nécessitent toutefois la forme complète des fonctions de corrélation. Celles-ci ne sont généralement pas connues ce qui rend ces relations peu utiles. Nous proposons ici une transformation intégrale du développement en produit d'opérateurs utilisant les relations d'inversion. Cette relation permet d'obtenir une forme reliant les données conformes des différents canaux. Dans le cas de quatre champs scalaires identiques, cette relation peut être utilisée en récurrence en deux et quatre dimensions. Ceci pourrait permettre de valider les résultats connus en plus de prédire de nouveaux modèles. / Correlation functions in conformal eld theory can be expressed with the help of the operator product expansion. The latter contains all the necessary information to characterize those theories. This expansion has given rise to the bootstrap equations. The bootstrap program has led to interesting numerical results but analytic equivalents have yet to be found. Some recent results introduced the inversion formula to the operator product expansion which allows one to nd the conformal data for the correlation function. Those relations need the complete form of the correlation function which are not usually known. This renders those inversion formulas hard to use for the bootstrap program. Here, we propose an integral transformation of the operator product expansion that uses the inversion formula. This gives us a way to relate the conformal data of the different crossing symmetry channels. In the case of four identical scalar elds, this relation can be used as a recurrence relation in two and four dimensions. This might validate known results and also nd some new systems.

Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal.