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

La présente thèse décrit des travaux de recherches effectués sur des systèmes tutoriels intelligents (STI) et plus précisément sur les tuteurs par traçage de modèle (MTT). Les travaux de recherche présentés ici s’intéressent à la conception de MTT pour des domaines dans lesquels les étudiants peuvent résoudre la tâche qui leur est assignée de plusieurs façons. Ces domaines comportent parfois des algorithmes avec retour sur trace lorsque l’étudiant ne sait pas forcément quelles sont les alternatives qui feront progresser correctement l’état de la tâche.Cette thèse présente dans un premier temps un système de représentation de connaissances pour les algorithmes avec retour sur trace qui rend les connaissances de cet algorithme exploitables par des agents logiciels. Elle présente dans un second temps un ensemble de processus qui exploitent ces connaissances dans le cadre de MTT pour assurer automatiquement le suivi de l’étudiant et ainsi que la production d’interventions pédagogiques. En premier, ces interventions consistent à fournir à l'étudiant de l’aide pour la prochaine étape qui explique quelles sont les possibilités dont dispose l'étudiant et comment déterminer laquelle est la meilleure. En deuxième, elles fournissent à l'étudiant des rétroactions stratégiques qui lui confirment que son action est valide tout en l’informant de l’existence d’une meilleure alternative le cas échéant. Enfin, elles fournissent à l'étudiant des rétroactions négatives qui lui apprennent dans quelles situations les actions invalides qu’il vient d’effectuer s’appliquent.Une expérimentation a été réalisée avec des étudiants de biologie de l’Université de Sherbrooke pour évaluer les effets de ces interventions sur les choix des étudiants au cours de la résolution de la tâche. Les résultats de cette expérience montrent que les étudiants bénéficiant de ces interventions effectuent plus souvent des choix optimaux, et démontrent ainsi une plus grande maîtrise du domaine.

Cette recherche part de la problématique concernant les puissances des rencontres entre l’art et l’enfance afin de penser le soi. Pour ce faire, nous nous appuyons sur la perspective théorique des dernières études de Michel Foucault, où l’auteur s’est penché sur la constitution du sujet dans l’Antiquité Classique. C’est ainsi donc – à partir de l’étude des techniques de soi gréco-romaines, notamment celles liées à l’écriture de soi – que l’on vise à penser les formes de rapport à soi actuellement possibles à travers les liens entre l’art et l’enfance. Plus précisément, nous avons pour but de discuter les manières dont il est possible de parler, penser, écrire et créer des images de soi aujourd’hui dans un contexte scolaire – particulièrement en ce qui concerne l’école maternelle – tout en dialoguant avec des oeuvres d’artistes contemporains insérées dans des pratiques pédagogiques et méthodologiques de recherche. Pour cela, nous avons sélectionné certains artistes qui réalisent, en quelque sorte, un travail sur eux-mêmes à partir de la création d’images, à savoir José Leonilson, Arthur Bispo do Rosário, Anna Bella Geiger et Rosana Paulino. Le choix de ces artistes est en effet dû au fait que tous ont en commun une relation particulière avec eux-mêmes, basée sur le geste comme un moyen d’enregistrement de soi dans les matières ordinaires de tous les jours. Méthodologiquement, dans un processus de composition en tant qu’enseignante et chercheuse, sept propositions pédagogiques et méthodologiques ont été organisées ayant pour base des oeuvres produites par ces artistes. Ces propositions ont été ensuite déployées et mises en service dans 12 regroupements avec un groupe de 13 enfants, âgées entre 5 et 6 ans, dans une école publique à Porto Alegre, de septembre jusqu’à décembre 2015. J’ai attribué à ces regroupements – situés à la confluence de l’art et de l’enfance – le nom d’imagialogues (images + dialogues, conversadorias en portugais): ce concept a été pensé à la lumière du processus de constitution en tant que curateur éducatif, c’est-à-dire de transposition de l’activité de curateur artistique au contexte éducationnel. Cela consiste à mettre en débat de différents objets artistiques, ainsi que de documents visuels, d’oeuvres d’art et même ce qui est produit en salle de classe dans le but de faire ressortir des relations encore inexistantes entre eux. Le matériel produit a été analysé à partir de deux discussions: la première portait sur la façon dont les images photographiques pourraient, dans leurs lacunes, représenter l’absence d’images. Contrairement à ce qui pourrait se définir comme quelque chose de négatif ou encore sur le point d’être achevé, ces absences ont été prises comme une métaphore pour la réflexion sur les relations particulières entre les enfants, le soi et l’autre : un autre absent, mais pas moins actif. La deuxième discussion a dégagé les moyens possibles d’établir des relations avec le temps et les images dans la contemporanéité, exprimée dans les gestes des enfants et dans leurs façons de se rapporter aux matières et événements quotidiens, axés sur le lien entre le tangible et l’intangible, entre l’éphémère et le permanent. Pour conclure, nous avons parié sur la puissance de l’art pour la production d’images uniques qui permettent la création et l’intensification des relations des enfants avec eux-mêmes et avec les autres: autrement dit, des images de soi. / A presente investigação parte do questionamento a respeito das potências dos encontros entre arte e infância para pensar o si mesmo. Para tanto, temos com horizonte teórico os últimos estudos de Michel Foucault, nos quais o autor se debruça sobre a constituição do sujeito na Antiguidade Clássica. É, portanto, a partir do estudo das técnicas de si greco-romanas, precisamente aquelas ligadas à escrita de si, que se busca pensar as possíveis formas de relação consigo hoje, por meio das relações entre arte e infância. Mais precisamente, o objetivo desta pesquisa é discutir de que maneiras é possível, hoje, falar, pensar, escrever e criar imagens de si no contexto escolar – particularmente, no da educação infantil – em diálogo com obras de artistas contemporâneos inseridas em práticas pedagógicas e metodológicas de pesquisa. Para isso, foram selecionados alguns artistas que, de certa forma, realizam um trabalho sobre si mesmos a partir da criação de imagens: José Leonilson, Arthur Bispo do Rosário, Anna Bella Geiger e Rosana Paulino. A escolha desses artistas se deve ao fato de que todos eles têm em comum uma relação particular consigo calcada no gesto, como forma de inscrição de si nas matérias ordinárias do cotidiano. Metodologicamente, no processo de se compor como professora e investigadora, foram organizadas sete proposições pedagógico-metodológicas com base em obras produzidas por esses artistas. Tais proposições foram desdobradas e postas em funcionamento em 12 encontros com um grupo de 13 crianças, em idades entre 5 e 6 anos, em uma escola de municipal de ensino fundamental da rede pública de Porto Alegre, de setembro a dezembro de 2015. Atribuí a esses encontros – radicados no cruzamento entre arte e infância – o nome de conversadorias: são desdobramentos de um conceito de curadoria educativa e consistem em colocar em debate distintos objetos artísticos, materiais visuais, obras de arte e o próprio material que é produzido em sala de aula, no intuito de dar a ver relações ainda inexistentes entre eles. O material produzido foi analisado a partir de duas discussões: a primeira delas tratou das formas pelas quais as imagens fotográficas poderiam, em suas lacunas, dar a ver imagens de ausências. Menos do que se configurarem como algo negativo ou em vias de ser completado, as ausências foram tomadas como metáfora para pensar as relações particulares entre as crianças, o si mesmo e o outro: um outro ausente, mas nem por isso menos atuante. A segunda discussão privilegiou as possíveis formas de estabelecer relações com o tempo e com as imagens na contemporaneidade, expressas nos gestos das crianças e nos modos de se relacionarem com as matérias e com os eventos cotidianos, pautados no elo entre o tangível e o intangível, entre o efêmero e o permanente. Como conclusão, o trabalho de pesquisa apostou em favor da potência da arte para a produção de imagens singulares que permitam a criação e intensificação das relações das crianças consigo e com os outros: em outras palavras, imagens de si.

Dans les années qui ont suivi l’apparition de l’infection par le VIH, la priorité était donnée à la recherche thérapeutique. Depuis l’introduction des trithérapies antirétrovirales en 1996, la mortalité et la morbidité liées du VIH ont fortement chuté. Cependant, l’épidémie reste très active, notamment chez les hommes ayant des relations sexuelles avec d’autres hommes (HSH), signifiant la nécessité d’un changement de paradigmes en termes de dépistage et de prévention. Cette thèse suit l’évolution d’une partie de la recherche en épidémiologie du VIH dans les pays du Nord, en s’intéressant d’abord à l’efficacité des traitements pour ensuite s’orienter vers les limites et les nouvelles stratégies de dépistage du VIH et enfin aborder le thème de la prévention. Elle regroupe cinq études épidémiologiques conduites en France.La première étude, conduite chez 175 patients infectés par le VIH-1 et naïfs de traitement antirétroviral, a montré que le lopinavir/ritonavir était efficace quelques soient les polymorphismes portés par la protéase virale. La seconde étude, basée sur un modèle économique prenant en compte l’évolution des pratiques médicales et l’impact des nouveaux traitements a montré que le coût des soins relatifs au VIH est 535000€ par patient (coût actualisé : 320700€) pour une espérance de vie de 26,5 ans dans les conditions actuelles de prise en charge. Elle met en évidence que le coût annuel d’un patient est d’autant plus élevé qu’il débute la prise en charge à un stade avancé de la maladie (21600€/an s’il accède aux soins en stade sida ou avec un taux de CD4<200/mm3 vs. 19400€ avec un taux de CD4>500/mm3, coûts non actualisés). La troisième étude portant sur 1008 patients VIH nouvellement diagnostiqués, a montré que 93% des patients avaient consulté un médecin généraliste dans les trois années qui précèdent le diagnostic de VIH et que 82% des patients inclus qui consultaient pour des symptômes associés au VIH durant cette période avaient une opportunité manquée de proposition de dépistage du VIH. De même, 55% des HSH qui mentionnaient à une structure de soins leur appartenance à ce groupe à risque, avaient une opportunité manquée de dépistage. La quatrième étude a évalué un dépistage communautaire du VIH auprès des HSH (532 HSH ont été testés dans le cadre de l’étude). Ce dépistage a atteint des personnes à risque d’acquisition du VIH dont un tiers se dépistait peu dans les autres structures de dépistage. Parmi les 15 hommes testés positif (2,8%), 12 (80%) ont reçu la confirmation de leur séropositivité pour le VIH et ont été liés aux soins (médiane des CD4 =550/mm3). La cinquième étude, basée sur un design cas-témoins et menée chez les HSH dans le Nord (53 cas de syphilis précoce et 90 témoins) a mis en évidence la fellation réceptive sans préservatif et l’utilisation de jouets sexuels anaux comme principaux facteurs de risque de la syphilis. Nos résultats montrent les limites des stratégies actuelles de dépistage et sont en faveur d’un dépistage systématique du VIH en routine dans les structures de soins primaires, d’une extension de l’offre de dépistage pour les populations à risque spécifique et d’une prévention renforcée axée sur les mesures de réduction des risques du VIH mais aussi des IST. A l’ère des traitements antirétroviraux efficaces, bien tolérés, mais coûteux, le dépistage et la prévention sont des enjeux de poids dans la maitrise de l’épidémie. / In years following the onset of HIV infection, priority was given to therapeutic research. Since the introduction of highly active antiretroviral therapy in 1996, mortality and morbidity related to HIV have decreased dramatically. However, the epidemic remains active, especially among men who have sex with men (MSM), highlighting the need for changes in testing and prevention policies. This thesis presents the evolution of a part of research in epidemiology of HIV in Northern countries, focusing first on HIV treatments effectiveness then moving toward to limitations of current HIV testing strategies, new strategies of HIV testing, and finally addressing prevention. This Ph.D thesis contains five epidemiological studies conducted in France.The first study, conducted in 175 HIV-1 infected antiretroviral-naive patients, showed that lopinavir/ritonavir was efficient regardless to polymorphisms carried by the viral protease.The second study, based on an economic model accounting changes in medical practices and the impact of new drugs, showed that lifetime cost associated with HIV care is €535,000/patient (€320,700 discounted) for a life expectancy of 26.5 years under current conditions. Moreover, it highlighted that annual cost of care increases with late access to care (€21,600/year if AIDS or CD4 count <200 cells/mm3 at HIV care initiation, vs. €19,400 if CD4 count >500 cells/mm3, undiscounted costs).The third study conducted in 1,008 HIV-infected patients newly diagnosed, showed that 93% of patients had seen a general practitioner within 3-year period prior to HIV diagnosis. Of patients enrolled, 82 who sought care for HIV-related symptoms within this period had a missed opportunity for HIV testing proposition. Similarly, 55% of MSM who notified to a healthcare setting that they belonged to this risk group had a missed opportunity for HIV testing proposition. The fourth study assessed a community-based HIV testing strategy targeting MSM (532 MSM tested into the program studied). This HIV testing reached people at high risk of HIV, on third of these was little or not tested in other testing facilities. Among the 15 patients who tested positive (2.8%), 12 (80%) received confirmation and linked to care (median CD4 count =550 cells/mm3). The fifth study, a case-control study conducted in MSM in northern France (53 cases of early syphilis and 90 controls) showed receptive oral sex without a condom and anal sex toy use as the main risk factors for syphilis acquisition. Our results highlight limitations of current HIV testing strategies. They show the importance of promoting routine HIV testing in primary care settings, and extension of testing facilities that target populations with specific risk. In addition, they enhanced prevention for risk reduction measures for HIV and STIs. In the era of effective and well tolerated but expensive antiretroviral therapy, testing and prevention are significant issues in the control of the HIV epidemic.

Dans cette thèse, nous avons étudié la reconnaissance des actions qui incluent l'intéraction avec l’objet à partir des données du skeleton et des informations de profondeur fournies par les capteurs RGB-D. Il existe deux principales applications que nous abordons dans cette thèse: la reconnaissance de l'interaction humaine avec l'objet et la reconnaissance d'une activité anormale. Nous proposons, dan un premier temps, une modélisation spatio-temporelle pour la reconnaissance en ligne et hors ligne des interactions entre l’humain et l’objet. Ces caractéristiques ont été adoptées pour la reconnaissance en ligne des interactions humaines avec l’objet et pour la détection de la démarche anormale. Ensuite, nous proposons des caractéristiques liées à d'objet qui décrivent approximativement la forme et la taille de l’objet. Ces caractéristiques sont fusionnées avec les caractéristiques bas-niveau pour la reconnaissance en ligne des interactions humaines avec l’objet. Les expériences menées sur deux benchmarks démontrent l’efficacité de la méthode proposée. Dans le deuxième volet de ce travail, nous étendons l'étude à la détection de la démarche anormale en utilisant le cadre en ligne l’approche. Afin de valider la robustesse de l’approche à la pose, nous avons collecté une base multi-vue pour des interactions humaines avec l’objet, de façon normale et anormale. Les résultats expérimentaux sur le benchmark des actions anormales frontales et sur la nouvelles base prouvent l’efficacité de l’approche. / In this thesis, we have investigated the human object interaction recognition by using the skeleton data and local depth information provided by RGB-D sensors. There are two main applications we address in this thesis: human object interaction recognition and abnormal activity recognition. First, we propose a spatio-temporal modeling of human-object interaction videos for on-line and off-line recognition. In the spatial modeling of human object interactions, we propose low-level feature and object related distance feature which adopted on on-line human object interaction recognition and abnormal gait detection. Then, we propose object feature, a rough description of the object shape and size as new features to model human-object interactions. This object feature is fused with the low-level feature for online human object interaction recognition. In the temporal modeling of human object interactions, we proposed a shape analysis framework based on low-level feature and object related distance feature for full sequence-based off-line recognition. Experiments carried out on two representative benchmarks demonstrate the proposed method are effective and discriminative for human object interaction analysis. Second, we extend the study to abnormal gait detection by using the on-line framework of human object interaction classification. The experiments conducted following state-of-the-art settings on the benchmark shows the effectiveness of proposed method. Finally, we collected a multi-view human object interaction dataset involving abnormal and normal human behaviors by RGB-D sensors. We test our model on the new dataset and evaluate the potential of the proposed approach.

Cette thèse traite des Équations aux Dérivées Partielles Stochastiques Quasilinéaires. Elle est divisée en deux parties. La première partie concerne le problème d’obstacle pour les équations aux dérivées partielles stochastiques quasilinéaires et la deuxième partie est consacrée à l’étude des équations aux dérivées partielles stochastiques quasilinéaires dirigées par un G-mouvement brownien. Dans la première partie, on montre d’abord l’existence et l’unicité d’un problème d’obstacle pour les équations aux dérivées partielles stochastiques quasilinéaires (en bref OSPDE). Notre méthode est basée sur des techniques analytiques venant de la théorie du potentiel parabolique. La solution est exprimée comme une paire (u,v) où u est un processus prévisible continu qui prend ses valeurs dans un espace de Sobolev et v est une mesure régulière aléatoire satisfaisant la condition de Skohorod. Ensuite, on établit un principe du maximum pour la solution locale des équations aux dérivées partielles stochastiques quasilinéaires avec obstacle. La preuve est basée sur une version de la formule d’Itô et les estimations pour la partie positive d’une solution locale qui est négative sur le bord du domaine considéré. L’objectif de la deuxième partie est d’étudier l’existence et l’unicité de la solution des équations aux dérivées partielles stochastiques dirigées par G-mouvement brownien dans le cadre d’un espace muni d’une espérance sous-linéaire. On établit une formule d’Itô pour la solution et un théorème de comparaison. / This thesis deals with quasilinear Stochastic Partial Differential Equations (in short SPDE). It is divided into two parts, the first part concerns the obstacle problem for quasilinear SPDE and the second part solves quasilinear SPDE driven by G-Brownian motion. In the first part we begin with the existence and uniqueness result for the obstacle problem of quasilinear stochastic partial differential equations (in short OSPDE). Our method is based on analytical technics coming from the parabolic potential theory. The solution is expressed as a pair (u, v) where u is a predictable continuous process which takes values in a proper Sobolev space and v is a random regular measure satisfying minimal Skohorod condition. Then we prove a maximum principle for a local solution of quasilinear stochastic partial differential equations with obstacle. The proofs are based on a version of Itô’s formula and estimates for the positive part of a local solution which is negative on the lateral boundary. The objective of the second part is to study the well-posedness of stochastic partial differential equations driven by G-Brownian motion in the framework of sublinear expectation spaces. One can also establish an Itô formula for the solution and a comparison theorem.

Cette thèse s'inscrit dans le cadre de l'apprentissage par renforcement pour les systèmes de dialogue. Ce document propose différentes manières de considérer l'être humain, interlocuteur du système de dialogue. Après un aperçu des limites du cadre agent/environnement traditionnel, nous proposons de modéliser dans un premier temps le dialogue comme un jeu stochastique. Dans ce cadre, l'être humain n'est plus vu comme une distribution de probabilité stationnaire mais comme un agent cherchant à optimiser ses préférences. Nous montrons que ce cadre permet une prise en compte de phénomènes de co-adaptation intrinsèques au dialogue humain/machine et nous montrons que ce cadre étend le champ d'application des systèmes de dialogue, par exemple aux dialogues de négociations. Dans un second temps, nous présentons une méthode permettant à l'être humain d'accélérer et de sécuriser la phase d'apprentissage de son système de dialogue par le biais de conseils encodés sous la forme d'une fonction de récompense. Nous montrons que cette prise en compte de conseils permet de significativement améliorer les performances d'un agent apprenant par renforcement. Finalement, une troisième situation est considérée. Ici, un système écoute une conversation entre humains et agit de manière à influer sur le cours de la conversation. Une fonction de récompense originale permettant de maximiser le résultat de la conversation tout en minimisant l'intrusivité du système est proposé. Nous montrons que notre approche permet de significativement améliorer les conversations. Pour implémenter cette approche, un modèle de la conversation est requis. C'est pourquoi nous proposons dans une quatrième contribution d'apprendre ce modèle à partir d'un algorithme d'apprentissage d'automates à multiplicité. / The context of this thesis takes place in Reinforcement Learning for Spoken Dialogue Systems. This document proposes several ways to consider the role of the human interlocutor. After an overview of the limits of the traditional Agent/Environment framework, we first suggest to model human/machine dialogue as a Stochastic Game. Within this framework, the human being is seen as a rational agent, acting in order to optimize his preferences. We show that this framework allows to take into consideration co-adaptation phenomena and extend the applications of human/machine dialogue, e.g. negociation dialogues. In a second time, we address the issue of allowing the incorporation of human expertise in order to speed-up the learning phase of a reinforcement learning based spoken dialogue system. We provide an algorithm that takes advantage of those human advice and shows a great improvement over the performance of traditional reinforcement learning algorithms. Finally, we consider a third situation in which a system listens to a conversation between two human beings and talk when it estimates that its intervention could help to maximize the preferences of its user. We introduce a original reward function balancing the outcome of the conversation with the intrusiveness of the system. Our results obtained by simulation suggest that such an approach is suitable for computer-aided human-human dialogue. However, in order to implement this method, a model of the human/human conversation is required. We propose in a final contribution to learn this model with an algorithm based on multiplicity automata.

Dans cette thèse on obtient des conditions suffisantes pour la terminalité des variétés toriques de dimension arbitraire, généralisant des résultats connus en dimension 3 et 4. On classifie les variétés toriques Q-factorielles, terminales, Gorenstein de dimension 4 qui admettent un G-désingularisation. Une variété torique X obtenue par l'éclatement a poids d'un point régulier invariant d'une variété de Fano torique avec nombre de Picard égal à 1 est décrit par deux vecteurs en Z^n. En termes de ces vecteurs on décrit le cône nef et on classifie les contractions élémentaires de X au sens de Mori. Dans le cas où la variété de Fano est un espace projectif, on donne quelques familles d'exemples où les variétés éclatées sont terminales.

Ce travail porte sur l'étude d'antennes agiles en directivité et polarisation, et de leurs circuits d'alimentation. Cette agilité est obtenue au moyen de différents éléments actifs dont les propriétés sont mises à profit pour modifier le fonctionnement électromagnétique des antennes. Des composants semi-conducteurs classiques comme les diodes PIN ou les varactors sont ainsi reportés sur des circuits d'alimentation des antennes selon les techniques MIC (microwave integrated circuit). Une architecture innovante de coupleur reconfigurable à base de varactors est proposée, étudiée et théorisée. Ce coupleur hybride est associé à une antenne à double alimentation orthogonale. Le système complet permet une reconfiguration de la polarisation de l'onde rayonnée par l'antenne, allant d'une polarisation parfaitement linéaire à une polarisation circulaire. Les mesures de cette antenne montrent un rapport axial pour la polarisation circulaire de 0,8dB. Une seconde application proposée permet de réaliser électroniquement une variation sur un angle de 90° de la direction de polarisation d'une antenne. Les mesures montrent qu'une polarisation linéaire de qualité est conservée tout au long de la rotation. Dans une troisième étude, une antenne microruban est associée à deux éléments parasites sur un même substrat. En modifiant la réactance de charge des deux éléments parasites, une reconfiguration du diagramme de rayonnement de l'antenne est observée. Enfin, différentes solutions sont proposées pour alimenter un réseau linéaire. Une première solution utilisant deux coupleurs hybrides en mode réflexion et des diodes PIN permet de réduire le nombre de composants nécessaires à la conception. Un second déphaseur basé sur le coupleur reconfigurable et la méthode de la sommation des vecteurs en quadrature est étudiée. Ce déphaseur est associé à un réseau de deux antennes pour modifier l'angle de focalisation du réseau. Enfin, une solution totalement intégrée sur Silicium haute résistivité à 60 GHz utilisant des composants microsystèmes est étudiée et réalisée grâce au procédé micro-électronique de la société MEMScap. Les déphaseurs utilisent la technique des lignes commutées. Des commutateurs MEMS de type série et parallèles sont conçus, simulés et réalisés. Le système final occupe une place de 0,5*1mm².

Cette thèse porte sur les compactifications en théorie des cordes et supergravité. Nous étudions les réductions dimensionnelles des théories de type II sur des fonds avec flux, en utilisant les techniques de la géométrie géneralisée de Hitchin.<br />Nous commençons en introduisant les outils mathématiques nécessaires: nous nous concentrons sur les structures SU(3)xSU(3) sur le fibré tangent généralisé T+T*, en analysant leurs déformations. Ensuite nous étudions la théorie de supergravité N=2 quadri-dimensionnelle définie par réduction des théories de type II sur des fonds à structure SU(3)xSU(3) avec flux généraux de NSNS et RR: nous établissons l'action bosonique complète, et nous montrons comment ces donées sont reliées au formalisme de la géométrie généralisée sur T+T*. En particulier, nous trouvons une expression géométrique pour le potentiel scalaire N=2. Puis nous nous concentrons sur les relations entre les descriptions à 10d et à 4d des fonds supersymétriques avec flux: nous dérivons les conditions de vide N=1 dans la théorie N=2 à 4d, ainsi que dans sa troncation N=1, et nous prouvons une correspondance précise avec les équations qui caractérisent les vides N=1 au niveau dix-dimensionnel. Nous terminons en présentant des exemples concrets, basés sur des espaces quotients avec structure SU(3). Nous établissons pour ces espaces la cohérence de la troncation basée sur l'invariance gauche, et nous explorons les vides de la théorie associée, en prenant en compte les corrections des boucles des cordes.