Le radar à synthèse d'ouverture (RSO) constitue un instrument unique en télédétection des forêts, fort des propriétés physiques micro-ondes en sus d'atouts opérationnels. Néanmoins, l'utilisation de la sensibilité des mesures SAR aux variables d'intérêts in-situ n'est pas triviale et constitue de multiples axes de recherche dont l'étude de la configuration bistatique. Le succès de récentes acquisitions aéroportées (e.g campagne conjointe ONERA-DLR) ou hybrides témoigne d'une certaine résurgence pour la géométrie bistatique, principalement mis en avant pour des considérations opérationnelles. La question du potentiel physique des observables bistatiques reste cependant peu traitée. La thèse s'inscrit dans cet objectif, via l'étude de configurations bistatiques optimales pour améliorer l'inversion de paramètres in-situ d'intérêts, tout en considérant leur faisabilité. Dans ce cadre, la modélisation électromagnétique est fondamentale, illustrée ici par le développement du simulateur ad-hoc MIPERS dont les originalités par rapport aux modèles existants ont démontré toute leur importance pour analyser ces nouvelles observables. Des extensions novatrices des algorithmes de référence en monostatique basées sur l'intensité et l'interférométrie vectorielle pour une estimation directe de la biomasse ou via l'inversion de paramètres descriptifs de modèles de forêts sont alors proposées, à l'issue de formulations théoriques supportées par les résultats de simulations. Outre de futures campagnes expérimentales bistatiques, sont aussi mises en avant les perspectives innovantes de configurations multistatiques.

Cette thèse vise à développer et évaluer la méthode de Galerkin discontinue (DG) pour la simulationdes grandes échelles (LES) des écoulements turbulents. L'approche DG présente un nombre d'avantages intéressants pour la LES : ordre élevé, stencil compact, prise en compte des maillages non structurés et expression de la solution numérique dans une base de polynômes permettant l'utilisation de modèles de turbulence multi-échelle. Parmi ce type de modèles, nous nous sommes intéressés ici à la méthode Variational Multiscale (VMS) qui consiste à séparer les échelles résolues dans la base de polynômes pour restreindre l'influence du modèle à une gamme réduite d'échelles. Les modèles considérés ont été paramétrés en prenant en compte les fonctions de transfert spécifiques aux discrétisations DG. La précision de la méthode pour la représentation de phénomènes turbulents variés a été évaluée à travers la réalisation de DNS de configurations académiques. Enfin, l'approche VMS/DGa été éprouvée sur des configurations simples à haut nombre de Reynolds. Il apparaît que cette méthodologie permet la représentation précise des phénomènes turbulents pour un coût réduit en terme de degrés de liberté.

Face aux sources d’énergie épuisables et polluantes, la production d’électricité par énergie solaire à concentration photovoltaïque (CPV) connaît depuis 2010 une croissance significative. Les systèmes ayant les plus hauts rendements (< 29%) sont constitués de trackers à deux axes combinés à des modules à modules (CPV) allant de 300x à 2500x, intégrant des cellules PV à triple jonction, dont l’efficacité mesurée en laboratoire est supérieure à 35%. Les pertes des systèmes sont dues aux conditions de fonctionnement extérieures fluctuantes, parmi lesquelles : la température, le contenu spectral du flux lumineux, la taille variable du disque solaire et la précision du suivi soumis à des limites physiques et des charges de vents variables. L’industrie tente de pallier à ces difficultés par des dispositifs à concentrations optique à angle d’acceptance (AA) large. Mais la caractérisation en laboratoire de tout dispositif doit être complétée par des tests en conditions externes. Ce projet consiste en la conception et la réalisation d’un banc d’essai extérieur de caractérisation de modules CPV, sous conditions réelles et variables, au moyen de tests I-V. Les données sont archivées sur une base de données, et prétraitées pour analyses des résultats. Les objectifs de caractérisation ont été atteints, soit le positionnement ponctuel précis en azimut et en élévation lors d’un test I-V, la répétition de cette étape selon des protocoles ajustables. Six dispositifs CPV à large AA ont été caractérisés en même temps (plus de 146 000 lectures). Des suggestions sont faites pour corriger les problèmes rencontrés. Des questions de recherches ultérieures sont posées, l’ensemble confirmant la pertinence de ce type de banc d’essai.

En France, la récente apparition et implantation de l’espèce Fusarium langsethiae sur les orges de brasserie est devenue une source d’inquiétude. Ce champignon étant connu comme producteur de toxines T-2 et HT-2 cela pose le problème de la présence éventuelle de ces mycotoxines dans la bière. Des études ont proposé la levure Geotrichum candidum comme possible outil de contrôle du niveau de contamination par ces molécules. Par contre, le mécanisme d’action est encore inconnu. L’objectif de ce travail était de comprendre l’interaction entre F. langsethiae et G. candidum pour évaluer l’effet sur le développement de F. langsethiae et sur sa production de la toxine T-2. Nous avons évalué l’interaction entre ces micro-organismes en utilisant des cultures séquentielles et des co-cultures. Dans ce dernier cas la différentiation des deux micro-organismes a été faite par DOPE-FISH et par quantification de l’ADN. Les résultats ont montré que la croissance de F. langsethiae n’est pas inhibée dans un milieu pré-fermenté par G. candidum. Par contre, la présence d’un agent actif thermorésistant produit lors du développement de G. candidum affecte la concentration de la toxine T-2. Uneréduction supérieure à 90% est observée en comparaison au témoin. Dans les co-cultures on obtient le même pourcentage de réduction de la concentration de la toxine par rapport au témoin. Dans ce cas les deux micro-organismes se développent mais en moindre quantité que dans leur culture pure, F. langsethiae semblant plus inhibé que G. candidum. / F. langsethiae has been recently installed and detected in French barley used for malting. This species is known as a T-2 and HT-2 mycotoxin producer and for this reason, the possible presence of these mycotoxins in beer is a concern. G. candidum has been suggested to have a control activity in this issue, however the mechanisms is not yet described. The aim of this work was to understand the interaction between F. langsethiae and G. candidum to identify any effect in F. langsethiae growth and the T-2 toxin production. In this work, the interaction was evaluated using sequential cultures and co-cultures. Differentiation of these microorganisms in co-culture was achieved using DOPE-FISH and DNA quantification. Results showed that in the medium prefermented by G. candidum F. langsethiae growth was not inhibited but a thermoresistant active agent affected the T-2 toxin concentration during F. langsethiae development. A reduction over 90% of the T-2 toxin was observed in comparison to the concentration detected in the control. For mixed cultures the same toxin concentration reduction was observed while both microorganisms grew but at a lesser extent compared to pure cultures. In this case the growth of F. langsethiae was more affected than the one of G. candidum.

Cette étude a pour but de comprendre comment l'échange d'assistants de langue vivante entre la France et l'Allemagne, l'un des premiers programmes d'échanges encadrés par une convention signée entre deux États, a pu naître dès 1905, et se maintenir dans la première moitié du XXème siècle en dépit de relations diplomatiques tendues entre les deux pays et de plusieurs conflits armés. Dans cette perspective, cette analyse tente de révéler les différents facteurs politiques et éducatifs ayant contribué à la naissance et à la pérennité de l'échange, en interrogeant notamment le sens que les acteurs de l'échange, c'est-à-dire les assistants, les enseignants mais aussi les institutions, assignaient à celui-ci. / The aim of this Ph D thesis is to understand how the exchange of foreign language assistants between France and Germany - one of the first exchange programmes framed by a convention between the two states, already in 1905 - could possibly be created and maintained during the first half of the twentieth century. This in spite of strong tensions between the two neighbour states as well as their armed conflicts. Considering these questions, our study seeks to reveal different political and educative factors, which contribute towards generating the exchange programme and keeping it alive. We particularly question its purpose and functions according to the viewpoints of assistants, teachers and institutions.

Les logiques hybrides accroissent les logiques modales avec des éléments pour décrire et raisonner à propos de l'identité, ce qui est crucial dans certaines situations. Les logiques modales que l'on connaît comme ``hybrides'' aujourd'hui remontent au travaux de Prior dans les années 1960, mais leur étude systématique n'a commencé qu'au bout des années 1990. Elles sont intéressantes en grande partie car elles comblent un manque en matière d'expressivité dans les logiques modales. D'ailleurs, elles sont connues parfois comme des ``logiques modales avec égalité''. L'un des thèmes centraux de cette thèse est le problème de la satisfiabilité pour celle qui est probablement la mieux connue des logiques hybrides: le système H(@,dwn), et pour certaines de ses sous-logiques. La satisfiabilité est le problème fondamental en raisonnement automatique. Dans le cas des logiques hybrides, elle a été étudiée essentiellement par la méthode des tableaux. Dans cette thèse, nous essayons de compléter le panorama en explorant la satisfiabilité des logiques hybrides par d'autres méthodes: la résolution du premier ordre et des variantes de calcul de résolution qui manipulent directement des formules hybrides. Nous présentons un certain nombre de traductions en temps linéaire de H(@,dwn) à la logique de premier ordre qui préservent la satisfiabilité. Elles sont conçues de façon telle qu'elles réduisent l'espace de recherche. Ensuite nous dirigeons notre attention vers les calculs qui manipulent directement des formules hybrides. En particulier, nous considérons le calcul de résolution directe. Inspirés par la résolution du premier ordre, nous transformons ce calcul en un calcul de résolution ordonnée avec des fonctions de sélection, et nous prouvons qu'il a la propriété de réduction des contre-exemples. Nous concluons ainsi qu'il est réfutationnellement complet et qu'il est compatible avec le fameux critère standard de redondance. Nous montrons également qu'une version raffinée de ce calcul constitue un procédure de décision pour H(@), un fragment décidable de H(@,dwn). Dans la dernière partie de cette thèse, nous explorons certaines formes normales des logiques hybrides et d'autres logiques modales étendues. Nous nous intéressons aux formes normales où certaines modalités ne sont jamais présentes dans la portée d'autres opérateurs modaux. Nous montrons qu'il est possible de profiter de ce type de transformations sous la forme d'un prétraitement, dans le but de réduire le nombre d'inférences nécessaires pour un prouveur modal. En nous efforçant de formuler ces résultats en tenant compte d'autres logiques modales étendues, nous arrivons à une formulation de la sémantique modale par un nouveau type de modèles définis de façon coinductif. Plusieurs logiques modales étendues (dont les logiques hybrides) peuvent être définies par des classes de modèles coinductifs. Ainsi, des résultats qui étaient habituellement prouvés séparément pour chaque langage (mais dont la preuve n'était souvent que de routine) peuvent être démontrés d'une façon générale. / Hybrid logics augment classical modal logics with machinery for describing and reasoning about identity, which is crucial in many settings. Although modal logics we would today call ``hybrid'' can be traced back to the work of Prior in the 1960's, their systematic study only began in the late 1990's. Part of their interest comes from the fact they fill an important expressivity gap in modal logics. In fact, they are sometimes referred to as ``modal logics with equality''. One of the unifying themes of this thesis is the satisfiability problem for the arguably best-known hybrid logic, H(@,dwn), and some of its sublogics. Satisfiability is the basic problem in automated reasoning. In the case of hybrid logics it has been studied fundamentally using the tableaux method. In this thesis we attempt to complete the picture by investigating satisfiability for hybrid logics using first-order resolution (via translations) and variations of a resolution calculus that operates directly on hybrid formulas. We present firstly several satisfiability-preserving, linear-time translations from H(@,dwn) to first-order logic. These are conceived in a way such that they tend to reduce the search space of a resolution-based theorem prover for first-order logic. We then move our attention to resolution-based calculi that work directly on hybrid formulas. In particular, we will consider the so-called direct resolution calculus. Inspired by first-order logic resolution, we turn this calculus into a calculus of ordered resolution with selection functions and prove that it possesses the reduction property for counterexamples from which it follows its completeness and that it is compatible with the well-known standard redundancy criterion. We also show that certain refinement of this calculus constitutes a decision procedure for H(@), a decidable fragment of H(@,dwn). In the last part of this thesis we investigate certain normal forms for hybrid logics and other extended modal logics. We are interested in normal forms where certain modalities can be guaranteed not to occur under the scope of other modal operators. We will see that these kind of transformations can be exploited in a pre-processing step in order to reduce the number of inferences required by a modal prover. In an attempt to formulate these results in a way that encompasses also other extended modal logics, we arrived at a formulation of modal semantics in terms of a novel type of models that are coinductively defined. Many extended modal logics (such as hybrid logics) can be defined in terms of classes of coinductive models. This way, results that had to be proved separately for each different language (but whose proofs were known to be mere routine) now can be proved in a general way.

Les résistances aux traitements actuels contre le cancer incitent à trouver de nouvelles cibles thérapeutiques. Une de ces cibles, la hsp90 (heat shock protein 90), impliquée dans la maturation de protéines clientes oncogènes, se révèle très prometteuse car son inhibition induit la dégradation de ces protéines par la voie du protéasome.PU3 et PU24S sont des inhibiteurs de la hsp90 de type purine fonctionnalisés en position 8. Dans le but d’identifier des composés encore plus actifs et/ou de nouvelles familles d’inhibiteurs, nous avons développé de nouveaux procédés sélectifs métallo-catalysés permettant l’activation de liaisons C-H de divers hétérocycles, et en particulier des purines (adénines, xanthines). Ces nouvelles approches ont permis un accès direct et simple à de nombreuses purines fonctionnalisées en C-8 par des groupements aromatiques, hetéroaromatiques, éthyléniques et benzyliques. / Resistance to current treatments of cancer encourages finding new therapeutical targets. The heat shock protein 90 (hsp90) is a molecular chaperon which regulates the folding of many client proteins associated with all of the six hallmarks of cancer, and helps maintaining their proper conformation. Consequently, the hsp90 has become an exciting new target in cancer drug discovery since the inhibition of its ATPase activity leads to depletion of these client proteins via the proteasomal pathway. PU3 and PU24S are purine-based hsp90 inhibitors functionalized on C-8 position. In the aim to identify more active compounds and/or new subfamilies of inhibitors, we have developed new metal-catalyzed C-H activation processes of various heterocycles including purines and other azoles. These new and simple approaches have allowed the access to numerous C-8 functionalized purines bearing (het)aryl, alkenyl and benzyl moieties.

La Matière Sombre représente une des quêtes les plus importantes pour la compréhension des constituants élémentaires de l'Univers: la nature de la Matière Sombre est toujours mystérieuse. La dernière décennie a connu des développements expérimentaux remarquables dans la recherche de la Matière Sombre. Le but de ce travail est l'étude de candidats de Matière Sombre de nature supersymétrique (le neutralino) et au-delà (les particules scalaires), et de leurs aspects phénoménologiques et d'astroparticules. Le neutralino, dans l'intervalle de masses 1-100 GeV, est testé par les expériences du Grand Collisionneur d'Hadrons, de détection directe et de détection indirecte; ce travail montre que la combinaison de ces techniques est un outil décisif pour une recherche minutieuse des prédictions théoriques. Les particules scalaires sont des candidats non-standards de masses jusqu'à 1 MeV qui pourraient être produits abondamment dans le Grand Collisionneur d'Hadrons, et au même temps expliquer d'autres phénomènes tels que la masse des neutrinos et/ou le signal à 511 keV provenant du centre galactique de la Voie Lactée. / The Dark Matter problem is one of the most relevant quests for the understanding of the elementary constituents of the Universe: the nature of the Dark Matter is still unveiled. Experimental efforts aiming to detect the Dark Matter have shown a great progress in the last decade. This work is devoted to the phenomenological and astroparticle studies of Dark Matter candidates of supersymmetric nature -the neutralino- and beyond -scalar particles. The former, in the 1-100 GeV mass range, is currently being tested by the Large Hadron Collider, direct detection and indirect detection experiments; this work shows that the interplay between techniques is a decisive tool to thoroughly search for theoretical predictions. The latter is a non-standard candidate as light as 1 MeV which could be copiously produced at the Large Hadron Collider, and at the same time explain other phenomena such as neutrino masses and/or the 511 keV line from the galactic center of the Milky Way.

La communauté de la Visualisation d'Information (Infovis) accorde une importance primordiale à la conception de techniques de visualisation nouvelles, efficaces, ou spécialisées. Alors qu'une technique de visualisation est composée à la fois de techniques de représentation et de techniques d'interaction, la conception de nouvelles techniques d'interaction pour l'Infovis passe souvent au second plan. Dans cette thèse, centrée sur l'interaction en Infovis, j'explore la conception de nouvelles techniques d'interaction afin de rendre des techniques de visualisation existantes plus efficaces, plus adaptées aux tâches utilisateur, et plus engageantes. Afin que ces techniques d'interaction soient efficaces, il est nécessaire d'abandonner les outils interactifs (widgets) standards et proposer des interfaces utilisateur allant au-delà des interfaces à fenêtres, icônes, menus et pointeur connues sous le nom d'interfaces WIMP (Window/Icon/Menu/Pointer).Dans cette thèse, je soutiens que la conception de nouvelles techniques d'interaction pour la visualisation devraient être basée sur le paradigme de la manipulation directe et sur le modèle de l'interaction instrumentale, et s'inspirer de paradigmes d'interaction établis en Interaction Homme-Machine (IHM) mais trop peu connus et reconnus en Infovis. En me basant sur plusieurs projets que j'ai menés au court de ma thèse, je démontre que la conception opportuniste d'interactions nouvelles peut rendre des techniques de visualisation plus efficaces. Ces différents projets soulèvent des problèmes de conception des techniques d'interaction, tels que le compromis entre la congruence cognitive d'une technique d'interaction et sa généricité, le problème de la conception d'interactions engageant l'utilisateur, et les mérites de l'interaction fluide et ininterrompue. Enfin, je propose un ensemble de règles dérivées des différents projets de cette thèse et je soumets des perspectives de travaux futurs, afin de contribuer au grand défi d'établir une théorie de l'interaction pour l'Infovis. / There is a tremendous effort from the information visualization (Infovis) community to design novel, more efficient or more specialized desktop visualization techniques. While visual representations and interactions are combined to create these visualizations, less effort is invested in the design of new interaction techniques for Infovis. In this thesis, I focus on interaction for Infovis and explore how to improve existing visualization techniques through efficient yet simple interactions. To become more efficient, the interaction techniques should reach beyond the standard widgets and Window/Icon/Menu/Pointer (WIMP) user interfaces. In this thesis, I argue that the design of novel interactions for visualization should be based on the direct manipulation paradigm, instrumental interaction, and take inspiration from advanced interactions investigated in HCI research but not well exploited yet in Infovis. I take examples from multiple projects I have designed to illustrate how opportunistic interactions can empower visualizations and I explore design implications raised by novel interaction techniques, such as the tradeoff between cognitive congruence and versatility, the problem of engaging interaction, and the benefits of seamless, fluid interaction. Finally, I provide guidelines and perspectives, addressing the grand challenge of building or consolidating the theory of interaction for Infovis.

La taille du fruit et la morphologie des tissus du fruit sont des caractères clés définissant la qualité finale du fruit. Parmi la grande diversité de fruits observée dans la nature, la domestication et la sélection ont entrainé d’importantes modifications de la taille et de la morphologie des tissus du fruit. Jusqu'à présent, seuls quelques régulateurs génétiques ont été identifiés, et les mécanismes cellulaires et moléculaires par lesquels la morphologie des tissus du fruit est définie restent imprécis. Dans ce contexte, l'objectif de ma thèse est d'identifier et de caractériser de nouveaux régulateurs impliqués dans la morphologie des tissus du fruit. Pour cela, j'ai utilisé une collection de mutants EMS de tomate comme source de diversité génétique et phénotypique et j'ai sélectionné deux mutants présentant des tendances opposées et extrêmes d'épaisseur du péricarpe. Grace à une stratégie de cartographie par séquençage, j’ai identifié une région génétique du chromosome 10, associée au phénotype péricarpe épais. J'ai également étudié le rôle de la Guanylate Binding Protein (GBP) à l’origine du phénotype péricarpe fin chez la tomate. La GBP est une grosse GTP binding protein qui n’a jamais été caractérisée chez les plantes. Afin d'approfondir l’étude de cette protéine, j'ai étudié en parallèle son rôle dans les modèles tomate et Arabidopsis" thaliana. J'ai démontré que les deux protéines homologues sont localisées dans le noyau. La mutation de la GBP chez la tomate induit de fortes altérations de la division et de l'expansion cellulaire à l'intérieur du péricarpe ainsi qu'une altération de la croissance des racines latérales chez la tomate et Arabidopsis, une caractéristique classiquement retrouvée chez les mutants altérés dans la mitose. Cette étude suggère que le GBP joue un rôle dans le contrôle précis des divisions cellulaires dans le péricarpe de tomate. / Fruit size and morphology are key characters defining the final fruit quality. Among the large fruit diversity observed in the nature, human domestication and selection has induced changes in fruit size and tissue morphology. Only a few genetic regulators have been identified so far, thus cellular and molecular mechanisms by which fruit tissue morphology is defined remain incomplete. In this context, the aim of my thesis is to identify and characterize new regulators of fruit tissue morphology. For this purpose, I used a collection of tomato EMS mutants as a source of genetic and phenotypic diversity. I selected two mutants presenting opposite trends of pericarp thickness. Through a mapping-by-sequencing strategy, I identified a genetic region on chromosome 10, associated with an extreme thick pericarp phenotype. I also investigated the role of the Guanylate Binding Protein (GBP) at the origin of a thin pericarp phenotype. The GBP is a large GTP binding protein that was never characterized in plants so far. In order to go deeper into its functional characterization in plants, I studied in parallel the role of the protein in tomato and Arabidopsis "thaliana" models. I showed that both homolog proteins are localized at the nucleus. Mutation of GBP in tomato induced strong alterations in cell division and cell expansion inside the pericarp and altered lateral root growth in tomato and Arabidopsis, a classical feature for mutants impaired in mitosis. This study suggests a role for the GBP in the fine control of cell division in the tomato pericarp.