Les systèmes embarqués sont de plus en plus utilisés dans des domaines divers tels que le transport, l’automatisation industrielle, les télécommunications ou la santé pour exécuter des applications critiques et manipuler des données sensibles. Ces systèmes impliquent souvent des intérêts financiers et industriels, mais aussi des vies humaines ce qui impose des contraintes fortes de sûreté. Par conséquent, un élément clé réside dans la capacité de tels systèmes à répondre correctement quand des erreurs se produisent durant l’exécution et ainsi empêcher des comportements induits inacceptables. Les erreurs peuvent être d’origines naturelles telles que des impacts de particules, du bruit interne (problème d’intégrité), etc. ou provenir d’attaques malveillantes. Les architectures de systèmes embarqués comprennent généralement un ou plusieurs processeurs, des mémoires, des contrôleurs d’entrées/sorties ainsi que des accélérateurs matériels utilisés pour améliorer l’efficacité énergétique et les performances. Avec l’évolution des applications, le cycle de conception d’accélérateurs matériels devient de plus en plus complexe. Cette complexité est due en partie aux spécifications des accélérateurs matériels qui reposent traditionnellement sur l’écriture manuelle de fichiers en langage de description matérielle (HDL).Cependant, la synthèse de haut niveau (HLS) qui favorise la génération automatique ou semi-automatique d’accélérateurs matériels à partir de spécifications logicielles, comme du code C, permet de réduire cette complexité.Le travail proposé dans ce manuscrit cible l’intégration d’un support de vérification dans les outils de HLS pour générer des moniteurs sur puce au cours de la synthèse de haut niveau des accélérateurs matériels. Trois contributions distinctes ont été proposées. La première contribution consiste à contrôler les erreurs de comportement temporel des entrées/sorties (impactant la synchronisation avec le reste du système) ainsi que les erreurs du flot de contrôle (sauts illégaux ou problèmes de boucles infinies). La synthèse des moniteurs est automatique sans qu’aucune modification de la spécification utilisée en entrée de la HLS ne soit nécessaire. La deuxième contribution vise la synthèse des propriétés de haut niveau (ANSI-C asserts) qui ont été ajoutées dans la spécification logicielle de l’accélérateur matériel. Des options de synthèse ont été proposées pour arbitrer le compromis entre le surcout matériel, la dégradation de la performance et le niveau de protection. La troisième contribution améliore la détection des corruptions des données qui peuvent modifier les valeurs stockées, et/ou modifier les transferts de données, sans violer les assertions (propriétés) ni provoquer de sauts illégaux. Ces erreurs sont détectées en dupliquant un sous-ensemble des données du programme, limité aux variables les plus critiques. En outre, les propriétés sur l’évolution des variables d’induction des boucles ont été automatiquement extraites de la description algorithmique de l’accélérateur matériel. Il faut noter que l’ensemble des approches proposées dans ce manuscrit, ne s’intéresse qu’à la détection d’erreurs lors de l’exécution. La contreréaction c.à.d. la manière dont le moniteur réagit si une erreur est détectée n’est pas abordée dans ce document. / Embedded systems are increasingly used in various fields like transportation, industrial automation, telecommunication or healthcare to execute critical applications and manipulate sensitive data. These systems often involve financial and industrial interests but also human lives which imposes strong safety constraints.Hence, a key issue lies in the ability of such systems to respond safely when errors occur at runtime and prevent unacceptable behaviors. Errors can be due to natural causes such as particle hits as well as internal noise, integrity problems, but also due to malicious attacks. Embedded system architecture typically includes processor (s), memories, Input / Output interface, bus controller and hardware accelerators that are used to improve both energy efficiency and performance. With the evolution of applications, the design cycle of hardware accelerators becomes more and more complex. This complexity is partly due to the specification of hardware accelerators traditionally based on handwritten Hardware Description Language (HDL) files. However, High-Level Synthesis (HLS) that promotes automatic or semi-automatic generation of hardware accelerators according to software specification, like C code, allows reducing this complexity.The work proposed in this document targets the integration of verification support in HLS tools to generate On-Chip Monitors (OCMs) during the high-level synthesis of hardware accelerators (HWaccs). Three distinct contributions are proposed. The first one consists in checking the Input / Output timing behavior errors (synchronization with the whole system) as well as the control flow errors (illegal jumps or infinite loops). On-Chip Monitors are automatically synthesized and require no modification in their high-level specification. The second contribution targets the synthesis of high-level properties (ANSI-C asserts) that are added into the software specification of HWacc. Synthesis options are proposed to trade-off area overhead, performance impact and protection level. The third contribution improves the detection of data corruptions that can alter the stored values or/and modify the data transfers without causing assertions violations or producing illegal jumps. Those errors are detected by duplicating a subset of program’s data limited to the most critical variables. In addition, the properties over the evolution of loops induction variables are automatically extracted from the algorithmic description of HWacc. It should be noticed that all the proposed approaches, in this document, allow only detecting errors at runtime. The counter reaction i.e. the way how the HWacc reacts if an error is detected is out of scope of this work.

Le principal objectif de cette thèse est d'étudier l'incidence des erreurs prépositionnelles sur l'intelligibilité de productions en L2 anglais par des apprenants francophones. Après un résumé des caractéristiques sémantiques et morpho-syntaxiques des prépositions en anglais et en français, nous abordons les questions liées à l'acquisition d'une langue seconde en général et à l'acquisition des prépositions en particulier, afin d' identifier les facteurs qui peuvent rendre leur acquisition problématique en L2. Nous proposons également des solutions pédagogiques pour améliorer l'apprentissage des prépositions en anglais. Afin de mesurer l'intelligibilité, nous analysons un corpus de productions orales et écrites contenant des emplois erronés, répartis entre erreurs lexciales et erreurs lexico- grammaticales (additions, omissions ou substitutions). Les résultats de cette analyse permettent de voir dans quelle mesure les erreurs prépositionnelles affectent l'intelligibilité du message. / The main objective of our thesis paper is to examine the intelligibility of erroneous prepositional uses produced by French learners of English. We begin with an overview of the semantico-syntactic properties of English and French prepositions. Then we give an account of second language acquisition theories, and we highlight the acquisition of English prepositions by listing a number of reasons that are likely to make them problematic for L2 learners. We also propose certain effective pedagogical approaches to teaching English prepositions/particles. To measure intelligibility, we assess an oral and a written corpus containing L2 erroneous constructions. Our error tagset is divided into lexical and lexico-grammatical errors (addition, omission and substitution). The results of our corpus analysis allow us to observe the extent to which erroneous spatial prepositions may affect the intelligibility of the transferred message.

Ce projet de maîtrise se consacre à l’apprentissage des prépositions espagnoles chez les élèves francophones. L’identification et l’analyse des erreurs les plus fréquentes dans l’usage des prépositions par des francophones nous permettrons d’élaborer des exercices pratiques qui rendraient leur apprentissage moins difficile. Nous croyons que la difficulté dans l’utilisation des prépositions chez les étudiants réside en partie dans le fait de ne pas connaître leur emploi exact. Nous commencerons donc par présenter l’emploi des principales prépositions en espagnol à partir du Manual de la Nueva gramática de la lengua española et d’autres études. L’enseignement de la grammaire dans les cours d’espagnol comme langue étrangère (ELE) au Québec suit les règles établies par le Cadre européen commun et le Plan curricular de l’Institut Cervantès. Les étudiants développent leur compétence grammaticale de manière inductive; ils sont amenés à comprendre les règles par eux-mêmes et à créer leurs propres hypothèses qu’ils confirment ou réfutent après grâce à quelques explications formelles de l’enseignant et des exercices de pratique. Par contre, cette tendance à laisser l’apprentissage de la grammaire entre les mains des étudiants peut aussi amener à la fossilisation de leurs erreurs si les explications et la pratique ne sont pas suffisantes. Les erreurs sont perçues comme un point de départ pour comprendre où résident les difficultés des étudiants et permettent aux enseignants d’apporter les changements nécessaires à leurs méthodes d’enseignement. Notre révision de quelques investigations réalisées avec la méthode de l’analyse des erreurs, nous permet de cerner les raisons pour lesquelles les francophones commettent autant d’erreurs dans l’utilisation des prépositions espagnoles. Notre analyse de l’enseignement et de la pratique des prépositions dans trois manuels qui s’utilisent actuellement dans les cégeps et les universités du Québec nous permet de voir que les prépositions ne se pratiquent pas assez, surtout au niveau intermédiaire. Nous proposons donc des exercices pratiques qui permettront aux étudiants de pratiquer les prépositions de manière plus efficace. / This MA thesis is dedicated to the learning of the Spanish prepositions by French-speakers. We are interested in identifying and analyzing the most frequent errors in the use of the prepositions by French-speakers, which will bring us to create activities that will help them make fewer mistakes. We believe that the difficulty partly lies in the fact that students don’t know how to use them correctly. Therefore, we find it important to present the uses of the main prepositions in Spanish given by the Manual of Nueva gramática de la lengua española and other studies. The teaching of grammar in classes of Spanish as a foreign language (SFL) in Quebec follows the guidelines established by the Common European Framework and the Plan curricular of the Cervantes Institute. The students develop their grammatical competence in an inductive way; they try to understand the rules by themselves and create their own hypotheses which they will later confirm or refute thanks to some formal explanations from the teacher and practice. On the other hand, this tendency to leave the learning of the grammar mostly in the hands of the students can also bring about the fossilization of certain errors if there aren’t enough explanations or practice. The method of Error Analysis is the most effective to analyze the process of Spanish learning as a foreign language. The errors are a starting point to understand where the difficulties of the students lie and allow the teachers to bring the necessary changes in their teaching methods. Our revision of some investigations made with this method of analysis will allow us to better understand the causes of the most frequent errors French-Speakers make using Spanish prepositions. Our analysis of three textbooks used today in the classrooms of cégeps and universities of Quebec will prove that the prepositions are not practiced enough, especially in the intermediate level. We will consequently propose activities that will allow the students to practice the Spanish prepositions in a more effective way. / Este trabajo de Maestría se centra en el aprendizaje de las preposiciones españolas en alumnos francófonos. La identificación y el análisis de los errores más frecuentes nos llevarán a elaborar actividades que permitan un aprendizaje menos difícil de las preposiciones. Primero, creemos que la dificultad reside en parte en el hecho de no conocer los usos exactos de las preposiciones. Nos parece entonces importante empezar por la presentación de los usos de las principales preposiciones en español a partir del Manual de la Nueva gramática española y de otros estudios. La enseñanza de la gramática en clases de español como lengua extranjera (ELE) en Quebec sigue las mismas pautas establecidas por el Marco común europeo y el Plan curricular del Instituto Cervantes. Los estudiantes desarrollan su competencia gramatical de manera inductiva, creando hipótesis que luego confirman o refutan a partir de explicaciones formales del profesor y de práctica. Sin embargo, el hecho de dejar el aprendizaje de la gramática en las manos de los estudiantes puede causar una fosilización de los errores si no hay suficientes explicaciones y práctica. El método de análisis de los errores se reveló el más eficaz para analizar el proceso de aprendizaje de ELE. Los errores son un punto de partida para comprender dónde residen las dificultades de los estudiantes y permiten a los profesores aportar los cambios necesarios en sus métodos de enseñanza. Nuestro estudio de los errores preposicionales en la interlengua de los hablantes francófonos a partir de estudios realizados con el método de análisis de errores nos permitirá comprender mejor las causas de esos errores. Nuestro análisis de tres manuales que se utilizan actualmente en clases de ELE en los cégeps y universidades quebequenses nos permitirá ver que las preposiciones no se practican bastante en los manuales, sobre todo en el nivel intermedio, lo que podría explicar la fosilización de algunos errores. Propondremos entonces algunas actividades para que los estudiantes puedan practicar las preposiciones de una manera más eficaz.

L’iatrogénie induite par les erreurs médicamenteuses est un problème majeur de santé publique. Ce travail a pour objectif de développer une approche systémique visant à réduire leur occurrence en cancérologie. L’étude est menée aux Hospices Civils de Lyon au sein du Groupement Hospitalier Sud. L’analyse des erreurs médicamenteuses interceptées, sur une période de 5 ans, révèle que 4 prescriptions de chimiothérapie sur 100 présentent au moins une erreur médicamenteuse, dont plus de la moitié sont des erreurs de dose. Les facteurs de risque d’erreurs de prescription identifiés sont la prescription par un interne, l’hospitalisation conventionnelle, le patient ayant une surface corporelle supérieure à 2 m², les protocoles de plus de trois médicaments anticancéreux, comprenant du carboplatine ou nécessitant une modification par le prescripteur. L’évaluation de la gravité clinique potentielle des erreurs médicamenteuses montre que 13,4% d’entre elles auraient causé un préjudice temporaire et 2,6% un préjudice permanent. Le pronostic vital aurait été engagé dans 2,6% des cas conduisant au décès pour 6 patients sur une période d’un an. L’évaluation médico-économique permet d’estimer le coût pour l’assurance maladie d’une erreur médicamenteuse en cancérologie avec conséquences cliniques à 1 523€ associé à 3,5 journées d’hospitalisation supplémentaires. Cette approche systémique conduit au développement de revues d’erreurs médicamenteuses et de morbi-mortalité, socle de l’analyse collective indispensable à la prévention du risque médicamenteux en cancérologie / Medication errors are a major public health problem. This work aims to develop a systemic approach to reduce their occurrence in oncology. The study was conducted in Groupement Hospitalier Sud (Hospices Civils de Lyon). The analysis of intercepted medication errors, over a period of five years, reveals that four out of 100 prescriptions of chemotherapy include at least one medication error, which over half are dose errors. Risk factors of prescribing errors identified are prescription by a resident physician, inpatient care, patient with a body surface area greater than 2 m², protocol with more that three anticancer drugs, protocol involving carboplatin or protocol requiring at least one modification by the physician. 13.4% of avoided errors would have resulted in temporary injury and 2.6% in permanent damage. The vital prognosis of the patient would have been compromised in 2.6% of cases leading to death for six patients over a period of one year. The cost of one medication error with clinical consequences was estimated at € 1 523 associated to 3.5 additional days of hospitalisation. This approach led to the development of systematic medication errors reviews and morbi-mortality conferences that allow a collective and multidisciplinary analysis to enhance the patient’s safety

Bien que typiques et incontournables de la langue anglaise, les phrasal verbs représentent cependant un véritable fléau pour les apprenants non-anglophones. Une étude quantitative s’appuyant sur la comparaison d’un corpus d’interlangue de l’anglais langue étrangère (International Corpus of Learner English, Version 2) et d’un corpus contrôle (Louvain Corpus of Native English Essays) met ainsi en lumière la sous-représentation des phrasal verbs dans les productions écrites d’étudiants non-anglophones. En second lieu, à partir d’une étude qualitative examinant l’usage des phrasal verbs dans les extraits de dissertations d’étudiants non-natifs, nous établissons une typologie des erreurs commises par les apprenants non-anglophones à l’égard des phrasal verbs. Une réflexion sur de nouvelles approches visant un meilleur apprentissage/enseignement des phrasal verbs est également proposée.Pour apporter des éléments de réponse à cette question, notre démarche consiste à observer la genèse de cette construction dans le langage de l’enfant anglophone. En effet, le rôle des constructions formées de plusieurs mots a notamment été mis en évidence dans les théories de l’acquisition de la langue maternelle (Goldberg, 1995 ; Tomasello, 2003). En outre, elles représentent une source de prédication riche et productive que les enfants de la plupart des communautés linguistiques acquièrent à un âge très précoce. Aucune étude dédiée à l’acquisition et l’usage des phrasal verbs chez le jeune enfant anglophone n’a cependant été réalisée à ce jour. Cette thèse se propose d’étudier l’émergence et le développement des constructions verbe-particule dans le langage de l’enfant en analysant les données longitudinales du discours oral spontané de deux enfants uniligues anglophones, Naima et Ella, suivies respectivement entre 0;11 et 3;10 et entre 1;00 et 4;00. Les transcriptions des corpus sont issues de la base de données CHILDES (MacWhinney, 2000a).Enfin, cette thèse s’intéresse également à l’acquisition et à l’usage du placement de la particule adverbiale au sein des verbes à particule transitifs directs dans le discours de l’enfant anglophone. En particulier, une analyse multifactorielle de plusieurs variables linguistiques sera conduite afin de voir si l’enfant reproduit le même schéma linguistique que l’adulte dans ses emplois des constructions verbe-particule transitives directes de type continu V-Prt-O et discontinu V-O-Prt. / Although typical and inevitable in the English language, phrasal verbs, however, represent a real scourge to non-English-speaking students. A quantitative study based on a comparison between an interlanguage corpus of English as a foreign language (International Corpus of Learner English, Version 2) and a control corpus (Louvain Corpus of Native English Essays) thus highlights the underrepresentation of phrasal verbs in non-English-speaking students’ written productions. Secondly, from a qualitative study examining the use of phrasal verbs in excerpts from non-native students’ essays, we draw up a typology of errors made by non-English-speaking learners with regard to phrasal verbs. A discussion on new approaches to a better learning/teaching of phrasal verbs is also proposed.To provide some answers to this question, our approach consists in observing the genesis of this construction in the English-speaking child’s language. Indeed, the role of multiword constructions has particularly been emphasized in theories of first language acquisition (Goldberg, 1995; Tomasello, 2003). Besides, they are a rich and productive source of predication that children from most of the language communities acquire at a very early age. Yet, no studies dedicated to the acquisition and usage of verb-particle constructions in young English-speaking children have been carried out so far. This thesis aims to study the emergence and development of verb-particle constructions in child language by analyzing longitudinal data from the spontaneous oral speech of two monolingual English-speaking children, Naima and Ella, respectively followed between ages 0;11 and 3;10 and between ages 1;00 and 4;00. The corpora transcripts come from the CHILDES database (MacWhinney, 2000a).Finally, this thesis also focuses on the acquisition and use of particle placement within direct transitive phrasal verbs in English-speaking children’s speech. In particular, a multifactorial analysis of several linguistic variables will be conducted to see if children reproduce the same linguistic pattern as adults in their productions of both types of direct transitive verb-particle constructions (i.e. continuous configuration V-Prt-O and split configuration V-O-Prt).

La caractérisation par mesure spectrale de l'environnement neutronique atmosphérique ambiant s'avère être spécifiquement primordiale dans le contexte de la problématique actuelle liée à l'évaluation des effets de radiations naturelles dans les matériaux semi-conducteurs. Ces " effets singuliers " identifiés sont susceptibles d'altérer le bon fonctionnement des technologies sur silicium fortement intégrées jusqu'au niveau du sol terrestre. Les travaux menés au cours de cette thèse de doctorat ont ainsi porté sur le développement d'un spectromètre de neutron, basé sur le principe du système généralisé des sphères de Bonner, de sensibilité adaptée à la mesure en environnement radiatif atmosphérique naturel et d'efficacité étendue de surcroît jusqu'au domaine des hautes énergies. Le développement du spectromètre s'est alors grandement appuyé sur la simulation numérique de type Monte Carlo au moyen du code de transport MCNPX. Une fois le système multi-détecteurs défini sur le support d'une modélisation détaillée, la matrice de réponse en fluence a été déterminée sur un large spectre en énergie, depuis les énergies thermiques jusqu'à plusieurs GeV. Une phase d'extension puis d'optimisation de la réponse aux neutrons d'énergies supérieures à la dizaine de MeV ont été menées pour aboutir à la configuration et au dimensionnement finals du système de spectrométrie, jusqu'à sa propre réalisation. Une phase de caractérisation, par simulations Monte Carlo, du spectromètre s'est ensuite consacrée à l'évaluation des possibles déviations et incertitudes associées aux réponses en fluence calculées. Une analyse de la sensibilité du spectromètre aux composantes radiatives atmosphériques chargées complète et finalise cette étude exhaustive de caractérisation. Des tests de mesures réalisés au moyen du spectromètre auprès d'une source 241Am-Be de référence ont apporté des éléments de validation expérimentale préliminaire de la matrice de réponse calculée.

Cette thèse se compose de trois parties indépendantes portant sur l'application du contrôle stochastique à la finance. Dans la première partie, nous étudions le problème de maximisation de la fonction d'utilité dans un marché incomplet avec défauts et information totale/partielle. Nous utilisons le principe de la programmation dynamique pour pouvoir caractériser la fonction valeur solution du problème. Ensuite, nous utilisons cette caractérisation pour en déduire une EDSR dont la fonction valeur est solution. Nous donnons également une approximation de cette fonction valeur. Dans la seconde partie, nous étudions les EDSR à sauts. En utilisant les résultats de décomposition des processus à sauts liée au grossissement progressif de filtration, nous faisons un lien entre les EDSR à sauts et les EDSR browniennes. Cela nous permet de donner un résultat d'existence, un théorème de comparaison ainsi qu'une décomposition de la formule de Feynman-Kac. Puis nous utilisons ces techniques pour la détermination du prix d'une option européenne dans un marché complet et le prix d'indifférence d'un actif contingent non duplicable dans un marché incomplet. Enfin, dans la troisième partie, nous utilisons la théorie des erreurs pour expliquer le risque de liquidité comme une propriété intrinsèque au marché. Cela nous permet de modéliser la fourchette Bid-Ask. Puis nous résolvons dans ce modèle le problème de liquidation optimale d'un portefeuille en temps discret et déterministe en utilisant la programmation dynamique.

Le problème de l'optimisation des systèmes utilisant l'arithmétique virgule fixe est un problème d'optimisation combinatoire de complexité NP-difficile. Savoir analyser et optimiser des applications complexes et de taille réelle est le thème central de cette thèse. Une technique de type diviser-pour-régner, où un système donné est décomposé en plusieurs petits sous-systèmes organisés selon une hiérarchie est au cœur de cette approche. Cette décomposition ouvre la voie à l'évaluation rapide de la précision et au problème d'optimisation hiérarchique de la largeur des données et des opérations du système. En raison de la réduction du nombre de variables, la convergence du problème d'optimisation hiérarchique vers une solution est beaucoup plus rapide que dans le cas classique. Le modèle "Single Noise Source" (SNS) est proposé pour étudier les statistiques des erreurs de quantification. Au lieu de simplement se concentrer sur la moyenne et la variance du bruit des erreurs dues à la quantification, il fournit également des formules analytiques pour dériver les paramètres statistiques des processus aléatoires produisant les erreurs de quantification équivalentes à une simulation en virgule fixe. En présence des opérations " non-lisses " (un- smooth) telles que la décision dans les modulations QAM, les fonctions Min() ou Max(), etc., il est pour l'instant inévitable d'utiliser la simulation en virgule fixe. Une technique pour l'évaluation analytique des statistiques des erreurs de quantification en présence d'opérateurs non-lisses dans les graphes ne contenant pas de rebouclage est également proposée. Afin de tenir compte également des systèmes ayant des rebouclages, une technique hybride qui utilise le modèle SNS pour accélérer les simulations en virgule fixe est de plus proposée. Un cadre d'utilisation de l'optimisation convexe est proposé comme heuristique pour résoudre le problème d'optimisation des largeurs. Cette nouvelle technique améliore non seulement la qualité de la solution, mais permet de résoudre le problème plus rapidement que les approches itératives classiques. L'application des techniques proposées permet non seulement de réduire les coûts du système mais aussi une réduction de plusieurs ordres de grandeur dans le temps nécessaire pour optimiser les systèmes utilisant l'arithmétique virgule fixe.

La présente étude vise à identifier et classer les difficultés d’ordre grammatical rencontrées chez les immigrants adultes allophones dans l’apprentissage du français langue seconde. Nous avons d’une part analysé les examens finaux de 98 apprenants inscrits dans les cours de francisation à l’Université de Montréal afin de décrire leurs erreurs grammaticales fréquentes commises. Nous avons décrit les erreurs grammaticales fréquentes produites par les apprenants de chaque niveau de francisation d’une manière précise afin que les apprenants puissent bien éviter l’usage de formes erronées et bien développer des compétences linguistiques en français langue seconde. D’autre part, nous avons collecté les opinions personnelles de cinq professeurs principaux de francisation à l’égard de l’importance de l’enseignement de la grammaire dans les cours de langue seconde, du traitement des erreurs grammaticales, et de la persistance des erreurs à travers différents niveaux, etc. En précisant les points grammaticaux à apprendre de chaque niveau de francisation et en fusionnant les résultats des apprenants et des professeurs, nous pouvons offrir aux apprenants adultes allophones des tableaux simples des points grammaticaux et des erreurs grammaticales correspondantes de chaque niveau. Ces derniers pourraient les exploiter pour favoriser la maîtrise du français langue seconde ainsi leur intégration à la société québécoise. / The current research is to identify and classify grammatical difficulties facing by adult English speaking immigrants in their French as a second language (FSL) study. On one side, we have analyzed exams of 98 students from French learning course in Université de Montréal in order to describe their common grammar mistakes. We have described in detail common grammar mistakes produced by learners of each level of French learning course so that they can effectively prevent themselves from using common errors and develop language skill in studying FSL. On the other side, we have also collected personal opinions of five senior teachers of French as a second language course in terms of the importance of teaching grammar in FSL course, the treatment of grammar errors, and the persistence of errors throughout various level, etc. By specifying grammar points to study in each level of FSL course and merging the results of learners and teachers, we can provide adult English speaking learners simple tables of grammar points and grammar errors corresponding to each level. They could use them to improve their language skills and to better integrate themselves into Quebec society.

On s’intéresse ici aux erreurs de modélisation liées à l’usage de modèles de flammelette sous-maille en combustion turbulente non prémélangée. Le but de cette thèse est de développer une stratégie d’estimation d’erreur a posteriori pour déterminer le meilleur modèle parmi une hiérarchie, à un coût numérique similaire à l’utilisation de ces mêmes modèles. Dans un premier temps, une stratégie faisant appel à un estimateur basé sur les résidus pondérés est développée et testée sur un système d’équations d’advection-diffusion-réaction. Dans un deuxième temps, on teste la méthodologie d’estimation d’erreur sur un autre système d’équations, où des effets d’extinction et de réallumage sont ajoutés. Lorsqu’il n’y a pas d’advection, une analyse asymptotique rigoureuse montre l’existence de plusieurs régimes de combustion déjà observés dans les simulations numériques. Nous obtenons une approximation des paramètres de réallumage et d’extinction avec la courbe en «S», un graphe de la température maximale de la flamme en fonction du nombre de Damköhler, composée de trois branches et d’une double courbure. En ajoutant des effets advectifs, on obtient également une courbe en «S» correspondant aux régimes de combustion déjà identifiés. Nous comparons les erreurs de modélisation liées aux approximations asymptotiques dans les deux régimes stables et établissons une nouvelle hiérarchie des modèles en fonction du régime de combustion. Ces erreurs sont comparées aux estimations données par la stratégie d’estimation d’erreur. Si un seul régime stable de combustion existe, l’estimateur d’erreur l’identifie correctement ; si plus d’un régime est possible, on obtient une fac˛on systématique de choisir un régime. Pour les régimes où plus d’un modèle est approprié, la hiérarchie prédite par l’estimateur est correcte. / We are interested here in the modeling errors of subgrid flamelet models in nonpremixed turbulent combustion. The goal of this thesis is to develop an a posteriori error estimation strategy to determine the best model within a hierarchy, with a numerical cost at most that of using the models in the first place. Firstly, we develop and test a dual-weighted residual estimator strategy on a system of advection-diffusion-reaction equations. Secondly, we test that methodology on another system of equations, where quenching and ignition effects are added. In the absence of advection, a rigorous asymptotic analysis shows the existence of many combustion regimes already observed in numerical simulations. We obtain approximations of the quenching and ignition parameters, alongside the S-shaped curve, a plot of the maximal flame temperature as a function of the Damköhler number, consisting of three branches and two bends. When advection effects are added, we still obtain a S-shaped curve corresponding to the known combustion regimes. We compare the modeling errors of the asymptotic approximations in the two stable regimes and establish new model hierarchies for each combustion regime. These errors are compared with the estimations obtained by using the error estimation strategy. When only one stable combustion regime exists, the error estimator correctly identifies that regime; when two or more regimes are possible, it gives a systematic way of choosing one regime. For regimes where more than one model is appropriate, the error estimator’s predicted hierarchy is correct.