No description available.

Nous commençons par développer la notion de groupe fondamental d'un champ algébrique, à l'aide de sa catégorie de revêtements étales. Cette définition coïncide avec celle, en termes de schémas simpliciaux, de T. Oda. Nous montrons aussi qu'elle permet de retrouver le groupe fondamental profini de l'orbifold analytique associé puis établissons une suite exacte reliant groupe fondamental géométrique et algébrique d'un champ algébrique sur un corps. Dans un deuxième chapitre, après avoir défini les notions d'espace tangent et de diviseur à croisements normaux dans le cadre des champs algébriques, nous généralisons celle de point base tangentiel, bien connue pour les schémas de carcatéristique nulle, aux champs algébriques en caractéristique quelconque. Dans un troisième chapitre, nous montrons que les strates ouvertes de la stratification de l'espace de modules de courbes stables de genre $g$ à $n$ points marqués peuvent se décrire à l'aide des espaces de modules de courbes lisses de dimension inférieure. Nous expliquons aussi comment un graphe en rubans permet de décrire un point-base tangenciel sur ces espaces de modules. Dans un dernier chapitre, nous détaillons certains liens entre la tour des groupoïdes fondamentaux des espaces de modules de courbes lisses relatifs aux points-bases tangenciels précédemment construits et le groupoïde de Lyubashenko, en y construisant certains chemins (torsion, tressage) et en établissant certaines relations entre ces chemins. Dans deux appendices, nous détaillons les notions de champ algébrique et de 2-catégorie.

L'objet de cette thèse est d'étudier les capacités du système Coq à mélanger démonstrations et programmes en pratique en essayant d'y implémenter une part du programme Kenzo, un outil de calcul formel en algèbre homologique. À cet effet, nous travaillons sous trois contrainte: nous voulons essayer de lire le programme comme une démonstration avec un contenu calculatoire, ces démonstrations doivent calculer efficacement et nous cherchons à éviter de dupliquer des morceaux de démonstration. Nous montrons dans un premier temps comment le soucis d'efficacité conduit à reconsidérer certains aspects des mathématiques traditionnelle. Nous proposons une abstraction catégorielle adaptée, qui répond à la fois à un soucis de clareté et au besoin de partager les démonstration quand c'est possible. Cette abstraction, bien que différente des propositions traditionnelles, permet de formuler les notions d'algèbre homologique dans un style proche de celui de Kenzo. Nous proposons par ailleurs des modifications au programme de Coq pour rendre les démonstrations plus confortables, et pour permettre d'écrire des programmes plus efficaces. La première modification permet d'utiliser des tactiques plus fines, souvent nécessaire quand l'utilisation des types dépendents se fait commune. La seconde permet d'utiliser les capacité du processeur pour faire des calculs plus efficaces sur des entiers. Pour finir nous proposons quelques pistes pour améliorer le partage et la clareté du code. Malheureusement, nous nous heurtons aux limites du système. Nous montrons ainsi que Coq ne tiens pas forcément ses promesses et qu'il y aura besoin de travaux théoriques pour comprendre comment lever ces limites.

Thèse numérisée par la Division de la gestion de documents et des archives de l'Université de Montréal

Nous développons une version homotopique de la théorie de Morita classique en utilisant la notion de monade forte. C'était Anders Kock qui a montré qu'une monade T dans une catégorie monoidale E est forte si et seulement si la monade T est enrichie. Nous montrons que cette correspondance entre force et enrichissement se traduit par un 2-isomorphisme de 2-catégories. Sous certaines conditions sur la monade T, nous montrons que la catégorie homotopique des T-algèbre est équivalente au sens de Quillen à la catégorie homotopique des modules sur le monoïde d'endomorphismes de la T-algèbre T (I) librement engendré par l'unité I de E . Dans le cas particulier où E est la catégorie des Γ-espaces de Segal munie de la structure de modèle stable de Bousfi eld-Friedlander et T est la monade forte associée à une Γ-théorie bien pointée, nous retrouvons un théorème de Stefan Schwede, comme corollaire du théorème homotopique de Morita.

Un large courant de recherche en sciences sociales vise à l'identification de catégories d'analyse intermédiaires, entre individu et population, parmi lesquelles figure la notion d'espace de vie. Cette notion est initialement proposée en géographie, puis des démographes, le plus souvent intéressés par les migrations, s'en emparent : l'individu n'est plus rattaché uniquement à son lieu de résidence mais à l'ensemble des lieux avec lesquels il est en rapport. <br />La mise en œuvre empirique de la description d'espaces de vie en démographie nécessite deux étapes préalables : délimiter les contours de l'espace de vie étudié, selon les différentes dimensions qui le caractérisent, et trouver les corpus de données spécifiques nécessaires. <br />Plusieurs types d'espaces de vie sont ainsi explorés et des indicateurs à même de les synthétiser dans une approche quantitative sont proposés. Ces espaces sont tout d'abord définis à un moment donné. Néanmoins, l'espace et le temps se combinent. D'une part, les lieux qui constituent les espaces de vie changent. D'autre part, les espaces de vie évoluent au fil de la trajectoire des individus. La complexité de la succession de ces transformations amène à envisager des trajectoires, de manière globale, qui forment ce que l'on peut appeler l'espace de toute une vie. Leur analyse nécessite de recourir à des méthodes adaptées : des approches novatrices de construction de typologies de trajectoires.

Ce travail porte sur la catégorie d’action publique « jeunes en errance ». Il vise à comprendre son impact sur la mise en œuvre de l’action publique sur le terrain au travers de l’analyse des usages qu’en font les acteurs professionnels et les jeunes eux-mêmes. Après avoir retracé les étapes de la constitution du phénomène de l’errance des jeunes en problème public, nous avons analysé le rôle de l’Etat social dans la prise en charge de ce problème, au prisme de la norme instituée de l’insertion pour les jeunes. Ceci nous a permis d’en pointer les apories et notamment la bascule rapide des jeunes cumulant des difficultés depuis l’enfance vers le circuit de l’infra-assistance. A l’aune de ces constats, nous montrons en quoi la relation d’aide devient un lieu de renégociation des objectifs de l’action publique, les artisans de la relation d’aide considérés étant les professionnels de terrain et les jeunes usagers des services d’aide. L’analyse des pratiques professionnelles nous a révélé leur caractère « bricolé ». Nous avons ici pu démontrer qu’elles permettaient de redéfinir les cadres de l’action publique en direction des « jeunes en errance ». Grâce à la mise en place d’une éthique de l’intervention centrée sur la prise en compte des spécificités des jeunes accueillis, les professionnels fabriquent des ponts leur permettant d’aller au-delà des manques de l’aide publique. Nous avons également analysé les comportements des jeunes fréquentant régulièrement les structures de l’urgence sociale. Leur mode de recours à l’aide leur permet d’asseoir une identité légitime de « jeunes en errance », qu’ils valorisent au sein de la relation d’aide. Ils mettent en place des stratégies identitaires les autorisant à renégocier les cadres de l’attribution de l’aide, en y ayant recours de manière détournée ou partielle. Ils ignorent ainsi les objectifs d’insertion qui lui sont attachés, en en faisant un usage routinier, les entretenant alors dans une carrière de « jeunes en errance ». / This research investigates the French public action category “jeunes en errance” (which will be translated by “homeless youth”). It aims at understanding the impact of this category on the implementation of the public action, through the analysis of the usage that both the professional actors and the youth make of it. After having redrawn the stages of the construction of the homeless youth phenomenon as a public problem, the analysis focused on the role of the Welfare state based on the instituted norm of the youth’s integration. Paradoxes of public action have thus been identified, such as the quick turnaround towards the infra-assistance system of young people who have accumulated difficulties since their childhood. In the light of these findings, the research then shows how this “support relationship” transforms itself in an arena for the renegotiation of the public action's objectives between the professionals on the one hand, and the youth recipients of the services on the other hand. The analysis of the professional's practices puts the light on their unstable dimension. The research has shown that these practices facilitated the redefinition of the frameworks of the public action toward “homeless youth”. Through the setting of an intervention’s ethics based on the specificities of each young person, the professionals manage to compensate the shortages of public assistance. The behavior of young people who frequently resort to the structures of social emergency have also been investigated. The analysis has identified the process of construction of a legitimate identity of “homeless youth”, which young people put forward within the assistance relationship. They set up identity strategies which enable them to renegotiate the conditions of the allocation of support, by resorting to it but only in a partial or in an indirect way. Thus, they ignore the insertion objectives which are attached to these public measures and make a routinized usage of them, which contributes to maintain them in a “homeless youth” career.

Cette thèse analyse l'émergence, en France, de la question du non-recours à la Couverture maladie universelle complémentaire (CMU C) et à l'Aide complémentaire santé (ACS), ainsi que son institutionnalisation dans la branche Maladie de la Sécurité sociale. La CMU C et l'ACS ont été créées pour limiter les inégalités d'accès aux soins. Celles-ci se sont en effet accrues avec les augmentations continues des frais de santé laissés à la charge des patients. Au croisement de la socio-histoire, de la sociologie de l'action publique et de la sociologie des organisations, le processus d'institutionnalisation du non-recours est étudié de manière chronologique, au travers de séquences d'action qui ont : initié une attention pour le phénomène ; positionné ses enjeux au regard des restructurations de la protection maladie des plus démunis ; construit des représentations et structuré une stratégie d'action pour le traiter. Principalement problématisé autour d'un enjeu d'effectivité des droits CMU C et ACS, le non-recours est devenu peu à peu un instrument opérationnel de la correction des inégalités d'accès aux soins, définie comme axe prioritaire de la gestion du risque maladie. Sa prise en compte a engagé l'Assurance maladie dans des changements profonds de pratiques et d'organisation du travail. De manière surplombante, c'est une transformation du rapport de l'institution à ses ressortissants fragiles qui s'est enclenchée, afin de faire en sorte que les populations démunies se rapprochent de leurs droits. En ce sens, l'institutionnalisation du non-recours s'inscrit dans un mouvement qui vise à concentrer les moyens et les actions de la branche Maladie sur les populations dites fragiles. Une approche de l'action publique par le non-recours aux droits paraît ainsi pertinente pour comprendre comment l'intégration de problèmes émergents, peu visibles ou volontairement ignorés, leur mise en sens par des acteurs publics et l'institution de nouvelles catégories d'action viennent travailler les organismes administratifs bureaucratiques dans leurs fonctionnements, leurs logiques et leurs normes d'intervention les plus ancrés. L'approche par le non recours est, en l'occurrence, un traceur du changement opéré à l'aune des ressortissants de l'action publique. / This thesis analyzes the emergence, in France, of the issue of non take-up of Free Supplementary Health Insurance Coverage (“Couverture maladie universelle complémentaire” or “CMU-C”) and Assistance for Private Health Insurance (“Aide complémentaire santé” or “ACS”), as well as its institutionalization within the Health branch of the Social Security system. The CMU-C and the ACS have been created to limit the inequalities in access to healthcare. These have indeed risen with the continuous increase of health expenses left payable by the patients. At the crossroads of socio-history, sociology of public action and sociology of organizations, the process of institutionalization of non take-up is studied chronologically, through sequences of action which have: brought to attention the phenomenon; positioned its challenges in light of the health care restructurings for the most destitute; built representations and structured a plan of action to treat it. Problematized primarily around the challenge of operativity of the CMU-C and ACS benefits, the non take-up has gradually become an operational tool for the correction of inequalities in access to healthcare, which was defined as a priority in the management of health issues. Addressing it has committed the health system to profound changes in its practices and work organization. Overarching it, a transformation of the institution's relationship to its vulnerable nationals has been set into motion, to ensure that the destitute populations are brought closer to their benefits. In this respect, the institutionalization of non take-up is part of a movement that seeks to concentrate the resources and actions of the Health branch on the populations considered vulnerable. An approach of public action by the non take-up of benefits thus appears relevant for understanding how the integration of emerging problems, less visible or deliberately ignored, their sensegiving by public actors and the institution of new categories of action, come to challenge the bureaucratic administrations in their most entrenched functioning, logic and standards of intervention. The approach by the non take-up is, as it happens, an indicator of change operated with regard to public action beneficiaries.

Le but de cette thèse est l'étude, d'un point de vue fonctoriel, des K-théories de Morava modulo 2 des 2-groupes abéliens élémentaires. Autrement dit, nous étudions les foncteurs covariants $V \mapsto K(n)^*(BV^{\sharp})$ pour le premier p=2 et n un entier positif.Le cas n=1, qui résulte directement du travail d'Atiyah sur la K-théorie topologique, nous donne un foncteur coanalytique qui ne possède aucun sous-foncteur polynomial non-constant. Il est très différent du cas n>1, où les foncteurs mentionnés ci-dessus s'avèrent être analytiques.La théorie de Henn-Lannes-Schwartz fournit une correspondance entre les foncteurs analytiques et les modules instables sur l'algèbre de Steenrod. Nous déterminons le module instable correspondant au foncteur analytique $V \mapsto K(2)^*(BV^{\sharp})$, en étudiant la relation entre ce foncteur et la structure d'anneau de Hopf de l'homologie de l'omega-spectre associé à la théorie K(2). / The aim of this PhD thesis is to study, from a functorial point of view, the mod 2 Morava K-theories of elementary abelian 2-groups. Namely, we study the covariant functors $V \mapsto K(n)^*(BV^{\sharp})$ for the prime p=2 and n a positive integer.The case n=1, which follows directly from the work of Atiyah on topological K-theory, gives us a coanalytic functor which contains no non-constant polynomial sub-functor. This is very different from the case n>1, where the above-mentioned functors are analytic.The theory of Henn-Lannes-Schwartz provides a correspondence between analytic functors and unstable modules over the Steenrod algebra. We determine the unstable module corresponding to the analytic functor $V \mapsto K(2)^*(BV^{\sharp})$, by studying the relation between this functor and the Hopf ring structure of the homology of the omega-spectrum associated to the theory K(2).

Les accords verticaux correspondent pour l'essentiel au monomarquisme, à la distribution exclusive, à l'achat exclusif, à la distribution sélective, à la franchise et à la concession. Bien que leur diversité soit grande, ils constituent la plupart du temps des accords "de" concurrence car ils développent la concurrence intermarques. L'objectif principal de cette étude est de rechercher et d'analyser les critères d'appréciation des accords verticaux de distribution en droit de la concurrence français, communautaire et argentin. En droit de la concurrence communautaire, les accords de distribution font l'objet d'une importante réglementation et d'une riche jurisprudence. Les règles relatives aux accords verticaux ont subi une réforme qui a abouti à l'adoption d'un nouveau règlement d'exemption par catégorie (Règlement n° 330/2010) accompagné de nouvelles Lignes directrices sur les restrictions verticales. De nombreux accords verticaux bénéficient ainsi d'une exemption catégorielle leur conférant une présomption de légalité et en l'absence que ces accords bénéficient d'un règlement d'exemption par catégorie, ils demeurent tout de même exemptables, à condition que soit établi un bilan économique positif, notamment en raison de gains d'efficience. À la différence du droit communautaire de la concurrence, le droit argentin de la concurrence relatif aux accords verticaux n'a pas adopté de règlements d'exemption par catégorie et les autorités de concurrence argentines procèdent à une analyse au cas par cas des accords au travers de la règle de raison ainsi qu'à une analyse de leur incidence sur l'intérêt économique général. / Vertical agreements mostly correspond to single branding, exclusive distribution, exclusive purchase, selective distribution, franchising and concession. Although their variety is large, most of the time they constitute competition agreements because they increase inter-brand competition. The main aim of this study is to look for and to analyse the assessment criteria of distribution vertical agreements in French, European and Argentine Competition Laws. In European Competition Law, an important set of regulations and a rich case-law exist concerning distribution agreements. The rules concerning vertical agreements have been reformed ; as a consequence of this reform, a new Block Exemption Regulation (Regulation No 330/2010) has been adopted and accompanied by new Guidelines on Vertical Restraints. Lots of vertical agreements also benefit from Block Exemption which confers them a presumption of legality and in case these agreements do not benefit from the Block Exemption Regulation, they still can be exempted on the condition that a positive economic balance should be established, notably in view of efficiency gains. Unlike European Competition Law, the Argentine Competition Law concerning vertical agreements has not adopted Block Exemption Regulation and the Argentine competition authorities analyse each agreement in the light of the Rule of Reason and analyse their impact on the general economic interest.