Search

Où décide-t-on d'habiter ? Comment s'opère le choix du logement, du quartier, du statut d'occupation ? À ces questions de base répondent ici des chercheurs de différentes disciplines (sociologie, géographie, économie, démographie...), travaillant dans des contextes nationaux divers. Les réponses apportées, tout en soulignant le poids fort des contraintes (économiques, sociales, contextuelles...), montrent l'existence d'options mouvantes, incertaines, justifiant une analyse approfondie.

Two off-label use of ketamine are framed by recommendations: in intractable pain in palliative situations or in postoperative pain. Ketamine is used in hospital but can also be used outside hospital with dispensations by hospital pharmacy to outpatients. Few data are available on ketamine use outside hospital. In this context, the French Addictovigilance Network has set up a study with hospital pharmacies.This survey assesses ketamine dispensations from 1 January to 30 April 2019, for patients who have an administration of ketamine outside hospital.Sixty-five (65) hospital pharmacies have dispensed ketamine for 553 patients. Ketamine was indicated within non-palliative care in 86% of cases. Most of non-cancer pain were in fibromyalgia (44%) and neuropathic pain (29%). During the 4-month monitoring period, 1352 dispensations were analysed. The frequency of administration is daily in 91% of cases within palliative care whereas it is much more diverse within non-palliative care (33% daily, more than 15 different frequency in fibromyalgia). Within palliative care, ketamine is most administered intravenously or by Patient Controlled Analgesia or syringe pump (78% of cases) whereas in non-palliative care, ketamine is most used subcutaneously (44%), orally (32%) or both subcutaneously and orally (20%). A large number of ampoules could be dispensed (more than 30 ampoules for 10% of dispensations).These data highlighted that recommendation in pain are not respected because most of ketamine is used within non-palliative care context and it should be noted a great heterogeneity of practice. This study underlines the urgency of targeted and clear information on certain off-label uses of ketamine for which no robust clinical studies are available and for which the risk of health complications like psychiatric (addiction), urologic and hepatologic complications is proven.

La Commission d'Evaluation de l'Inria a mis en place début 2020, à la demande de la Direction Générale, un groupe de travail visant à réfléchir à des indicateurs pour l'analyse qualitative de l'activité scientifique de l'Institut. Ce document est le fruit des discussions de ce groupe, enrichies par les échanges avec la Direction Générale d'Inria et avec l'ensemble de la Commision d'Evaluation. Au-delà de cette « commande », il nous a semblé important de saisir cette opportunité pour mener une réflexion collective, qui dépasse le cadre de notre Institut, sur les indicateurs, et sur ce qu'ils peuvent ou ne peuvent pas dire de nos pratiques scientifiques.

Les villes du pourtour méditerranéen, ne cessent de se densifier, accroissant ainsi le réchauffement climatique et le phénomène d’îlot de chaleur urbain. L’accélération du phénomène engendre une pluralité de risques pour les territoires, sanitaires, sociétaux, environnementaux, alimentaires et économiques. Dans ce contexte, les politiques et institutions mondiales ont pris conscience de l’impact du changement climatique. Lors de la COP21, les parties sont parvenues à un accord historique afin de lutter contre le changement climatique. Depuis, les villes du pourtour Méditerranéen ont accueilli différents évènements tel que les MedCOP, permettant d’accélérer et d’intensifier les actions et les investissements nécessaire à l’adaptation au changement climatique.

We report the case of a 89 year-old woman admitted to the emergency department for epigastric pain, nausea, vomiting. Because of a circulatory failure with electrocardiographic ST changes and a slight elevation of ultra-sensible troponin, a coronary angiography was performed and found normal coronary arteries. Thoraco-abdominal CT scan revealed a large hiatal hernia causing a cardiac compression, and a left intraventricular obstruction showed by Doppler echocardiography. All signs resolved after fasting and gastric drainage.

info:eu-repo/semantics/published

INTRODUCTION La question des choix résidentiels peut être abordée à travers trois aspects de la mobilité. Le premier est celui de la mobilité spatiale et des migrations. C’est certainement l’aspect le plus étudié concernant les relations entre l’homme et le territoire et celui pour lequel de nombreuses informations sont disponibles, même si ces données comportent un certain nombre de limites. Le deuxième concerne la mobilité journalière, l’usage quotidien de l’espace. Les déplacements effectu...

Les huit chapitres publiés sous la direction des deux chercheures renommées en sciences sociales et politiques exposent les résultats de différentes recherches conduites sur la ville contemporaine, analysée sous l’aspect de sa forme physique, puis comme objet des procédures de l’intervention publique et des promotions immobilières, enfin comme lieu des sociabilités où les habitant·e·s, les citoyen·ne·s, déploient leurs activités quotidiennes : commerces, temps libre, alimentation. En se diffé...

International audience; La consommation de micronutriments est associée à une moindre incidence de pathologies cardiovasculaires. Dans ce contexte, le projet européen Optim’Oils (FP6-2005-FOOD 36318) avait pour objectif principal le développement de nouvelles huiles végétales « soft raffinées » plus riches en micronutriments que les huiles raffinées commerciales. Parmi les huiles naturellement « optimisées » en termes de teneur en phytostérols, tocophérols, phénols et co-enzyme Q10, une huile de colza a été évaluée chez l’Homme sain, par comparaison à l’huile de colza raffinée de façon traditionnelle. Il a été montré que la consommation de l’huile de colza « optimisée » comparativement à l’huile de colza classique modulait favorablement la concentration plasmatique en LDL oxydées (-6 %) et en HDL-cholestérol (+ 2 %), deux effets potentiellement impliqués dans la prévention du risque cardiovasculaire.

il partito politico in Italia tra età liberale, fascismo e Repubblica

Testimonianza e riflessione sul ruolo della storica Madeleine Rébérioux in Italia negli anni 1970-80

This thesis presents detailed results about complexity of parsing in abstract catégorial grammars and parsing algorithms for those grammars. Abstract categorial grammars were introduced by Philippe de groote as a framework for modeling naturallanguage and the connections between its dimensions. Abstract categorial grammars are based on linear logic and linear lambda-calculus. An important part of this work is dedicated to the study of matching in the linear lambda-calculus. Most of the ideas involved in the design of the parsing algorithms we present corne from that study. Furthermore, this study allows to extend the formalism so that it fits better to its goals., Ce travail de thèse contient une étude détaillée de la complexité de l'analyse des grammaires catégorielles abstraites et il présente des algorithmes d'analyse pour ce formalisme. Les grammaires catégorielles abstraites ont été introduites par Philippe de Groote comme un cadre formel pour l'étude du langage et des liens entre ces diverses dimensions. Les grammaires catégorielles abstraites utilisent comme bases formelles la logique linéaire et le lambda-calcul linéaire. Une partie substantielle de ce travail est consacrée à l'étude du filtrage dans le lambda-calcul linéaire; la conception des algorithmes d'analyse proposés est issue pour une bonne part de cette étude qui de plus permet d'envisager une extension du formalisme afin qu'il réponde au mieux à ses ambitions.

The biological desynchronisation hypothesis of (endogenous) depressive disorders arises from the disturbances in the circadian rhythmicity of several biological functions in depressive illness and clinical improvement during various sleep deprivation processes. Furthermore, supportive evidence exists to postulate a central noradrenergic dysfunction, at least in a sub group of depressive disorders. We studied the 24 h kinetics of plasma norepinephrine in patients suffering from Affective Disorders-Major Depressive Episode according to DSM III criteria. Blood samples were drawn hourly from an indwelling venous catheter in supine subjects. Plasma NE was measured by HPLC with electrochemical detection. 5 patients (age: 35-63) were studied in base line drug free depressive state and compared with 5 control subjects (age: 44-53), then, in 4 patients, on the 8th and 21st days under antidepressant treatment. Control subjects exhibited a circadian rhythm of TP but a weak amplitude and low values during sleep, as previously described. Depressed patients did not display any rhythmicity because of a reduced amplitude and high plasma levels during sleep. Antidepressants did not restore the rhythm. Our results suggest a rhythmic instability involving a circadian lability linked to an ultradian release during sleep. This NA disinhibition could participate in the depressive desynchronisation and the potential relationships with sleep disorders must be discussed.

The degree to which nature's cycles influence our body is now obvious, owing to the recent progress of chronobiology. It seems thus that the harmonious internal organization of our circadian rhythms depends on the dual influence of the internal clocks as well as the external temporal informations. These endogenous pacemakers, able to spontaneously generate a rhythmicity the period of which is close to 24 hours, could be triggered by environmental informations, such as light/dark or sleep/Wake cycles, on a 24 hours schedule. The disruption of this entrainment could be involved in major affective disorders. This internal or external desynchronisation seems thus to be the central concept of different models for depression. The internal coincidence model suggests that a phase advance of the strong oscillator in reference to the weak oscillator causes depression. An external coincidence model suggests that depression is caused when light/dark cycle or photoperiod provide too little illumination during a critical photosensitive interval which could be located in the second half of the night. At last, a model comparing the biological rhythms of depressed patients and of healthy volunteers during temporal isolation, suggests that the internal clocks of depressed subjects could be temporarily "blind" to environmental time cues involving internal desynchronisation. These emerging findings should open a new therapeutic approach for depression.

Beside neurochemical imbalances, there are numerous disruptions of circadian rhythms in endogenous depression. Recent studies have actually shown instability in rhythmicity and phase advance of many circadian rhythms in depression (central temperature, cortisol, urinary MHPG...). We have observed the longitudinal evolution of circadian rhythms (core temperature, plasma cortisol) of depressed patients who were treated by a two weeks phase-advance process, then with antidepressant drugs. Our results show that clinical improvement during phase-advance process is much faster than under tricyclics, with the same Hamilton scale level after two weeks of treatment. From a biological point of view, we show an ultradian instability, a phase advance (2 to 4 hours) and modifications of averages and amplitudes of circadian rhythms. These abnormalities tend to disappear during phase-advance process and antidepressant therapy. Phase response curves to the phase shift in depressed patients could be explained by a bad sensitivity of these subjects to external synchronisers linked to an internal dyschronism. These disturbances lead us to link desynchronisation and endogenous depression.

The chronobiological hypotheses of depression are based on epidemiological, biological as well as therapeutical pieces of evidence. The seasonal pattern of depression and suicide rates tend to link affective disorders and the daylight duration. Disturbances of circadian rhythms have been reported in endogenous depression. Treatments of depression, such as manipulations of the sleep/wake cycle, phototherapy or tricyclics, may involve chronobiological mechanisms on endogenous pacemakers. Beside the phase advance hypothesis of depression, present data seem to involve a disturbance of the mechanisms of entrainment of the internal clocks by external synchronizers. Other psychiatric illnesses may thus be linked to chronobiological abnormalities.

International audience

The goal of computational linguistics is to provide a formal account linguistical knowledge, and to produce algorithmic tools for natural languageprocessing. Often, this is done in a so-called generative framework, where grammars describe sets of valid sentences by iteratively applying some set of rewrite rules. Another approach, based on model theory, describes instead grammaticality as a set of well-formedness logical constraints, relying on deep links between logic and automata in order to produce efficient parsers. This thesis favors the latter approach. Making use of several existing results in theoretical computer science, we propose a tool for linguistical description that is both expressive and designed to facilitate grammar engineering. It first tackles the abstract structure of sentences, providing a logical language based on lexical properties of words in order to concisely describe the set of grammaticaly valid sentences. It then draws the link between these abstract structures and their representations (both in syntax and semantics), through the use of linearization rules that rely on logic and lambda-calculus. Then in order to validate this proposal, we use it to model various linguistic phenomenas, ending with a specific focus on languages that include free word order phenomenas (that is, sentences which allow the free reordering of some of their words or syntagmas while keeping their meaning), and on their algorithmic complexity.; La linguistique informatique a pour objet de construire un modèle formel des connaissances linguistiques, et d’en tirer des algorithmes permettant le traitement automatique des langues. Pour ce faire, elle s’appuie fréquemment sur des grammaires dites génératives, construisant des phrases valides par l’application successive de règles de réécriture. Une approche alternative, basée sur la théorie des modèles, vise à décrire la grammaticalité comme une conjonction de contraintes de bonne formation, en s’appuyant sur des liens profonds entre logique et automates pour produire des analyseurs efficaces. Notre travail se situe dans ce dernier cadre. En s’appuyant sur plusieurs résultats existants en informatique théorique, nous proposons un outil de modélisation linguistique expressif, conçu pour faciliter l’ingénierie grammaticale. Celui-ci considère dans un premier temps la structure abstraite des énoncés, et fournit un langage logique s’appuyant sur les propriétés lexicales des mots pour caractériser avec concision l’ensemble des phrases grammaticalement correctes. Puis, dans un second temps, le lien entre ces structures abstraites et leurs représentations concrètes (en syntaxe et en sémantique) est établi par le biais de règles de linéarisation qui exploitent la logique et le lambda-calcul. Par suite, afin de valider cette approche, nous proposons un ensemble de modélisations portant sur des phénomènes linguistiques divers, avec un intérêt particulier pour le traitement des langages présentant des phénomènes d’ordre libre (c’est-à-dire qui autorisent la permutation de certains mots ou groupes de mots dans une phrase sans affecter sa signification), ainsi que pour leur complexité algorithmique.

L’article s’interroge sur le role des politiques publiques et des acteurs publics dans l’emergence de strategies agricoles des villes. Deux echelles d’analyse sont privilegiees : l’effet de cadrage des politiques publiques aux echelles nationales et internationales et les formes de gouvernance mises en place a l’echelle locale. L’analyse s’appuie sur une comparaison des dynamiques dans cinq regions urbaines de Mediterranee (Constantine, Lisbonne, Meknes, Montpellier, Pise). L’etude montre que les politiques publiques jouent un role variable dans l’emergence de strategies agricoles urbaines ; les referentiels qui les sous-tendent peuvent les favoriser ou les contraindre. L’approche comparative met en evidence le role significatif de l’europeanisation des politiques publiques et du paradigme du developpement durable dans l’emergence de ces strategies. Les initiatives et les formes de gouvernance developpees a l’echelle locale s’averent egalement determinantes. Les configurations sont ici tres diverses. Les acteurs publics peuvent etre initiateurs, facilitateurs ou recuperateurs de ces innovations territoriales.

International audience; The article deals with the role of public policies and public actors in the emergence of agricultural strategies of cities. Two scales are analyzed: the framing effect of national and international policies and the forms of governance in place at the local level. The paper is based on a comparative analysis of the current dynamics in five urban areas of the Mediterranean (Constantine, Lisbonne, Meknes, Montpellier, Pisa). The study highlights various roles of public policies in the emergence of urban agriculture strategies; cognitive and normative frames that underpin public policies may promote or constrain such emergence. Our comparative approach underlines the significant role of the Europeanization of public policies and of the sustainable development paradigm in the emergence of these strategies. Initiatives and forms of governance developed at the local level are also decisive factors. Configurations here are very diverse. Public actors can be initiators, facilitators or reclaimers of these territorial innovations.; L’article s’interroge sur le rôle des politiques publiques et des acteurs publics dans l’émergence de stratégies agricoles des villes. Deux échelles d’analyse sont privilégiées : l’effet de cadrage des politiques publiques aux échelles nationales et internationales et les formes de gouvernance mises en place à l’échelle locale. L’analyse s’appuie sur une comparaison des dynamiques dans cinq régions urbaines de Méditerranée (Constantine, Lisbonne, Meknès, Montpellier, Pise). L’étude montre que les politiques publiques jouent un rôle variable dans l’émergence de stratégies agricoles urbaines ; les référentiels qui les sous-tendent peuvent les favoriser ou les contraindre. L’approche comparative met en évidence le rôle significatif de l’européanisation des politiques publiques et du paradigme du développement durable dans l’émergence de ces stratégies. Les initiatives et les formes de gouvernance développées à l’échelle locale s’avèrent également déterminantes. Les configurations sont ici très diverses. Les acteurs publics peuvent être initiateurs, facilitateurs ou récupérateurs de ces innovations territoriales.; L'articolo esamina il ruolo delle politiche pubbliche e dei attori pubblici nella nascita di strate-gie agricole delle città. Due scale di analisi sono svilupate: l'effetto di inquadramento (fra-ming) delle politiche pubbliche nazionali e internazionali e le forme di governo in atto al livel-lo locale. L'analisi si basa sul confronto delle dinamiche in cinque aree urbane del Mediterra-neo (Costantino, Lisbonne, Meknes, Montpellier, Pisa). Lo studio dimostra che la politica pubblica svolge un ruolo variabile nella nascita di strategie di agricoltura urbana; frames co-gnitivi e normativi che sono alla base delle politiche possono incoraggiare o costringere ques-ta nascita. L'approccio comparativo mette in evidenza il ruolo significativo nella nascita di queste strategie della europeizzazione delle politiche pubbliche e del paradigma dello sviluppo sostenibile. Iniziative e forme di governo al livello locale si rivelano anche fattori decisivi. Le configurazioni sono qui diverse. Gli attori pubblici possono essere iniziatori, facilitatori o re-cuperatori di queste innovazioni territoriali.

The goal of computational linguistics is to provide a formal account linguistical knowledge, and to produce algorithmic tools for natural language processing. Often, this is done in a so-called generative framework, where grammars describe sets of valid sentences by iteratively applying some set of rewrite rules. Another approach, based on model theory, describes instead grammaticality as a set of well-formedness logical constraints, relying on deep links between logic and automata in order to produce efficient parsers. This thesis favors the latter approach.Making use of several existing results in theoretical computer science, we propose a tool for linguistical description that is both expressive and designed to facilitate grammar engineering. It first tackles the abstract structure of sentences, providing a logical language based on lexical properties of words in order to concisely describe the set of grammaticaly valid sentences. It then draws the link between these abstract structures and their representations (both in syntax and semantics), through the use of linearization rules that rely on logic and lambda-calculus.Then in order to validate this proposal, we use it to model various linguistic phenomenas, ending with a specific focus on languages that include free word order phenomenas (that is, sentences which allow the free reordering of some of their words or syntagmas while keeping their meaning), and on their algorithmic complexity.; La linguistique informatique a pour objet de construire un modèle formel des connaissances linguistiques, et d’en tirer des algorithmes permettant le traitement automatique des langues. Pour ce faire, elle s’appuie fréquemment sur des grammaires dites génératives, construisant des phrases valides par l’application successive de règles de réécriture. Une approche alternative, basée sur la théorie des modèles, vise à décrire la grammaticalité comme une conjonctionde contraintes de bonne formation, en s’appuyant sur des liens profonds entre logique et automates pour produire des analyseurs efficaces. Notre travail se situe dans ce dernier cadre.En s’appuyant sur plusieurs résultats existants en informatique théorique, nous proposons un outil de modélisation linguistique expressif, conçu pour faciliter l’ingénierie grammaticale. Celui-ci considère dans un premier temps la structure abstraite des énoncés, et fournit un langage logique s’appuyant sur les propriétés lexicales des mots pour caractériser avec concision l’ensemble des phrases grammaticalement correctes. Puis, dans un second temps, le lien entre ces structures abstraites et leurs représentations concrètes (en syntaxe et en sémantique) est établi par le biais de règles de linéarisation qui exploitent la logique et le lambda-calcul.Par suite, afin de valider cette approche, nous proposons un ensemble de modélisations portant sur des phénomènes linguistiques divers, avec un intérêt particulier pour le traitement des langages présentant des phénomènes d’ordre libre (c’est-à-dire qui autorisent la permutation de certains mots ou groupes de mots dans une phrase sans affecter sa signification), ainsi que pour leur complexité algorithmique.

categorial grammars (or, equivalently, lambda-grammars) is formalism based on the simply-typed lambda-calculus. These grammars can be described as grammars of such terms and were introduced in order to bring a model of the syntax-semantics interface in natural language, based on two main ideas: the distinction between the tectogrammatical (i.e. the deep structure of an utterance) and phenogrammatical (i.e. the interpretation of this structure) levels in natural languages, which was expressed by Curry; and an algebraic modeling of the principle of compositionality in order to give account of the semantics of a sentence. an idea formalized by Montague. One of the main advantages of abstract categorial grammars is that both the problems of natural language parsing and generation can be tackled under the same problem: parsing abstract categorial grammars. Efficient algorithms were discovered for abstract categorial grammars of linear and almost linear lambda-terms, while it is known the recognition problem is decidable but non-elementary in general. This work focuses on the study of classes of terms for which parsing can still be solved in polynomial time. The results we give are mainly based on two theorems: the coherence theorem which specifies that a given lambda-term in the desired class must be the unique inhabitant of one of its typing; and the subject expansion theorem, which states that two beta-equivalent terms of the desired class must inhabit the same typings. In order to lead the study, we use an alternative representation of both simply-typed lambda-terms and their typings as games. In particular, we will use this representation in order to prove the coherence theorems for new classes of lambda-terms. Thanks to these results, we will show it is possible to build in a direct way, recognizers for grammars of almost affine lambda-terms as Datalog programs.; Les grammaires catégorielles abstraites (ou λ-grammaires) sont un formalisme basé sur le λ-calcul simplement typé. Elles peuvent être vues comme des grammaires générant de tels termes, et ont été introduites afin de modéliser l'interface entre la syntaxe et la sémantique du langage naturel, réunissant deux idées fondamentales : la distinction entre tectogrammaire (c.a.d. structure profonde d'un énoncé) et phénogrammaire (c.a.d représentation de la surface d'un énoncé) de la langue, exprimé par Curry ; et une modélisation algébrique du principe de compositionnalité afin de rendre compte de la sémantique des phrases, due à Montague. Un des avantages principaux de ce formalisme est que l'analyse d'une grammaires catégorielle abstraite permet de résoudre aussi bien le problème de l'analyse de texte, que celui de la génération de texte. Des algorithmes d'analyse efficaces ont été découverts pour les grammaires catégorielles abstraites de termes linéaires et quasi-linéaires, alors que le problème de l'analyse est non-élémentaire dans sa forme la plus générale. Nous proposons d'étudier des classes de termes pour lesquels l'analyse grammaticale reste solvable en temps polynomial. Ces résultats s'appuient principalement sur deux théorèmes de typage : le théorème de cohérence, spécifiant qu'un λ-terme donné est l'unique habitant d'un certain typage ; et le théorème d'expansion du sujet, spécifiant que deux termes β-équivalents habitent les même typages. Afin de mener cette étude à bien, nous utiliserons une représentation abstraite des notions de λ-termes et de typages, sous forme de jeux. En particulier, nous nous appuierons grandement sur cette notion afin de démontrer le théorème de cohérence pour de nouvelles familles de λ-termes et de typages. Grâce à ces résultats, nous montrerons qu'il est possible de construire de manière directe, un reconnaisseur dans le langage Datalog, pour des grammaires catégorielles abstraites de λ-termes quasi-affines.

categorial grammars (or, equivalently, lambda-grammars) is formalism based on the simply-typed lambda-calculus. These grammars can be described as grammars of such terms and were introduced in order to bring a model of the syntax-semantics interface in natural language, based on two main ideas: the distinction between the tectogrammatical (i.e. the deep structure of an utterance) and phenogrammatical (i.e. the interpretation of this structure) levels in natural languages, which was expressed by Curry; and an algebraic modeling of the principle of compositionality in order to give account of the semantics of a sentence. an idea formalized by Montague. One of the main advantages of abstract categorial grammars is that both the problems of natural language parsing and generation can be tackled under the same problem: parsing abstract categorial grammars. Efficient algorithms were discovered for abstract categorial grammars of linear and almost linear lambda-terms, while it is known the recognition problem is decidable but non-elementary in general. This work focuses on the study of classes of terms for which parsing can still be solved in polynomial time. The results we give are mainly based on two theorems: the coherence theorem which specifies that a given lambda-term in the desired class must be the unique inhabitant of one of its typing; and the subject expansion theorem, which states that two beta-equivalent terms of the desired class must inhabit the same typings. In order to lead the study, we use an alternative representation of both simply-typed lambda-terms and their typings as games. In particular, we will use this representation in order to prove the coherence theorems for new classes of lambda-terms. Thanks to these results, we will show it is possible to build in a direct way, recognizers for grammars of almost affine lambda-terms as Datalog programs., Les grammaires catégorielles abstraites (ou λ-grammaires) sont un formalisme basé sur le λ-calcul simplement typé. Elles peuvent être vues comme des grammaires générant de tels termes, et ont été introduites afin de modéliser l'interface entre la syntaxe et la sémantique du langage naturel, réunissant deux idées fondamentales : la distinction entre tectogrammaire (c.a.d. structure profonde d'un énoncé) et phénogrammaire (c.a.d représentation de la surface d'un énoncé) de la langue, exprimé par Curry ; et une modélisation algébrique du principe de compositionnalité afin de rendre compte de la sémantique des phrases, due à Montague. Un des avantages principaux de ce formalisme est que l'analyse d'une grammaires catégorielle abstraite permet de résoudre aussi bien le problème de l'analyse de texte, que celui de la génération de texte. Des algorithmes d'analyse efficaces ont été découverts pour les grammaires catégorielles abstraites de termes linéaires et quasi-linéaires, alors que le problème de l'analyse est non-élémentaire dans sa forme la plus générale. Nous proposons d'étudier des classes de termes pour lesquels l'analyse grammaticale reste solvable en temps polynomial. Ces résultats s'appuient principalement sur deux théorèmes de typage : le théorème de cohérence, spécifiant qu'un λ-terme donné est l'unique habitant d'un certain typage ; et le théorème d'expansion du sujet, spécifiant que deux termes β-équivalents habitent les même typages. Afin de mener cette étude à bien, nous utiliserons une représentation abstraite des notions de λ-termes et de typages, sous forme de jeux. En particulier, nous nous appuierons grandement sur cette notion afin de démontrer le théorème de cohérence pour de nouvelles familles de λ-termes et de typages. Grâce à ces résultats, nous montrerons qu'il est possible de construire de manière directe, un reconnaisseur dans le langage Datalog, pour des grammaires catégorielles abstraites de λ-termes quasi-affines.