Cette thèse porte sur l'étude de la géométrie de l'espace de spécialisation φ : (X, 0) → (C, 0) d'un germe de singularité analytique complexe (X, 0) sur son cône tangent (CX,0 , 0) du point de vue de l'équisingularité à la Whitney. L'application φ nous donne une famille plate des germes avec section tel que pour chaque t =! 0 le germe φ−1 (t) est isomorphe à (X, 0) et la fibre spéciale est isomorphe au cône tangent. Le but est de établir des conditions sur les strates de la stratification de Whitney minimale de (X, 0) qui assurent l'équisingularité du germe et son cône tangent, generalisant ainsi le résultat de Lê et Teissier pour les hypersurfaces de C3 qui prouve que l'absence des tangentes exceptionnelles est suffisant. Dans ce travail on montre que cette condition est nécessaire et suffisante dans le cas général pour la strate de codimension zero. L'un des ingrédients clés dans la preuve est la théorie de la dépendance integrale sur des ideaux et des modules développé par Teissier, Lejeune, Gaffney, Kleiman, etc, qu'on rappelle au troisième chapitre et où l'on obtient des résultats spécifiques pour cette situation. Les deux premiers chapitres correspondent aux préliminaires, on commence par rappeller la modification de Nash et l'espace conormal d'un espace analytique plongé dans ses versions absolues et relatives à un morphisme et on donne une description explicite de la relation entre le conormal (Nash) relatif de φ : (X, 0) → (C, 0) et le conormal (Nash) de (X, 0). Dans le deuxième chapitre on définit le diagram normal/conormal, l'auréole du germe (X, 0), les cônes exceptionnelles, et on énonce les résultats principaux correspondant à l'équisingularité à la Whitney en incluant la caractérisation des conditions de Whitney en termes du diagramme normal/conormal.

Dans cette thèse on s'intéresse aux matrices infinies considérées comme des opérateurs linéaires dans des espaces de suites. On est ainsi conduit à l'étude des matrices de transformations et à la résolution de systèmes linéaires infinis ayant une infinité dénombrable d'équations et une infinité dénombrable d'inconnues. On donne des applications à la résolution de systèmes différentiels infinis où interviennent des matrices infinies remarquables. Ensuite, on s'intéresse à la résolution d'équations d'espaces de suites (EES) qui sont déterminées par une identité dont chaque terme est une somme ou un produit d'espaces de suites de type s_a et s _{\phi(x)} où \phi est une application de U^+ dans lui même et x est la suite inconnue. La résolution de telles équations consiste à déterminer l'ensemble de toutes les suites x qui satisfont l'équation. Puis, on étudie le spectre de l'opérateur de différence d'ordre un \Delta dans de nouveaux espaces de suites et on considère enfin des applications directes de la théorie des matrices infinies à des problèmes d'optimisation où on présente des résultats donnés par B. de Malafosse et A. Yassine pour déterminer le nombre de chemins comportant N arcs et reliant deux points quelconques dans le plan à l'aide d'une matrice booléenne infinie de Toeplitz.

Actuellement, le développement du travail en mode projet, ainsi que le travail en réseaux, entraînent de profondes modifications dans la manière de concevoir les espaces de travail et les bureaux. Les entreprises qui conçoivent ces espaces associent souvent des architectes et des designers.La thèse a pour objet de répondre à la question suivante : comment les connaissances nouvelles sont elles générées dans les activités de conception relatives au domaine de l'aménagement des espaces de travail ?Le premier chapitre s'articulera autour des différents travaux relatifs aux activités deconception (travaux de Lebahar, Hatchuel et Visser, etc.). Le second s'intéressera aux différentes théories relatives à la génération des connaissances (travaux de Nonaka, Tsoukas et Engeström, etc).Afin de répondre à notre question de recherche, nous avons mis en place un dispositif d'observation de longue durée au sein des entreprises étudiées (approche de nature ethnométhdologique). Il s'agit de deux entreprises parisiennes spécialisées dans l'aménagement des espaces de travail: Génie des Lieux et Workspace CBRE.Nous avons montré que des difficultés d'intercompréhension apparaissent dans les activités de conception. Ces obstacles sont dûs à l'existence des connaissances tacites relationnelles au sens d'Harry Collins. Ces dernières peuvent être rendues explicites par la conception d'objets intermédiaires. Nous avons vu également comment la conception des artefacts en deux dimensions et en trois dimensions permet la génération des connaissances nouvelles et utiles dans un projet d'aménagement d'espaces de travail. / The development of this work is currently carried out in a project mode, since working in the network requires deep modifications in a way of conceiving the workspaces as well as the offices. The enterprises that conceive these spaces often associate both the designers and the architects.The purpose of this present thesis is to answer the flowing question: how are the recent knowledges generated in the conception activities which appear in the field of work space planning?The first chapter focuses on the works related to the conception activities (works of Lebahar, Hatchuel and Visser...etc...). The second deals with the different theories relating to the generation of knowledge (works of Nonaka, Tsoukas and Engeström... etc...).To answer our research question, we have installed a device which requires a long_term intervention inside the enterprises meant for study (ethnomethodological approach). There are two Parisian enterprises that specialize in work space planning: (GENIE DES LIEUX and workspace CBRE).During the work, we have shown some difficulty intercomprehension that emerged in the conception activities. We have concluded, as a result, that these obstacles were due to relational tacit knowledges (RTK) according to Harry Collins theory. However these difficulties can be made explicit by the conception of intermediate objects.We have also noticed that ho when conceiving the artifacts into two and three dimensions, this allows the generation of new and useful knowledges in a project of work space planning.

Depuis les années 1970, les espaces publics des métropoles contemporaines sont devenus d’importants enjeux pour les pouvoirs publics municipaux soucieux de leur attractivité comme pour certains habitants attachés à leur cadre de vie. Les discours qui accompagnent cette valorisation insistent sur la qualité urbaine, mais la production d’espaces sûrs et conviviaux induit également des processus d’exclusion ou d’altérisation. La multiplicité des figures de la menace est alimentée par la diffusion de discours sécuritaires qui érigent certains groupes en symboles de la dégradation des espaces. Ce réinvestissement de l’espace public à la fois sur le plan sémantique et matériel se traduit donc par différentes mesures visant à mieux contrôler ses usages et son image.Ma recherche s’appuie sur trois études de cas à Paris : le mobilier urbain, le système d’accréditation des musiciens dans le métro et les patrouilles de correspondants de nuit. Ces dispositifs de gestion de l’indésirabilité donnent aux producteurs et gestionnaires d’espaces publics la possibilité d’assurer une mise en ordre du social par une mise en ordre du spatial. Leur analyse me permet de cerner différentes figures d’indésirables et les registres de justification déployés par les acteurs institutionnels ou certains entrepreneurs de morale pour défendre des hiérarchies dans les droits d’usage des espaces publics. L’indésirabilité étant une construction sociale et culturelle, mon objectif a été de dénaturaliser ces catégorisations dominantes pour mettre à jour des rapports de pouvoir asymétriques et montrer comment ils se matérialisent dans la production et la régulation des espaces publics / Since the 70’s the public spaces of the contemporary metropolis have become important issues for municipal authorities concerned with their attractiveness as well as for some inhabitants who feel committed to their environment. Speeches surrounding such valorization insist on urban quality, but the production of safe and user-friendly spaces also implies processes of exclusion or alterization. The large number of threat figures is sustained by the diffusion of security discourses that make some groups into symbols of urban decay. Such reinvestment of public space on both the semantic and material level is therefore translated into different measures aiming at better controlling its uses and its image.My research relies on three case studies in Paris: urban furniture, licensing of some subway musicians, and the city’s security patrol services. These devices used for managing the undesirables allow the producers and managers of public spaces to put in order the social by putting in order the spatial. Analyzing these devices gives me the means for discerning different figures of undesirable people and records of justification enacted by institutional agencies or moral entrepreneurs in order to defend hierarchies in the rights of using public spaces. As undesirability is a social and cultural construction, I focused on denaturalizing these dominant categorizations, in order to highlight asymmetrical power relations and to show how they materialize in the production and the regulation of public spaces

L’objectif de cette thèse est l’étude de la fonction zêta des hauteurs motivique associée à un problème de comptage de courbes sur les compactifications équivariantes d’espaces affines, résolvant au chapitre 6 l’analogue motivique de la conjecture de Manin pour celles-ci. La fonction zêta des hauteurs provenant du problème de comptage considéré est récrite convenablement à l’aide d'une formule de Poisson motivique démontrée au cinquième chapitre, qui généralise celle de Hrushovski-Kazhdan. Chaque terme est alors décomposé sous la forme d'un produit eulérien motivique, dont la définition et les propriétés sont établies au chapitre 3. La convergence de ces produits eulériens doit être comprise pour une topologie des poids que nous introduisons au quatrième chapitre et qui repose d'une part sur la théorie des modules de Hodge de Saito, et d'autre part sur une mesure motivique sur l’anneau de Grothendieck des variétés avec exponentielles, construite dans le chapitre 2 à l’aide de la notion de cycles évanescents motiviques. On en déduit ainsi une description de l'asymptotique d'une proportion positive des coefficients du polynôme de Hodge-Deligne des espaces de modules des courbes sur la compactification équivariante donnée, lorsque le degré tend vers l'infini. / The goal of this thesis is the study of the motivic height zeta function associated to the problem of counting curves on equivariant compactifications of vector groups, solving in chapter 6 the motivic analogue of Manin's conjecture for such varieties.The motivic height zeta function coming from this counting problem is rewritten in a convenient way using a Poisson summation formula proved in chapter 5, and which generalises Hrushovski and Kazhdan's motivic Poisson formula. Each term is then expressed as a motivic Euler product, the definition and properties of the latter being established in chapter 3. The convergence of these Euler products must be understood for a weight topology which we introduce in the fourth chapter and which relies both on Saito's theory of mixed Hodge modules and on a motivic measure on the Grothendieck ring of varieties with exponentials, constructed in chapter 2 using the notion of motivic vanishing cycles. We deduce from this a description of the asymptotic of a positive proportion of the coefficients of the Hodge-Deligne polynomial of the moduli spaces of curves on the given equivariant compactification, when the degree goes to infinity.

Avec l'intégration croissante des fonctions, les systèmes embarqués modernes deviennent très intelligents et sophistiqués. Les exemples les plus emblématiques de cette tendance sont les téléphones portables de dernière génération, qui offrent à leurs utilisateurs un large panel de services pour la communication, la musique, la vidéo, la photographie, l'accès à Internet, etc. Ces services sont réalisés au travers d'un certain nombre d'applications traitant d'énormes quantités d'informations, qualifiées d'applications de traitements intensifs de données. Ces applications sont également caractérisées par des comportements multi-horloges car elles comportent souvent des composants fonctionnant à des rythmes différents d'activations lors de l'exécution. Les systèmes embarqués ont souvent des contraintes temps réel. Par exemple, une application de traitement vidéo se voit généralement imposer des contraintes de taux ou de délai d'affichage d'images. Pour cette raison, les plates-formes d'exécution doivent souvent fournir la puissance de calcul requise. Le parallélisme joue un rôle central dans la réponse à cette attente. L'intégration de plusieurs cœurs ou processeurs sur une seule puce, menant aux systèmes multiprocesseurs sur puce (en anglais, "multiprocessor systems-on-chip - MPSoCs") est une solution-clé pour fournir aux applications des performances suffisantes, à un coût réduit en termes d'énergie pour l'exécution. Afin de trouver un bon compromis entre performance et consommation d'énergie, l'hétérogénéité des ressources est exploitée dans les MPSoC en incluant des unités de traitements aux caractéristiques variées. Typiquement, des processeurs classiques sont combinés avec des accélérateurs (unités de traitements graphiques ou accélérateurs matériels). Outre l'hétérogénéité, l'adaptativité est une autre caractéristique importante des systèmes embarqués modernes. Elle permet de gérer de manière souple les paramètres de performances en fonction des variations de l'environnement et d'une plate-forme d'exécution d'un système. Dans un tel contexte, la complexité du développement des systèmes embarqués modernes paraît évidente. Elle soulève un certain nombre de défis traités dans nos contributions, comme suit : 1) tout d'abord, puisque les MPSoC sont des systèmes distribués, comment peut-on aborder avec succès la correction de leur conception, de telle sorte que les propriétés fonctionnelles des applications multi-horloges déployées puissent être garanties ? Cela est étudié en considérant une méthodologie de distribution "correcte-par-construction" pour ces applications sur plates-formes multiprocesseurs. 2) Ensuite, pour les applications de traitement intensif de données à exécuter sur de telles plates-formes, comment peut-on aborder leur conception et leur analyse de manière adéquate, tout en tenant pleinement compte de leur caractère réactif et de leur parallélisme potentiel ? 3) Enfin, en considérant l'exécution de ces applications sur des MPSoC, comment peut-on analyser leurs propriétés non fonctionnelles (par exemple, temps d'exécution ou énergie), afin de pouvoir prédire leurs performances ? La réponse à cette question devrait alors servir à l'exploration d'espaces complexes de conception. Nos travaux visent à répondre aux trois défis ci-dessus de manière pragmatique, en adoptant une vision basée sur des modèles. Pour cela, ils considèrent deux paradigmes complémentaires de modélisation flot de données : la "modélisation polychrone" liée à l'approche synchrone réactive, et la "modélisation de structures répétitives" liée à la programmation orientée tableaux pour le parallélisme de données. Le premier paradigme permet de raisonner sur des systèmes multi-horloges dans lesquels les composants interagissent, sans supposer l'existence d'une horloge de référence. Le second paradigme est quant à lui suffisamment expressif pour permettre la spécification du parallélisme massif d'un système.