Notre recherche est centrée sur l'étude des représentations de la langue française et son apprentissage chez les étudiants jordaniens. Nous avons tenté de découvrir et d’explorer les images que représentent la France et les français chez un échantillon d’étudiants. Nous avons utilisé un questionnaire comme un instrument d’enquête. Les résultats montrent que les étudiants ont une vue très équilibrée de la langue française et de son apprentissage en général. L’enquête montre aussi l’existence de relation entre les représentations de la langue cible et la motivation d’apprentissage. Cette étude montre en fin de compte l'importance de comprendre la nature complexe des représentations d'apprenants envers la langue maternelle et la première langue apprise dans la salle de classe de français langue étrangère. / Our research is about the study of the representations of the French language and its learning by Jordanian students. We tried to discover the images concerning France and French people from a sample of Jordanian students. The purpose of this paper is to explore more the question of the representations of the Jordanian learners in a university bilingual context, little studied from an Arabophone context. We have studied a sample of 68 Jordanian students from the Yarmouk University by means of questionnaire. This study also reveals the representations - stereotypes of both mother and foreign tongues and their places in class of French language as a foreign language. The results of this study show that the students have a very well-balanced about the generally sight of the French language and its apprenticeship. The study also makes evident the existence of relationship between the representations of the target language and the motiv! ation for learning. Moreover; this study shows the importance of understanding the complex nature of the representations of learners towards their mother tongue and the first language learnt in the classroom of French as a Foreign Language.

Les patients souffrant de schizophrénie présentent des symptômes cliniques ainsi que des déficits cognitifs. Il a été récemment proposé que les déficits de lecture des patients fassent partie de ces déficits. L’objectif de ce travail de thèse était d’évaluer les capacités de reconnaissance visuelle des mots chez les patients souffrant de schizophrénie, au moyen d'une évaluation diagnostique des processus cognitifs dans une approche comportementale et électrophysiologique (enregistrement des potentiels évoqués). Les résultats indiquent une préservation de la spécialisation de l’aire de la forme visuelle des mots pour traiter les mots écrits chez les patients. De plus, les processus cognitifs impliqués dans le traitement orthographique des suites de lettres semblent également préservés. En revanche, les processus cognitifs impliqués dans le traitement phonologique semblent altérés chez les patients souffrant de schizophrénie. / Patients suffering from schizophrenia display clinical symptoms as well as cognitive deficits. Recently, it has been suggested that these patients display, among other things, reading deficits. This doctoral thesis aims to evaluate the abilities of visual word recognition in patients suffering from schizophrenia, using both behavioral and electrophysiological (recording of event related potentials) approaches. The results indicated that the specialization of the visual word form area for processing of written words is preserved for patients. In addition, cognitive processes involved in orthographic processing of letter strings were preserved. By contrast, cognitive processes involved in phonological processing were altered for patients suffering from schizophrenia.

Dans cette thèse, nous avons exploré différentes méthodes de recalage déformables pouvant être appliquées entre les images IRM et les images ETR acquises pendant la biopsie. Nous avons observé à partir d'une étude de la littérature que les méthodes de recalage déformables existantes pour le recalage des images de prostate multimodales ne fournissent pas de précisions satisfaisantes et que la plupart sont coûteuse [sic] en ressources informatiques, notre méthode proposée n'étant pas une exception à cette tendance. Dans ce contexte, notre objectif secondaire a été de rechercher une méthode de recalage déformable qui puisse être appliquée au cours des interventions (nécessitant du temps réel). Par conséquent, nous proposons un schéma d'apprentissage où les paramètres de déformation sont appris sur une série d'images d'entraînement puis modélisés et une estimation linéaire de ces modèles est ensuite appliquée pour recaler les images ETR-IRM. Cette solution assure une vitesse de calcul sans compromettre beaucoup la précision de recalage.Dans les expérimentations réalisées pour valider nos travaux, la sonde transrectale de biopsie n'était pas équippée pour permettre une localisation 3D (par conséquent, la position spatiale (coordonnée z) des ETR images par rapport au système d'imagerie n'était pas disponible). Toutefois, pour la fusion ETR-IRM, il est important d'identifier la coupe pré-biopsie axiale IRM qui correspond à l'image ETR acquise au cours de la biopsie. Par conséquent, un autre objectif de ce travail a été d'identifier automatiquement la coupe axiale IRM d'un volume pré-biopsie correspondant à l'image ETR en utilisant une méthode qui exploite les métriques de similarité basées sur l'image et la forme. / This thesis investigates the employment of different deformable registration techniques to register pre-operative magnetic resonance and inter-operative ultrasound images during prostate biopsy. Accurate registration ensures appropriate biopsy sampling of malignant prostate tissues and reduces the rate of re-biopsies. Therefore, we provide comparisons and experimental results for some landmark- and intensity-based registration methods: thin-plate splines, free-form deformation with B-splines. The primary contribution of this thesis is a new spline-based diffeomorphic registration framework for multimodal images. In this framework we ensure diffeomorphism of the thin-plate spline-based transformation by incorporating a set of non-linear polynomial functions. In order to ensure clinically meaningful deformations we also introduce the approximating thin-plate splines so that the solution is obtained by a joint-minimization of the surface similarities of the segmented prostate regions and the thin-plate spline bending energy. The method to establish point correspondences for the thin-plate spline-based registration is a geometric method based on prostate shape symmetry but a further improvement is suggested by computing the Bhattacharyya metric on shape-context based representation of the segmented prostate contours. The proposed deformable framework is computationally expensive and is not well-suited for registration of inter-operative images during prostate biopsy. Therefore, we further investigate upon an off-line learning procedure to learn the deformation parameters of a thin-plate spline from a training set of pre-operative magnetic resonance and its corresponding inter-operative ultrasound images and build deformation models by applying spectral clustering on the deformation parameters. Linear estimations of these deformation models are then applied on a test set of inter-operative and pre-operative ultrasound and magnetic resonance images respectively. The problem of finding the pre-operative magnetic resonance image slice from a volume that matches the inter-operative ultrasound image has further motivated us to investigate on shape-based and image-based similarity measures and propose for slice-to-slice correspondence based on joint-maximization of the similarity measures. / En aquesta tesi s'investiga l'ús de diferents tècniques de registre deformable per registrar imatges de ressonància magnètica preoperatòries i imatges d'ultrasò interoperatòries en la biòpsia de pròstata. Un registre correcte garanteix l'adequada presa de mostres de biòpsia dels teixits malignes de la pròstata i redueix la taxa de re-biòpsies. Aquesta tesis inicialment presenta una comparació i resultats experimentals d’uns dels mètodes de registre més utilitzats basats en intensitat i en punts (landmarks): thin-plate splines i deformacions free form utilitzant B-splines. La principal contribució d'aquesta tesi és una nova metodologia de registre per imatges multimodals basada en splines i formulació difeomòrfica. En aquesta metodologia, s’assegura el difeomorfisme de la transformació basada en thin-plate splines mitjançant la incorporació d'un conjunt de funcions polinòmiques no lineals. Per tal de garantir deformacions clínicament significatives també introduïm thin-plate splines aproximants de manera que la solució s'obté mitjançant una minimització conjunta de les similituds de la superfície de les regions de la pròstata segmentades i de l'energia de la curvatura del thin-plate spline. El mètode per establir les correspondències de punts per el registre en thin-plate splines és un mètode geomètric basat en la simetria de la forma de la pròstata. Alhora, es suggereix una millora addicional basada en la utilització de la mètrica Bhattacharyya en la representació de forma (shape context) dels contorns de la pròstata segmentats. La metodologia de deformació proposada inicialment és computacionalment costosa i no està ben adaptada per el registre interoperatiu durant la biòpsia de pròstata. Per tant, s’investiga més a fons un procediment d'aprenentatge off-line per aprendre els paràmetres de deformació dels thin-plate splines a partir d'un conjunt d'entrenament de dades ressonància magnètica preoperatòries i les seves corresponents imatges d'ultrasò interoperatòries i es construeixen models de deformació mitjançant l'aplicació de mètodes d’agrupació espectral (spectral clustering) en els paràmetres de deformació. Les estimacions lineals d'aquests models de deformació s'apliquen després en un conjunt de test de ressonància magnètica i ultrasò. El problema de trobar la llesca del volum de ressonància magnètica preoperatòria que coincideixi amb la imatge d'ultrasò interoperatòria ens ha motivat a investigar sobre les mesures de similitud basades en la forma i contingut de la imatge i ens ha portat a proposar un nou mètode per a la correspondència tall a tall basat en la maximització conjunta de les mesures de similitud esmentades

[...] L’utilisation d’images ETR pour la biopsie est maintenant une norme suivie par les urologues pour le dépistage du cancer de la prostate. Toutefois, l’imagerie par résonance magnétique (IRM) offre un meilleur contraste des tissus mous par rapport aux images ETR. Ainsi, certaines tumeurs malignes visibles par l’IRM ne le sont pas avec les images ETR comme illustré par l’image de la figure 1. En fusionnant les deux modalités IRM et échographie transrectale, il est possible de développer des outils performants de diagnostic. C’est dans ce contexte que s’inscrit le projet PROSCAN qui est une collaboration entre le centre de recherche VICOROB (Computer Vision and Robotics Group) de l’université de Gérone et le Girona Magnetic Resonance Center du CHU de Gérone. [...] .. L’objectif principal de cette thèse est de développer des méthodes de segmentation précises et rapides de la prostate dans les images IRM ET ETR afin de faciliter la fusion d’images multimodales dans le cadre du projet PROSCAN. [...] Nous avons commencé notre travail par une étude approfondie des méthodes de segmentation dans les deux modalités échographie transrectale et IRM. Les principales similitudes et les différences entre les diverses méthodes, leurs forces et faiblesse sont été analysées. Les méthodes de segmentation de la prostate peuvent être regroupées dans quatre catégories différentes, selon les informations utilisées pour guider la segmentation [...] L’analyse des méthodes de segmentation montre que les approches qui combinent les informations de forme et de contour donnent les meilleurs résultats. Aussi, nous proposons d’utiliser le modèle AAM (Actice Appearance Model) qui a prouvé son efficacité pour la segmentation de la prostate dans les image d’échographietransrectale. Le modèle AAM permet de combiner les informations de forme et d’apparence en une unique fonction de coût à optimiser. De plus, l’étape d’optimisation par descente de gradient faite hors-ligne réduit considérablement les temps de calcul.Les images obtenues par échographie transrectale possèdent généralement une faible qualité ainsi qu’un faible contraste. Pour améliorer la robustesse de notre méthode de segmentation, nous introduisons des caractéristiques de texture extraits avec les ondelettes de Haar et des filtres en quadrature. Les résultats obtenus montrent que cette information de texture accroit la précision de la segmentation. Parailleurs, l’augmentation du temps de calcul due à l’utilisation des filtres est compensé par l’augmentation de la précision.Pour une initialisation automatique, nous avons développé un modèle probabiliste basé sur une classification supervisée. Un classifieur est construit à partird’un ensemble d’images d’apprentissage manuellement segmentées. Ce classifieur est utilisé pour obtenir une pré-segmentation de la prostate dans l’image ETR dans laquelle on attribue à chaque pixel une probabilité d’appartenance à la prostate. Unnouveau modèle AAM est ensuite construit dans lequel les intensités sont remplacéespar les probabilités obtenues à l’etape précédente. Les résultats obtenus montrent que cette approche permet une initialisation automatique tout en améliorant laprécision de la segmentation.Enfin, pour obtenir un modèle plus robuste nous avons utilisé la fonctionnelle de Mumford-Shah qui permet de définir une fonction de coût à optimiser comprenant à la fois les informations d’apparence, de forme et de topologie locale de laprostate. Les nombreux résultats qualitatifs et quantitatifs présentés dans la suite de ce manuscrit montrent que notre méthode donne de meilleurs résultats comparé à diverses autres approches. / Prostate segmentation in trans rectal ultrasound (TRUS) and magnetic resonanceimages (MRI) facilitates volume estimation, multi-modal image registration, surgicalplaning and image guided prostate biopsies. The objective of this thesis is to developshape and region prior deformable models for accurate, robust and computationallyefficient prostate segmentation in TRUS and MRI images. Primary contributionof this thesis is in adopting a probabilistic learning approach to achieve soft classificationof the prostate for automatic initialization and evolution of a shape andregion prior deformable models for prostate segmentation in TRUS images. Twodeformable models are developed for the purpose. An explicit shape and regionprior deformable model is derived from principal component analysis (PCA) of thecontour landmarks obtained from the training images and PCA of the probabilitydistribution inside the prostate region. Moreover, an implicit deformable model isderived from PCA of the signed distance representation of the labeled training dataand curve evolution is guided by energy minimization framework of Mumford-Shah(MS) functional. Region based energy is determined from region based statistics ofthe posterior probabilities. Graph cut energy minimization framework is adoptedfor prostate segmentation in MRI. Posterior probabilities obtained in a supervisedlearning schema and from a probabilistic segmentation of the prostate using an atlasare fused in logarithmic domain to reduce segmentation error. Finally a graphcut energy minimization in the stochastic framework achieves prostate segmentationin MRI. Statistically significant improvement in segmentation accuracies areachieved compared to some of the works in literature. Stochastic representation ofthe prostate region and use of the probabilities in optimization significantly improvesegmentation accuracies / La segmentació de la pròstata en imatges d’ecografia transrectal (TRUS) i en imatgesde ressonáncia magnètica (RM) facilita l’estimació del volum d’aquesta glàndula,el registre d’imatges entre ambdues modalitats, així com la planificació quirrgica debiòpsies guiades per imatge. L’objectiu d’aquesta tesi, doncs, és el desenvolupamentd’eines automàtiques per a una segmentació de la pròstata de manera precisa,robusta i computacionalment eficient en ambdues modalitats d’imatges.La contribució principal d’aquest tesi és la segmentació de les imatges ecogràfiquesde la pròstata. El mètode proposat es basa en dos passos ben diferenciats. Primer, através d’un aprenentatge probabilístic inicial, s’aconsegueix una primera localitzacióaproximada de la pròstata i que serveix per, en un segon pas, inicialitzar i permetreevolucionar de manera automàtica dos models deformables independents, guiats apartir de la informació de forma i regió de la pròstata estimada en el primer pas. Elprimer model deformable s’obté explícitament a partir de l’anàlisi de componentsprincipals (PCA) d’un conjunt de punts del contorn, que permet modelar la formade la pròstata, i de l’anàlisi PCA de la distribució de probabilitat dins de la regióprostàtica, que permet modelar la textura d’aquesta. Un tercer anàlisi PCA permetcorrelacionar ambdues distribucions. D’altra banda, un segon model deformable esderiva implícitament de l’anàlisi PCA de la funció distància obtinguda amb el conjuntde dades d’entrenament etiquetades. La consegüent evolució d’aquesta corbas’obté mitjanant la minimització del funcional Mumford-Shah, el qual es basa en unconjunt d’estadístics regionals obtinguts a partir de l’estimació de les probabilitatsa posteriori de les regions internes i externes de la pròstata.La segona contribució d’aquesta tesi és la segmentació automàtica de la pròstataen imatges 3D de RM. De manera similar a les imatges ecogràfiques, el sistemacombina les probabilitats d’un aprenentatge supervisat amb una segmentació inicial,en aquest cas, obtinguda a partir d’un atles probabilístic creat amb els volumsd’entrenament. La segmentació final s’obté a través d’una minimització basada engrafs.El resultat final és, doncs, el desenvolupament d’eines que permeten una segmentació acurada i robusta de la pròstata tant en imatges ecogròfiques com deressonòncia magnètica, millorant de forma substancial i significant la precisió delsmètodes desenvolupats fins a l’actualitat

Pas de résumé / In this thesis, we study the problem of registering 2D image sets and 3D point clouds under threedifferent acquisition set-ups. The first set-up assumes that the image sets are captured using 2Dcameras that are fully calibrated and coupled, or rigidly attached, with a 3D sensor. In this context,the point cloud from the 3D sensor is registered directly to the asynchronously acquired 2D images.In the second set-up, the 2D cameras are internally calibrated but uncoupled from the 3D sensor,allowing them to move independently with respect to each other. The registration for this set-up isperformed using a Structure-from-Motion reconstruction emanating from images and planar patchesrepresenting the point cloud. The proposed registration method is globally optimal and robust tooutliers. It is based on the theory Sum-of-Squares polynomials and a Branch-and-Bound algorithm.The third set-up consists of uncoupled and uncalibrated 2D cameras. The image sets from thesecameras are registered to the point cloud in a globally optimal manner using a Branch-and-Prunealgorithm. Our method is based on a Linear Matrix Inequality framework that establishes directrelationships between 2D image measurements and 3D scene voxels.

L'étude des ensembles de mots complexité linéaire joue un rôle très important dans la théorie de combinatoire des mots et dans la théorie des systèmes dynamiques symboliques.Cette famille d'ensembles comprend les ensembles de facteurs : d'un mot Sturmien ou d'un mot d'Arnoux-Rauzy, d'un codage d'échange d'intervalle, d'un point fixe d'un morphisme primitif, etc.L'enjeu principal de cette thèse est l'étude de systèmes dynamiques minimales, définis de façon équivalente comme ensembles factoriels de mots uniformément récurrents.Comme résultat principal nous considérons une hiérarchie naturelle de systèmes minimal contenante les ensembles neutres, les tree sets et les ensembles spéculaires.De plus, on va relier ces systèmes au groupe libre en utilisant les mots de retours et les bases de sous-groupes d'indice fini.L'on étude aussi les systèmes symboliques dynamiques engendrés par les échanges d'intervalle et les involutions linéaires, ce qui nous permet d'obtenir des exemples et des interprétations géométriques des familles d'ensembles que définis dans notre hiérarchie.L'un des principal outil utilisé ici est l'étude des extensions possibles d'un mot dans un ensemble, ce qui nous permet de déterminer des propriétés telles que la complexité factorielle.Dans ce manuscrit, nous définissons le graphe d'extension, un graphe non orienté associé à chaque mot $w$ dans un ensemble $S$ qui décrit les extensions possibles de $w$ dans $S$ à gauche et à droite.Dans cette thèse, nous présentons plusieurs classes d'ensembles de mots définis par les formes possibles que les graphes d'extensions des éléments dans l'ensemble peuvent avoir.L'une des conditions les plus faibles que nous allons étudier est la condition de neutralité: un mot $w$ est neutre si le nombre de paires $(a,b)$ de lettres telles que $awb in S$ est égal au nombre de lettres $a$ tel que $aw in S$ plus le nombre de lettres $b$ tel que $wb in S$ moins 1.Un ensemble tel que chaque mot non vide satisfait la condition de neutralité est appelé un ensemble neutre.Une condition plus forte est la condition de l'arbre: un mot $w$ satisfait cette condition si son graphe d'extension est à la fois acyclique et connecté.Un ensemble est appelé un tree set si tout mot non vide satisfait cette condition.La famille de tree sets récurrents apparaît comme fermeture naturelle de deux familles d'ensembles très importants : les facteurs d'un mot d'Arnoux-Rauzy et les ensembles d'échange d'intervalle.Nous présentons également les ensembles spéculaires, une sous-famille remarquable de tree sets.Il s'agit également de sous-ensembles de groupes qui forment une généralisation naturelle des groupes libres.Ces ensembles de mots sont une généralisation abstraite des codages naturelles d'échanges d'intervalle et d'involutions linéaires.Pour chaque classe d'ensembles considéré dans cette thèse, nous montrons plusieurs résultats concernant les propriétés de fermeture (sous décodage maximale bifixe ou par rapport aux mots dérivés), la cardinalité des codes bifixes et les de mots de retour, la connexion entre mots de retour et bases du groupe libre, ainsi qu'entre les codes bifixes et les sous-groupes du groupe libre.Chacun de ces résultats est prouvé en utilisant les hypothèses les plus faibles possibles / Sets of words of linear complexity play an important role in combinatorics on words and symbolic dynamics.This family of sets includes set of factors of Sturmian and Arnoux-Rauzy words, interval exchange sets and primitive morphic sets, that is, sets of factors of fixed points of primitive morphisms.The leading issue of this thesis is the study of minimal dynamical systems, also defined equivalently as uniformly recurrent sets of words.As a main result, we consider a natural hierarchy of minimal systems containing neutral sets, tree sets and specular sets.Moreover, we connect the minimal systems to the free group using the notions of return words and basis of subroups of finite index.Symbolic dynamical systems arising from interval exchanges and linear involutions provide us geometrical examples of this kind of sets.One of the main tool used here is the study of possible extensions of a word in a set, that allows us to determine properties such as the factor complexity.In this manuscript we define the extension graph, an undirected graph associated to each word $w$ in a set $S$ which describes the possible extensions of $w$ in $S$ on the left and the right.In this thesis we present several classes of sets of words defined by the possible shapes that the graphs of elements in the set can have.One of the weakest condition that we will study is the neutrality condition: a word $w$ is neutral if the number of pairs $(a, b)$ of letters such that $awb in S$ is equal to the number of letters $a$ such that $aw in S$ plus the number of letters $b$ such that $wb in S$ minus 1.A set such that every nonempty word satisfies the neutrality condition is called a neutral set.A stronger condition is the tree condition: a word $w$ satisfies this condition if its extension graph is both acyclic and connected.A set is called a tree set if any nonempty word satisfies this condition.The family of recurrent tree sets appears as a the natural closure of two known families, namely the Arnoux-Rauzy sets and the interval exchange sets.We also introduce specular sets, a remarkable subfamily of the tree sets.These are subsets of groups which form a natural generalization of free groups.These sets of words are an abstract generalization of the natural codings of interval exchanges and of linear involutions.For each class of sets considered in this thesis, we prove several results concerning closure properties (under maximal bifix decoding or under taking derived words), cardinality of the bifix codes and set of return words in these sets, connection between return words and basis of the free groups, as well as between bifix codes and subgroup of the free group.Each of these results is proved under the weakest possible assumptions

Cette thèse s’intéresse à l’adaptation d’un classifieur statistique d’opinion au niveau du texte d’un domaine à un autre. Cependant, nous exprimons notre opinion différemment selon ce dont nous parlons. Un même mot peut ne pas désigner pas la même chose ou bien ne pas avoir la même connotation selon le thème de la discussion. Si ces mots ne sont pas détectés, ils induiront des erreurs de classification.Nous appelons donc marqueurs multi-polaires des mots ou bigrammes dont la présence indique une certaine polarité du texte entier, différente selon le domaine du texte. Cette thèse est consacrées à leur étude. Ces marqueurs sont détectés à l’aide d’un test du khi2 lorsque l’on dispose d’annotations au niveau du texte dans les deux domaines d’intérêt. Nous avons également proposé une méthode de détection semi-supervisé. Nous utilisons une collections de mots pivots auto-épurés afin d’assurer une polarité stable d’un domaine à un autre.Nous avons également vérifié la pertinence linguistique des mots sélectionnés en organisant une campagne d’annotation manuelle. Les mots ainsi validés comme multi-polaires peuvent être des éléments de contexte, des mots exprimant ou expliquant une opinion ou bien désignant l’objet sur lequel l’opinion est portée. Notre étude en contexte a également mis en lumière trois causes principale de changement de polarité : le changement de sens, le changement d’objet et le changement d’utilisation.Pour finir, nous avons étudié l’influence de la détection des marqueurs multi-polaires sur la classification de l’opinion au niveau du texte par des classifieurs automatiques dans trois cas distincts : adaptation d’un domaine source à un domaine cible, corpus multi-domaine, corpus en domaine ouvert. Les résultats de ces expériences montrent que plus le transfert initial est difficile, plus la prise en compte des marqueurs multi-polaires peut améliorer la classification, allant jusqu’à plus cinq points d’exactitude. / In this thesis, we are studying the adaptation of a text level opinion classifier across domains. Howerver, people express their opinion in a different way depending on the subject of the conversation. The same word in two different domains can refer to different objects or have an other connotation. If these words are not detected, they will lead to classification errors.We call these words or bigrams « multi-polarity marquers ». Their presence in a text signals a polarity wich is different according to the domain of the text. Their study is the subject of this thesis. These marquers are detected using a khi2 test if labels exist in both targeted domains. We also propose a semi-supervised detection method for the case with labels in only one domain. We use a collection of auto-epurated pivot words in order to assure a stable polarity accross domains.We have also checked the linguistic interest of the selected words with a manual evaluation campaign. The validated words can be : a word of context, a word giving an opinion, a word explaining an opinion or a word wich refer to the evaluated object. Our study also show that the causes of the changing polarity are of three kinds : changing meaning, changing object or changing use.Finally, we have studyed the influence of multi-polarity marquers on opinion classification at text level in three different cases : adaptation of a source domain to a target domain, multi-domain corpora and open domain corpora. The results of our experiments show that the potential improvement is bigger when the initial transfer was difficult. In the favorable cases, we improve accurracy up to five points.

Dans ce travail, j’étudie les principes de l’ordre des mots en grec homérique. Comme en prose classique, le principe fondamental est que les constituants sont alignés en fonction de la structure informationnelle (SI) de l’énoncé, c’est-à-dire de l’expression des relations de topique et de focus. Les expressions topiques sont différenciées selon qu’elles sont ratifiées ou non. Quant au focus, deux constructions peuvent être identifiées : une construction à focus restreint, dans laquelle l’unique expression dans le focus est placée immédiatement avant le verbe, et une construction à focus large, où le verbe éventuellement suivi d’autres éléments constitue un domaine focal ; celui-ci peut recevoir une interprétation large ou restreinte sur son dernier élément. Après avoir décrit l’expression de la SI dans la clause et les contextes d’emploi des différentes constructions, on en explore les marges (positions pré- et postclausales), et on montre que la construction des interrogatives se fait à travers un enchâssement de propositions dotées d’une SI propre. La partition prosodique de l’énoncé, telle qu’elle se révèle à travers la position des postpositifs et des expressions de topique ratifié, est mise à profit dans la démonstration. Puis, après une étude de l’hyperbate en grec classique et homérique, je montre que la tmèse est, chez Homère, un procédé de pseudo-incorporation nominale. Enfin, cette étude linguistique sert de base à une réévaluation de l’enjambement chez Homère et à l’étude d’un trope de la poésie homérique (le σῆμα narratif), qui consiste à placer un mot (par exemple kalós ou stê/éstē) en position initiale dans le vers pour jalonner la progression du récit. / In this thesis, I study the principles of word order in Homeric Greek. As it is the case in classical prose, the fundamental principle consists in aligning constituents according to the information structure (IS) of the utterance, i.e. the expression of topic and focus relations. Topic expressions differ in their ratification status. As for focus, two constructions may be identified : a narrow focus construction, where the only element in the focus is placed immediately before the verb, and a broad focus construction, where the verb, optionally followed by other focal elements, builds up a focus domain ; the construal of this domain may be broad or narrow on its last element. Having described the expression of IS in the clause and the various contexts in which the different constructions occur, I explore the margins of the clause (pre- and postclausal positions), and I show that questions embed propositions with their own IS. In the demonstration, I make use of the prosodic partitioning of the utterance, as indicated by the position of postpositives and ratified topic expressions. Then, after studying hyperbaton in Classical and Homeric Greek, I show that tmesis, in Homer, is a kind of pseudo noun incorporation. Finally, building on this linguistic study, I reevaluate Homeric enjambment and try to identify a trope of Homeric poetry (narrative σῆμα), whereby a word (like kalós or stê/éstē) is placed in initial position in the line in order to mark the progression of the narrative.

Les Markov Decision Process (MDP) sont des systèmes finis probabilistes avec à la fois des choix aléatoires et des stratégies, et sont ainsi reconnus comme de puissants outils pour modéliser les interactions entre un contrôleur et les réponses aléatoires de l'environment. Mathématiquement, un MDP peut être vu comme un jeu stochastique à un joueur et demi où le contrôleur choisit à chaque tour une action et l'environment répond en choisissant un successeur selon une distribution de probabilités fixée.Il existe deux incomparables représentations du comportement d'un MDP une fois les choix de la stratégie fixés.Dans la représentation classique, un MDP est un générateur de séquences d'états, appelées state-outcome; les conditions gagnantes du joueur sont ainsi exprimées comme des ensembles de séquences désirables d'états qui sont visités pendant le jeu, e.g. les conditions de Borel telles que l'accessibilité. La complexité des problèmes de décision ainsi que la capacité mémoire requise des stratégies gagnantes pour les conditions dites state-outcome ont été déjà fortement étudiées.Depuis peu, les MDPs sont également considérés comme des générateurs de séquences de distributions de probabilités sur les états, appelées distribution-outcome. Nous introduisons des conditions de synchronisation sur les distributions-outcome, qui intuitivement demandent à ce que la masse de probabilité s'accumule dans un (ensemble d') état, potentiellement de façon asymptotique.Une distribution de probabilités est p-synchrone si la masse de probabilité est d'au moins p dans un état; et la séquence de distributions de probabilités est toujours, éventuellement, faiblement, ou fortement p-synchrone si, respectivement toutes, certaines, infiniment plusieurs ou toutes sauf un nombre fini de distributions dans la séquence sont p-synchrones.Pour chaque type de synchronisation, un MDP peut être(i) assurément gagnant si il existe une stratégie qui génère une séquence 1-synchrone;(ii) presque-assurément gagnant si il existe une stratégie qui génère une séquence (1-epsilon)-synchrone et cela pour tout epsilon strictement positif;(iii) asymptotiquement gagnant si pour tout epsilon strictement positif, il existe une stratégie produisant une séquence (1-epsilon)-synchrone.Nous considérons le problème consistant à décider si un MDP est gagnant, pour chaque type de synchronisation et chaque mode gagnant: nous établissons les limites supérieures et inférieures de la complexité de ces problèmes ainsi que la capacité mémoire requise pour une stratégie gagnante optimale.En outre, nous étudions les problèmes de synchronisation pour les automates probabilistes (PAs) qui sont en fait des instances de MDP où les contrôleurs sont restreint à utiliser uniquement des stratégies-mots; c'est à dire qu'ils n'ont pas la possibilité d'observer l'historique de l'exécution du système et ne peuvent connaitre que le nombre de choix effectués jusque là. Les langages synchrones d'un PA sont donc l'ensemble des stratégies-mots synchrones: nous établissons la complexité des problèmes des langages synchrones vides et universels pour chaque mode gagnant.Nous répercutons nos résultats obtenus pour les problèmes de synchronisation sur les MDPs et PAs aux jeux tour à tour à deux joueurs ainsi qu'aux automates finis non-déterministes. En plus de nos résultats principaux, nous établissons de nouveaux résultats de complexité sur les automates finis alternants avec des alphabets à une lettre. Enfin, nous étudions plusieurs variations de synchronisation sur deux instances de systèmes infinis que sont les automates temporisés et pondérés. / Markov decision processes (MDPs) are finite-state probabilistic systems with bothstrategic and random choices, hence well-established to model the interactions between a controller and its randomly responding environment.An MDP can be mathematically viewed as a one and half player stochastic game played in rounds when the controller chooses an action,and the environment chooses a successor according to a fixedprobability distribution.There are two incomparable views on the behavior of an MDP, when thestrategic choices are fixed. In the traditional view, an MDP is a generator of sequence of states, called the state-outcome; the winning condition of the player is thus expressed as a set of desired sequences of states that are visited during the game, e.g. Borel condition such as reachability.The computational complexity of related decision problems and memory requirement of winning strategies for the state-outcome conditions are well-studied.Recently, MDPs have been viewed as generators of sequences of probability distributions over states, calledthe distribution-outcome. We introduce synchronizing conditions defined on distribution-outcomes,which intuitively requires that the probability mass accumulates insome (group of) state(s), possibly in limit.A probability distribution is p-synchronizing if the probabilitymass is at least p in some state, anda sequence of probability distributions is always, eventually,weakly, or strongly p-synchronizing if respectively all, some, infinitely many, or all but finitely many distributions in the sequence are p-synchronizing.For each synchronizing mode, an MDP can be (i) sure winning if there is a strategy that produces a 1-synchronizing sequence; (ii) almost-sure winning if there is a strategy that produces a sequence that is, for all epsilon > 0, a (1-epsilon)-synchronizing sequence; (iii) limit-sure winning if for all epsilon > 0, there is a strategy that produces a (1-epsilon)-synchronizing sequence.We consider the problem of deciding whether an MDP is winning, for each synchronizing and winning mode: we establish matching upper and lower complexity bounds of the problems, as well as the memory requirementfor optimal winning strategies.As a further contribution, we study synchronization in probabilistic automata (PAs), that are kind of MDPs where controllers are restricted to use only word-strategies; i.e. no ability to observe the history of the system execution, but the number of choices made so far.The synchronizing languages of a PA is then the set of all synchronizing word-strategies: we establish the computational complexity of theemptiness and universality problems for all synchronizing languages in all winning modes.We carry over results for synchronizing problems from MDPs and PAs to two-player turn-based games and non-deterministic finite state automata. Along with the main results, we establish new complexity results foralternating finite automata over a one-letter alphabet.In addition, we study different variants of synchronization for timed andweighted automata, as two instances of infinite-state systems.

Dans une approche stylistique, mêlant linguistique de l’énonciation, pragmatique et linguistique textuelle, cette thèse explore l’œuvre romanesque de Boris Vian en interrogeant les relations qu’entretiennent le potentiel imageant du langage et la création de l’univers fictionnel vianesque. En dépassant la perspective qui conçoit le plus souvent la fictionnalisation comme une mise en fiction du réel, ce travail propose un élargissement du concept, également entendu comme création de fiction. Le corpus, volontairement restreint à un genre littéraire (le genre romanesque) et à un auteur particulier, rassemble les six romans signés Boris Vian (production qui s’étend de 1942 à 1953). Ce choix tient à la volonté de caractériser l’œuvre romanesque dans son ensemble tout en mettant en évidence les spécificités de l’évolution du style vianesque. À partir de différents pôles d’analyses, cette étude cherche à comprendre la particularité des fictions vianesques, apportant un éclairage inédit sur le style et l’esthétique de l’auteur. L’étude des procédés langagiers à l’œuvre dans la fictionnalisation, au cœur de ce travail, s’attache progressivement à l’observation des lieux textuels d’entrée et de sortie de la fiction, des jeux langagiers et des figures du discours. Cette recherche examine ainsi les outils récurrents permettant le passage du monde de référence du lecteur vers celui de la fiction.Par un jeu constant avec les normes (que celles-ci soient d’ordre langagiers ou littéraires), le texte vianesque présente un monde souvent déroutant pour le lecteur qui doit alors le « décoder » pour comprendre les nouvelles lois régissant cet univers. Ce travail de thèse propose une nouvelle grille d’analyse pour appréhender la fiction vianesque. / This thesis explores the novelistic work of Boris Vian from a stylistic perspective at the intersection of the linguistics of enunciation, pragmatics and textual linguistics. It focuses on the relations between the imaging potential of language and the Vianian creation of a fictional universe. It broadens the traditional perspective that conceives of fictionalization as putting reality in fiction by considering fictionalization as the creation of fiction. The corpus is restricted to one literary genre (novels) and one author. It includes the six novels written under the name Boris Vian (between 1942 and 1953). This choice is motivated by a willingness to characterize both the Vianian novelistic œuvre in its totality and the specificity of the evolution of the Vianian style. This study uses different analytical perspectives to understand the peculiarities of Vianian fiction and to highlight the style and aesthetics of the author in an original way. The study of the linguistic processes at play in Vianian fictionalization, which is at the center of this thesis, seeks to gradually observe the places in the text where fiction enters and exits, plays on words, and figures of speech. This research scrutinizes the recurring tools which allow going from the reader’s world of reference to the world of fiction. The Vianian text often presents a world that baffles the reader because it constantly plays with various (linguistic or literary) norms. Hence the reader needs to “decode” that world to understand the new laws by which it abides. This dissertation therefore proposes a new analytical perspective to further our understanding of Vianian fiction.