Fondée sur le postulat qu’en didactique des langues, les pratiques pédagogiques se trouvent profondément marquées par la variation, la présente recherche pose que ces variations et leurs facteurs s’expliquent par des cultures éducatives et linguistiques divergentes en présence. A travers l’analyse comparée de textes officiels, de manuels et de témoignages d’enseignants au Canada, on se propose d’illustrer la thèse selon laquelle des traditions d’enseignement différentes pour le français et l’anglais enseignées comme langues secondes peuvent émerger dans les discours sur l’enseignement des langues secondes dans ce pays. Ces traditions viendraient ainsi y poser la question d’une culture éducative et didactique commune et partagée. / Starting from the premise that practical language teaching is deeply characterized by variations,this research suppose that face to face and divergent educational and linguistic cultures canexplain these variations and their factors. Through a comparative analysis of Canadian officialtexts, textbooks and teachers’ discourses, we aim to show that divergent teaching traditionsbetween French and English as second language can appear in the discourses about secondlanguage teaching in this country. In this way, these traditions could ask the question about acommon and shared educational and teaching culture in Canada.

Thèse en recherche-création. / Cette thèse est le fruit d’une démarche de recherche-création et est inspirée par les études culturelles (Ahmed, 2004; Minh-Ha, 1992; Probyn, 2004; 2006), les études queer (Hallberstam, 2013; Puar, 2012), les études critiques arabes (Cable, 2013; Jamal et Naber, 2008; Georgis, 2013; Shomali, 2023), ainsi que les approches issues des radical black studies sur la fugitivité et celles autochtones sur le refus (Brand; 2002; Harney & Moten, 2013; Hartman, 2019; Sharpe, 2023; Simpson, 2007). Elle esquisse une arabité queer en contextes migratoires en déployant la recherche par l’écriture (Bellerive, 2021; Faury, 2024; Guttorm, 2016; Paquin, 2019; Richardson & St Pierre, 2008; St Pierre, 2022; Truman, 2023) et, plus spécifiquement, par ce que j’appelle l’écriture en rencontres (avec soi, avec d’autres humains, avec divers objets médiatiques). À coup de fragments, ce sont des écritures proches (Minh-Ha, 1992) d’une arabité queer en contextes migratoires éprouvée à Montréal comme à Rabat et à travers de nombreux allers-retours entre le Québec et le Maroc, que je (vous) propose de rencontrer et d’explorer. Que font ces écritures en rencontres? Quelles conversations (sur le silence, l’opacité et les identités, notamment) autour d’une arabité queer génèrent et amorcent-elles? Qu’est-ce qu’implique écrire et tisser une arabité queer en rencontres comme proposition épistémologique, analytique, et politique? Au fur et à mesure de ces écritures en fragments se nouent des trames émergentes qui tissent une arabité queer avec et contre d’autres arabités queer : Re-tours (im)possibles, « Les filles qui sortent », Trans-lating. Mon amour/ حبيبتي/My love, Paraître arabe queer, Identités quand tu nous tiens, Coming out(s) et opacités arabes queer, Parler Proche, Solitudes et relationnalités, Faire-frontière arabe queer, Traversées et Retours réflexifs. / This doctoral thesis stems from a research-creation approach, at the intersection of cultural studies (Ahmed, 2004; Minh-Ha, 1992; Probyn, 2004; 2006) , queer studies (Hallberstam, 2013; Probyn, 2004; 2006 ; Puar, 2013), Arab critical studies (Cable, 2013; Jamal & Naber, 2008; Georgis, 2013; Shomali, 2023), as well as approaches emerging from radical black studies on fugitivity and indigenous ones on refusal (Brand; 2002; Harney & Moten, 2013; Hartman, 2019; ; Sharpe, 2023; Simpson, 2007). It proceeds to weave out a queer Arabness in a migratory context by deploying research through writing (Bellerive, 2021; Faury, 2024; Guttorm, 2016; Paquin, 2019; Richardson & St Pierre, 2008; St Pierre, 2022; Truman, 2023) and, more specifically, through what I call writing through encounters (with oneself, with other humans and with various media objects). I write in fragments and nearby (Minh-Ha, 1992) a queer arabness in a migratory context, that is experienced and embodied both in Montreal and in Rabat, as well as through numerous roundtrips between Quebec and Morocco. What do these writings through encounters perform? What kind of conversations (about silence, opacity and identities, in particular) related to Arab queerness do they generate and initiate? What does writing and weaving a queer arabness, through encounters, mean as an epistemological, analytical and political proposition? As these fragmentary writings unfold, threads emerge that weave a queer arabness with and against other queer arabnesses: Im(possible) re-turns, “Women Who Go Out”, Trans-lating. Mon amour/ حبيبتي/My love, Looking arab queer, Identity when you have a hold on us, Coming out(s) and Arab queer opacities, Speaking nearby, Solitudes and relationality, Arab queer making frontier, Crossings and Reflexive returns.

Dans ce mémoire, nous proposons une solution possible à la question suivante : comment formaliser des environnements associés à un processus (quelconque) et comment utiliser les informations qu'ils contiennent pour produire des actions pertinentes ? Cette question nous a amené à introduire la notion de contexte ainsi qu'une représentation réutilisable des connaissances pour le formaliser. Nous nous sommes donc intéressés aux notions d'ontologies, de contextes et d'actions. Pour la représentation et le raisonnement sur les contextes et les actions, nous proposons une solution appelée DTF. Celle-ci étend une théorie constructive des types existante permettant ainsi de disposer d'une grande expressivité, de la décidabilité de la véri cation de types et d'un mécanisme de sous-typage e cace. Nous montrons comment modéliser les contextes et les actions sous la forme de types dépendants à partir des données fournies sur un problème et des actions à entreprendre pour le résoudre. En n, pour tester la faisabilité et pouvoir juger de la complexité d'une telle solution, un "démonstrateur de contexte " est réalisé avec un langage fonctionnel. Puis, une application test appelée " le monde du Wumpus " où un agent logiciel se déplace dans un environnement inconnu, est alors implantée en LISP.

Cette thèse est consacrée à l'etude de l'implantation du parallélisme OU en Prolog sur des machines sans mémoire commune. Nous présentons le modèle multi-séquentiel OU Opera, implanté par compilation (machine abstraite de Warren - WAM), en préservant la sémantique de Prolog. Les deux problèmes principaux d'un tel système, la gestion de contextes multiples et l'ordonnancement, sont détaillés. La gestion des contextes multiples s'effectue par copie incrémentale, en parallèle au calcul. Pour que ceci reste efficace et cohérent, le traitement des variables conditionnelles a été inclus dans la WAM. Notre méthode introduit une nouvelle pile pour ces variables dont l'initialisation, la déliaison été modifiées. Le coût des opérations séquentielles de la WAM est constant et indépendent du nombre de processus. Nous proposons encore une méthode simple et efficace pour la réalisation de la coupure. Un prototype Opera a été implanté sur un réseau de Transputers. Dans ce prototype, l'ordonnancement a été résolu par une méthode basée sur des heuristiques d'évaluation de charge. Cet ordonnancement est mis en ocuvre par une architecture centralisée où un processus ordonnanceur unique régule la charge des autres processus. L'ordonnanceur utilise une répresentation approximative de l'état du système. La partie séquentielle du prototype Opera constitue l'un des systèmes Prolog les plus efficaces existant actuellement sur le Transputer. Ses gains de performance en parallèle sont aussi effectifs. / This thesis is dedicated to the study of the implementation of Or-parallel Prolog over distributed memory machines. The Opera Or multi-sequential model is presented. It uses compiling techniques (Warren Abstract Machine) and preserves the Prolog semantics. Multienvironment management and scheduling, the two major problems of Opera, are described. Multi-environment management is realized by incremental copying, in parallel to the computation. The treatment of conditional variables is included in the WAM, in order to allow an efficient and coherent cooperation. Our method introduces a new pile for these variables, initialization, binding and unbinding of which are adapted. The cost of WAM sequential operations is constant and independent of the number of processes. We also propose a simple and efficient method for implementing cut in parallel. An Opera prototype has been implemented over a Transputer array. In the current prototype, scheduling is resolved by heuristics of load evaluation. This scheduling is centralized, a unique process balancing the load of the other Prolog workers, and using an approximate representation of the state of the system. The Opera prototype is one of the most efficient Prolog implementations on the Transputer, and reaches effective speed-ups in parallel.

Cette thèse est consacrée à l'etude de l'implantation du parallélisme OU en Prolog sur des machines sans mémoire commune. Nous présentons le modèle multi-séquentiel OU Opera, implanté par compilation (machine abstraite de Warren - WAM), en préservant la sémantique de Prolog. Les deux problèmes principaux d'un tel système, la gestion de contextes multiples et l'ordonnancement, sont détaillés. La gestion des contextes multiples s'effectue par copie incrémentale, en parallèle au calcul. Pour que ceci reste efficace et cohérent, le traitement des variables conditionnelles a été inclus dans la WAM. Notre méthode introduit une nouvelle pile pour ces variables dont l'initialisation, la déliaison été modifiées. Le coût des opérations séquentielles de la WAM est constant et indépendent du nombre de processus. Nous proposons encore une méthode simple et efficace pour la réalisation de la coupure. Un prototype Opera a été implanté sur un réseau de Transputers. Dans ce prototype, l'ordonnancement a été résolu par une méthode basée sur des heuristiques d'évaluation de charge. Cet ordonnancement est mis en ocuvre par une architecture centralisée où un processus ordonnanceur unique régule la charge des autres processus. L'ordonnanceur utilise une répresentation approximative de l'état du système. La partie séquentielle du prototype Opera constitue l'un des systèmes Prolog les plus efficaces existant actuellement sur le Transputer. Ses gains de performance en parallèle sont aussi effectifs. / This thesis is dedicated to the study of the implementation of Or-parallel Prolog over distributed memory machines. The Opera Or multi-sequential model is presented. It uses compiling techniques (Warren Abstract Machine) and preserves the Prolog semantics. Multienvironment management and scheduling, the two major problems of Opera, are described. Multi-environment management is realized by incremental copying, in parallel to the computation. The treatment of conditional variables is included in the WAM, in order to allow an efficient and coherent cooperation. Our method introduces a new pile for these variables, initialization, binding and unbinding of which are adapted. The cost of WAM sequential operations is constant and independent of the number of processes. We also propose a simple and efficient method for implementing cut in parallel. An Opera prototype has been implemented over a Transputer array. In the current prototype, scheduling is resolved by heuristics of load evaluation. This scheduling is centralized, a unique process balancing the load of the other Prolog workers, and using an approximate representation of the state of the system. The Opera prototype is one of the most efficient Prolog implementations on the Transputer, and reaches effective speed-ups in parallel.

Cette thèse est consacrée à l'etude de l'implantation du parallélisme OU en Prolog sur des machines sans mémoire commune. Nous présentons le modèle multi-séquentiel OU Opera, implanté par compilation (machine abstraite de Warren - WAM), en préservant la sémantique de Prolog. Les deux problèmes principaux d'un tel système, la gestion de contextes multiples et l'ordonnancement, sont détaillés. La gestion des contextes multiples s'effectue par copie incrémentale, en parallèle au calcul. Pour que ceci reste efficace et cohérent, le traitement des variables conditionnelles a été inclus dans la WAM. Notre méthode introduit une nouvelle pile pour ces variables dont l'initialisation, la déliaison été modifiées. Le coût des opérations séquentielles de la WAM est constant et indépendent du nombre de processus. Nous proposons encore une méthode simple et efficace pour la réalisation de la coupure. Un prototype Opera a été implanté sur un réseau de Transputers. Dans ce prototype, l'ordonnancement a été résolu par une méthode basée sur des heuristiques d'évaluation de charge. Cet ordonnancement est mis en ocuvre par une architecture centralisée où un processus ordonnanceur unique régule la charge des autres processus. L'ordonnanceur utilise une répresentation approximative de l'état du système. La partie séquentielle du prototype Opera constitue l'un des systèmes Prolog les plus efficaces existant actuellement sur le Transputer. Ses gains de performance en parallèle sont aussi effectifs. / This thesis is dedicated to the study of the implementation of Or-parallel Prolog over distributed memory machines. The Opera Or multi-sequential model is presented. It uses compiling techniques (Warren Abstract Machine) and preserves the Prolog semantics. Multienvironment management and scheduling, the two major problems of Opera, are described. Multi-environment management is realized by incremental copying, in parallel to the computation. The treatment of conditional variables is included in the WAM, in order to allow an efficient and coherent cooperation. Our method introduces a new pile for these variables, initialization, binding and unbinding of which are adapted. The cost of WAM sequential operations is constant and independent of the number of processes. We also propose a simple and efficient method for implementing cut in parallel. An Opera prototype has been implemented over a Transputer array. In the current prototype, scheduling is resolved by heuristics of load evaluation. This scheduling is centralized, a unique process balancing the load of the other Prolog workers, and using an approximate representation of the state of the system. The Opera prototype is one of the most efficient Prolog implementations on the Transputer, and reaches effective speed-ups in parallel.