Nous nous intéressons au sujet de la confidentialité et de la déclassification. Nous étudions en particulier l'usage d'un système de types et d'effets pour assurer de manière statique des politiques de sécurité flexibles pour un langage d'ordre supérieur impératif avec concurrence. Une méthodologie générale pour définir et prouver la correction du système de types et d'effets pour de telles propriétés est présentée. Nous considérons deux points principaux : - La question de trouver un mécanisme flexible de contrôle d'information qui permet la déclassification. Notre mécanisme de déclassification prend la forme d'une déclaration de politique locale de flux qui implémente une politique locale de flux d'information. - La question jusqu'ici inexplorée de contrôler les flux d'information dans un environnement global. Notre modèle de réseau, qui généralise l'environnement global, inclut une notion de domaine et une primitive de migration standard pour le code et les ressources. De nouvelles formes de perte d'information, introduites par la mobilité du code, sont révélées. Dans les deux cas mentionnés ci-dessus, pour prendre en compte les politiques de flux globales nous introduisons des généralisations de la non-interférence, qui sont nommées non-divulgation et non-divulgation pour les réseaux. Ces généralisations sont obtenues `a l'aide d'une représentation concrète des treillis de sécurité, où les nivaux de confidentialité sont des ensembles de principaux, semblables `a des listes de contrôle d'accès.

Les travaux sur les processus d'occupation de l'espace par les couches populaires en Amérique Latine ont jusqu'ici privilégié la dimension résidentielle de l'habiter et l'objet logement, négligeant la dimension du déplacement, qui constitue pourtant une composante structurante de la vie quotidienne. Cette recherche veut contribuer à combler ce vide. Elle se fonde sur le cas de la ville de Chosica, située dans l'aire d'influence de la métropole de Lima au Pérou, et où sont planifiés d'importants travaux d'infrastructure qui vont bouleverser les conditions de mobilité. Dans ce contexte d'attente de projet, le travail analyse les pratiques quotidiennes de déplacement des couches populaires et l'espace qui leur sert de support. L'approche empirique du phénomène combine différentes méthodes, parmi lesquelles des entretiens semi structurés, des observations de terrain, des entretiens approfondis, des cartes mentales et des recits de vie.

La mobilité joue un grand rôle à Niamey, où le besoin de déplacement des habitants croît avec l'étalement continu de la ville. Les habitants de Niamey sont de ce fait contraints de se déplacer pour des raisons professionnelles, d'achats ou des loisirs, etc. Soumise à une croissance démographique soutenue et son corollaire un étalement spatial continu Niamey est caractérisée par la concentration des services, équipements et commerces dans le centre ville et une périphérie dortoir. Cette distribution de fonction entraine une augmentation des distances entre le lieu d'habitation et les zones administratives et commerciales sises au cœur de la ville posant de sérieux problèmes de transport urbain du fait de la faiblesse de l'offre des services, la vétusté des infrastructures et le difficile accès aux moyens de transport sont des problèmes récurrents pour les populations. Parmi les catégories le moins mobiles, il y a les pauvres, femmes, les personnes âgées, etc. Les habitants des quartiers périphériques sont les plus défavorisés : ils se déplacent peu et sont donc faiblement intégrer à l'ensemble de la ville. Le tarif de la course élément fondamental du coût de déplacement influence beaucoup le choix de tel ou tel moyen de transport (taxi tête rouge, faba-faba, bus de la SOTRUNI) selon le pouvoir d'achat du client. Se déplacer dans de bonnes conditions, par nécessité ou par convenance, est pour chaque citoyen un aspect essentiel de la vie quotidienne. C'est aussi une des clés de l'urbanité et de la performance des agglomérations. La question des déplacements urbains est donc au cœur de la gestion politique des villes. / Mobility plays an important role in Niamey , where the need for movement of people increases with the continuous urban sprawl . The people of Niamey are therefore forced to move for business reasons shopping , or recreation. Subject to population growth and its corollary a continuous urban sprawl Niamey is characterized by the concentration of services, facilities and shops in the city center and a periphery dormitory. This distribution function leads to an increase of the distance between the place of residence and the administrative and commercial areas lying to the heart of the city posing serious urban transport problems due to the lack of supply of services, poor infrastructure and poor access to transport are recurring problems for people . Among the less mobile groups , there are the poor, women, elderly, etc. . The inhabitants of the suburbs are the most disadvantaged : they move little and are weakly integrated into the whole city . The rate of the fundamental race travel cost greatly influence the choice of a particular mode of transport (red taxi head - faba faba bus SOTRUNI ) according to the purchasing power of the customer. Move in the right conditions, by necessity or convenience , every citizen is an essential part of everyday life. It is also a key to the urbanity and performance areas. The issue of urban mobility is at the heart of the political management of cities.

La phytoremédiation est présentée comme une option pour gérer des sols dégradés. Les potentialités de Miscanthus × giganteus ont été évaluées, dans des conditions ex situ et in situ, avec pour objectif de produire une biomasse sur des sols agricoles fortement contaminés par Cd, Pb et Zn. Il a été dressé un bilan sur le comportement de la plante face à un gradient de contamination des sols, en intégrant les variations saisonnières et différentes pratiques agronomiques (choix du cultivar, densité de plantation, amendement biologique, fertilisation azotée). Il a aussi été étudié l’influence du miscanthus sur la mobilité des métaux dans les sols. Les résultats ont montré que la contamination des sols ne perturbe pas la croissance de M. × giganteus et le rendement de la biomasse récoltée. Le cadmium, Pb et Zn sont principalement accumulés dans les racines et d’une façon générale, M. × giganteus réduit leur transfert vers les organes aériens. Cette plante présente un bon potentiel pour la phytostabilisation des métaux et d’une façon plus globale, pour le phytomanagement. Prises individuellement, les pratiques agronomiques n’ont pas d’effet sur le comportement de la plante. En revanche, la fertilisation azotée d’une part, et l’interaction entre le cultivar et l’ajout de l’inoculum endomycorhizien d’autre part, favorise légèrement l’accumulation de Cd et Zn dans les organes aériens des cultivars étudiés. Compte tenu du caractère pérenne de la plante, il conviendrait de valider ces résultats sur le long terme, d’étudier les effets du stress métallique sur la santé de la plante et d’évaluer le devenir des polluants en lien avec l’accumulation des matières organiques dans le sol. / Phytoremediation is considered as an option for management of degraded soils. The potential of Miscanthus × giganteus were assessed in ex situ and in situ conditions, with the aim of producing biomass on agricultural soils heavily contaminated by Cd, Pb and Zn. The study mainly focused on the behavior of M. × giganteus growing on soils presenting a contamination gradient, and included seasonal variations and different agronomic practices, i.e., choice of the cultivar, planting density, biological soil amendment and nitrogen fertilization. The influence of the plant on metal mobility in soils was also assessed. The results show that soil contamination does not affect M. × giganteus growth and shoot yields. Cadmium, Pb and Zn are mainly accumulated in roots and in general M. × giganteus reduces their transfer to the aboveground organs. This plant presents therefore a great potential for metal phytostabilisation, and in a more comprehensive way, for phytomanagement. Taken individually, agronomic practices did not affect the plant behavior. However, nitrogen fertilization on one hand, and the interaction between the cultivar ad the endomycorrhizal inoculum on the other hand, increase the Cd and Zn accumulation in miscanthus organs. Given the perennial nature of the plant, long-term studies are needed to validate the present results, to assess the effects of metal-induced stress on the plant health as well as the fate of contaminants in relation to the accumulation of soil organic matter in miscanthus plantations.

La montée en fréquence des composants électroniques conventionnels tels que les HEMT, grâce aux règles de changement d'échelle, atteint ses limites. C'est dans ce contexte qu'il est intéressant de développer des composants d'architecture différente, comme les dispositifs balistiques, dont les dimensions sont de l'ordre du libre parcours moyen à température ambiante. Cette étude s'inscrit dans l'optimisation technologique et la caractérisation électrique de composants balistiques de la filière InGaAs/lnAlAs pseudomorphique sur substrat d'InP. Les propriétés nonlinéaires des jonctions balistiques à trois branches (TBJ) basées sur une hétérostructure optimisée ont été caractérisées en régime statique. Le fonctionnement des TBJ en redresseur de tension et en doubleur de fréquence a été étudié en hyperfréquence. Une sensibilité de redressement de 0.022mV/µW à 94 GHz en l'absence de polarisation a été obtenue sur des dispositifs à deux jonctions balistiques en parallèle. Le doublement de la fréquence dans le domaine de fonctionnement non linéaire du TBJ a été observé pour un signal sinusoïdal d'entrée à 4GHz, la tension alternative mesurée dans la branche centrale correspondant essentiellement à l'harmonique d'ordre deux à 8GHz. Enfin, des TBJ avec une grille Schottky ont été fabriqués et caractérisés en inverseurs de courant jusqu'à 400kHz. Leur fonctionnement en transistor a été mesuré en hyperfréquences. Une fréquence fT de 30GHz a été obtenue sur un composant dont la largeur de branche sous la grille est 200nm. / The increase of speed in conventional electronic devices, such as in HEMT, with down-scale rules, is reaching limitations. That is why it is interesting to develop devices with a new design such as ballistic devices which have dimensions around the electron me an free path at room temperature. The aim of this study is the technological optimisation and the electrical characterisation of InGaAs/lnAIAs pseudomorphic InP-based ballistic devices. Nonlinear properties of three-terminal ballistic junctions (TBJ) fabricated using an optimised heterostructure have been studied in DC mode. TBJ, which are operating as rectifiers and frequency multipliers, have been characterised in high frequency. A rectifying sensitivity of O.022mV/µW at 94GHz, without a DC bias, has been obtained on devices with two junctions integrated in parallel. Frequency doubling in the nonlinear domain has been shown with an applied sinusoidal signal of 4GHz. voltage measured in the output branch corresponding essentially to the second harmonie at 8GHz. Finally, TBJ with a Schottky gate have been tàbricated and their property of current inversion has been characterised up to 400kHz. Their transistor behaviour has been measured in microwaves. A current gain eut-off frequency fT of 30GHz has been obtained for a device with a branch width under the gate of 200nm.

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

La prise en compte des usagers est aujourd'hui incontournable pour les professionnels en charge de la production des services de mobilité. Or, qu'il s'agisse de services traditionnels ou de nouveaux services collaboratifs comme le covoiturage, l'essentiel du travail de ces professionnels se déroule en l'absence des usagers, inaccessibles ou encore inexistants. La prise en compte des usagers se traduit alors par la mise en place d'outils variés (enquête, concertation, traitement des réclamations, communication, système d'information, etc.) destinés à représenter les usagers dans les différentes dimensions de la production du service. Au croisement d'approches interactionniste, sociotechnique et communicationnelle, cette thèse propose une lecture unifiée de ces divers outils de prise en compte des usagers en tant que travail collectif de construction d'une fiction de l'usager. Les professionnels élaborent cette fiction à l'articulation de leur travail d'interaction avec les usagers pendant lequel ils les mettent en scène et de leur travail de réflexivité pendant lequel ils les mettent en récit. Cette recherche repose sur une enquête qualitative menée chez deux producteurs franciliens de services de mobilité, constituée d'observations participantes de situations de travail et d'entretiens semi-directifs. Le premier cas est celui de l'autorité organisatrice de transport d'Île-de-France, suivie dans ses missions d'organisation du développement et de l'exploitation des services régionaux de transports collectifs. Le deuxième est celui d'une jeune start-up de covoiturage courte distance analysée au moment du lancement d'une expérimentation sur un territoire en grande couronne en partenariat avec les collectivités locales / It is now essential for professionals in charge of the mobility services production to take into account their users. However, most of the time they work in the absence of users : in the case of classic services, the users are inaccessible, and in the case of emerging collaborative services such as carpooling, they don't exist yet. Professionals then use various devices, such as surveys, consultation, claims processing, communication, or information system, in order to represent the users in the different dimensions of the mobility services production. This thesis research relies on interactionist, sociotechnical and commmunication approaches in order to give a global understanding of the production of these various devices generally taken separately. The main argument is that the professionals build a fiction in which the users become characters: they go back and forth between staging interactions with the users and reflecting on them through storytelling.This research relies on a qualitative study with two mobility services producers in the Parisian region based on participant observation of work situations and semi-structured interviews with professionals. The first one is the regional Public Transport Authority in charge of the design and the operation of the regional public transport services. The second one is a short distance carpooling start-up launching an experiment in partnership with local authorities in the outer suburbs of the metropolitan area

Un des fondements de l’Ingénierie Système réside dans la compréhension et la formulation des exigences de différentes parties prenantes pour mieux maîtriser et contrôler la complexité du système à concevoir. L’évaluation des performances du système nécessite par ailleurs la prise en compte des expertises interdisciplinaires qui peuvent être incertaines, voire incomplètes. La prise en compte des interdépendances entre plusieurs domaines d’activité dans la conception et le déploiement d’un système de mobilité urbaine durable est un bon exemple, qui reflète la problématique de l’élicitation des connaissances pluridisciplinaires, puis de leur utilisation dans la définition d’une architecture distribuée. Le renouveau de la mobilité urbaine a en effet fait émerger des alternatives aux déplacements habituels, faisant place à la mobilité douce, à l’usage raisonnée des véhicules personnels, à la multimodalité et à l’inter-mobilité. Dans ce contexte, la convergence tend à s’opérer vers des plateformes numériques offrant des services variés, à la demande, adaptés aux besoins immédiats des usagers. Ces services sont généralement développés par des acteurs du secteur privé qui détiennent à la fois l’expertise et la technologie pour les déployer. Il s’agit donc, pour les pouvoirs publics considérés comme organe de contrôle et de régulation de la mobilité, de définir quelles infrastructures et quels services offrir et selon quelles modalités. Le travail de recherche effectué dans cette thèse vise à proposer puis valider, une démarche générale pour accompagner les décideurs des villes dans la conception et la mise en place des solutions de mobilité du futur. Un cadre méthodologique prenant en compte l’aide au choix de politiques et de partenaires cibles a pour cela été proposé, basé sur une méthode d’analyse multicritère, dans un cadre de décision collective et sous incertitude. Un méta-modèle d’un système de mobilité durable a ensuite été élaboré, à partir des connaissances élicitées d’un ensemble de standards et référentiels, de même qu’une architecture distribuée du système. Afin d’étudier la faisabilité de l’implémentation de cette architecture, en considérant le point de vue de l’aide à la décision, une roadmap de mise en œuvre a enfin été proposée, basée sur un système de recommandations visant à optimiser la réalisation de projets de mobilité nouveaux

Au cours des années 90, la localisation de l'emploi et de la population, ainsi que la géographie des déplacements en Ile-de-France se sont considérablement modifiées. Les rapports entre le centre de l'agglomération et sa périphérie ont évolué. Les villes nouvelles, qui se sont développées à partir des années soixante, ont largement participé à ce phénomène. Leur contribution à l'évolution des dynamiques territoriales a fait l'objet de différents travaux. En revanche, leur fonctionnement interne a été longtemps peu étudié. C'est dans ce cadre que se situe notre recherche. Outre l'objectif qui leur était assigné de réorganiser la région parisienne, les villes nouvelles devaient aussi, selon leurs concepteurs, constituer de vraies villes. Afin de rendre compte de l'évolution de l'organisation francilienne et de surmonter les difficultés attachées au terme de ville lorsque que l'on parle des villes nouvelles, nous avons adopté pour notre recherche la notion de bassin de vie. Au cours des années quatre-vingts, l'émergence de cette notion, dans le champ de la recherche urbaine et de l'aménagement, témoigne des changements qui ont modifié les dynamiques territoriales. Elle révèle aussi la recherche d'un vocabulaire apte à rendre compte de ces évolutions urbaines. Nous défendons la thèse que, quarante ans après leur création, les villes nouvelles sont devenues, des bassins de vie. Partant de l'hypothèse que les mobilités résidentielles et les mobilités quotidiennes participent à l'émergence d'un bassin de vie et témoignent d'un processus d'ancrage, nous analysons les pratiques de mobilité des habitants. La ville nouvelle de Marne-la-Vallée est notre terrain d'étude.