Mémoire numérisé par la Division de la gestion de documents et des archives de l'Université de Montréal.

Les littératures migrantes féminines canadienne et allemande contemporaine sont ancrées sur des questionnements de l’espace. Les auteures comme Abla Farhoud (Le bonheur a la queue glissante), Marie-Célie Agnant (La dot de Sara) et Renan Demirkan (Schwarzer Tee mit drei Stück Zucker) arrivent à transmettre les problèmes et questionnements liés à la condition migrante féminine de nos jours, à travers leur utilisation particulière de l’espace dans leurs romans. La métaphore de la prison aide à saisir la complexité de la situation de la femme et de son rapport avec l’espace. Il faut prendre en considération des facteurs comme le déracinement de la femme de la terre natale, sa domination par l’homme et son impuissance face aux événements liés à la migration, ainsi que son emprisonnement par autrui quand la femme est marquée par les préjugés et le racisme de la société d’accueil. La prison de la femme se manifeste également à un autre niveau, soit celui des théories spatiales : les théories spatiales masculines courantes (notamment celles de Bachelard, Merleau-Ponty, Lefebvre, De Certeau et Augé) négligent la situation particulière de la femme. Bien qu’elles aident à exposer ce que les espaces dans les romans nous communiquent et comment il faut lire les espaces, elles sont insuffisantes pour révéler le rapport femme migrante – espace dans toute sa complexité. De plus, la réalité spatiale de la femme telle qu’exposée par les théories féministes (notamment celles de Shands, Rose, Chapman et Massey) saisit seulement en partie le rapport spatial complexe de la femme migrante. La faiblesse des théories mentionnées ci-haut vient du fait qu’elles sont parfois trop simples. Elles ne tiennent pas compte de l’histoire de la femme migrante : due à son histoire particulière, sa conception des termes territoire, chez-soi et identité est tout à fait différente de celle des individus qui n’ont pas fait l’expérience d’un déracinement. En exposant les problèmes particuliers de ces femmes, cette thèse aide à sortir les femmes du silence qui les opprime. Par cette thèse, nous répondons donc à un besoin qui existe dans le champ d’étude : nous plaçons la femme migrante au centre de la réflexion théorique en insistant sur la complémentarité des théories masculines et féminines/féministes et sur la nécessité de combiner plusieurs points de vues théoriques. Par cette thèse, à l’aide de notre analyse des espaces dans les romans, nous précisons la situation nuancée de la femme migrante et apportons des perspectives éclairantes au sujet de son rapport complexe à l’espace. / Contemporary Canadian and German female migration literature is closely linked to questions of space. Authors such as Abla Farhoud (Le bonheur a la queue glissante), Marie-Célie Agnant (La dot de Sara) and Renan Demirkan (Schwarzer Tee mit drei Stück Zucker) communicate problems and questions linked to today’s female migrant condition through their particular use of space in their novels. The prison metaphor helps to reveal the complex situation of the female migrant and her relationship with space: we have to take into consideration elements such as the uprooting from her birth country, her domination by men and her powerlessness regarding the events linked to migration, as well as her confinement by others. For example, these women are often subject to prejudices and racism on the part of the new country’s society. The woman’s prison becomes also obvious when it comes to theories of space: the current male theories of space (especially those by Bachelard, Merleau-Ponty, Lefebvre, De Certeau and Augé) are ignoring the woman’s particular situation. Even though they help to expose what the spaces in the novels are telling us and how we must interpret the spaces, they are unable to reveal the migrant woman’s relationship to space in all its complexity. Also, the spatial reality of women exposed by feminist theories (especially those by Shand, Rose, Chapman and Massay) can only partially understand the complex spatial relationship of migrant women. The weak points of the theories we mentioned here come mostly from the fact that they are too simple: they don’t include the history of the female migrant in their reflections. Due to the female migrant’s particular history, her conception of terms such as territory, home and identity are very different than those of individuals who have not been exposed to the experience of being uprooted. By exposing the particular problems faced by female migrants, this thesis helps break the silence that oppresses them. Therefore, through this thesis, we are filling a gap that exists in the field of research: we are placing the migrant woman in the center of the theoretical reflections, by exposing the complementarity of male and female/feminist theories and the necessity of combining different theoretical points of view. Through this thesis and our analysis of the spaces in the novels, we are giving a precise idea of the woman’s nuanced situation and are offering a clarifying perspective on her complex relationship to space.

Depuis la publication de l’Utopia de Thomas More au XVIe siècle, la notion d’utopie s’est vue appropriée par différents domaines d’expression artistique. Bien vite, l’architecture et l’urbanisme en font leur apanage lorsqu’il est question de concilier, en des dessins et des plans, des sociétés idéalisées et leurs représentations. La modernité et les nouvelles technologies modifient les modalités de l’utopie qui tend alors vers l’actualisation de ses modèles en des projets construits. Le XXe siècle est aussi marqué par une abondance de formes et d’idées dont la transmission et le partage sont accélérés par la création de nouveaux médias. Si les années 1960 et 1970 sont le lieu d’émergence de formes expérimentales et de projets utopiques, notamment alimentés par la Révolution tranquille et Mai 68, il est encore difficile au Québec de retracer ces projets en arts et en architecture puisqu’ils sont peu documentés. Par l’étude de la pratique artistique d’Yvette Bisson (1926-), de Robert Roussil (1925-2013) et de Melvin Charney (1935-2012), ce mémoire propose d’observer les différentes tactiques d’appropriation de l’espace auxquelles s’apparentent les modalités de la sculpture de ces trois artistes. Par l’intermédiaire de Michel de Certeau, Henri Lefebvre et Louis Marin, nous chercherons à expliquer quelle est la teneur critique des imaginaires mis en œuvre par les trois artistes pour créer de nouveaux lieux utopiques de la sculpture. / Since the first release of Thomas More’s Utopia in the XVth century, the notion of utopia has been appropriated by different means of artistic expression. Quickly, architecture and urban planning used it as an historical purview, when merging in drawings and maps, representations of idealized societies. Modernity and new technologies changed intrinsically utopia’s modalities; therefore artistic projections progressed towards built models. The XXth century has also shown plenty of innovative forms and ideas, whose transmission was accelerated by new media. Although the 1960s and the 1970s gave rise to experimental forms and utopian projects — especially powered by the Révolution tranquille and Mai 68 — it is still challenging to find traces of these art and architecture projects in Québec, due to lack of documentation on the subject. In studying artistic works and practices of Yvette Bisson, Robert Roussil and Melvin Charney, this master thesis intends to observe means and tactics used within their sculptures to seize space and its political dimension. Through Michel de Certeau, Henri Lefebvre and Louis Marin, we will attempt to clarify in which ways the three sculptors’ imagination is fully deployed, hence creating new utopian spaces in sculpture.

Ce travail de thèse a pour objectif d'étudier la construction de l’Europe institutionnelle en parallèle de l'émergence des questions environnementales et interroger dans le cadre d'une évolution historique, les interactions entre les décideurs, les administrations et les citoyens autour des questions de société, pour en observer les mécanismes de mutation. Il s'agit de questionner la capacité des Institutions européennes à faire intégrer à ses Etats membres des exigences environnementales. Nous observerons le glissement opéré depuis un principe de conservation de la nature à l’assurance d’un développement durable, en passant par une protection de l’environnement puis une préservation de la biodiversité où seront analysés les leviers d'action privilégiés pour imposer aux Etats des réglementations contraignantes. Les travaux développés dans cette recherche analysent les changements de « modèle », de cadrage législatif, de comportements, de conscience, de mode de vie en Europe, et leurs conséquences dans des solutions dites réalistes pour le modèle de croissance. Pour conduire à l’explication de ce phénomène, le présent ouvrage s’articulera autour de trois logiques utilisées successivement : la mise en place d’une politique de la nature, prenant en compte les contraintes des logiques existantes à travers le modèle de développement productiviste, puis une contestation caractérisée du modèle de développement proposant une protection de l’environnement, et enfin une prise en compte consciente et orchestrée des questions d’environnement par les institutions européennes vers la structuration d’un modèle caractérisé par la mise en œuvre de la Stratégie Européenne Développement Durable. / Approaching the European construction from 1949 till 2002 within environmental questions wish to bring a new prism for complex systems understanding. The present work sustain an interactional analysis between stakeholders, administrations and citizens thoughts across society matters to observe mutation mechanisms. In a Historical study of the Twentieth Century common decision making tools, we will observe how European Institutions contribute strengthening its territory. From nature conservancy to an insurance of a sustainable development, via an environmental protection then biodiversity preservation, an approach of related concepts and their evolvement wants to show presuppositions and difficulties to explain clearly what kind of empowerment tool is become Europe. Because citizen and political fights escort the discovery of environmental matters. Because painless degradation of the European natural heritage brought conflicts between countries which had contracted peace. The natural and industrial disasters management, limitations of a productivist development "model", the increase of societal individualization, urban spread and research of support and membership will drive the European Community in building operational targets before the rise of an "Environmental Economy". Facing dissimilar perceptions and trade-off in taking into account environmental questions inside community agenda, European institutions asked to develop understanding tools able to support, to control and manage its patrimony. In its successive enlargements, European Community will encourage the preservation, the protection, the improvement of environmental quality and public health, a wise use of natural resources or even international promotion of standards designed to face-off regional and planetary biodiversity matters. The European Union is finally able to suggest to the U.N. members a practical Sustainable Development Strategy Scheme ready to implement.

Suggérant une forme de primauté du fait sur le droit, la notion d’effectivité est paradoxalement présente au sein même du droit international positif. Sa signification fait l’objet de nombreuses controverses qui ont pour racine la dichotomie existant entre ce qu’elle évoque sur un plan général, et ce qui est fait en son nom. En pratique, l’effectivité est à la fois opposée et intégrée au droit international. De nombreuses règles internationales limitent la reconnaissance de situations ou de pratiques au nom de différentes valeurs. Mais dans certains cas, la prise en compte de ces « effectivités » paraît indispensable à l’effectivité du droit. Le souci d’assurer le respect du droit mène alors parfois les Etats, les juges et les auteurs de doctrine à apprécier les faits au regard de leur seule « effectivité », c’est-à-dire sans égard à certaines règles qui semblent pourtant applicables, ou à certaines représentations juridiques de ces faits. Cette exclusion du droit dans le traitement du fait est cependant toujours partielle, et ses dimensions comme les conséquences juridiques qui en sont tirées varient en fonction de choix politiques. Le recours à la notion d’effectivité en droit international ne peut donc être compris comme le simple « enregistrement » du fait en droit. Dans l’ordre juridique international, « l’effectivité » remplit principalement deux fonctions : en premier lieu, l’effectivité du pouvoir est un critère d’identification des sujets de droit, qui permet de délimiter le champ territorial et personnel de leurs compétences, de les soumettre aux règles internationales et d’engager leur responsabilité de manière pragmatique. En second lieu, l’effectivité des prétentions émises par les Etats sur la scène internationale, et l’effectivité de certains éléments de leur droit interne sont employées comme des conditions de leur opposabilité internationale. Plutôt que la primauté du fait sur le droit, l’étude menée montre le caractère paradoxal des exigences pratiques d’une défense efficace de la sécurité juridique, de la justice et de la paix. / The principle of effectiveness suggests that facts have primacy over law. However the notion of effectiveness is paradoxically featured in international law itself. The meaning of effectiveness is the subject of much controversy due to the dichotomy between what effectiveness means in general and the actions taken to achieve it. The notion of effectiveness is, in practice, both contrary to and included in international law. For moral reasons, many international rules restrict the recognition of effective situations. Yet, in many cases taking effective situations into account is essential for the effectiveness of the law. In order to ensure compliance with the law, the States, judges and scholars may assess the facts as regards their “effectiveness”, without considering the rules which seem however to be applicable or the legal representations of these facts. However law is only partially excluded when dealing with the facts and the way it is done as well as the legal consequences of this exclusion differ according to political choices. That is why the use of the principle of effectiveness in international law cannot be considered as a mere registration of fact. In international law the notion of effectiveness has two main functions. Firstly, the effectiveness of power acts as a way of identifying subjects of international law which makes it possible to define the territorial and personal scope of their jurisdiction, makes them subject to international rules and pragmatically assesses whether they are liable. Secondly, the effectiveness of States' international claims or the effectiveness of some aspects of their national laws are used as conditions to assess their legal effects internationally. This research does not focus on the primacy of fact over law but shows the paradox between the practical requirements of an effective defence of legal certainty, justice and of peace.

Cette thèse porte sur la rencontre entre des politiques urbaines françaises et des modes d'habiter de l'Amazonie guyanaise, à Saint-Laurent-du-Maroni, à la frontière avec le Surinam. Cette vie urbaine est menée par des habitants de classes populaires souvent non francophones, confrontés à des normes d'urbanité concrétisées par les démolitions de « bidonvilles » et la construction de logements sociaux. Il s'agit d'analyser les interactions entre les acteurs en jeu dans cette situation postcoloniale impliquant habitants, élus communaux et professionnels de la ville, dans un contexte d'Outre-Mer aux hiérarchies sociales propres, croisant classe, nation, et race. Alliant une perspective historique et ethnographique, ce travail met en lumière les rapports d'habitants originaires de l'amont du Maroni aux administrations et à leurs agents. Ces derniers sont racialisés par le terme 'bakaa', qui renvoie à une blancheur postcoloniale spécifique, associée à l'urbanité, par opposition à une affirmation renouvelée de leur identification en tant que « personnes des pays de la forêt » ('bushikonde sama') - appartenance héritée du passé du marronnage des plantations surinamaises. Mises en lumière par l'ethnographie réalisée à leurs côtés, les démarches quotidiennes des habitants témoignent de leur progressive socialisation institutionnelle, tandis que certains agents des administrations adaptent les politiques publiques et les procédures administratives aux pratiques d'une population racialisée comme « Bushinenguée ». L'analyse passe des logements, catégorie de l'action publique, aux maisons, espaces vécus inscrits dans des configurations de parenté, des mobilités et des modes d'habiter de part et d'autre du Maroni. Les maisons sont appropriées par les habitants de manière dialectique : tout en se conformant aux normes d'urbanité 'bakaa' matérialisées par les logements sociaux, et sanctionnées par les bailleurs, les habitants transforment la ville par leurs modes d'habiter incorporés qui reflètent l'usage stratégique de ressources issues de la maîtrise d'un territoire transfrontalier. Les interactions asymétriques entre habitants et professionnels ont donc des effets sur les modes d'habiter et sur les politiques urbaines. Impliquant plusieurs normes d'urbanité, elles concrétisent leurs différences, constamment réitérées, dans les formes urbaines d'une ville ségréguée. Elles redéfinissent en permanence les frontières des personnes, des maisons, et des lieux. / This thesis deals with the encounter between French urban policies and Amazonian ways of dwelling in Saint-Laurent-du-Maroni, by the Marowijne river, the border with Suriname. The inhabitants from working classes, mostly not francophone, are confronted with urbanity norms materialized through the removals of "shantytowns" and the building of social housing. My research analyses the interactions between the different actors involved in this postcolonial situation: inhabitants, local politicians and urban professionals, in the context of a French oversea department divided by specific social boundaries of class, nation, and race. Using archival and ethnographic methods, I highlight the relations of inhabitants coming from upriver Marowijne to the administrations and their agents. The latter are racialized as 'bakaa', term qualifying a local form of postcolonial whiteness, associated with urbanity, as opposed to the renewed affirmation of their belonging to the upriver territories as 'bushikonde sama' ("people from the lands of the forest"). This identification, in constant renewal, refers to the legacies of their Maroon ancestors from the Surinamese plantations. As a an ethnographer, I went with some of those inhabitants through the offices. The observation of their daily administrative quests reveals their progressive institutional socialization, whereas some agents adapt their practices and policies to a population racialized as 'Bushinenge'. The analysis moves from housing, as administrative category, to houses, as lived spaces included in kinship configurations, mobility and transborder ways of dwellings. Houses are appropriated by their inhabitants in a dialectical manner: while they conform to 'bakaa' norms of urbanity materialized by social houses and sanctioned by the social landlords, they also transform their houses through embodied ways of living, reflecting their strategic uses of ressources coming from their mastery of a transborder territory. Asymmetrical interactions between inhabitants and agents thus impact on ways of dwelling and urban policies. Involving different norms of urbanity, they concretize their differences, constantly reiterated, through the segregation of the town. They thus redefine the boundaries of people, houses and places.

Les schématisations de termes permettent de représenter des ensembles infinis de termes ayant une structure similaire de manière finie et compacte. Dans ce travail, nous étudions certains aspects liés à l'utilisation des schématisations de termes en déduction automatique, plus particulièrement dans les méthodes de démonstration de théorèmes du premier ordre par saturation. Après une brève étude comparée des formalismes de schématisation existants, nous nous concentrons plus particulièrement sur les termes avec exposants entiers (ou I-termes). Dans un premier temps, nous proposons une nouvelle approche permettant de détecter automatiquement des régularités dans les espaces de recherche. Cette détection des régularités peut avoir plusieurs applications, notamment la découverte de lemmes nécessaires à la terminaison dans certaines preuves inductives. Nous présentons DS3, un outil qui implémente ces idées. Nous comparons notre approche avec d'autres techniques de généralisation de termes. Notre approche diffère complètement des techniques existantes car d'une part, elle est complètement indépendante de la procédure de preuve utilisée et d'autre part, elle utilise des techniques de généralisation inductive et non déductives. Nous discutons également les avantages et les inconvénients liés à l'utilisation de notre méthode et donnons des éléments informels de comparaison avec les approches existantes. Nous nous intéressons ensuite aux aspects théoriques de l'utilisation des I-termes en démonstration automatique. Nous démontrons que l'extension aux I-termes du calcul de résolution ordonnée est réfutationnellement complète, que l'extension du calcul de superposition n'est pas réfutationnellement complète et nous proposons une nouvelle règle d'inférence pour restaurer la complétude réfutationnelle. Nous proposons ensuite un algorithme d'indexation (pour une sous-classe) des I-termes, utile pour le traitement des règles de simplification et d'élimination de la redondance. Finalement nous présentons DEI, un démonstrateur automatique de théorèmes capable de gérer directement des formules contenant des I-termes. Nous évaluons les performances de ce logiciel sur un ensemble de benchmarks. / Term schematisations allow one to represent infinite sets of terms having a similar structure by a finite and compact form. In this work we study some issues related to the use of term schematisation in automated deduction, in particular in saturation-based first-order theorem proving. After a brief comparative study of existing schematisation formalisms, we focus on terms with integer exponents (or I-terms). We first propose a new approach allowing to automatically detect regularities (obviously not always) on search spaces. This is motivated by our aim at extending current theorem provers with qualitative improvements. For instance, detecting regularities permits to discover lemmata which is mandatory for terminating in some kinds of inductive proofs. We present DS3, a tool which implements these ideas. Our approach departs from existing techniques since on one hand it is completely independent of the proof procedure used and on the other hand it uses inductive generalization techniques instead of deductive ones. We discuss advantages and disadvantages of our method and we give some informal elements of comparison with similar approaches. Next we tackle some theoretical aspects of the use of I-terms in automated deduction. We prove that the direct extension of the ordered resolution calculus is refutationally complete. We provide an example showing that a direct extension of the superposition calculus is not refutationally complete and we propose a new inference rule to restore refutational completeness. We then propose an indexing algorithm for (a subclass of) I-terms. This algorithm is an extension of the perfect discrimination trees that are are employed by many efficient theorem provers to implement redundancy elimination rules. Finally we present DEI, a theorem prover with built-in capabilities to handle formulae containing I-terms. This theorem-prover is an extension of the E-prover developed by S. Schulz. We evaluate the performances of this software on a set of benchmarks.

Dans le modèle standard de la cosmologie, la dynamique globale de l'Univers est modélisée par l'intermédiaire d'un espace-temps de référence (ou de fond) fortement symétrique, admettant des sections spatiales homogènes et isotropes. Le couplage entre les sources fluides, homogènes, et l'expansion globale, y est déterminé par les équations d'Einstein de la Relativité Générale. La formation de structures inhomogènes de matière peut également être décrite dans ce modèle. Selon l'époque et l'échelle considérées, cette description est effectuée soit à l'aide d'un schéma perturbatif relativiste supposant une faible déviation de chaque grandeur par rapport au fond homogène imposé, soit au moyen d'une approche newtonienne au sein du même fond en expansion. L'interprétation des observations dans ce modèle suggère cependant une accélération inattendue de l'expansion, qui requiert une nouvelle composante énergétique mal comprise, l' «Énergie Noire», en plus de la Matière Noire. La cosmologie inhomogène a pour but de lever les restrictions imposées par ces modèles sur la géométrie et sur les sources sans sortir du cadre de la Relativité Générale. Cela peut notamment permettre d'améliorer le modèle de formation des structures pour prendre en compte de fortes déviations par rapport à l'homogénéité dans la distribution de matière et dans la géométrie. Cela permet également d'étudier les conséquences dynamiques, appelées effets de rétroaction («backreaction»), du développement local de telles inhomogénéités sur l'expansion à de plus grandes échelles. De telles rétroactions peuvent alors reproduire, au moins partiellement, les comportements attribués à l'Énergie Noire ou à la Matière Noire. Au cours de mon travail de thèse sous la direction de Thomas Buchert, j'ai étudié plusieurs aspects analytiques de la cosmologie inhomogène en Relativité Générale. Je présente ci-dessous les résultats de travaux au sein de collaborations, auxquels j'ai apporté des contributions majeures dans le cadre de la thèse. Je me suis tout d'abord concentré sur l'écriture d'un schéma d'approximation relativiste lagrangien, pour décrire la dynamique locale des structures jusqu'à un régime non-linéaire, dans des fluides parfaits barotropes irrotationnels. Je me suis ensuite intéressé à la description effective de fluides inhomogènes admettant un tenseur d'énergie-impulsion général ainsi que de la vorticité, au moyen de deux schémas possibles de moyenne spatiale. Ces schémas s'appliquent à un choix quelconque des hypersurfaces spatiales sur lesquelles moyenner, et fournissent pour chacun de ces choix un système d'équations d'évolution effectives, présentant plusieurs termes de rétroaction, pour un domaine d'intégration suivant la propagation des sources. Cela permet une discussion qualitative de la dépendance au choix du feuilletage des équations moyennes et des rétroactions. J'ai également étudié la réécriture de ces schémas de moyennes et équations d'évolution, et d'autres obtenus de façon similaire, sous une forme unifiée et manifestement 4-covariante. Ce dernier résultat permettra une étude plus explicite de la dépendance au feuilletage / In the standard model of cosmology, the global dynamics of the Universe is modelled via a highly symmetric background spacetime with homogeneous and isotropic spatial sections. The coupling of the homogeneous fluid sources to the overall expansion is then determined by the Einstein equations of General Relativity. In addition, the formation of inhomogeneous matter structures is described either via a relativistic perturbation scheme assuming small deviations of all fields to the prescribed homogeneous background, or using Newtonian dynamics within the same expanding background, depending on the scale and epoch. However, the interpretation of observations within this model calls for an unexpectedly accelerated expansion requiring a poorly-understood `Dark Energy' component, in addition to Dark Matter. Inhomogeneous cosmology aims at relaxing the restrictions of these models on the geometry and sources while staying within the framework of General Relativity. It can allow, in particular, for an improved modelling of the formation of structures accounting for strong deviations from homogeneity in the matter distribution and the geometry. It can also study the dynamical consequences, or backreaction effects, of the development of such inhomogeneities on the expansion of larger scales. Such a backreaction may then reproduce, at least partially, the behaviours attributed to Dark Energy or Dark Matter. During my PhD under the direction of Thomas Buchert, I have been working on several analytical aspects of general-relativistic inhomogeneous cosmology. I present below the results of collaborations in which I played a major role in the context of the PhD. I first focussed on the expression of a relativistic Lagrangian approximation scheme for the description of the local dynamics of structures up to a nonlinear regime in irrotational perfect barotropic fluids. I then considered the effective description of inhomogeneous fluids with vorticity and a general energy-momentum tensor in terms of two possible schemes of spatial averaging. These schemes are applicable to any choice of spatial hypersurfaces of averaging, providing for each choice a set of effective evolution equations, featuring several backreaction terms, for an averaging region comoving with the sources. This allows for a qualitative discussion of the dependence of the average equations and backreactions on the foliation choice. I also studied the rewriting of such averaging schemes and evolution equations under a unified and manifestly 4-covariant form. This latter result will allow for a more explicit investigation of foliation dependence

La gentrification est une forme particulière d'embourgeoisement qui touche les quartiers populaires centraux et s'accompagne de la transformation du bâti. Cette notion anglo-saxonne, longtemps ignorée par la recherche urbaine en France, s'avère féconde pour analyser une partie importante des transformations urbaines et sociales de l'espace parisien depuis plusieurs décennies. Pour cerner l'ampleur de la gentrification à Paris intra-muros, cette thèse s'appuie à la fois sur un riche corpus de données statistiques concernant les ménages et les logements depuis 1982 et sur des enquêtes de terrain menées dans trois quartiers populaires. Elle montre, dans un premier temps, que les quartiers populaires parisiens sont profondément transformés par la gentrification depuis les années 1980, tout en mettant en évidence à la fois les principaux facteurs, les rythmes et les dynamiques spatiales de ce processus. Elle en présente également les différents acteurs - des ménages des classes moyennes et supérieures aux pouvoirs publics en passant par les promoteurs et les commerçants - et explore en particulier la position sociale, le mode de vie et les discours des gentrifieurs. L'approche multiscalaire permet d'articuler une appréhension globale de la gentrification à Paris avec une analyse fine de ses modalités au niveau local. Dans un second temps, elle s'intéresse à la cohabitation des différents groupes sociaux au sein des quartiers populaires en voie de gentrification. La prise en compte du point de vue des différents acteurs en jeu - et notamment celui des ménages populaires - permet de mieux comprendre les effets de la gentrification sur les classes populaires et le rôle des politiques publiques dans ce processus de reconquête sociale. Cela conduit à une analyse critique de la mixité sociale apparente qu'il induit dans les quartiers populaires.

Ce travail de thèse porte sur la modélisation des ionosphères planétaires comme celle de la Terre et de Titan à travers les processus de transport cinétique des électrons et des protons. La modélisation des ions doublement chargés N2++, O2++ et O++ créés par photoionisation a constitué la première étape de ce travail. Les résultats de la simulation sont comparés avec succès aux seules données disponibles sur Terre pour O++. De cette validation expérimentale, nous prédisons ainsi la présence d'ions moléculaires doublement chargés dans l'ionosphère de la Terre et de Titan. Dans un deuxième temps, nous détaillons la genèse du modèle d'ionosphère TRANS4, à travers le couplage et l'optimisation de différents codes de transport cinétique et fluide capables de modéliser simultanément les précipitations d'électrons et de protons. Ce modèle constitue un outil unique et cohérent de diagnostic de l'impact combiné des protons et des électrons sur l'ionosphère en permettant notamment le calcul des profils de raies Balmer de l'hydrogène. La comparaison aux données a permis ensuite une approche quantitative du comportement de l'ionosphère soumis à un événement actif proton-électrons, sous le triple angle des données radar, satellite et optique. Les perspectives sont nombreuses et le portage du code dans d'autres ionosphères telles Titan, Mars ou Vénus est une voie de recherche privilégiée, qui coïncide avec les mesures en direct des sondes Cassini, Mars Express et Vénus Express. Une collaboration étroite avec le Laboratoire de Chimie Physique (LCP, Orsay) ainsi qu'avec les universités d'Oslo et de Svalbard (UNIS) a été menée tout au long de ce travail.