Le domaine de cette thèse est la théorie des modèles, une branche de la logique mathématique.Ce travail porte sur l'étude d'une classe de théories, appelés théories NIP, qui inclut en particulier des corps ordonnés et corps valués. On y étudie plusieurs aspects. Tout d'abord, on définit une classe particulière de mesures sur ces structures, appelées "mesures génériquement stables". On montre qu'elles ont des propriétés analogues aux types dans une théorie stable, puis on donne des constructions pour en produire. On étudie aussi une forme faible de définissabilité des types. Enfin, on définit une notion de théories NIP "purement instable" et on montre comment on peut, dans le cas général, détecter des parties stables de types. / This thesis deals with model theory, a branch of mathematical logic.We study a particular class of theories called "NIP theories", which includes in particular some ordered fields and valued fields. We are interested in various aspects of those structures. First, we study a specific class of measures, which we call "generically stable measures". We show that they have properties analogous to those of types in a stable theory and we give some constructions to produce them. We also study a weak form of definability of types. Finally, we define a notion of a "purely unstable" NIP theory and show how, in general, we can detect the stable parts of types.

Dans le cadre de la discrétisation par élément finis, les fissures sont décrites comme paires de surfaces interrompant la continuité du corps, et les comportements anélastiques du matériau sont décrits globalement par des lois cohésives, obtenues dans le cadre d'une approche thermodynamique. L'approche développée ici permet aux surfaces cohésives de se développer selon les frontières des éléments solides. Ainsi, une procédure automatique capable de modifier de manière adaptative la topologie d'un maillage a été développée. Bien qu'un tel choix puisse réduire la possibilité de décrire exactement le chemin de la fissure, le procédure a été validée par la simulation de nombreuses expériences de rupture dynamique. Des applications à la rupture dynamique de matériaux fragiles classiques, de matériaux ductiles, de polymères et composites, et de tissus biologiques ont montré que la méthodologie est capable et prédictive. Dans le contexte de problèmes dynamiques, la présence d'une échelle temporelle caractéristique confère aux modèles cohésifs une dépendance en vitesse. Pour conclure ce travail, nous proposons une nouvelle façon de décrire le comportement d'un matériau basée sur les théories cohésives. Le modèle construit explicitement des microstructures particulières basées sur l'introduction de surfaces cohésives equi-espacées dans une matrice solide. Le modèle décrit l'élasticité, la nucléation des défauts et le comportement cohésif et frictionnel. Les microstructures peuvent caractériser ainsi le matériau sur plusieurs échelles de longueur. Un tel modèle est approprié pour décrire le comportement dynamique des matériaux fragiles sous chargement compressif jusqu'à rupture / In the framework of finite element discretization, cracks are modelled explicitly as a pair of surfaces breaking the continuity of the body, and the inelastic behaviors exhibited by the are described globally through cohesive laws derived from a sound thermodynamic background. The approach pursued here allows the cohesive surfaces to develop along boundary surfaces of solid elements. An automatic procedure able to modify adaptively geometry and topology of a solid mesh has been developed. Although such choice may reduce the possibility to describe accurately the crack path, since the crack segments are intrinsically dependent on the initial mesh size, the procedure has been validated through the simulation of a number of dynamic fracture experiments. Applications to dynamic fracture of classic brittle materials, ductile materials, polymers and composites, and biological tissues proved that the methodology is reliable and highly predictive. The presence of a characteristic time scale confers to cohesive models combined with dynamics an intrinsic rate-dependence without the need of modelling viscosity explicitly. As closing part of this work, we propose an innovative material model based on cohesive theories. We directly construct special micro-structures by distributing equi-spaced cohesive surfaces in a continuum material. The model accounts for elasticity of the bulk, nucleation of faults and cohesive and frictional behavior. Micro-structures can the material with several length scales. Such material model is suitable to describe the dynamic behavior up to failure of brittle materials, undergoing compressive loading

L'habitat intelligent est une nouvelle tendance dans les bâtiments résidentiels. Dans ce cadre, notre travail s'inscrit dans le but de réduire la consommation de chauffage. La difficulté du paradigme réside dans le maintien du confort thermique tout en minimisant la consommation. Le cadre formel de notre travail est la théorie des fonctions de croyance qui offre une flexibilité dans la modélisation des données incertaines. La contribution principale de cette thèse est portée par des algorithmes de fusion comportant des données hétérogènes. Une méthodologie spécifique a été mise en place pour la conception de distribution de masses des fonctions de croyance. Le résultat de ces algorithmes est un gradient de température qui intégré, sera la référence de température dans la commande automatique du chauffage. Concernant, la commande du chauffage, nous avons choisi la commande prédictive généralisée (GPC) pour sa capacité à optimiser la fonction de coût. Deux stratégies de fusion sont proposées. Dans le premier algorithme, nous élaborons une fusion de données en deux niveaux; alors que dans le second, nous proposons un algorithme à un seul niveau avec une conception de distribution de masse moins commise. Les résultats de fusion obtenus sont encourageants en termes d'efficacité et de fiabilité. Les simulations du gradient de température avec le GPC montrent que nous obtenons des résultats cohérents ce qui tend à montrer que nous sommes en mesures de proposer des économies de consommation tout en maintenant un niveau de confort thermique convenable / Smart homes have become a new trend in residential buildings. In this context, our work aims to reduce heating consumption. The difficulty of the paradigm lies in maintaining thermal comfort in the building whilst minimizing its consumption. The chosen formal framework is the belief function theory that offers flexibility in uncertain and imprecise data. The main contribution of this thesis consists of suggesting fusion algorithms with heterogeneous data. The result of these algorithms lead to a temperature trend that will be considered as the temperature reference in the generalized predictive control (GPC) of the heating system. For the heating control system, we chose the generalized predictive control for its ability to optimize a quadratic cost function in order to reduce energy consumption. Two strategies are proposed in the conception of the fusion algorithms. Indeed, in the first algorithm, we establish the data fusion in two levels; however, in the second one we propose a one level algorithm with a less committed mass distribution design. The fusion results are encouraging of efficiency and reliability. The test of the temperature trend with the GPC demonstrates that we can achieve promising results to reduce heating energy consumption

Depuis les années 1970, les historiens de la pensée économique comme les sociologues se sont largement penchés sur les interactions entretenues par les outils issus des théories économiques et par les pratiques effectives de marché. Ces travaux indiquent la porosité de la frontière entre activité scientifique – observer, mesurer, théoriser – et participation au monde social. Tel est précisément l’objet d’un courant important de la sociologie économique, portant le nom de « performativité » : les économistes instituent les marchés autant qu’ils les observent et théorisent, ils produisent et façonnent le monde social tel que nous le vivons aujourd’hui. Cette sociologie, que l’on qualifiera de « performativiste », entend étudier l'influence des théories économiques en s'attardant principalement sur les dispositifs techniques dont celles-ci renseignent l'élaboration. Elle part du constat que ces dispositifs encadrent et conditionnent les comportements sociaux, de sorte que la réalité économique est petit à petit amenée à se conformer aux théories. Tel est, par exemple, le principe assumé du design de marché : les économistes conçoivent, à partir de leurs théories, des systèmes d’enchère, d’appariement, ou des plate-formes marchandes, dans le but d’amener la réalité à se comporter comme leurs modèles. S'il convient assurément de souligner l'originalité heuristique de ces réflexions, la présente recherche entend questionner la pertinence explicative des outils conceptuels qu'elles mobilisent, en identifier les limites et apporter une contribution théorique à la question de la performativité. Cette pertinence sera jugée (et c’est un choix qu’il conviendra de justifier) à l’aune de la capacité de la théorie de la performativité à penser les échecs performatifs. À savoir quand une théorie échoue à faire fonctionner le monde social conformément aux mécanismes qu’elle décrit. On montrera que la théorie performativiste arbore un certain type de relativisme, un relativisme qui limite précisément sa capacité à saisir les cas d’échec. On tentera de montrer que cette limite est intimement liée au fait qu’elle aborde principalement la performativité par le prisme des dispositifs techniques. À l'image d'un moteur à explosion ou d'un logiciel open source, le monde social est, dans cette perspective, d'une extrême malléabilité. Libre aux économistes de le façonner à l'image de leurs propres théories. / No English summary available.

Résumé non disponible dans les fichiers attachés à ce document

L'algorithme de complétion de Knuth-Bendix permet, dans certains<br />cas, d'utiliser les systèmes de réécriture pour décider le<br />problème du mot dans un monoïde. Le problème du mot est alors<br />réduit a un calcul de forme normale. Cependant, tous les monoïdes<br />décidables ne peuvent pas être résolus de cette façon. Un<br />programme, initie par Squier, vise a caractériser par des<br />invariants algébriques la classe des monoïde décidables par<br />réécriture.<br />L'objectif de cette thèse est d'étendre ce travail a la réécriture<br />de termes.<br />Nous établissons des conditions de finitude homologique pour<br />l'existence de présentations convergentes de type fini par<br />réécriture de termes de théories équationnelles du premier ordre<br />avec une sorte. Une théorie équationnelle est sémantiquement<br />décrite par une théorie algébrique au sens de Lawvere. Nous<br />introduisons l'homologie de ces théories à coefficients dans les<br />bimodules non additifs, comme généralisation de l'homologie de<br />MacLane des anneaux. Cette homologie admet une interprétation en<br />terme d'homologie de Hochschild-Mitchell de la petite catégorie<br />sous-jacente. Nous généralisons les résolutions libres de Squier<br />et Kobayashi, établies en réécriture de mots, à la réécriture de<br />petites catégories. En utilisant ces résolutions, nous montrons<br />qu'une théorie algébrique admettant une présentation convergente<br />de type fini est de type bi-$\mathrm(PF)_(\infty)$. Nous<br />construisons une théorie équationnelle, non unaire, décidable et<br />n'admettant pas de présentation convergente de type fini.

Cette thèse a pour objet l'étude de la théorie des transitions de phases dans des systèmes désordonnés en dimension deux en utilisant les outils des théories conformes. Le premier chapitre est consacré a un exposé des différentes méthodes et techniques de calcul en théories conformes. Le deuxième chapitre est une présentation des différents types de systèmes désordonnés qui seront etudiés. On y trouvera aussi un bref resumé des résultats les plus connus dans l'étude de ces systèmes. L'application des méthodes de l'invariance conforme aux systèmes désordonnés se fera dans les chapitres 4, 5 et 6, ou l'on calcule les effets que produit un désordre faible dans les modèles d'Ising, de Potts et multicritiques respectivement. Finalement, dans le dernier chapitre, nous analysons les effets du désordre sur certains systèmes qui ont une transition de phases du premier ordre.

Cette thèse se place dans le cadre de la problématique générale de la "nouvelle question urbaine" et a pour objectif de questionner la réalité de la ségrégation urbaine de l'espace francilien des années 1990. En premier lieu, nous définissons les trois éléments principaux sur lesquels repose toute évaluation de ce phénomène : la conception du bien-être individuel et sa mesure, la définition de la ségrégation elle-même et le cadre éthique qui lui est associé. Nous proposons un étalon de mesure du bien-être individuel, la "condition sociale effective" qui s'inscrit dans le cadre de l'approche par les capabilités de Sen, et nous adoptons un critère d'équité sensible à l'inégalité. Après avoir spécifié les outils statistiques permettant d'opérationnaliser l'approche par les capabilités, nous menons une étude empirique qui nous permet de conclure à la réalité de la présence d'unités urbaines ségrégées en Île-de-France pendant les années 1990.

L'objet de cette these est l'etude d'environnements de cordes, principalement caracterisés par leurs proprietes geometriques et leur structure integrable. Les modeles de Wess-Zumino-Witten sont l'archetype de ce type de solution. Ils decrivent la propagation de la corde sur une variete de groupe et appartiennent aux classes de theories des champs conformes bidimensionnelles qui disposent d'algebres de courants affines. Nous etudions l'espace des modules de ces solutions grace a l'outil des deformations marginales persistantes. Les deformations "asymetriques" retiennent tout particulierement notre attention parce qu'outre leurs proprietes d'integrabilite, elles possedent une interpretation remarquable du point de vue spatio-temporel. Dans la suite, nous abandonnons momentanement les systemes critiques pour etudier des excursions hors des points fixes conformes. Nous analysons l'evolution et la relaxation des perturbations sous le flot de renormalisation, vers des situations d'equilibre plus symetriques. Dans la derniere partie de ce travail, nous abordons, dans l'approximation de supergravite, la recherche de solutions avec champs de Ramond-Ramond. Nous mettons en evidence des solutions factorisees d'espaces de courbure constante qui contiennent des plans hyperboliques.

Cette recherche a pour objectif d'élaborer un cadre d'évaluation de la performance d'institutions de micro-financement. Ces institutions sont mises en place pour répondre au besoin de financement de micro-entreprises initiées par des populations pauvres pour satisfaire leurs besoins de base. Ces micro-entrepreneurs, compte tenu de la précarité de leur situation économique et sociale, ont en effet été longtemps exclus du secteur bancaire traditionnel. Pour pallier ces imperfections de marché, différents modes organisationnels ont vu le jour (Organisations Non Gouvernementales, coopératives d'épargne et de crédit, banques, etc.). Habituellement, les auteurs intéressés par cette problématique recourent aux théories contractualistes pour expliquer le phénomène d'exclusion des micro-entrepreneurs du marché du crédit traditionnel et l'émergence de ces modes organisationnels spécifiques. Quoique ce cadre théorique offre des éléments d'explication intéressants pour notre problématique, notre thèse doctorale montre également ses limites. Afin de rendre compte de la multiplicité des objectifs qui peuvent être poursuivis par les membres des institutions de micro-financement (aides aux plus démunis, rentabilité des capitaux, etc.) ainsi que des mobiles qui peuvent animer ceux-ci (intérêts personnels, collectifs, etc.), nous montrons tout l'intérêt d'adopter une perspective conventionnaliste. A la suite de trois études de cas menées en profondeur au Chili, selon les principes méthodologiques de la ‘Grounded Theory', nous proposons un modèle d'évaluation de la performance des institutions de micro-financement qui présente la particularité de tenir compte du registre conventionnel adopté par les membres de ces institutions. Outre les aspects théoriques explicités plus haut, cette thèse prétend également à avoir une portée prescriptive pour les acteurs intéressés par la problématique de l'aide aux populations défavorisées.