Notre thèse vise à étudier les conceptions théoriques de deux traductologues anglophones [littéraliste chez Peter Newmark et sociolinguistique chez Eugene Nida], à la lumière de la théorie interprétative de la traduction élaborée par deux traductologues françaises, Danica Seleskovitch et Marianne Lederer. Nous nous sommes proposé de voir comment trois théories, de deux univers linguistiques différents se sont développées dans la deuxième moitié du 20e siècle, et s’il y a des rapprochements à faire. / The aim of our dissertation is to examine the literalist theoretical view of Peter Newmark and the sociolinguistic theoretical view of Eugene Nida in the light of the interpretative theory of translation of Danica Seleskovitch and Marianne Lederer. Newmark and Nida are Anglophone theorists of translation, while Seleskovitch and Lederer are French theorists. We want to see how three theories from different linguistic worlds developed in the second part of the 20th century and at the same time compare and contrast them.

Durant ces dernières décennies, la traductologie a connu un essor remarquable. En côtoyant des disciplines voisines, elle a élargi ses champs d’investigation. Ainsi le champ conceptuel de la traduction s’étend-il désormais à divers domaines bien au-delà du transfert interlinguistique. Or, dans ce champ d’étude complexe où se croisent de multiples approches, il n’existe guère de consensus au sein de la traductologie et l’expansion de la notion de traduction risque de provoquer la dilution de son objet d’étude.Face à cette situation, la nécessité de mener des réflexions épistémologiques se manifeste au sein de la discipline. Dans cette mouvance, ce travail se propose d’étudier sur un terrain commun différentes positions théoriques sur l’activité de la traduction en revisitant les lieux de convergence entre métaphore et traduction, qui nouent un lien étroit sur le plan historique et conceptuel dans l’espace culturel de l’Occident. Pour cette analyse critique et métathéorique, les métaphores deviennent tantôt un instrument cognitif permettant de comprendre l’acte de traduire, tantôt un procédé argumentatif visant à imposer de nouveaux modèles théoriques, tantôt l’objet de la traduction, tantôt le miroir des théories de la traduction. / Over the last few decades, remarkable headway has been made in Translation Studies. Interaction withother neighboring disciplines has made Translation Studies expand its field of investigation. In particular,the conceptual field of translation reached an extensive area well beyond the interlingual transfer. Yet, acomplex picture of discipline that consists of multiple approaches reveals that there is little consensusamong scholars in the field of Translation Studies. Moreover, the expansion of the notion of translationmay seem obscure the main subject of study. Given this situation, there is a greater need to undertake theepistemological reflections within the discipline.In line with this, this thesis proposes to investigate on a common ground between various theoreticalpositions on the translation activity by revisiting the points of convergence between metaphor andtranslation that are closely linked, both historically and conceptually in the domain of Western culture.For this critical and meta-theoretical analysis, the metaphor take many different forms including cognitivetool to provide the understanding of the act of translation, argumentative method to impose newtheoretical models, the object of translation, and the mirror of translation theories.

Cette thèse porte sur deux types de problèmes de mécanique statistique : il y est question de percolation sur les groupes et de modèles dirigés. Dans le premier cas,il s’agit de réaliser un groupe comme objet géométrique (via la notion de graphe de Cayley), puis de morceler ce dernier aléatoirement. L’étude de ce processus révèle des liens étroits entre les propriétés géométriques d’un groupe et le comportement de la percolation de Bernoulli sur celui-Ci. Dans le second cas, on s’intéresse à des modèles où haut et bas jouent des rôles différents, ce qui permet de rendre un certain nombre de questions accessibles à l’étude rigoureuse.Le chapitre 1 renforce le théorème d’indistinguabilité de Lyons et Schramm en percolation, lequel stipule que les composantes connexes infinies fournies par la percolation de Bernoulli sur un graphe de Cayley ont presque sûrement toutes la même allure. La non-Trivialité de ce renforcement est illustrée par un modèle dirigé qui vérifie la propriété d’indistinguabilité mais pas la propriété renforcée.Le chapitre 2 est le fruit d’un travail réalisé en collaboration avec Vincent Tassion.On y démontre que la valeur du paramètre critique pour la percolation de Bernoulli ne dépend essentiellement que de la structure locale du graphe de Cayley abélien considéré.Dans le chapitre 3, on introduit une version dirigée du modèle DLA, pour laquelle on établit l’existence d’une dynamique en volume infini, un contrôle sur la propagation d’information et des inégalités asymptotiques sur la largeur et la hauteur de l’agrégat. / This thesis deals with two kinds of statistical mechanics problems: percolation ongroups and directed models. In the first case, we realise the group under considerationas a geometric object (via the notion of Cayley graph) before breaking it apartrandomly. The study of this process reveals deep connections between the geometricproperties of a group and the behaviour of Bernoulli percolation on it. In the secondcase, we focus on models where up and down play different roles, which makes severalquestions less hard to tackle.Chapter 1 strengthens the Indistinguishability Theorem of Lyons-Schramm, whichstates that the infinite clusters yielded by a Bernoulli percolation on a Cayley graphalmost surely all look alike. The non-Triviality of this strengthening is illustrated bya directed model that satisfies the Indistinguishability Property but not the StrongIndistinguishability Property.Chapter 2 has been obtained in collaboration with Vincent Tassion. We show thatthe value of the critical parameter for Bernoulli percolation essentially only dependson the local structure of the considered abelian Cayley graph.In Chapter 3, we introduce a directed version of the DLA model, for which weestablish the existence of an infinite volume dynamics, control the propagation ofinformation and prove asymptotic inequalities on the width and height of the cluster.

Dans cet ouvrage, nous nous donnons pour tâche d’investiguer la nature et le rôle du transfert interlingual dans le traitement du passé composé et de l’imparfait en français par les étudiants akanophones du FLE, scolarisés en anglais. À la base d’un cadre construit sur les théories cognitives de Langacker (1986, 2008) et de Talmy (2000a, 2000b) sur l’aspect, ainsi que celles de Jakobson (1959) et de Catford (1965) sur l’équivalence, des données ont été collectées auprès de 57 sujets dans deux universités publiques du Ghana. Les analyses faites à l’aide du PSPP révèlent une tendance de transférer les caractéristiques aspectuo-temporelles du verbe anglais au verbe français chez les participants, menant à une mauvaise interprétation des deux temps. La connaissance de l'akan n'y joue aucun rôle. Nous recommandons que les enseignants fassent référence aux L1 lors de l’introduction des nouveaux concepts, entre autres. / This research studies the nature and the extent of the challenges students face with passé composé and imparfait as regards aspect. We investigate the respective roles of Akan, an aspectual language, and of English, a more temporal language in relation to these challenges. Stratified random sampling was employed in data collection among up to 57 students Toolsemployed were interviews, questionnaires and translation tests.The data was analysed with PSPP and discussed within a framework of the cognitive theories of Langacker (1986, 2008) and Talmy (2000a, 2000b), and Jakobson's (1959) et Catford's (1965) theories of equivalence. Results show that Akanophone students of French superimpose TAM featues of English on these French tenses and thus misinterpret them. Learners' background knowledge of Akan plays no role in these operations. We recommend that teachers of French refer to knowledge of L1 in introducing new concepts.

L’imagerie motrice est la capacité à se représenter mentalement une action sans production concomitante de mouvement. Son efficacité reste assujettie au respect de nombreuses règles de pratique, parmi lesquelles la capacité à atteindre l'équivalence temporelle entre mouvements réels et imaginés. Les résultats de ce travail montrent que modifier la vitesse des mouvements imaginés se répercute sur la vitesse d’exécution réelle. De tels effets seraient toutefois modulés en fonction des exigences du mouvement imaginé. Le niveau d'expertise et le choix de stratégies individuelles relatif à la nature de la discipline sportive ont également un effet sur la durée des mouvements imaginés. Enfin, nos résultats démontrent que la capacité à préserver les caractéristiques temporelles du mouvement pendant l’imagerie est meilleure lorsque l’imagerie est effectuée avec un éveil physiologique proche de celui de la pratique réelle. Ces résultats sont discutés au regard du contexte de pratique de l'imagerie dans les activités physiques et sportives et sont confrontés aux travaux soulignant l’importance de recourir à des enregistrements physiologiques et d’étudier le degré de similitude entre pratique physique et imagerie motrice / Motor imagery resembles perceptual experience, but occurs in the absence of the appropriate external stimuli. Performing imagery efficiently requires some rules and conditions of practice to ascertain its effectiveness. The ability to reach temporal equivalence between actual and imagined movements, and the duration of mentally simulated actions should be correlated with the time taken to execute the same movement. The results of this work first showed that the effects of voluntarily changing imagery duration can alter the speed of the subsequent motor performance, but this effect is somewhat taskrelated. Both expertise level and individual strategies were also found to have an effect on temporal equivalence and are dependent on the specificities of the motor skills. Finally, chronometric data showed that the ability to reach the temporal equivalence between actual and imagined times is significantly greater for both the active and the basal imagery conditions, than when performed following relaxation. These results are discussed along the lines of practical application of imagery in sport. Also, characteristics of imagery experiences are studied reviewing the use of physiological recordings in relation to its accuracy and to the degree of similarity between actual motor performance and motor imagery

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

Dans cette thèse, on s'intéresse à des propriétés arithmétiques de variétés algébriques. Elle contient deux parties et huit chapitres que l'on peut lire indépendamment. Dans la première partie on étudie la R-équivalence sur les points rationnels des variétés algébriques. Dans le chapitre I.1 on établit que pour certaines familles projectives et lisses X→Y de variétés géométriquement rationnelles sur un corps local k de caractéristique nulle le nombre des classes de R-équivalence de la fibre Xy(k) est localement constant quand y varie dans Y(k). Dans le chapitre I.2 on s'intéresse à des variétés rationnellement simplement connexes. On établit que la R-équivalence est triviale sur de telles variétés définies sur C(t). Dans le chapitre I.3 on introduit une autre relation d'équivalence sur les points rationnels des variétés définies sur un corps muni d'une valuation discrète et on étudie quelques propriétés de cette relation d'équivalence. Dans le chapitre I.4 on étudie la R-équivalence sur les variétés rationnellement connexes définies sur les corps réels clos ou p-adiqument clos. La deuxième partie de cette thèse est consacrée à l'étude de quelques questions liées à la cohomologie non ramifiée. Dans le chapitre II.1 on utilise le troisième groupe de cohomologie non ramifiée pour donner un exemple d'une variété projective et lisse géométriquement rationnelle X, définie sur un corps fini Fp, telle que l'application de groupes de Chow de codimension deux de la variété X dans le groupe de Chow de cycles de codimension deux sur la clôture algébrique, fixés par l’action de Galois, n'est pas surjective. Dans le chapitre II.2 on s'intéresse aux fibrations au-dessus d'une surface sur un corps fini dont la fibre générique est une variété de Severi-Brauer et on montre que le troisième groupe de cohomologie non ramifiée s'annule pour de telles variétés. Dans le chapitre II.3, on établit l'invariance birationnelle de certains termes de la suite spectrale de Bloch et Ogus pour des variétés sur un corps de dimension cohomologique bornée. Sur un corps fini, on relie un de ces invariants avec le conoyau de l'application classe de cycle l-adique pour les 1-cycles. Dans le chapitre II.4, on s'intéresse à “borner” la ramification des éléments des groupes de cohomologie Hr(K, Z/n), r>0, si K est le corps des fonctions d'une variété intègre définie sur un corps de caractéristique nulle k. / In this Ph.D. thesis, we investigate some arithmetic properties of algebraic varieties. The thesis consists of two parts, divided into eight chapters. The first part is devoted to the study of R-equivalence on rational points of algebraic varieties. In chapter I.1, we prove that for some families X→Y of smooth projective geometrically rational varieties defined over a finite extension of Qp, the number of R-equivalence classes on Xy(k) is a locally constant function on Y(k). In chapter I.2, we establish the triviality of R-equivalence for rationally simply connected varieties defined over C(t). In chapter I.3, we introduce and analyze a different equivalence relation on rational points of varieties defined over a field equipped with a discrete valuation, and then compare it with R-equivalence. In chapter I.4, we study R-equivalence for varieties over real closed and p-adically closed fields. The second part of the thesis deals with some questions involving unramified cohomology. In chapter II.1, we use the third unramified cohomology group to give an example of a smooth, projective, geometrically rational variety X defined over a finite field Fp, such that the map from the Chow group of codimension two cycles on X to the Chow group of codimension two cycles over an algebraic closure, fixed by the Galois action, is not surjective. In chapter II.2, we prove the vanishing of the third unramified cohomology group for certain fibrations over a surface defined over a finite field whose generic fibre is a Severi-Brauer variety. In chapter II.3, we show that certain terms of the Bloch-Ogus spectral sequence are birational invariants for varieties over fields of bounded cohomological dimension. Then in the case of a finite field, we relate one of these invariants to the cokernel of the l-adic cycle class map for 1-cycles. Finally, in chapter II.4, we establish a “bound” for ramification of elements of the group Hr(K, Z/n), r>0, where K is the function field of an integral variety defined over a field of characteristic zero.

Ce travail a pour objet l'étude de méthodes de diagnostic d'erreurs de systèmes parallèles communicants, pour des spécifications exprimées dans une logique temporelle arborescente. Sa motivation est l'élaboration de diagnostics d'erreurs détectées par Xesar, outil de vérification de protocoles décrits dans une variante du langage Estelle. Xesar génère a partir du programme décrivant un protocole, un graphe fini dont les séquences représentent les exécutions. Vérifier consiste a comparer ce graphe aux spécifications. En cas de non satisfaction des spécifications, un diagnostic doit etre fourni, permettant de cerner la cause de l'erreur. On s'intéresse aux erreurs dont les diagnostics sont des séquences d'exécution du graphe représentant le comportement du programme. Un prototype d'un système de diagnostics d'erreurs, Cleo, a été réalisé et intégré a Xesar. Générer un diagnostic consiste a calculer un ensemble de séquences d'exécution dont l'existence est la cause de l'erreur. L'utilisation de Cleo nous a conduit a étudier les points suivants: définition d'un critère de minimalité d'un ensemble de diagnostics. Une relation d'ordre dans l'ensemble (éventuellement infini) des diagnostics est définie. Dans le cas des systèmes finis, il existe un sous-ensemble fini de diagnostics minimaux tel que chaque diagnostic a un minorant minimal. Simplification des diagnostics. Les diagnostics sont fournis sous une forme simplifiée, modulo une classe d'actions observables. Nous définissons une relation d'équivalence entre modèles appelée équivalence explicationnelle, qui préserve les diagnostics simplifies, et dont l'originalité est de dépendre de la formule exprimant les spécifications. Les diagnostics simplifies sont calcules dans un modèle réduit équivalent

L'objet de la thèse est d'utiliser, en géométrie algébrique réelle, l'intégration motivique, une théorie développée par J. Denef et F. Loeser, dans le but de construire des invariants pour les singularités analytiques. Cette théorie de l'intégration motivique nécessite la connaissance de caractéristiques d'Euler généralisées pour les variétés algébriques réelles, c'est-à-dire d'invariants additifs et multiplicatifs qui permettent de construire des mesures calculables sur les espaces d'arcs. Or, si on dispose en géométrie algébrique complexe de bonnes caractéristiques d'Euler généralisées, ce n'est pas le cas en géométrie algébrique réelle. En effet la seule connue, mais peu utilisable, est la caractéristique d'Euler à supports compacts. Dans cette thèse, nous construisons un tel invariant pour une catégorie d'ensembles plus large, les ensembles symétriques par arcs, généralisant un résultat de C. McCrory et A. Parusiński. Cet invariant algébrique, appelé polynôme de Poincaré virtuel et construit à partir de nombres de Betti virtuels, est de plus invariant par isomorphismes de Nash. On applique alors l'intégration motivique, avec la mesure provenant du polynôme de Poincaré virtuel, pour étudier les germes de fonctions analytiques réelles. On construit en particulier des fonctions zêta, suivant les travaux de J. Denef et F. Loeser, que l'on prouve être des invariants pour un cas particulier de la relation d'équivalence analytique après éclatements, appelée l'équivalence de Nash après éclatements. On énonce de plus, concernant cette nouvelle relation entre germes de fonction Nash, un résultat de trivialisation pour une famille ayant de bonnes propriétés algébriques.

On introduit dans cette thèse le concept nouveau de platitude. Un système est différentiellement plat (ou plus simplement plat) si son comportement peut être complètement décrit par un ensemble de fonctions différentiellement indépendantes dépendant des variables du système et de leurs dérivées : toute trajectoire du système peut s'obtenir à partir de cet ensemble de fonctions sans intégrer d'équations différentielles. La platitude se définit par l'intermédiaire d'une relation d'équivalence. Deux systèmes S et T sont équivalents s'il existe une correspondance bijective entre les trajectoires de S et celles de T. Par définition, un système est plat s'il est équivalent à un système "sans dynamique", c'est à dire un ensemble de fonctions arbitraires.