L'industrialisation et l'utilisation dans la vie courante d'un nombre croissant de produits chimiques et médicamenteux sont responsables de la dissémination dans l'environnement de substances variées nommées" polluants émergents ". Les traitements des eaux usées existants ne sont pas conçus pour éliminer cette catégorie de pollution et les polluants émergents sont alors rejetés dans le milieu récepteur. Une possible solution pour limiter le rejet de ces composés par les effluents de station d'épuration serait l'utilisation de procédés de traitement additionnels tels que les procédés d'oxydation avancés. C'est dans ce contexte qu'a démarré le projet Européen Clean Water en 2009 associant 7 entités dont le GEPEA-Ecole des Mines de Nantes. Le concept du projet est de développer des procédés photocatalytiques mettant en œuvre des nanomatériaux actifs sous la lumière solaire. Ces procédés visent à éliminer les polluants émergents tels que les perturbateurs endocriniens ou les produits pharmaceutiques. Dans ce programme, le laboratoire GEPEA est concerné par l'évaluation de l'efficacité des matériaux vis-à-vis de l'élimination des polluants émergents sous irradiations UV et visibles. Pour cela, une méthodologie expérimentale a été établie de façon à exprimer les performances des catalyseurs testés en termes de constantes cinétiques de dégradation, de taux de conversion et de minéralisation des molécules étudiées mais aussi en fonction de la formation de produits intermédiaires. Ces performances sont également évaluées en termes de biodégradabilité, d'effet de toxicité et de perturbation endocrinienne des produits intermédiaires. Dans un premier temps, la méthodologie expérimentale établie a été testée sur la dégradation de la tétracycline en utilisant un catalyseur de référence puis, elle a été appliquée sur la dégradation respective du bisphénol A et de la 17β-oestradiol en utilisant un catalyseur de référence et les catalyseurs élaborés dans le cadre du projet Clean Water. Les résultats sur la dégradation de la tétracycline ont montré que i) les intermédiaires réactionnels sont moins toxiques que la tétracycline, ii) la structure des intermédiaires réactionnelles est semblable à celle de la tétracycline ce qui explique la faible biodégradabilité de ces intermédiaires. Concernant la dégradation du bisphénol A et de la 17β-oestradiol, les résultats ont montré que i) les catalyseurs sont efficaces sous irradiation solaire simulée. Cependant, l'efficacité photocatalytique du catalyseur dépend du composé à dégrader, ii) la nature des intermédiaires réactionnels identifiés du bisphénol A dépend du catalyseur utilisé, iii) l'effet œstrogénique de la solution d'oestradiol persiste au cours du traitement photocatalytique.

Pendant la morphogenèse, la réparation des tissus et le cancer, les cellules peuvent migrer en manière mésenchymateuse et collective. Le cytosquelette est essentiel pour la migration, mais alors que l'actine et les microtubules ont été largement étudiés, le rôle des filaments intermédiaires (FIs) est encore largement inconnu. La déplétion des FI diminue souvant la vitesse de migration et les FI sont fréquemment surexprimé dans les tumeurs invasives. Pour ces propriétés, nous supposons que les FIs peuvent jouer un rôle clé dans la mécanique cellulaire pendant la migration.Pour étudier le rôle des FI dans la migration collective, nous avons utilisé des astrocytes, les principales cellules gliales du système nerveux central. Les astrocytes migrent collectivement pendant le développement et l'astrogliose en réponse à des signaux pathologiques ou traumatiques. Les astrocytes expriment trois principales FI cytoplasmiques: nestine, GFAP (protéine acide fibrillaire fibreuse) et vimentine, qui forment un réseau dense. Les FI sont surexprimé pendant l'astrogliose et dans les glioblastomes, des tumeurs cérébrales hautement invasives et létales. On ignore si la surexpression des FI est responsable de l'invasion du glioblastome.Au cours de la migration collective dans un test de blessure, les FI contrôlent le positionnement du noyau, la polarité et la migration. On montre que les FI régulent la migration collective dirigée de manière dépendante de la rigidité. Ils agissent avec la protéine connecteur cytoplasmique plectine pour contrôler les point focaux et les jonctions adhérentes. Les FI contrôlent la dynamique et l'organisation de l'actine et régulent la distribution des tractions cellulaires et des contraintes dans la monocouche migrante. Ces résultats démontrent le rôle crucial des FI dans les propriétés mécaniques des cellules migrantes. / During morphogenesis, tissue repair and cancer, cells can migrate in a mesenchymal and collective manner. The cytoskeleton is essential for migration, but whereas actin and microtubules have been extensively studied, the role of intermediate filaments (IFs) is still largely unknown. IF depletion generally decreases migration speed and IF proteins are frequently found upregulated in invasive tumours. Because of IF properties, we hypothesise that they may be key players in cell mechanics during migration. To study the role of IFs in collective migration we used astrocytes, the main glial cells of the central nervous system. Astrocytes migrate collectively during development and astrogliosis in response to pathological or traumatic signals. Astrocytes express three main cytoplasmic IFs: nestin, GFAP (Glial Fibrillary Acidic Protein) and vimentin, which form a dense network. IF proteins are upregulated during astrogliosis and glioblastomas, highly invasive and lethal brain tumours. Whether upregulation of IFs is responsible for glioblastoma invasion is still unknown. During wound-induced collective migration, IFs control nuclear positioning, polarisation and migration. We found that IFs regulate collective directed migration in a stiffness-dependent manner. They act in concert with the cytolinker protein plectin to control focal adhesions and adherens junctions. IFs control actin dynamics and organisation and regulate the distribution of cell tractions and stresses across the migrating cell monolayer. These results demonstrate the crucial role of IFs in the mechanical properties of migrating cells.

La thèse s'intéresse aux interventions chorégraphiques performatives et événementielles impulsées par diverses structures, ou générées par des activités auto-organisées dans l'espace public. L'objectif est d'identifier en quoi les nouveaux usages qui se développent depuis les années quatre vingt en France, participent de la transformation progressive des espaces des usages. En effet, l'apparition de formes de sociabilités inhabituelles impulsées par une ouverture spatiale des dispositifs va progressivement enrichir leur dynamique intrinsèque, et participer à les qualifier d'" espaces intermédiaires ". Par là-même, l'étude montre comment l'imbrication de différents mondes sociaux pluralise les engagements des acteurs, et complexifie les processus de reconnaissance identitaire dans le monde de la danse. De nouveaux usages sociaux, économiques et corporels apparaissent alors à l'interface des espaces plus légitimes. Or, l'analyse des carrières envisagées à partir des différentes formes de socialisation conduit aussi à distinguer plusieurs types d'acteurs collectifs présentant des conceptions différenciées de la territorialité. C'est ainsi que les compétences développées par certains danseurs, chorégraphes et intermédiaires culturels œuvrant dans l'in situ, résultent plus que les autres d'une véritable capitalisation des expériences spatiales dynamisées par l'encastrement entre différents mondes sociaux. Ces acteurs vont alors participer à brouiller les frontières du marché du travail de la danse, puisque leurs compétences vont réfléchir sur leur socialisation professionnelle et sur leurs engagements sur les différents réseaux sociaux du monde de la danse. / This dissertation focuses on event-driven and performance, choreographic interventions; such interventions could either be created by cultural institutions or rise from self-organized activities occurring in public space. The main purpose of this work is to identify new spatial practices which have developed since the 80s in France, and how they are part of a gradual change in the broad spectrum of practices. Indeed, as art arrangements grew to become more and more spatially opened, new and unusual sociability forms appeared. These new forms fuelled the intrinsic dynamic of these new arrangements, leading them to be labelled as " in-between spaces ". It is thus revealed how actors' engagements are pluralized through the overlapping of different social worlds. These crossings between worlds add a great complexity to identity recognition processes in the dance world. New social, economic and corporeal practices appear at the interface of more legitimate spaces. However, by analyzing the careers from the different forms of socialization also leads to distinguishing between several types of collective actors which develop differentiated conceptions of territoriality. In this way, the competencies developed by certain dancers, choreographers and cultural intermediaries working in situ, are more (than others) the result of a real capitalization of spatial experiences which are invigorated by the embedment of different social worlds. These actors will then blur the limits of the dance job market, because their competencies will reflect professional socialisation and their engagements in different social networks in the world of dance.

La responsabilité des intermédiaires d'Internet fait débat dans un univers numérique de plus en plus complexe. Les intermédiaires offrent des services en ligne. Ils créent ou facilitent des transactions entre des parties tierces (hébergement, e-commerce, fournisseurs d'accès…). A la fin des années 1990, un consensus s'est établi sur l'instauration d'une responsabilité limitée pour ces acteurs, dans le but de favoriser leur développement ainsi que celui d'Internet par des externalités croisées. Cependant, l'apparition régulière de nouveaux usages a induit des externalités négatives affectant certains agents économiques. La multiplication récente de décisions de jurisprudence parfois contradictoires, en particulier dans le domaine de la propriété intellectuelle, vient désormais remettre en cause cette exemption. Elle fait naître un risque juridique pour les intermédiaires d'Internet. Ces-derniers doivent alors prendre en compte ce nouveau contexte dans leurs modèles d'affaires. Notre recherche étudie les comportements spécifiques que la responsabilité des intermédiaires d'Internet engendre à travers l'exemple de la propriété intellectuelle. En premier lieu nous décrivons l'évolution historique de cette responsabilité. Nous développons ensuite un modèle théorique simple qui explore l'influence du risque légal dans un contexte de concurrence entre un intermédiaire et un ayant droit du copyright. Enfin nous étendons ce modèle de concurrence aux différents comportements de protection que peuvent choisir les intermédiaires. / Internet intermediaries' liability is a rising issue in a more and more complex digital environment. Intermediaries provide online services. They create or facilitate transactions between third parties (hosting, online shops, ISPs...). At the end of the 1990s, a limited liability has been established for these actors with the aim of developing intermediaries and Internet through cross externalities. However, the arrivals of new uses and functions have created negative externalities for some economic agents. The new increase of case law sometimes contradictory, in particular for intellectual property rights, questions this exemption. It creates legal risk for Internet intermediaries. Thus, they have to take into account this new situation in their business models. This thesis studies specific behaviors that Internet intermediaries' liability creates with the example of intellectual property rights. First we describe the historic evolution of this liability. Then we develop a simple theoretical model in order to explore the influence of legal risk when there is competition between an intermediary and a copyright holder. Finally, the model is extended to take into account avoidance activities of Internet intermediaries.

La première partie de cette thèse est consacrée à l’étude de l’émergence récente de nouveaux acteurs sur le marché des brevets, à savoir les entreprises non productrices, qui acquièrent des brevets sans intention de produire un bien final. D’une part, les chasseurs de brevets cherchent à acquérir des brevets en vue de les monétiser par la menace d'action en contrefaçon de brevet. D’autre part, les agrégateurs défensifs acquièrent des brevets afin de protéger leurs entreprises clientes contre des litiges initiés par les chasseurs de brevets. Nous analysons le comportement stratégique de ces nouveaux intermédiaires dans le processus d'acquisition de brevets et mettons en évidence l'aptitude supérieure des chasseurs de brevets quant au rachat de brevets par rapport aux producteurs. Ensuite, nous examinons l'efficacité du mécanisme de protection proposé par les agrégateurs défensifs contre la menace des chasseurs de brevets envers les producteurs. Enfin, la dernière partie étudie l’impact des spillovers unidirectionnels dans le contexte des modèles de R&D dans lesquels des firmes à priori identiques investissent dans une innovation réductrice de coût puis sont en concurrence à la Cournot sur le marché des produits. Nous analysons comment les spillovers unidirectionnels et deterministes induisent de l'hétérogénéité entre les firmes dans la concurrence sur le marché des produits, et examinons l'effet de l'incertitude quant à l'appropriation des investissements en R&D sur les incitations des firmes à investir en R&D. / The first part of this thesis studies the recent emergence of new actors in the market for patents, namely, non-practicing entities, who acquire patents with no aim to use them to produce a final good. On the one hand, patent assertion entities seek to acquire patents so as to monetize them through the threat of litigation for patent infringement. On the other hand, defensive aggregators acquire patents to provide safety from litigation brought by patent trolls to their affiliated firms. We analyze the strategic behavior of non-practicing entities in the patent acquisition process and highlight patent assertion entities' greater ability to preempt patents as compared to producing firms. Then, we examine the effectiveness of defensive aggregators to protect firms against litigation brought by patent assertion entities. Finally, the last part instead studies the effects of one-way spillovers in the context of non-tournament models of R&D in which ex-ante identical firms engage in cost-reducing innovation and then compete à la Cournot in the product market. We analyze how a deterministic unidirectional spillover process induces heterogeneity across firms in the product market competition, and examine the impact of uncertainty about the appropriability of R&D investments on incentives to undertake R&D.

La vérification formelle de programme n'apporte pas de garantie complète si l'outil de vérification est incorrect. Et, si un programme est vérifié au niveau source, le compilateur pourrait introduire des bugs. Les compilateurs et vérifieurs actuels sont complexes. Pour simplifier l'analyse et la transformation de code, ils utilisent des représentations intermédiaires (IR) de programme, qui ont de fortes propriétés structurelles et sémantiques. Cette thèse étudie d'un point de vue sémantique et formel les IRs, afin de faciliter la preuve de ces outils. Nous étudions d'abord une IR basée registre du bytecode Java. Nous prouvons un théorème sur sa génération, explicitant ce que la transformation préserve (l'initialisation d'objet, les exceptions) et ce qu'elle modifie et comment (l'ordre d'allocation). Nous implantons l'IR dans Sawja, un outil de développement d'analyses statiques de Java. Nous étudions aussi la forme SSA, une IR au coeur des compilateurs et vérifieurs modernes. Nous implantons et prouvons en Coq un middle-end SSA pour le compilateur C CompCert. Pour la preuve des optimisations, nous prouvons un invariant sémantique de SSA clé pour le raisonnement équationnel. Enfin, nous étudions la sémantique des IRs de Java concurrent. La définition actuelle du Java Memory Model (JMM) autorise les optimisations aggressives des compilateurs et des architectures parallèles. Complexe, elle est formellement cassée. Ciblant les architectures x86, nous proposons un sous-ensemble du JMM intuitif et adapté à la preuve formelle. Nous le caractérisons par ses réordonnancements, et factorisons cette preuve sur les IRs d'un compilateur. / An end-to-end guarantee of software correctness by formal verification must consider two sources of bugs. First, the verification tool must be correct. Second, programs are often verified at the source level, before being compiled. Hence, compilers should also be trustworthy. Verifiers and compilers' complexity is increasing. To simplify code analysis and manipulation, these tools rely on intermediate representations (IR) of programs, that provide structural and semantic properties. This thesis gives a formal, semantic account on IRs, so that they can also be leveraged in the formal proof of such tools. We first study a register-based IR of Java bytecode used in compilers and verifiers. We specify the IR generation by a semantic theorem stating what the transformation preserves, e.g. object initialization or exceptions, but also what it modifies and how, e.g. object allocation. We implement this IR in Sawja, a Java static analysis toolbench. Then, we study the Static Single Assignment (SSA) form, an IR widely used in modern compilers and verifiers. We implement and prove in Coq an SSA middle-end for the CompCert C compiler. For the proof of SSA optimizations, we identify a key semantic property of SSA, allowing for equational reasoning. Finally, we study the semantics of concurrent Java IRs. Due to instruction reorderings performed by the compiler and the hardware, the current definition of the Java Memory Model (JMM) is complex, and unfortunately formally flawed. Targetting x86 architectures, we identify a subset of the JMM that is intuitive and tractable in formal proofs. We characterize the reorderings it allows, and factor out a proof common to the IRs of a compiler.

Nous présentons des résultats sur la dynamique des interfaces liquides à différentes échelles. Dans la première partie, nous étudions des systèmes liquides confinés dans le cadre de l'approximation de lubrification. Nous obtenons des résultats analytiques et numériques intéressants sur l'équation des films minces qui régit la dynamique de tels systèmes. Les résultats théoriques sont confrontés avec succès à des experiences de microscopie à force atomique sur des films minces de polymères dans différentes géométries. Nous explorons la physique qui résulte des effets inhérents à la nature des matériaux polymères tels que la viscoélasticité, le glissement aux parois ou encore la dynamique au voisinage de la température de transition vitreuse. Dans la deuxième partie, nous nous intéressons au sillage engendré par le mouvement d'une perturbation à l'interface liquide-air. Motivés par des résultats expérimentaux qui semblent remettre en question la théorie de Kelvin sur le sillage des bateaux, nous montrons que deux angles peuvent être distingués dans le sillage. L'angle que forment les bords du domaine est bien constant, conformément à la théorie de Kelvin, alors que l'angle que décrivent les vagues de plus forte amplitude décroit avec le nombre de Froude. Nous nous penchons également sur les ondes gravito-capillaires et portons un intérêt particulier aux effets de taille finie sur la résistance de vague. Les deux parties peuvent être abordées de manière indépendante. / We present results on the dynamics of liquid interfaces at different scales. In the first part, we study confined liquid systems within the lubrication approximation. We obtain interesting analytical and numerical results on the thin-film equation governing the dynamics of such systems. The theory is successfully confronted to atomic force microscopy experiments on thin polymer films in different geometries. We explore the physics resulting from the intrinsic properties of polymeric materials such as viscoelasticity, slip at the solid- liquid interface as well as the dynamics near the glass transition temperature. In the second part, we tackle the problem of the wake generated by a moving disturbance at the air-water interface. Motivated by experimental results that seem to challenge Kelvin’s century old theory of ship waves, we show that two angles can be distinguished in the wake. The angle delimiting the wake is constant, consistent with Lord Kelvin’s theory, while the angle corresponding to the highest waves decreases as the Froude number is increased. We examine as well the case of capillary-gravity waves and focus in particular on the finite size effects on the wave drag. Both parts can be addressed independently.

Arthur Adamov (1908-1970) est une figure peu étudiée du théâtre contemporain. Le regard culturel et social que nous avons adopté doit permettre de renouveler l'intérêt pour cet homme de théâtre inclassable, mais dont l'apport a été majeur. D'abord lié à l'«absurde», il s'est tourné vers un théâtre social voire politique, sans jamais s'y cantonner, alors même qu'il se rapprochait du parti communiste. Cette thèse analyse les évolutions de son théâtre, qui n'a jamais été figé, et dont les formes se sont transformées en fonction des évolutions politiques et sociales ainsi que celles du milieu théâtral. Elle met en lumière l'intellectuel engagé et les divers répertoires d'action qu'il a utilisés, surtout entre la crise de mai 1958 et la fin de la guerre d'Algérie. L'œuvre d'Adamov a reflété la société de son temps, elle a parfois été encouragée, a suscité des enthousiasmes, mais aussi de vives critiques. Sont mises en exergue autour de son œuvre les sociabilités et instances de légitimation : directeurs de salles, revues, metteurs en scène. Les lieux où il est joué, en France - des salles avant-gardistes aux théâtres de la banlieue «rouge» - ou à l'étranger, déterminent une géographie propre aux théâtres ouverts à une dimension politique et à un nouveau public. Les écarts entre le public souhaité et réel, comme entre le théâtre théorisé, pensé et la pratique forment un autre axe d'analyse. Enfin, cette recherche dresse un tableau de la réception de son œuvre, particulièrement empreinte des sensibilités de son temps. C'est une utopie artistique et politique quelque peu enfouie, qui surgit dans sa dimension singulière et collective. / Arthur Adamov (1908-1970) is a Jess studied figure of contemporary theatre. The social and cultural point of view that we adopt allows renewing interest for this unclassifiable and playwright. Initially linked to the "absurd", he shifted towards social and political theatre; meanwhile he was getting closer to the communist party. This thesis analyzes the evolution of his theatre that never freezes but reconfigures with the transformation of theatre, political and social backgrounds. We try to bring out the engaged intellectual and the list of his various actions that reached its peak between May 1958 cri sis and the end of the Algerian war. Adamov' s work reflects the society of his time; it has been encouraged, provoked enthusiasms as well as received hard critics. Sociability and legitimation instances reconfigure around his work: theatre hall directors, magazines, producers. The places when he has been played, in France - from avant-garde halls to the "red" suburb - or abroad, determines the particular geography of theaters opened to certain political dimension as well as to a new audience. The gap between the wished and real audience, as between theorized, imagined and practical theater, form other axes. Finally, this research provides information about the reception of Adamov's works, especially the impressions and sensibilities of his time. It's all about artistic and political utopia somehow buried which will arise in its collective dimension.

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

De par l’apport de la chimie de synthèse à de nombreux domaines tels que la biologie, la médecine ou les sciences des matériaux, il y a une demande croissante pour la mise au point de procédures efficaces permettant l’assemblage de molécules complexes en un nombre restreint d’étapes et ce à partir de briques élémentaires simples et accessibles. C’est dans ce cadre général que se sont inscrits les travaux que nous avons réalisés au cours de cette thèse pour le développement de nouveaux procédés de synthèse basés sur l’utilisation d’ions cétèniminium. En effet, si la chimie de ces intermédiaires réactionnels, facilement générés au départ des ynamides correspondants, est en plein essor, elle n’est néanmoins encore que trop peu étudiée et ce malgré un potentiel synthétique énorme.Dans cette optique trois nouvelles transformations, toutes faisant intervenir des ions cétèniminium, ont été développées au cours de ce travail. Nous avons, en effet, montré qu’il était possible d’utiliser ces intermédiaires pour la synthèse d’hétérocycles azotés par hydroalkylation intramoléculaire d’ynamides. L’extension asymétrique cette réaction nous a également permis d’obtenir des tétrahydropyridines et pipéridines optiquement enrichies, composés omniprésents en chimie médicinale. Finalement, ces intermédiaires polyvalents ont également pu être utilisés pour le développement d’une nouvelle méthode de synthèse d’amines deutérées. Ces différentes réactions, en plus de fournir des informations sur la réactivité des ions cétèniminium, ont également permis un accès rapide à des composés d’importance en synthèse organique ou en chimie médicinale et ce au départ d’ynamides, composés facilement accessibles. / Doctorat en Sciences / info:eu-repo/semantics/nonPublished