Mémoire en recherche-création / Ce mémoire a pour objectif d’explorer les différents moyens cinématographiques mis en place par le cinéaste américain David Lynch afin de comprendre comment ce dernier parvient à transporter son audience dans un monde fantastique et bien sûr, étrange. En nous appuyant sur les premières définitions freudiennes de ce que représente l’inquiétante étrangeté (Das Unheimliche), nous explorerons les codes et images récurrentes dans la cinématographie lynchéenne qui font des films du réalisateur des œuvres aux caractères étranges, après avoir étudié en détail les éléments qui nous permettent de classer les œuvres de l’auteur dans la catégorie des œuvres fantastiques. / This thesis aims to explore the different cinematographic means implemented by David Lynch in order to understand how he manages to transport his audience in a fantastic and of course, strange world. By informing ourselves about the first Freudian definitions of what represents the uncanny (Das Unheimliche), we will explore the recurrent codes and images in Lynchian cinematography which make the director’s films works uncanny, right after having studied in detail the elements that allow us to classify the author’s works in the fantastic genre section.

Est-il possible de se reconnaître et de se sentir interpellé par la Parole de Dieu encore aujourd'hui? Voilà la question qui sous-tend la présente recherche et qui a conduit à rendre compte d'un parcours de découverte de soi en vérité par l'intermédiaire d'une attention portée à soi-même au cœur de la vie quotidienne et d'un approfondissement d'un texte biblique. Deux outils méthodologiques ont servi à encadrer la démarche. La découverte d'une structure vivante de l'être qui invite à avancer toujours plus dans sa vérité a été rendue possible grâce à l'inscription du processus dans le cadre de la recherche heuristique. Par la suite, la pratique réglée de lecture appelée sémiotique a permis de construire, à partir de la péricope de Luc 5, 1–11, des significations éclairantes quant aux possibilités, pour la Bible, d'être signifiante parce que révélatrice de ('expérience humaine et de la présence de Dieu au cœur même de cette dernière.

Cette thèse traite de la classification analytique du déploiement de systèmes différentiels linéaires ayant une singularité irrégulière. Elle est composée de deux articles sur le sujet: le premier présente des résultats obtenus lors de l'étude de la confluence de l'équation hypergéométrique et peut être considéré comme un cas particulier du second; le deuxième contient les théorèmes et résultats principaux. Dans les deux articles, nous considérons la confluence de deux points singuliers réguliers en un point singulier irrégulier et nous étudions les conséquences de la divergence des solutions au point singulier irrégulier sur le comportement des solutions du système déployé. Pour ce faire, nous recouvrons un voisinage de l'origine (de manière ramifiée) dans l'espace du paramètre de déploiement $\epsilon$. La monodromie d'une base de solutions bien choisie est directement reliée aux matrices de Stokes déployées. Ces dernières donnent une interprétation géométrique aux matrices de Stokes, incluant le lien (existant au moins pour les cas génériques) entre la divergence des solutions à $\epsilon=0$ et la présence de solutions logarithmiques autour des points singuliers réguliers lors de la résonance. La monodromie d'intégrales premières de systèmes de Riccati correspondants est aussi interprétée en fonction des éléments des matrices de Stokes déployées. De plus, dans le second article, nous donnons le système complet d'invariants analytiques pour le déploiement de systèmes différentiels linéaires $x^2y'=A(x)y$ ayant une singularité irrégulière de rang de Poincaré $1$ à l'origine au-dessus d'un voisinage fixé $\mathbb{D}_r$ dans la variable $x$. Ce système est constitué d'une partie formelle, donnée par des polynômes, et d'une partie analytique, donnée par une classe d'équivalence de matrices de Stokes déployées. Pour chaque valeur du paramètre $\epsilon$ dans un secteur pointé à l'origine d'ouverture plus grande que $2\pi$, nous recouvrons l'espace de la variable, $\mathbb{D}_r$, avec deux secteurs et, au-dessus de chacun, nous choisissons une base de solutions du système déployé. Cette base sert à définir les matrices de Stokes déployées. Finalement, nous prouvons un théorème de réalisation des invariants qui satisfont une condition nécessaire et suffisante, identifiant ainsi l'ensemble des modules. / This thesis deals with the analytic classification of unfoldings of linear differential systems with an irregular singularity. It contains two papers related to this subject: the first paper presents results concerning the confluence of the hypergeometric equation and may be viewed as a particular case of the second one; the second paper contains the main theorems and results. In both papers, we study the confluence of two regular singular points into an irregular one and we give consequences of the divergence of solutions at the irregular singular point for the unfolded system. For this study, a full neighborhood of the origin is covered (in a ramified way) in the space of the unfolding parameter $\epsilon$. Monodromy of a well chosen basis of solutions around the regular singular points is directly linked to the unfolded Stokes matrices. These matrices give a complete geometric interpretation to the well-known Stokes matrices: this includes the link (existing at least for the generic cases) between the divergence of the solutions at $\epsilon=0$ and the presence of logarithmic terms in the solutions for resonant values of $\epsilon$. Monodromy of first integrals of related Riccati systems are also interpreted in terms of the elements of the unfolded Stokes matrices. The second paper goes further into the subject, giving the complete system of analytic invariants for the unfoldings of nonresonant linear differential systems $x^2y'=A(x)y$ with an irregular singularity of Poincaré rank $1$ at the origin over a fixed neighborhood $\mathbb{D}_r$ in the space of the variable $x$. It consists of a formal part, given by polynomials, and an analytic part, given by an equivalence class of unfolded Stokes matrices. For each parameter value $\epsilon$ taken in a sector pointed at the origin of opening larger than $2\pi$, we cover the space of the variable, $\mathbb{D}_r$, with two sectors and, over each of them, we construct a well chosen basis of solutions of the unfolded differential system. This basis is used to define the unfolded Stokes matrices. Finally, we give a realization theorem for the invariants satisfying a necessary and sufficient condition, thus identifying the set of modules.

Selon la représentation d’entrée, cette thèse étudie ces deux types : la génération de texte à partir de représentation de sens et à partir de texte. En la première partie (Génération des phrases), nous étudions comment effectuer la réalisation de surface symbolique à l’aide d’une grammaire robuste et efficace. Cette approche s’appuie sur une grammaire FB-LTAG et prend en entrée des arbres de dépendance peu profondes. La structure d’entrée est utilisée pour filtrer l’espace de recherche initial à l’aide d’un concept de filtrage local par polarité afin de paralléliser les processus. Afin nous proposons deux algorithmes de fouille d’erreur: le premier, un algorithme qui exploite les arbres de dépendance plutôt que des données séquentielles et le second, un algorithme qui structure la sortie de la fouille d’erreur au sein d’un arbre afin de représenter les erreurs de façon plus pertinente. Nous montrons que nos réalisateurs combinés à ces algorithmes de fouille d’erreur améliorent leur couverture significativement. En la seconde partie (Simplification des phrases), nous proposons l’utilisation d’une forme de représentations sémantiques (contre à approches basées la syntaxe ou SMT) afin d’améliorer la tâche de simplification de phrase. Nous utilisons les structures de représentation du discours pour la représentation sémantique profonde. Nous proposons alors deux méthodes de simplification de phrase: une première approche supervisée hybride qui combine une sémantique profonde à de la traduction automatique, et une seconde approche non-supervisée qui s’appuie sur un corpus comparable de Wikipedia / Depending on the input representation, this dissertation investigates issues from two classes: meaning representation (MR) to text and text-to-text generation. In the first class (MR-to-text generation, "Generating Sentences"), we investigate how to make symbolic grammar based surface realisation robust and efficient. We propose an efficient approach to surface realisation using a FB-LTAG and taking as input shallow dependency trees. Our algorithm combines techniques and ideas from the head-driven and lexicalist approaches. In addition, the input structure is used to filter the initial search space using a concept called local polarity filtering; and to parallelise processes. To further improve our robustness, we propose two error mining algorithms: one, an algorithm for mining dependency trees rather than sequential data and two, an algorithm that structures the output of error mining into a tree to represent them in a more meaningful way. We show that our realisers together with these error mining algorithms improves on both efficiency and coverage by a wide margin. In the second class (text-to-text generation, "Simplifying Sentences"), we argue for using deep semantic representations (compared to syntax or SMT based approaches) to improve the sentence simplification task. We use the Discourse Representation Structures for the deep semantic representation of the input. We propose two methods: a supervised approach (with state-of-the-art results) to hybrid simplification using deep semantics and SMT, and an unsupervised approach (with competitive results to the state-of-the-art systems) to simplification using the comparable Wikipedia corpus

Cette thèse traite de la classification analytique du déploiement de systèmes différentiels linéaires ayant une singularité irrégulière. Elle est composée de deux articles sur le sujet: le premier présente des résultats obtenus lors de l'étude de la confluence de l'équation hypergéométrique et peut être considéré comme un cas particulier du second; le deuxième contient les théorèmes et résultats principaux. Dans les deux articles, nous considérons la confluence de deux points singuliers réguliers en un point singulier irrégulier et nous étudions les conséquences de la divergence des solutions au point singulier irrégulier sur le comportement des solutions du système déployé. Pour ce faire, nous recouvrons un voisinage de l'origine (de manière ramifiée) dans l'espace du paramètre de déploiement $\epsilon$. La monodromie d'une base de solutions bien choisie est directement reliée aux matrices de Stokes déployées. Ces dernières donnent une interprétation géométrique aux matrices de Stokes, incluant le lien (existant au moins pour les cas génériques) entre la divergence des solutions à $\epsilon=0$ et la présence de solutions logarithmiques autour des points singuliers réguliers lors de la résonance. La monodromie d'intégrales premières de systèmes de Riccati correspondants est aussi interprétée en fonction des éléments des matrices de Stokes déployées. De plus, dans le second article, nous donnons le système complet d'invariants analytiques pour le déploiement de systèmes différentiels linéaires $x^2y'=A(x)y$ ayant une singularité irrégulière de rang de Poincaré $1$ à l'origine au-dessus d'un voisinage fixé $\mathbb{D}_r$ dans la variable $x$. Ce système est constitué d'une partie formelle, donnée par des polynômes, et d'une partie analytique, donnée par une classe d'équivalence de matrices de Stokes déployées. Pour chaque valeur du paramètre $\epsilon$ dans un secteur pointé à l'origine d'ouverture plus grande que $2\pi$, nous recouvrons l'espace de la variable, $\mathbb{D}_r$, avec deux secteurs et, au-dessus de chacun, nous choisissons une base de solutions du système déployé. Cette base sert à définir les matrices de Stokes déployées. Finalement, nous prouvons un théorème de réalisation des invariants qui satisfont une condition nécessaire et suffisante, identifiant ainsi l'ensemble des modules. / This thesis deals with the analytic classification of unfoldings of linear differential systems with an irregular singularity. It contains two papers related to this subject: the first paper presents results concerning the confluence of the hypergeometric equation and may be viewed as a particular case of the second one; the second paper contains the main theorems and results. In both papers, we study the confluence of two regular singular points into an irregular one and we give consequences of the divergence of solutions at the irregular singular point for the unfolded system. For this study, a full neighborhood of the origin is covered (in a ramified way) in the space of the unfolding parameter $\epsilon$. Monodromy of a well chosen basis of solutions around the regular singular points is directly linked to the unfolded Stokes matrices. These matrices give a complete geometric interpretation to the well-known Stokes matrices: this includes the link (existing at least for the generic cases) between the divergence of the solutions at $\epsilon=0$ and the presence of logarithmic terms in the solutions for resonant values of $\epsilon$. Monodromy of first integrals of related Riccati systems are also interpreted in terms of the elements of the unfolded Stokes matrices. The second paper goes further into the subject, giving the complete system of analytic invariants for the unfoldings of nonresonant linear differential systems $x^2y'=A(x)y$ with an irregular singularity of Poincaré rank $1$ at the origin over a fixed neighborhood $\mathbb{D}_r$ in the space of the variable $x$. It consists of a formal part, given by polynomials, and an analytic part, given by an equivalence class of unfolded Stokes matrices. For each parameter value $\epsilon$ taken in a sector pointed at the origin of opening larger than $2\pi$, we cover the space of the variable, $\mathbb{D}_r$, with two sectors and, over each of them, we construct a well chosen basis of solutions of the unfolded differential system. This basis is used to define the unfolded Stokes matrices. Finally, we give a realization theorem for the invariants satisfying a necessary and sufficient condition, thus identifying the set of modules.

La motivation des salariés est une nécessité vitale pour le succès d’une entreprise, notamment dans le contexte de la crise économique mondiale. En comprenant ce qui motive leurs membres, les dirigeants peuvent mobiliser le plein potentiel de chaque personne et diriger plus efficacement leur énergie. Le renouvellement des sources de motivation demande d’analyser au préalable les changements qui affectent actuellement le monde du travail et leurs conséquences. L’objectif de cette thèse vise à aider les personnes qui gèrent les ressources humaines (dans l’entreprise) à comprendre quelles sont et comment créer des conditions propices à la motivation des salariés, comment orienter, susciter et soutenir leur motivation et comment construire des stratégies motivationnelles adaptées. De plus, à cette fin, en favorisant la motivation et en suscitant les salariés, nous essayons de proposer d’établir un climat motivant dans l’entreprise chinoise. / The motivation of employees is vital necessity to the success of the enterprise, especially in the context of global economic crisis. By understanding what motivates their members, directors can mobilize and realize the full potential of each person and direct their energies more effectively. The renewal of sources of motivation asks that analyze in advance the changes currently affecting the world of working and their consequences. The objective of this thesis is to help people manage human resources (in the enterprise) to understand what and how to create conditions favor the employee motivation, how to orientate, to improve and to maintain the motivation of its employees and how to construct appropriate motivational strategies in the management. In addition, for this aim, in favorite of promoting the motivation and stimulating the employees, we try to propose to establish a dynamic environment in Chinese enterprises.

La mutation des économies a transformé les richesses en profondeur en les désincarnant. Ce phénomène s’est traduit par l’accroissement de valeurs sans matière au sein des entreprises et, incidemment, lorsqu’elles éprouvent des difficultés. La notion d’actifs incorporels place la valeur au centre des préoccupations et renvoie à une réalité tant juridique qu’économique. Cette approche révèle leur singularité dans un contexte de défaillance à travers l’observation des opérations d’évaluation et de réalisation. D’une part, l’évaluation des actifs incorporels se montre défectueuse, révélant les carences de la comptabilité française, qui peine à retranscrire la valeur de ces actifs, et plus largement, mettant en exergue les limites des méthodes d’évaluation de ces actifs dans un contexte de difficulté. D’autre part, la réalisation des actifs incorporels est complexifiée par les modes de cession ou des garanties constituées. Ainsi, la singularité des actifs incorporels rend difficile leur maîtrise. Partant, des solutions peuvent être trouvées dans le cadre du droit des entreprises en difficulté. Une grille de lecture des actifs incorporels peut d’ores et déjà s’articuler autour de la valeur et de son interaction avec l’exploitation. Certains actifs incorporels, tels qu’un logiciel ou un fichier-client, sont directement corrélés à l’activité de l’entreprise et ont tendance à se dévaloriser au fur et à mesure des difficultés de celle-ci. D’autres actifs incorporels, tels les créances et les droits sociaux, reposant sur des éléments extérieurs à l’entreprise, ne perdent pas automatiquement leur valeur en présence de difficultés. La division des actifs incorporels peut donc s’opérer entre les actifs incorporels dont la valeur s’établit à l’aune de l’exploitation, et ceux dont la valeur ne lui est pas directement liée. Ces actifs incorporels suscitent par ailleurs une évolution du droit des entreprises en difficulté au niveau des opérations d’évaluation et de réalisation afin d’être mieux appréhendés. La prise en compte de ces évolutions est indispensable. L’importance grandissante des actifs incorporels au sein des entreprises en difficulté, ne doit pas être ignorée au risque sinon de les affaiblir davantage, de décrédibiliser le cadre judiciaire du traitement des entreprises en difficulté. / The mutation of the economy has fundamentally transformed wealth by disembodying it. This has led to the increase in intangible wealth within companies and, incidentally, when they experience difficulties. The concept of intangible assets places centers on value and refers to both a legal and economic reality. This approach reveals their exceptional character in a context of default by observing operations related to valuation and transfer. On the one hand, the valuation of intangible assets is defective, revealing the shortcomings of French accounting, which struggles to translate the value of these assets, and more broadly, highlights the limits of the methods used to value these assets in a difficult context. On the other hand, the transfer of intangible assets is made more complex by the methods of sale or guarantees provided. Thus, the exceptional nature of intangible assets makes them difficult to master. However, solutions can be found in law governing companies in financial difficulty. An index for measuring intangible assets can already be based on value and its interaction with business operations. Some intangible assets, such as software or client files, are directly correlated to the company's activity and tend to devalue as the company's difficulties arise. Other intangible assets, such as receivables and social rights, based on elements external to the company, do not automatically lose their value in the event of difficulties. The division of intangible assets can therefore be made between those intangible assets whose value is established based on exploitation, and those whose value is not directly related to it. Consideration of valuation and transfer operations in relation to intangible assets has led to changes in the law governing companies in difficulty. It is essential to take these developments into account. The growing importance of intangible assets within companies in difficulty must not be ignored at the risk of weakening them further and undermining the judicial framework for such companies.

Dans la foulée des recherches en histoire littéraire des femmes, cette thèse porte sur Emma Gendron, une femme de lettres canadienne-française qui a entre autres signé une pièce de théâtre, un courrier des lecteurs, deux romans, deux scénarios et de nombreuses nouvelles au Québec entre les années 1920 et 1940. Malgré ce fait, c’est surtout à titre de scénariste qu’elle est mentionnée dans l’histoire parce qu’elle est la première francophone du Québec à pratiquer cette forme d’écriture. Si, de façon générale, les textes dans ces domaines retracent brièvement sa carrière et sa biographie en insistant sur le pan journalistique ou cinématographique, aucun ne propose une véritable analyse de ses œuvres. Il semble que les travaux en histoire littéraire n’aient pas abordé de façon approfondie et spécifiquement littéraire la trajectoire et l’œuvre de polygraphes comme Gendron, ni mis en valeur les enjeux sociolittéraires que soulève leur pratique et ce qu’elle représente dans le champ littéraire, tant du point de vue de la production que de la réception de leurs textes. Cette thèse retrace d’abord la trajectoire d’Emma Gendron. Elle traite de ses collaborations journalistiques et des différentes postures qu’elle a adoptées durant son parcours. Nous analysons ensuite les tendances idéologiques à l’œuvre dans la chronique « Éternel féminin » de La Revue populaire et « Le Courrier de Manon » dans Le Samedi. Puis, nous voyons comment la figure de l’orpheline dans les textes de Gendron ouvre un plus grand monde des possibles dans la fiction et sert de moteur à l’action. La réalisation de soi au féminin, par l’exercice d’une profession ou le choix d’un mari, est une autre piste que cette thèse explore. La position de Gendron à cet égard constitue une forme de médianité entre les modèles anciens et modernes. Enfin, nous nous penchons sur les thèmes de la modernité et de l’américanité. Nous croyons qu’à l’instar du traitement des héroïnes exerçant une profession, la position de Gendron par rapport à l’américanité se situe également dans l’entre-deux. Certaines œuvres véhiculent une idéologie plus conservatrice, alors que d’autres constituent une rupture par rapport au discours dominant. / On the heels of researches in women’s literary history, this thesis focuses on Emma Gendron, a French-Canadian writer, who among others signed a play, a letter to the editor, two novels, two scenarios and many short stories in Quebec between 1920 and 1940. Despite this fact, it is mainly as a writer that she is mentioned in the story because she is the first francophone Quebec to practice this form of writing. If in general, the texts in these areas briefly trace her career and biography emphasizing journalistic aspect or film, none offers a real analysis of her works. It seems that the work in literary history have not addressed thoroughly and specifically literary trajectory and the work of polygraphs as Gendron, nor highlighted the socio-literary issues at work from the point of view of production reception when we try to understand their practice and what they represent in the literary field. First of all, this thesis traces Emma Gendron’s trajectory. It discusses her journalistic collaborations and the different postures that she adopted during her career. We then analyze the ideological tendencies at work in the column “The eternal feminine” in La Revue populaire and “Le Courrier de Manon” in Le Samedi. Then, we see that the recurrence of orphan character in the texts of Gendron opens a larger world of possibilities to this figure in fiction and is used as motor for action. Feminine self-realization, by the exercise of a profession or the choice of a husband is another track that this thesis explores. Gendron’s position in this respect is a form of médianité, a compromise between the old and modern styles. Finally, we look at the themes of modernity and Americanity. We believe that, like the treatment of the heroines who practice a profession, the position of Gendron in relation to Americanity is in-between, in médianité. Some works conveyed a more conservative ideology, while others seem to illustrate a break or some novelty compared to the dominant discourse.

Dans ces travaux, nous explorons comment les techniques de Générations Automatiques de Langue Naturelle (GLN) peuvent être utilisées pour aborder la tâche de génération (semi-)automatique de matériel et d'activités dans le contexte de l'apprentissage de langues assisté par ordinateur. En particulier, nous montrons comment un Réalisateur de Surface (RS) basé sur une grammaire peut être exploité pour la création automatique d'exercices de grammaire. Notre réalisateur de surface utilise une grammaire réversible étendue, à savoir SemTAG, qui est une Grammaire d'Arbre Adjoints à Structure de Traits (FB-TAG) couplée avec une sémantique compositionnelle basée sur l'unification. Plus précisément, la grammaire FB-TAG intègre une représentation plate et sous-spécifiée des formules de Logique de Premier Ordre (FOL). Dans la première partie de la thèse, nous étudions la tâche de réalisation de surface à partir de formules sémantiques plates et nous proposons un algorithme de réalisation de surface basé sur la grammaire FB-TAG optimisé, qui supporte la génération de phrases longues étant donné une grammaire et un lexique à large couverture. L'approche suivie pour l'optimisation de la réalisation de surface basée sur FB-TAG à partir de sémantiques plates repose sur le fait qu'une grammaire FB-TAG peut être traduite en une Grammaire d'Arbres Réguliers à Structure de Traits (FB-RTG) décrivant ses arbres de dérivation. Le langage d'arbres de dérivation de la grammaire TAG constitue un langage plus simple que le langage d'arbres dérivés, c'est pourquoi des approches de génération basées sur les arbres de dérivation ont déjà été proposées. Notre approche se distingue des précédentes par le fait que notre encodage FB-RTG prend en compte les structures de traits présentes dans la grammaire FB-TAG originelle, ayant de ce fait des conséquences importantes par rapport à la sur-génération et la préservation de l'interface syntaxe-sémantique. L'algorithme de génération d'arbres de dérivation que nous proposons est un algorithme de type Earley intégrant un ensemble de techniques d'optimisation bien connues: tabulation, partage-compression (sharing-packing) et indexation basée sur la sémantique. Dans la seconde partie de la thèse, nous explorons comment notre réalisateur de surface basé sur SemTAG peut être utilisé pour la génération (semi-)automatique d'exercices de grammaire. Habituellement, les enseignants éditent manuellement les exercices et leurs solutions et les classent au regard de leur degré de difficulté ou du niveau attendu de l'apprenant. Un courant de recherche dans le Traitement Automatique des Langues (TAL) pour l'apprentissage des langues assisté par ordinateur traite de la génération (semi-)automatique d'exercices. Principalement, ces travaux s'appuient sur des textes extraits du Web, utilisent des techniques d'apprentissage automatique et des techniques d'analyse de textes (par exemple, analyse de phrases, POS tagging, etc.). Ces approches confrontent l'apprenant à des phrases qui ont des syntaxes potentiellement complexes et du vocabulaire varié. En revanche, l'approche que nous proposons dans cette thèse aborde la génération (semi-)automatique d'exercices du type rencontré dans les manuels pour l'apprentissage des langues. Il s'agit, en d'autres termes, d'exercices dont la syntaxe et le vocabulaire sont faits sur mesure pour des objectifs pédagogiques et des sujets donnés. Les approches de génération basées sur des grammaires associent les phrases du langage naturel avec une représentation linguistique fine de leur propriété morpho-syntaxiques et de leur sémantique grâce à quoi il est possible de définir un langage de contraintes syntaxiques et morpho-syntaxiques permettant la sélection de phrases souches en accord avec un objectif pédagogique donné. Cette représentation permet en outre d'opérer un post-traitement des phrases sélectionées pour construire des exercices de grammaire / In this work, we explore how Natural Language Generation (NLG) techniques can be used to address the task of (semi-)automatically generating language learning material and activities in Camputer-Assisted Language Learning (CALL). In particular, we show how a grammar-based Surface Realiser (SR) can be usefully exploited for the automatic creation of grammar exercises. Our surface realiser uses a wide-coverage reversible grammar namely SemTAG, which is a Feature-Based Tree Adjoining Grammar (FB-TAG) equipped with a unification-based compositional semantics. More precisely, the FB-TAG grammar integrates a flat and underspecified representation of First Order Logic (FOL) formulae. In the first part of the thesis, we study the task of surface realisation from flat semantic formulae and we propose an optimised FB-TAG-based realisation algorithm that supports the generation of longer sentences given a large scale grammar and lexicon. The approach followed to optimise TAG-based surface realisation from flat semantics draws on the fact that an FB-TAG can be translated into a Feature-Based Regular Tree Grammar (FB-RTG) describing its derivation trees. The derivation tree language of TAG constitutes a simpler language than the derived tree language, and thus, generation approaches based on derivation trees have been already proposed. Our approach departs from previous ones in that our FB-RTG encoding accounts for feature structures present in the original FB-TAG having thus important consequences regarding over-generation and preservation of the syntax-semantics interface. The concrete derivation tree generation algorithm that we propose is an Earley-style algorithm integrating a set of well-known optimisation techniques: tabulation, sharing-packing, and semantic-based indexing. In the second part of the thesis, we explore how our SemTAG-based surface realiser can be put to work for the (semi-)automatic generation of grammar exercises. Usually, teachers manually edit exercises and their solutions, and classify them according to the degree of dificulty or expected learner level. A strand of research in (Natural Language Processing (NLP) for CALL addresses the (semi-)automatic generation of exercises. Mostly, this work draws on texts extracted from the Web, use machine learning and text analysis techniques (e.g. parsing, POS tagging, etc.). These approaches expose the learner to sentences that have a potentially complex syntax and diverse vocabulary. In contrast, the approach we propose in this thesis addresses the (semi-)automatic generation of grammar exercises of the type found in grammar textbooks. In other words, it deals with the generation of exercises whose syntax and vocabulary are tailored to specific pedagogical goals and topics. Because the grammar-based generation approach associates natural language sentences with a rich linguistic description, it permits defining a syntactic and morpho-syntactic constraints specification language for the selection of stem sentences in compliance with a given pedagogical goal. Further, it allows for the post processing of the generated stem sentences to build grammar exercise items. We show how Fill-in-the-blank, Shuffle and Reformulation grammar exercises can be automatically produced. The approach has been integrated in the Interactive French Learning Game (I-FLEG) serious game for learning French and has been evaluated both based in the interactions with online players and in collaboration with a language teacher

Dans un avion, un hélicoptère ou un lanceur actuel, des milliers de capteurs, pour la plupart non critiques sont utilisés pour la mesure de divers paramètres (températures, pressions, positions...) Les résultats sont ensuite acheminés par des fils vers les calculateurs de bord qui les traitent. Ceci implique la mise en place de centaines de kilomètres de câbles (500 km pour un avion de ligne) dont le volume est considérable. Il en résulte une grande complexité de conception et de fabrication, des problèmes de fiabilité, notamment au niveau des connexions, et une masse importante. Par ailleurs l'instrumentation de certaines zones est impossible car leur câblage est difficilement envisageable par manque d'espace. En outre, s'il est souvent intéressant d'installer de nouveaux capteurs pour faire évoluer un aéronef ancien, l'installation des câbles nécessaires implique un démantèlement partiel, problématique et coûteux, de l'appareil. Pour résoudre ces problèmes, une idée innovante a émergé chez les industriels de l'aéronautique : commencer à remplacer les réseaux filaires reliant les capteurs d'un aéronef et leur centre de décision par des réseaux sans fil. Les technologies de communication sans fil sont aujourd'hui largement utilisées dans les marchés de l'électronique de grande consommation. Elles commencent également à être déployées pour des applications industrielles comme l'automobile ou le relevé à distance de compteurs domestiques. Cependant, remplacer des câbles par des ondes représente un défi technologique considérable comme la propagation en milieu confiné, la sécurité, la sureté de fonctionnement, la fiabilité ou la compatibilité électromagnétique. Cette thèse est motivée d'une part par l'avancée non négligeable dans le milieu aérospatial que pourrait être l'établissement d'un réseau sans fil à bord d'aéronefs dans la résolution de problématique classiques comme l'allégement et l'instrumentation. Il en résulterait donc : * Une meilleure connaissance de l'environnement et de la santé de l'aéronef * Un gain sur le poids. * Un gain en flexibilité. * Un gain en malléabilité et en évolutivité. * Un gain sur la complexité. * Un gain sur la fiabilité D'autre part, étant donnée la complexité de la conception de ce réseau de capteur sans fil, il a été nécessaire d'appliquer une méthodologie évolutive et adaptée mais inspirée de l'ingénierie système. Il est envisageable, vu le nombre de sous-systèmes à considérer, que cette méthodologie soit réutilisable pour d'autre cas pratiques. Une étude aussi complète que possible a été réalisée autour de l'existant déjà établi sur le sujet. En effet, on peut en lisant ce mémoire de thèse avoir une idée assez précise de ce qui a été fait. Une liste a été dressée de toutes les technologies sans fil en indiquant leur état de maturité, leurs avantages et leurs inconvénients afin de préciser les choix possibles et les raisons de ces choix. Des projets de capteurs sans fil ont été réalisés, des technologies sans fil performantes et personnalisables ont été développées et arrivent à maturité dans des secteurs variés tels que la domotique, la santé, l'automobile ou même l'aéronautique. Cependant aucun capteur sans fil n'a été véritablement installé en milieu aérospatial car de nombreux verrous technologiques n'ont pas été levés. Fort des expériences passées, et de la maturité qu'ont prise certaines technologies, des conclusions ont été tirées des projets antérieurs afin de tendre vers des solutions plus viables. Une fois identifiés, les verrous technologiques ont été isolés. Une personnalisation de notre solution a été à envisager afin de remédier tant que faire se peut à ces points bloquants avec les moyens mis à disposition. La méthodologie appliquée nous a permis d'identifier un maximum de contraintes, besoins et exigences pour mieux focaliser les efforts d'innovation sur les plus importantes et choisir ainsi les technologies les plus indiquées.