L’objectif de l’étude est de proposer, suivant une approche microéconomique, des outils d’analyse théorique et empirique permettant de savoir si le système financier d’un pays en développement tel que le Burkina Faso contribue à la création des richesses de la meilleure manière possible. Au terme des travaux, quelques enseignements se dégagent. D’abord, sur le plan théorique, à partir d’un premier modèle proposé, il ressort que, compte tenu de leur nombre dans les pays en développement, les PME sont un maillon essentiel du dispositif de création de richesse et qu’alors, ils constituent le meilleur canal par lequel le système financier peut avoir le plus grand impact sur la croissance économique. Ensuite, un second modèle théorique montre comment dans les pays en développement, caractérisés par un environnement légal et institutionnel de mauvaise qualité, la performance du système financier est compromise. Sur le plan empirique, les résultats révèlent qu’au Burkina Faso, le fonctionnement du système financier n’est pas performant en ce sens que les branches d’activités de petite taille et par transitivité les PME, étant le meilleur canal de transmission du développement financier sur la croissance économique au Burkina Faso, ne sont pas conséquemment financées par les banques. Par ailleurs, il apparaît que dans ce pays, les banques butent dans leur fonctionnement sur le problème de la prédominance du secteur informel dans lequel se retrouve une grande partie des entreprises. C’est pourquoi, malgré le fait que les PME contribuent fortement à la création de richesses intérieures, les banques ne parviennent pas à faire d’elles, des partenaires privilégiés en termes de financement. Ces enseignements appellent à des recommandations de politiques ou de réformes à faire pour encourager la mise en place de structures d’intermédiation informationelle telles que les Centres de Gestion Agréée, les agences de reporting, les agences spécialisées en matière de communication financière des entreprises. Cela permettra de rendre optimale l’interaction entre les PME et le système financier. / The purpose of this study is to propose, according to a microeconomic approach, some theoretical and empirical analysis tools which allow determining whether the financial system of a developing country (such as Burkina Faso) contributes to the creation of wealth the best way possible. So, we draw some lessons. First of all, on the theoretical level, from a first proposed model it emerges that, considering their number in developing countries, small and medium-sized enterprises (SME) are essential for creating wealth and then, they represent the best way through which the financial system can get the highest impact on economic growth. Secondly, a second theoretical model shows how in developing countries, characterized by a legal and institutional environment of bad quality, the financial system performance is compromised. On the empirical level, the results reveal that in Burkina Faso, the functioning of financial system is not optimum because the small industries and by transitivity the SME, being the best way of transmission of financial development on economic growth in the so called country , are not enough funded by banks. Elsewhere, it appears that in this country, banks in their functioning come up against the problem of the predominance of informal sector in which we find almost enterprises. That’s why, despite the fact that SME highly contribute to the creation of national wealth, banks don’t succeed on doing of them, privileged partners in terms of financing. These lessons appeal to some political recommendations or reforms to be doing in order to make optimum the interaction between SME and financial system.

Le travail présenté dans cette thèse vise à améliorer la planification de chemins pour un robot similaire à une voiture. Ainsi, seul l'aspect géométrique du mouvement est considéré (les vitesses sont ignorées) et le robot est soumis à deux contraintes qui limitent ses déplacements : sa direction instantanée de déplacement reste parallèle à son axe principal, et son rayon de braquage est minoré. Les travaux antérieurs sur ce sujet n'ont donné lieu qu'à des solutions produisant des chemins (dits chemins de Dubins) formés d'arcs de cercles de rayon minimum reliés tangentiellement par des segments. Ces chemins sont localement optimaux, mais la discontinuité de leur courbure ne permet pas à un véhicule de les suivre correctement (le véhicule doit s'arrêter à chaque discontinuité pour réorienter ses roues directrices). C'est pourquoi on a développé une approche qui permet de produire des chemins ayant un profil de courbure continu et une dérivée bornée de la courbure (cette dernière contrainte correspond au fait que la vitesse de rotation du volant du véhicule est elle aussi bornée). La contribution majeure de cette thèse est donc de définir des chemins respectant ces contrain tes, tout en étant très proches des chemins de Dubins localement optimaux. Ce mémoire de thèse est constitué de trois parties. La première s'appuie sur une analyse de l'existant en matière de planification de chemins en robotique mobile, pour fixer précisément les caractéristiques du problème de planification abordé (en termes de commandabilité du robot et de nature des chemins optimaux) et pour justifier l'approche choisie. La seconde partie du mémoire de thèse présente une première approche de planification de chemins à courbure continue, dans laquelle seule la contrainte de continuité de la courbure est ajoutée au problème classique de planification de chemins sans manoeuvre. La dernière partie du mémoire de thèse reprend dans son intégralité le problème énoncé dans la première partie, et propose une solution sous-optimale. Dans les parties deux et trois, un planificateur local (non complet) est d'abord défini, puis un planificateur global (complet) est construit à partir de ce planificateur local. Les résultats obtenus sont illustrés par des expérimentations en simulation et sur véhicule.

Le principal travail de<br />cette thèse porte sur l'étude des méthodes d'agrégation sous<br />l'hypothèse de marge. Nous avons mis en avant que l'hypothèse de<br />marge améliore les vitesses d'agrégation. Un autre résultat de<br />cette thèse montre que certaines méthodes de minimisation du risque<br />empirique pénalisé sont sous-optimales quand le risque est convexe,<br />même sous l'hypothèse de marge. Contrairement aux procédures<br />d'agrégation à poids exponentiels, ces méthodes n'arrivent pas à<br />profiter de la marge du modèle. Nous avons ensuite appliqué les<br />méthodes d'agrégation à la résolution de quelques problèmes<br />d'adaptation. Une dernière contribution apportée dans cette thèse a<br />été de proposer une approche du contrôle du biais en classification<br />par l'introduction d'espaces de règles de prédiction parcimonieuses.<br />Des vitesses minimax ont été obtenues pour ces modèles et une<br />méthode d'agrégation a donné une version adaptative de ces<br />procédures d'estimation.

Nos travaux concernent la mise en œuvre de méthodologies pour la résolution et l'optimisation de la production en tenant compte des impératifs économiques, jouant aujourd'hui un rôle déterminant dans la conduite de la production industrielle. Pour le problème du job-shop flexible dans lequel les interactions entre les critères sont supposées disponibles, cinq critères ont été retenus : le Makespan, la charge critique, la charge totale, la pénalité de retards/avance et le coût de la production. Dans ce sens, nous avons, d'abord, traité le problème de décision et d'évaluation d'une solution et introduit ensuite trois approches intégrées, basées sur les algorithmes génétiques, améliorant les approches évolutionnistes existant dans la littérature : la méthode statique basée sur l'intégrale de Choquet, la méthode approchée basée sur le concept Paréto-optimalité ainsi que la méthode basée sur le concept de ε-dominance Paréto-optimalité. Les approches adoptées consistent à générer une variété de solutions optimales diversifiées dans l'espace de recherche de solutions, et d'aider le décideur, quand il ne peut pas donner une préférence particulière à l'une des fonctions objectif. Les résultats proposés, obtenus globalement pour l'ensemble des critères, ont été comparés, avec succès, avec ceux obtenus par d'autres approches existantes sur plusieurs benchmarks de complexités distinctes.

L'objectif de l'étude est de proposer, suivant une approche microéconomique, des outils d'analyse théorique et empirique permettant de savoir si le système financier d'un pays en développement tel que le Burkina Faso contribue à la création des richesses de la meilleure manière possible. Au terme des travaux, quelques enseignements se dégagent. D'abord, sur le plan théorique, à partir d'un premier modèle proposé, il ressort que, compte tenu de leur nombre dans les pays en développement, les PME sont un maillon essentiel du dispositif de création de richesse et qu'alors, ils constituent le meilleur canal par lequel le système financier peut avoir le plus grand impact sur la croissance économique. Ensuite, un second modèle théorique montre comment dans les pays en développement, caractérisés par un environnement légal et institutionnel de mauvaise qualité, la performance du système financier est compromise. Sur le plan empirique, les résultats révèlent qu'au Burkina Faso, le fonctionnement du système financier n'est pas performant en ce sens que les branches d'activités de petite taille et par transitivité les PME, étant le meilleur canal de transmission du développement financier sur la croissance économique au Burkina Faso, ne sont pas conséquemment financées par les banques. Par ailleurs, il apparaît que dans ce pays, les banques butent dans leur fonctionnement sur le problème de la prédominance du secteur informel dans lequel se retrouve une grande partie des entreprises. C'est pourquoi, malgré le fait que les PME contribuent fortement à la création de richesses intérieures, les banques ne parviennent pas à faire d'elles, des partenaires privilégiés en termes de financement. Ces enseignements appellent à des recommandations de politiques ou de réformes à faire pour encourager la mise en place de structures d'intermédiation informationelle telles que les Centres de Gestion Agréée, les agences de reporting, les agences spécialisées en matière de communication financière des entreprises. Cela permettra de rendre optimale l'interaction entre les PME et le système financier.

Cette thèse vise à comprendre comment des organismes variés tels que les plantes clonales, les humains ou les guêpes parasitoïdes résolvent un problème commun : Comment se comporter dans un environnement hétérogène de manière à prélever le maximum de ressource ? Les organismes n'ayant pas la capacité d'identifier les solutions théoriquement optimales, nous avons étudié les heuristiques permettant de se comporter efficacement sans calcul. Les insectes parasitoïdes, modèles de choix de l'écologie comportementale, nous montrent que l'information perçue de l'environnement influence de manière complexe le comportement d'approvisionnement. Malheureusement, le processus décisionnel sous-jacent n'est pas accessible directement par les méthodes d'investigation connues. Nous avons donc exploré les processus cognitifs convergeant avec les modèles décisionnels optimaux en utilisant l'Homme. De fortes similitudes ont été relevées entre les deux modèles biologiques, mettant ainsi en évidence des points de convergence entre les mécanismes proximaux du comportement. L'environnement et l'histoire évolutive des organismes influencent donc la prise de décision en favorisant l'émergence et le maintien d'heuristiques efficaces indépendamment du degré de complexité cognitive. Cette problématique a été étendue aux plantes clonales qui explorent le milieu par le biais de prolongements végétatifs. Nous avons identifié l'information pertinente et la règle décisionnelle optimale pour une plante clonale afin de maximiser l'exploitation d'une ressource (nutriments, eau, lumière). Les plantes clonales semblent se comporter de manière cohérente avec les prédictions du modèle optimal, révélant un processus décisionnel encore insoupçonné chez ces organismes.

L’objectif de cette étude est de développer une alimentation multisources exploitant la complémentarité batterie/supercondensateurs pour gagner en masse sur le stockage de l’énergie électrique embarquée à bord des aéronefs et des véhicules spatiaux. L’étude se déroule en trois parties :Dans la première partie, un outil d’aide à la décision permettant développer une alimentation hybride pour une application donnée est présenté. Cet outil a pour but d’estimer la masse optimale d’une alimentation hybride à partir des seules informations d’énergies spécifiques et puissances spécifiques des sources candidatesLa deuxième partie de l’étude s’appuie sur la complémentarité d’une étude bibliographique sur le comportement interne des supercondensateurs, couplée avec une campagne expérimentale de caractérisation et de vieillissement des supercondensateurs, pour construire et identifier les modèles multiphysiques de références commerciales de supercondensateurs nécessaires à l’optimisation fine du dimensionnement de l’alimentation hybride.À partir du modèle des sources, la troisième et dernière partie de cette étude a pour objectif de présenter la conception d’une architecture électrique répondant au besoin. En particulier, l’alimentation hybride proposée dans cette partie exploite dynamiquement et au maximum de leur capacité chacune des deux sources, tout en prenant soin de ne pas les contraindre excessivement. De par cette manière de faire, on se prémunit contre d’éventuelles défaillances des sources liées à leur utilisation abusive / The aim of this study is to develop an hybrid power supply using the complementarities between batteries and supercapacitors in order to improve the mass of electrical storage systems on aircrafts and spacecrafts.The study is divided into three parts: In the first part, a decision-making tool to develop a hybrid power supply given a mission profile is presented. Thanks to this tool, an estimation of the optimal mass of the hybrid power supply is done based only on the specific energy and the specific power of the sources.The second part is firstly composed of a synthesis of bibliography results on the internal behavior of supercapacitors; secondly an experimental test campaign is described. Its aim is characterizing, modeling and identifying the multiphysics behavior and ageing of supercapacitors on several commercial references. Those models are required for the fine sizing optimization of the hybrid power supply. Basing on the internal model of the sources, the aim of the third part of this study is to present the development of an hybrid architecture battery/supercapacitors which fulfills the electrical need for a specific application. This hybrid power supply takes dynamically advantage of the electrical sources at the maximum of their possibilities, but without overstressing them at the same time. Thanks to that, the aging rate of the sources and the failure rate of the system are limited

Cette thèse est constituée de deux parties qui peuvent être lues indépendamment. Dans la première partie de la thèse, nous étudions des problèmes de couverture et de valorisation d’options liés à une mesure de risque. Notre approche principale est l’utilisation d’une fonction de risque asymétrique et d’un cadre asymptotique dans lequel nous obtenons des solutions optimales à travers des équations aux dérivées partielles (EDP) non-linéaires.Dans le premier chapitre, nous nous intéressons à la valorisation et la couverture des options européennes. Nous considérons le problème de l’optimisation du risque résiduel généré par une couverture à temps discret en présence d’un critère asymétrique de risque. Au lieu d'analyser le comportement asymptotique de la solution du problème discret associé, nous avons étudié la mesure asymétrique du risque résiduel intégré dans un cadre Markovian. Dans ce contexte, nous montrons l’existence de cette mesure de risque asymptotique. Ainsi, nous décrivons une stratégie de couverture asymptotiquement optimale via la solution d’une EDP totalement non-linéaire.Le deuxième chapitre est une application de cette méthode de couverture au problème de valorisation de la production d’une centrale. Puisque la centrale génère de coûts de maintenance qu’elle soit allumée ou non, nous nous sommes intéressés à la réduction du risque associé aux revenus incertains de cette centrale en se couvrant avec des contrats à terme. Nous avons étudié l’impact d’un coût de maintenance dépendant du prix d’électricité dans la stratégie couverture.Dans la seconde partie de la thèse, nous considérons plusieurs problèmes de contrôle liés à l'économie et la finance.Le troisième chapitre est dédié à l’étude d’une classe de problème du type McKean-Vlasov (MKV) avec bruit commun, appelée MKV polynomiale conditionnelle. Nous réduisons cette classe polynomiale par plongement de Markov à des problèmes de contrôle en dimension finie.Nous comparons trois techniques probabilistes différentes pour la résolution numérique du problème réduit: la quantification, la régression par randomisation du contrôle et la régression différée. Nous fournissons de nombreux exemples numériques, comme par exemple, la sélection de portefeuille avec incertitude sur une tendance du sous-jacent.Dans le quatrième chapitre, nous résolvons des équations de programmation dynamique associées à des valorisations financières sur le marché de l’énergie. Nous considérons qu’un modèle calibré pour les sous-jacents n’est pas disponible et qu’un petit échantillon obtenu des données historiques est accessible.En plus, dans ce contexte, nous supposons que les contrats à terme sont souvent gouvernés par des facteurs cachés modélisés par des processus de Markov. Nous proposons une méthode nonintrusive pour résoudre ces équations à travers les techniques de régression empirique en utilisant seulement l’historique du log du prix des contrats à terme observables. / This thesis is constituted by two parts that can be read independently.In the first part, we study several problems of hedging and pricing of options related to a risk measure. Our main approach is the use of an asymmetric risk function and an asymptotic framework in which we obtain optimal solutions through nonlinear partial differential equations (PDE).In the first chapter, we focus on pricing and hedging European options. We consider the optimization problem of the residual risk generated by a discrete-time hedging in the presence of an asymmetric risk criterion. Instead of analyzing the asymptotic behavior of the solution to the associated discrete problem, we study the integrated asymmetric measure of the residual risk in a Markovian framework. In this context, we show the existence of the asymptotic risk measure. Thus, we describe an asymptotically optimal hedging strategy via the solution to a fully nonlinear PDE.The second chapter is an application of the hedging method to the valuation problem of the power plant. Since the power plant generates maintenance costs whether it is on or off, we are interested in reducing the risk associated with its uncertain revenues by hedging with forwards contracts. We study the impact of a maintenance cost depending on the electricity price into the hedging strategy.In the second part, we consider several control problems associated with economy and finance.The third chapter is dedicated to the study of a McKean-Vlasov (MKV) problem class with common noise, called polynomial conditional MKV. We reduce this polynomial class by a Markov embedding to finite-dimensional control problems.We compare three different probabilistic techniques for numerical resolution of the reduced problem: quantization, control randomization and regress later.We provide numerous numerical examples, such as the selection of a portfolio under drift uncertainty.In the fourth chapter, we solve dynamic programming equations associated with financial valuations in the energy market. We consider that a calibrated underlying model is not available and that a limited sample of historical data is accessible.In this context, we suppose that forward contracts are governed by hidden factors modeled by Markov processes. We propose a non-intrusive method to solve these equations through empirical regression techniques using only the log price history of observable futures contracts.

Les lois de commande affines par morceaux ont attiré une grande attention de la communauté d'automatique de contrôle grâce à leur pertinence pour des systèmes contraints, systèmes hybrides; également pour l'approximation de commandes nonlinéaires. Pourtant, leur mise en oeuvre est soumise à quelques difficultés. Motivé par l'intérêt à cette classe de commandes, cette thèse porte sur leur analyse, mise en oeuvre et synthèse.La première partie de cette thèse a pour but le calcul de la marge de robustesse et de la marge de fragilité pour une loi de commande affine par morceaux donnée et un système linéaire discret. Plus précisément, la marge de robustesse est définie comme l'ensemble des systèmes linéaires à paramètres variants que la loi de commande donnée garde les trajectoires dans de la région faisable. D'ailleurs, la marge de fragilité comprend toutes les variations des coefficients de la commande donnée telle que l'invariance de la région faisable soit encore garantie. Il est montré que si la région faisable donnée est un polytope, ces marges sont aussi des polytopes.La deuxième partie de ce manuscrit est consacrée au problème de l'optimalité inverse pour la classe des fonctions affines par morceaux. C'est-à-dire, l'objective est de définir un problème d'optimisation pour lequel la solution optimale est équivalente à la fonction affine par morceaux donnée. La méthodologie est fondée sur le convex lifting, i.e., un variable auxiliaire, scalaire, qui permet de définir un ensemble convex à partir de la partition d'état de la fonction affine par morceaux donnée. Il est montré que si la fonction affine par morceaux donnée est continue, la solution optimale de ce problème redéfini sera unique. Par contre, si la continuité n'est pas satisfaite, cette fonction affine par morceaux sera une solution optimale parmi les autres du problème redéfini.En ce qui concerne l’application dans la commande prédictive, il sera montré que n'importe quelle loi de commande affine par morceaux continue peut être obtenue par un autre problème de commande prédictive avec l'horizon de prédiction au plus égal à 2. A côté de cet aspect théorique, ce résultat sera utile pour faciliter la mise en oeuvre des lois de commandes affines par morceaux en évitant l'enregistrement de la partition de l'espace d'état. Dans la dernière partie de ce rapport, une famille de convex liftings servira comme des fonctions de Lyapunov. En conséquence, ce "convex lifting" sera déployé pour synthétiser des lois de commande robustes pour des systèmes linéaires incertains, également en présence de perturbations additives bornées. Des lois implicites et explicites seront obtenues en même temps. Cette méthode permet de garantir la faisabilité récursive et la stabilité robuste. Cependant, cette fonction de Lyapunov est limitée à l'ensemble λ −contractive maximal avec une constante scalaire 0 ≤ λ < 1 qui est plus petit que l'ensemble contrôlable maximal. Pour cette raison, une extension de cette méthode pour l'ensemble contrôlable de N − pas, sera présentée. Cette méthode est fondée sur des convex liftings en cascade où une variable auxiliaire sera utilisée pour servir comme une fonction de Lyapunov. Plus précisément, cette variable est non-négative, strictement décroissante pour les N premiers pas et égale toujours à 0 − après. Par conséquent, la stabilité robuste est garantie. / Piecewise affine (PWA) feedback control laws have received significant attention due to their relevance for the control of constrained systems, hybrid systems; equally for the approximation of nonlinear control. However, they are associated with serious implementation issues. Motivated from the interest in this class of particular controllers, this thesis is mostly related to their analysis and design.The first part of this thesis aims to compute the robustness and fragility margins for a given PWA control law and a linear discrete-time system. More precisely, the robustness margin is defined as the set of linear time-varying systems such that the given PWA control law keeps the trajectories inside a given feasible set. On a different perspective, the fragility margin contains all the admissible variations of the control law coefficients such that the positive invariance of the given feasible set is still guaranteed. It will be shown that if the given feasible set is a polytope, then so are these robustness/fragility margins.The second part of this thesis focuses on inverse optimality problem for the class of PWA controllers. Namely, the goal is to construct an optimization problem whose optimal solution is equivalent to the given PWA function. The methodology is based on emph convex lifting: an auxiliary 1− dimensional variable which enhances the convexity characterization into recovered optimization problem. Accordingly, if the given PWA function is continuous, the optimal solution to this reconstructed optimization problem will be shown to be unique. Otherwise, if the continuity of this given PWA function is not fulfilled, this function will be shown to be one optimal solution to the recovered problem.In view of applications in linear model predictive control (MPC), it will be shown that any continuous PWA control law can be obtained by a linear MPC problem with the prediction horizon at most equal to 2 prediction steps. Aside from the theoretical meaning, this result can also be of help to facilitate implementation of PWA control laws by avoiding storing state space partition. Another utility of convex liftings will be shown in the last part of this thesis to be a control Lyapunov function. Accordingly, this convex lifting will be deployed in the so-called robust control design based on convex liftings for linear system affected by bounded additive disturbances and polytopic uncertainties. Both implicit and explicit controllers can be obtained. This method can also guarantee the recursive feasibility and robust stability. However, this control Lyapunov function is only defined over the maximal λ −contractive set for a given 0 ≤ λ < 1 which is known to be smaller than the maximal controllable set. Therefore, an extension of the above method to the N-steps controllable set will be presented. This method is based on a cascade of convex liftings where an auxiliary variable will be used to emulate a Lyapunov function. Namely, this variable will be shown to be non-negative, to strictly decrease for N first steps and to stay at 0 afterwards. Accordingly, robust stability is sought.

La grammaticalité d'une phrase est habituellement conçue comme une notion binaire : une phrase est soit grammaticale, soit agrammaticale. Cependant, bon nombre de travaux se penchent de plus en plus sur l'étude de degrés d'acceptabilité intermédiaires, auxquels le terme de gradience fait parfois référence. À ce jour, la majorité de ces travaux s'est concentrée sur l'étude de l'évaluation humaine de la gradience syntaxique. Cette étude explore la possibilité de construire un modèle robuste qui s'accorde avec ces jugements humains.<br>Nous suggérons d'élargir au langage mal formé les concepts de Gradience Intersective et de Gradience Subsective, proposés par Aarts pour la modélisation de jugements graduels. Selon ce nouveau modèle, le problème que soulève la gradience concerne la classification d'un énoncé dans une catégorie particulière, selon des critères basés sur les caractéristiques syntaxiques de l'énoncé. Nous nous attachons à étendre la notion de Gradience Intersective (GI) afin qu'elle concerne le choix de la meilleure solution parmi un ensemble de candidats, et celle de Gradience Subsective (GS) pour qu'elle concerne le calcul du degré de typicité de cette structure au sein de sa catégorie. La GI est alors modélisée à l'aide d'un critère d'optimalité, tandis que la GS est modélisée par le calcul d'un degré d'acceptabilité grammaticale. Quant aux caractéristiques syntaxiques requises pour permettre de classer un énoncé, notre étude de différents cadres de représentation pour la syntaxe du langage naturel montre qu'elles peuvent aisément être représentées dans un cadre de syntaxe modèle-théorique (Model-Theoretic Syntax). Nous optons pour l'utilisation des Grammaires de Propriétés (GP), qui offrent, précisément, la possibilité de modéliser la caractérisation d'un énoncé. Nous présentons ici une solution entièrement automatisée pour la modélisation de la gradience syntaxique, qui procède de la caractérisation d'une phrase bien ou mal formée, de la génération d'un arbre syntaxique optimal, et du calcul d'un degré d'acceptabilité grammaticale pour l'énoncé.<br>À travers le développement de ce nouveau modèle, la contribution de ce travail comporte trois volets.<br>Premièrement, nous spécifions un système logique pour les GP qui permet la révision de sa formalisation sous l'angle de la théorie des modèles. Il s'attache notamment à formaliser les mécanismes de satisfaction et de relâche de contraintes mis en oeuvre dans les GP, ainsi que la façon dont ils permettent la projection d'une catégorie lors du processus d'analyse. Ce nouveau système introduit la notion de satisfaction relâchée, et une formulation en logique du premier ordre permettant de raisonner au sujet d'un énoncé.<br>Deuxièmement, nous présentons notre implantation du processus d'analyse syntaxique relâchée à base de contraintes (Loose Satisfaction Chart Parsing, ou LSCP), dont nous prouvons qu'elle génère toujours une analyse syntaxique complète et optimale. Cette approche est basée sur une technique de programmation dynamique (dynamic programming), ainsi que sur les mécanismes décrits ci-dessus. Bien que d'une complexité élevée, cette solution algorithmique présente des performances suffisantes pour nous permettre d'expérimenter notre modèle de gradience.<br>Et troisièmement, après avoir postulé que la prédiction de jugements humains d'acceptabilité peut se baser sur des facteurs dérivés de la LSCP, nous présentons un modèle numérique pour l'estimation du degré d'acceptabilité grammaticale d'un énoncé. Nous mesurons une bonne corrélation de ces scores avec des jugements humains d'acceptabilité grammaticale. Qui plus est, notre modèle s'avère obtenir de meilleures performances que celles obtenues par un modèle préexistant que nous utilisons comme référence, et qui, quant à lui, a été expérimenté à l'aide d'analyses syntaxiques générées manuellement.