La description lexicographique de l'ancien occitan d'une région de taille restreinte - le Mauriacois et le Sanflorain en Haute Auvergne palatalisante - et d'une période limitée - 1340-1540 - a été réalisée à partir de l'analyse et du traitement exhaustif de la documentation manuscrite originale disponible pour cette région et cette période. Le matériel lexical recueilli est présenté sous forme d'un dictionnaire sémasiologique alphabétique dont la nomenclature comporte 7.000 entrées et 12.000 définitions environ. Les principes actuels de la lexicographie sont appliqués à ce matériel : description du sens sous forme de définitions, hiérarchisation arborescente des acceptions, attention soutenue aux lexies complexes et à la syntagmatique, citation de très larges contextes. Les champs lexicaux du droit, du commerce, de la guerre et des métiers - maçonnerie, menuiserie-charpenterie, horlogerie - sont particulièrement bien représentés. Cette étude fournit de nombreuses données inconnues des ouvrages de référence, une importante masse de textes édités de façon rigoureuse et une méthodologie applicable aux autres régions d'oc. / This thesis consists of a lexicographical description of Old Occitan as attested in the region of Haute Auvergne characterised by consonantal palatalisation. This region is of restricted size - the area around Saint-Flour and Mauriac. The period covered is closely circumscribed - 1340-1540. The description is based on an analysis of the original handwritten documents available for this region and period. The lexical material is presented in the form of a semasiological alphabetical dictionary with a nomenclature of about 7,000 entries and 12,000 definitions. The most up-to-date principles of lexicography are applied : descriptions of meaning occur as definitions and as hierarchical trees of senses; particular attention is paid to complex lexical items and to syntagmatic relations, with the citation of large sections of the contexts surrounding each words. The lexical fields of law, commerce, warfare and trades - masonry, carpentry, clock-making - are particularly well represented. This study provides a good deal of data not figuring in current reference works, it includes a large quantity of carefully edited texts and follows a lexicographical methodology applicable to other Occitan regions.

De nombreuses méthodes existent pour résoudre des problèmes d'optimisation multicritère, et il n'est pas aisé de choisir une méthode suffisamment adaptée à un problème multicritère donné. En effet, après le choix d'une méthode multicritère, différents paramètres (e.g. poids, fonctions d'utilité, etc.) doivent être déterminés, soit pour trouver la solution optimale (meilleur compromis) ou pour classer l'ensemble des solutions faisables (alternatives). Justement, vue cette difficulté pour fixer les paramètres, les méthodes d'élicitation sont utilisées pour aider le décideur dans cette tâche de fixation des paramètres. Par ailleurs, nous supposons que nous disposons d'un ensemble de solutions plausibles, et nous faisons aussi l'hypothèse de la disponibilité au préalable, des informations préférentielles obtenues après une interaction avec le décideur. Dans la première contribution de ce travail, nous tirons profit d'une mesure statistique simple et rapidement calculable, à savoir, le coefficient de corrélation $rho$ de Spearman, afin de développer une approche gloutonne (approchée), et deux approches exactes basées sur la programmation par contraintes (PPC) et la programmation linéaire en nombres entiers (PLNE). Ces méthodes sont ensuite utilisées pour éliciter automatiquement les paramètres appropriés de la méthode multicritère basée sur l'ordre lexicographique. Nous proposons aussi des modèles d'élicitation des paramètres d'autres méthodes multicritère, telles que la méthode MinLeximax issue de la théorie du choix social et du partage équitable, la méthode de la somme pondérée et les opérateurs OWA. / Many methods exist for solving multicriteria optimization problems, and it is not easy to choose the right method well adapted to a given multicriteria problem. Even after choosing a multicriteria method, various parameters (e.g. weight, utility functions, etc.) must be carefully determined either to find the optimal solution (best compromise) or to classify all feasible solutions (the set of alternatives). To overcome this potential difficulty, elicitation methods are used in order to help the decision maker to fix safely the parameters. Additionally, we assume that we have a set of feasible solutions, and we also make the assumption that we have prior information about the preferences of the decision maker, and we focus on how to use this information, rather than how to get them. In the first contribution of this work, we take advantage of a simple and quickly computable statistical measure, namely, the Spearman $rho$ correlation coefficient, to develop an gready approche, and two exact approaches based on constraint programming (CP) and linear integer programming (MIP). These methods are then used to automatically elicit the appropriate parameter of the lexicographic ordering method. We also propose some elicitation models for most commonly used multicriteria methods, such as MinLeximax method used to ensure fairness and efficiency requirements, the weighted sum method, and OWA operators. These elicitation models are based either on solving mixed integer linear programming, or constraints networks with an objective function.

De nombreuses méthodes existent pour résoudre des problèmes d'optimisation multicritère, et il n'est pas aisé de choisir une méthode suffisamment adaptée à un problème multicritère donné. En effet, après le choix d'une méthode multicritère, différents paramètres (e.g. poids, fonctions d'utilité, etc.) doivent être déterminés, soit pour trouver la solution optimale (meilleur compromis) ou pour classer l'ensemble des solutions faisables (alternatives). Justement, vue cette difficulté pour fixer les paramètres, les méthodes d'élicitation sont utilisées pour aider le décideur dans cette tâche de fixation des paramètres. Par ailleurs, nous supposons que nous disposons d'un ensemble de solutions plausibles, et nous faisons aussi l'hypothèse de la disponibilité au préalable, des informations préférentielles obtenues après une interaction avec le décideur. Dans la première contribution de ce travail, nous tirons profit d'une mesure statistique simple et rapidement calculable, à savoir, le coefficient de corrélation $rho$ de Spearman, afin de développer une approche gloutonne (approchée), et deux approches exactes basées sur la programmation par contraintes (PPC) et la programmation linéaire en nombres entiers (PLNE). Ces méthodes sont ensuite utilisées pour éliciter automatiquement les paramètres appropriés de la méthode multicritère basée sur l'ordre lexicographique. Nous proposons aussi des modèles d'élicitation des paramètres d'autres méthodes multicritère, telles que la méthode MinLeximax issue de la théorie du choix social et du partage équitable, la méthode de la somme pondérée et les opérateurs OWA.

L'espagnol est une langue internationale constituée de plusieurs variétés qui disposent de caractéristiques particulières. Il existe une tradition qui prétend maintenir une identité linguistique totale, mais sur un critère normatif prescriptif considérant tout ce qui n'est pas espagnol péninsulaire comme une « corruption ». Ce dernier est considéré comme l'espagnol « commun » ou « général », et l'espagnol des pays américains est perçu comme une « déviation » par rapport « au noyau » de la langue (l'espagnol de la péninsule).Plusieurs chercheurs s'accordent maintenant à donner la même valeur aux variétés de l'espagnol. Néanmoins, une bonne partie des études portant sur les variétés américaines ne sortent pas encore de cette tradition prescriptive : ce sont des descriptions de particularités, des différences par rapport à la norme établie par l'Académie Royale Espagnole. Cela est dû au manque d'une description de l'espagnol commun à tout le monde hispanophone qui servirait de modèle pour la comparaison. Ce manque (théorique et pratique) doit être compensé au fur et à mesure par les nouvelles recherches. L'espagnol doit donc être reconnu comme diasystème, tous les sous-systèmes ou variétés doivent être acceptés, étudiés d'une manière plus objective et avoir la même valeur axiologique.Pour dépasser cette tradition établie, on propose dans cette recherche, une caractérisation de l'une des variétés de l'espagnol suivant une approche globale et autonome. Plus précisément, une caractérisation de l'espagnol de Colombie et non pas des « colombianismes » comme il est d'usage. Il doit être possible d'arriver à une description nationale de cette variété au niveau lexical en réalisant des descriptions partielles dans des endroits stratégiques comme les grandes villes (capitales départementales du pays). / Spanish is an international language made of several varieties, each variety with particular characteristics. There has always been the tradition of maintaining a total linguistic identity, based on prescriptive normative criteria that consider the Spanish of non-peninsular origin "corrupted". Peninsular Spanish is considered "common" or "general" Spanish. Spanish spoken in American countries is seen as a "deviation" from "the core" language (the peninsular Spanish).Many researchers now agree to give the same value to all Spanish varieties. However, many of the studies on American varieties do not come out from prescriptive tradition. They describe particularities, or differences compared to the norm set by The Royal Spanish Academy. This is due to the lack of a description of the common Spanish in the Spanish-speaking world, which could serve as a pattern for comparison. This lack (theoretical and practical) must be compensated gradually by new research. Spanish should be recognized as a diasystem; all subsystems or varieties must be accepted, studied in a more objective way and have the same axiological value.To overcome this established tradition, in this piece of research, we propose the characterization of one of the varieties of Spanish following a global and autonomous approach. More specifically, a characterization of the Spanish of Colombia and not of the "colombianisms" as is done traditionally. We prove possible to reach a national description of this variety at the lexical level by making partial descriptions in strategic places like big cities (departmental capitals of the country).

Dans cette thèse nous considérons deux problèmes d'optimisation combinatoire.Le premier s'appelle problème du double voyageur de commerce avec contraintes de piles. Dans ce problème, un véhicule doit ramasser un certain nombre d'objets dans une région pour les livrer à des clients situés dans une autre région. Lors du ramassage, les objets sont stockés dans les différentes piles du véhicule et la livraison des objets se fait selon une politique de type last-in-first-out. Le ramassage et la livraison consistent chacune en une tournée Hamiltonienne effectuée par le véhicule dans la région correspondante.Nous donnons une formulation linéaire en nombres entiers pour ce problème. Elle est basée sur des variables de précédence et sur des contraintes de chemins infaisables. Nous donnons par la suite des résultats polyédraux sur l'enveloppe convexe des solutions de notre formulation. En particulier, nous montrons des liens forts avec un polytope associé au problème du voyageur de commerce et des liens avec un polytope de type set covering. Cette étude polyédrale nous permet de renforcer la formulation initiale et de développer un algorithme de coupes et branchements efficace. Le deuxième problème que nous considérons consiste à trouver la description des polytopes lexicographiques. Ces derniers sont les enveloppes convexes des points entiers lexicographiquement compris entre deux points entiers fixés. Nous donnons une description complète de ces polytopes en termes d'inégalités linéaires. Nous démontrons que la famille des polytopes lexicographiques est fermée par intersection. / In this thesis we consider two problems arising in combinatorial optimization.The first one is the double traveling salesman problem with multiple stacks. In this problem a vehicle picks up a given set of items in a region and subsequently delivers them to demanding customers in another region. When an item is picked up, it is put in a stack of the vehicle. The items are delivered observing a last-in-first-out policy. The pickup phase and the delivery phase consist in two Hamiltonian circuits, each performed by the vehicle in the corresponding region. We give a new integer linear programming formulation for this problem. Its main features are the presence of precedence variables and new infeasible path constraints. We provide polyhedral results on the convex hull of the solutions to our formulation. In particular, we show strong links with a specific TSPpolytope and a specific set covering polytope. We deduce strengthening inequalities for the initial formulation, subsequently embedded in an efficient branch-and-cut algorithm. The second problem we consider consists in finding the description of the lexicographical polytopes. These are convex hulls of the integer points lexicographically between two given integer points. We give a complete description of these polytopes by means of linear inequalities. We show that the lexicographical polytope family is closed under intersection.

Cette thèse propose des méthodes de synthèse dédiées aux circuits intégrés complexes. Elle concerne l'étape de factorisation algébrique dont le but est de réduire la complexité des expressions booléennes évaluées en terme de littéraux. Les méthodes classiques proposées généralement, amènent une bonne minimisation de la surface active mais peuvent entrainer un mauvais contrôle de la connectique. Cette thèse présente d'abord un état de l'art critique sur les techniques de factorisation algébrique poussées incluant les techniques dites booléennes. Dans les chapitres suivants, deux approches alternatives de factorisation plus restreintes sont proposées. La première est réduite a une division par conoyaux et la deuxième concerne une factorisation dite lexicographique encore plus restrictive, dont le but est de préparer une connectique simplifiée. Les résultats expérimentaux ont permis de définir à partir de quel seuil de complexité, il convient d'appliquer ces deux méthodes pour obtenir une bonne surface globale ainsi qu'un bon facteur de routage

Les auteurs de dictionnaires bilingues semblent avoir toujours été préoccupés par la question de la mise en équivalence. Dans cette perspective, cette thèse se propose d’interroger les divers aspects de la lexicographie lors de l’élaboration des dictionnaires bilingues, notamment franco-coréens destinés aux coréanophones, en tentant de reconstruire, sur un mode à la fois historique et systématique, le dispositif méthodique et raisonné qui avait permis aux lexicographes de poser les conditions métalexicographiques. Celles-ci s’appliquent à tous les paramètres qui constituent la logique du dictionnaire sur un plan structurel et sémantique. Cette mise au point théorique a pour but d’envisager comment les dictionnaires bilingues sont mis en valeur lors d’une refonte ou d’une nouvelle parution. À travers l’étude des dix-huit dictionnaires rédigés en Corée depuis la fin XIXe siècle jusqu’à aujourd’hui, nous observons une transformation des interprétations de la méthode métalexicographique et l’élaboration du concept de dictionnaire contemporain. Ce travail s’intéresse enfin à proposer des équivalents pour deux verbes, circuler et éloigner, du Prime Dictionnaire français-coréen, en comparant la façon dont le Grand Robert et le Trésor de la langue française regroupent les sens et les acceptions de ces verbes avec celle du dictionnaire français-coréen. / Bilingual dictionaries seem to have always been concerned about the issues of establishing equivalence. Within this context, this thesis proposes to examine the various aspects of lexicography in the developments of French-Korean, Korean-French bilingual dictionaries, particularly for the Korean speakers, while trying to rebuild, on a historical and systematic mode, the methodical and rational device that allowed the lexicographers to set meta-lexicographical conditions. This applies to all the factors of logic for dictionary organization at a structural and semantic level. The theoretical development is made to consider how the bilingual dictionaries enhance in quality during a renewal or a new release. Through the study of the eighteen dictionaries written in Korea since the late nineteenth century until today, we can observe the transformation of how the meta-lexicographical method was interpreted in practice and how the concept of contemporary dictionary was developed. This work propose equivalents of two verbs, circuler and éloigner; extracts from the Prime French-Korean Dictionary, as compared how the Grand Robert and the Trésor de la langue française organize meanings.

Nous nous intéressons dans cette thèse aux approches basées sur la restauration de la cohérence à partir de bases de croyances stratifiées ainsi qu'à partir de bases de croyances partiellement préordonnées (BCPP). Dans le premier cas, nous nous attaquons aux problèmes de complexité en proposant trois nouvelles approches de compilation que nous qualifions de flexibles en étant paramétrées par n'importe quel langage cible de compilation. La première concerne l'inférence possibiliste et s'adapte facilement à l'inférence linéaire. La seconde approche se rapporte à l'inférence lexicographique et se base sur la notion de contraintes de cardinalité Booléennes. Nous introduisons aussi une nouvelle compilation pour l'inférence MSP (pour Minimum de Specificity Principle). En ce qui concerne le raisonnement à partir de BCPPs qui offrent plus de flexibilité dans de nombreuses situations, notre première contribution consiste en l'introduction d'une extension de l'inférence lexicographique classique qui revêt un vif intérêt. La seconde contribution dans ce même cadre, est l'étude comparative des différentes relations d'inférence à partir de BCPPs relativement à la complexité, les propriétés logiques et la prudence. Une dernière contribution est l'application du raisonnement en présence d'incohérence dans le cadre de la détection d'intrusions coopérative. En effet, nous proposons une nouvelle approche de corrélation d'alertes. Cette approche se base sur le raisonnement à partir de BCPPs exprimées en logiques de description qui sont bien adaptées à la représentation des informations structurées tout en garantissant la décidabilité du raisonnement. / In this thesis, we are interested in coherence based approaches from both stratified belief bases and partially preordered belief bases (PPBB). In the first case, we tackle the complexity problems by proposing three new compilation approaches. The first one is about the possibilistic inference and applies easily to linear inference. The second approach is relative to lexicographic inference and is based on Boolean cardinality constraints. We also introduce a novel compilation approach for MSP entailment (MSP for Minimum Specificity Principle). As to reasoning from PPBBs which offer much more flexibility in many situations, our first contribution consists in extending the lexicographic inference which has interesting properties. The second contribution is a comparative study of the different inference relations from PPBBs with respect to three key dimensions, namely the complexity, the logical properties and the cautiousness. The last contribution is the application of reasoning under inconsistency in the case of intrusion detection. More precisely, we propose a new correlation approach. This latter is based on reasoning from PPBBs expressed in description logics, which are suitable to represent structured informations by ensuring the decidability of reasoning.

Cette étude porte sur les différentes formalisations du sens linguistique dans le cadre de la théorie Sens-Texte (TST) ; elle s’intéresse notamment à la représentation sémantique, la représentation la plus importante dans la modélisation du sens d’énoncés et d’unités lexicales de la langue. Cette étude a trois objectifs : premièrement, décrire trois formalisations de la représentation sémantique existant dans la TST – les réseaux sémantiques, les définitions lexicographiques et les définitions de la BDéf (des définitions très formalisées) ; deuxièmement, identifier les disparités et les décalages entre les formalisations choisies ; troisièmement, proposer des modifications aux formalisations existantes pour réduire au maximum ces disparités. / This study explores the different formalisations of linguistic meaning as encountered in the Meaning-Text Theory (MST) framework. Its main interest is semantic representation, which is the most important representation in the modeling of the meaning of utterances and lexical units. This study has three objectives: first, describing three existing formalisations of semantic representation in the MST – semantic networks, lexicographical definitions, and BDéf definitions (definitions that are extremely formalized); second, identifying the discrepancies between these formalisations; finally, proposing modifications to these formalisations in order to reduce the disparities as much as possible.

Cette thèse de doctorat, qui fait partie du projet des « Plus anciens documents linguistiques de la France », s’inscrit à la fois dans le domaine de la linguistique et dans celui de la philologie. L’étude lexicologique qu’elle propose est basée sur des documents d’archives du XIIIe siècle et s’accompagne de la transcription de deux corpus de chartes inédites. L’analyse détaillée de cinquante mots liés au champ lexical de l’agriculture, présentée sous forme de dossiers lexicologiques, constitue le noyau du travail. Les apports nouveaux que les dossiers permettent d’obtenir en matière de sens et de formes nouveaux, de réseau sémantique et d’étymologies corrigées sont présentés à la suite des dossiers. La méthode d’analyse intensive qu’ils adoptent fournit un complément indispensable à la lexicographie existante et sa méthode extensive. L’étude comporte en outre une réflexion sur le rôle des chartes vernaculaires dans l’élaboration et le changement linguistiques, à travers notamment le lexique. / This doctoral thesis studying the words related to agriculture in medieval charters is situated in the fields of historical linguistics and philology. It is part of the research project “The most ancient linguistic documents of France” and provides a transcription of two corpuses of charters as well as a lexicological study of 50 words related to agriculture. Each word is treated separately in an article including the word’s etymology, the different writings appearing in the charters, a semantic description, a short context of each occurrence, the information from the most important Old French dictionaries as well as a critique of the latter. The articles, forming the main part of the thesis, are followed by a chapter that sums up their results concerning new words or meanings, etymology, hyperonyms and (co)hyponyms. The words are thus studied in an intensive manner forming a complement to the extensive description provided by the dictionaries. The study also includes a reflection on the role the charters play in language elaboration through their vocabulary.