La lipase B de Candida antarctica (CALB) est un enzyme présentant des propriétés énantiosélectives très intéressantes pour l'obtention de molécules énantio pures par dédoublement cinétique de mélanges racémiques,molécules utilisées comme synthons dans l'industrie pharmaceutique. En effet, le principe actif de nombreux médicaments est efficace sous une forme énantio pure, l'autre forme chirale pouvant se révéler délétère pour l'organisme.Les travaux de la thèse s'intéressent à mieux comprendre l'origine de l'énantiosélectivité de la lipase B de Candida antarctica, en particulier pour la résolution d'alcools secondaires par des réactions de transestérification.Nous utilisons pour la première fois la méthode de la perturbation de l'énergie libre pour estimer la différence d'énergie libre entre les intermédiaires tétraédriques obtenus avec les formes R et S d'alcools énantiomères pour une série d'alcools secondaires, dans le but de prédire in silico l'énantiosélectivité de la CALB. Les paramètres cinétiques apparents d'une réaction avec deux alcools substrats énantiopurs sont expérimentalement déterminés et permettent de définir la contribution respective du Km et du kcat de chaque énantiomère pour la définition de l'énantiosélectivité. L'étude expérimentale de l'effet d'empreinte par des molécules co-substrats est réalisée,ainsi qu'une étude par modélisation moléculaire de l'effet d'empreinte par le premier ester substrat de la réaction qui pourrait modifier la conformation du site actif de la CALB. La troisième partie porte sur l'étude de la CALB et de trois variants (T42V, S47A et T42V/S47A) chez lesquels les acides aminés dans la poche stéréospécifiques ont mutés. T42V et S47A permettent d'obtenir une augmentation de l'énantiosélectivité. L'étude propose une étude détaillée de la conformation du site actif à partir de simulations de trajectoires de dynamique moléculaire

Les modèles hydrauliques sont couramment utilisés pour l'aménagement des rivières et la prévention des dommages liés aux inondations. Ces modèles calculent les hauteurs d'eau et débits sur un tronçon de rivière à partir de sa géométrie et des conditions aux limites du système: débit à l'amont du tronçon, débits d'apports latéraux provenant du bassin intermédiaire et hauteurs d'eau à l'aval. Lorsque le tronçon est long, les apports latéraux deviennent conséquents tout en demeurant rarement mesurés car provenant d'affluents secondaires. L'évaluation de ces apports constitue alors une étape essentielle dans la simulation des crues sous peine de fortes sous ou surestimations des variables hydrauliques. Cette thèse a pour objectif principal d'identifier une méthode de complexité minimale permettant de reconstituer ces apports. Nos travaux s'appuient sur un échantillon de 50 tronçons de rivière situés en France et aux Etats-Unis sur lesquels les apports latéraux ont été estimés à l'aide d'un modèle hydrologique semi-distribué connecté avec un modèle hydraulique simplifié. Une méthode automatisée de découpage du bassin intermédiaire en sous-bassins a d'abord été élaborée afin de faciliter la construction du modèle hydrologique sur les 50 tronçons de rivière. Des tests de sensibilité ont été menés sur le nombre de sous-bassins, la nature uniforme ou distribuée des entrées de pluie et des paramètres du modèle hydrologique. Une configuration à 4 sous-bassins présentant des pluies et des paramètres uniformes s'est avérée la plus performante sur l'ensemble de l'échantillon. Enfin, une méthode alternative de calcul des apports latéraux a été proposée utilisant une transposition du débit mesuré à l'amont et une combinaison avec le modèle hydrologique.

Une carte multi-échelle est un ensemble de cartes à différentes échelles, dans lequel l’utilisateur peut naviguer via un géoportail. Chacune de ces cartes est préalablement construite par généralisation cartographique, processus qui adapte la représentation cartographique à une échelle donnée. Les changements de représentations qu’implique la généralisation entre deux cartes à différentes échelles sont susceptibles de perturber l’utilisateur, rendant sa navigation plus difficile. Nous proposons dans cette thèse d’ajouter des représentations intermédiaires dans une carte multi-échelle existante, pour créer une évolution plus fluide du contenu cartographique au fil des échelles. Alors que de solides connaissances théoriques existent pour la conception cartographique traditionnelle, on ne sait pas encore comment concevoir une carte multi-échelle efficace. Pour formaliser des connaissances à ce sujet, nous avons étudié un panel de seize cartes multi-échelles existantes. Nous avons analysé les systèmes de zoom utilisés ainsi que l’évolution des représentations cartographiques au fil des échelles, en particulier les changements de niveaux d’abstraction pour les objets bâtis et routiers. Nous avons aussi évalué la variation de complexité visuelle du contenu cartographique au fil des échelles, en utilisant des mesures de clutter visuel. Nous avons ainsi identifié les tendances générales en termes de représentations multi-échelles (comme l’application du standard WMTS), certains facteurs que nous considérons comme ayant une influence négative sur la navigation de l’utilisateur (comme l’utilisation d’une même carte à différentes échelles), ainsi que des pratiques intéressantes visant à la faciliter (comme les représentations mixtes). A partir de ces constats, nous avons formulé des hypothèses sur l’influence des variables de construction des représentations intermédiaires sur la fluidité de navigation. Nous avons construit un matériel de test à partir d’un extrait de la carte multi-échelle Scan Express de l’IGN, entre les cartes existant au 1 : 25k et au 1 : 100k. Nous avons ainsi produit quatre versions différentes de représentations intermédiaires entre ces deux cartes, implémentant nos différentes hypothèses. Cet exercice nous a permis de mieux cerner les verrous techniques que soulève la production de représentations intermédiaires. Nous avons enfin conduit un test utilisateurs contrôlé, en demandant à 15 participants de réaliser une tâche cartographique sur ces différentes cartes multi-échelles, pour évaluer la pertinence de nos hypothèses / A multi-scale map is a set of maps at different scales, displayed on mapping applications, in which users may navigate by zooming in or out. Each of these maps is produced beforehand by cartographic generalization, which aims to adapt the cartographic representation for a target scale. Due to generalization, the representation changes between maps at different scales may disturb the user during its navigation. We assume that adding intermediate representations in an existing multi-scale map may enable a smooth evolution of cartographic content across scales. While theoretical knowledge exists for traditional cartography, we still do not know how to design efficient multi-scale maps. To formalize knowledge on that subject, we studied sixteen existing multi-scale maps. We focused on the used zooming system (zoom levels and display scales) and on the evolution of cartographic representations across scales, in particular for building and road entities. We also analyzed the variation of visual complexity of the map content across scales, using visual clutter measures. We thus identified general trends in terms of multi-scale representation (i.e. use of WMTS standard), some potential disturbing factors (i.e. use of a same map at different scales), but also good practices which may ease the user navigation (i.e. mixed representations). Based on these findings, we made assumptions on the influence of intermediate representations design on user navigation. We built test material from an extract of the Scan Express multi-scale map of the French IGN, between the existing maps at 1:25k and 1:100k scales. We thus produced four different versions of intermediate representations between these two maps, implementing our different hypotheses. This way, we highlighted the technical issues that we faced when producing intermediate representations. Finally, we conducted a controlled user study, asking 15 participants to perform a cartographic task on these different multi-scale maps, to evaluate our hypotheses

Dans un contexte de vieillissement démographique, la question de l’habitat des personnes âgées est centrale. Cette thèse, réalisée dans le cadre d’une convention Industrielle de Formation par la Recherche (CIFRE), traite spécifiquement des logements-foyers pour les personnes de plus de 60 ans, nouvellement appelés « résidences autonomie » par la loi d’Adaptation de la Société au Vieillissement. Elle interroge le caractère intermédiaire de ces établissements au prisme des politiques publiques et des trajectoires individuelles par une approche en sociologie politique et en mobilisant la notion de parcours résidentiel comme outil heuristique. L’enjeu de cette recherche est de mettre en évidence la spécificité et la complexité d’une offre d’habitat en pleine mutation. Nous posons comme hypothèse principale que la situation intermédiaire des logements-foyers est plurielle et révèle les points de tension auxquels ce modèle d’habitat est confronté. Cette thèse présente, dans un premier temps, la construction et l’évolution des politiques relatives aux logements-foyers et y apporte un éclairage européen. Dans un deuxième temps, elle analyse le statut hybride de ces habitats entre établissement médico-social et logement social et s’attache à situer ces structures parmi l’ensemble de l’offre d’habitat intermédiaire en France. Dans un troisième temps, est étudié l’ancrage des logements-foyers dans les parcours résidentiels des personnes âgées. Cette recherche est abordée à travers une approche par regards croisés permettant de recueillir les discours des différents acteurs du secteur (personnes âgées, professionnels et institutionnels) et mobilise une méthode qualitative par entretiens, observations et analyse documentaire. Nous montrons ainsi que la situation intermédiaire des logements-foyers s’explique par une construction incrémentale des politiques publiques. L’intermédiarité de ces structures leur est spécifique et complexifie leur reconnaissance et leur fonctionnement quotidien. Leurs résidents se trouvent ainsi plus concernés par la notion de filière que de parcours résidentiel. / In a context of an aging population, the issue of housing the elderly has become crucial. This PhD thesis, developed in the framework of a CIFRE contract (Industrial Conventions of Training through Research), tackles the issue of sheltered housing for people above 60, referred to as “résidences autonomie” (“homes for an independent life”) in the new French law on aging. It analyzes the transitional nature of such housing from the public policy and the individual points of view, through a political sociology approach and mobilizing the notion of residential process as a heuristic tool. The purpose of this research is to highlight the specificity and complexity of a housing model currently undergoing important changes. Our main hypothesis is that the transitional nature of sheltered housing is diverse and reveals the stress points the model faces. First, we discuss the development and evolution of sheltered housing policies, and present a European overview. Second, the hybrid nature of such housing, halfway between social health-care institutions and social housing, is analyzed and put back into the whole transitional housing offer in France. Third, we focus on the place of sheltered housing in the residential path of senior citizens. We have used a crossover approach, collecting viewpoints from the sector’s various actors –elderly people, professional workers, and public representatives–, as well as a qualitative method including interviews, observations and literature review. By doing so, we highlight the fact the transitional nature of sheltered housing finds its roots in the incremental construction of public policies. The transitional nature of these establishments is specific to them, and complicates their acknowledgement and daily operation. As a result, residents are faced with a linear housing model rather than actual residential mobility.

Le débat actuel, portant sur la consommation des territoires qui est associée à la périurbanisation caractérisée par la maison individuelle, nous a amené à entreprendre notre travail. La volonté d’inscrire l’évolution des tissus périurbains dans une historiographie architecturale et urbaine nous a conduit à analyser ces formes périurbaines, à travers l’étude des processus et mécanismes morphogénétiques. La densité a eu mauvaise presse auprès des scientifiques et professionnels de la ville, aujourd’hui celle-ci semble être considérée comme un remède à l’étalement des territoires. Ainsi, nous nous sommes intéressés à l’instrumentalisation de la densité par les différents acteurs de la Ville, à travers les lois, les documents d’urbanisme. Nous nous sommes penchés sur l’étude de la définition de la densité, de sa place dans la théorie urbanistique et du rapport qu’elle entretient avec la morphogénèse des tissus périurbains. Ce travail aborde la transformation des tissus périurbains (dont l’analyse est peu présente dans les travaux scientifiques) au travers du prisme des espaces intermédiaires, que nous considérons comme un enjeu important dans l’évolution durable des territoires. Enfin, ce travail s’est proposé de réaliser une nouvelle lecture des espaces périurbains par les espaces intermédiaires à l’échelle de la parcelle pavillonnaire, en considérant que l’analyse des transformations, qui s’y déroulent, représente un élément marquant/discriminant pour l’élaboration des politiques urbaines. / Actually the discussion about the use of territories, which is associated with suburbanization characterized by the house led us to undertake our research. The research aims to include the development of peri-urban fabrics in architectural and urban historiography. And from that, we have analysed these suburban forms. Density has a bad press among scientists and city professionals; today it seems to be considered as a cure for the urban sprawl. Therefore, we have looked at the exploitation of the density by the different actors of the City, through legislation, planning documents. We focused on the study of the definition of density, its place in urban theory and its relation with peri –urban fabric morphogenesis. This research addresses the transformation of suburban fabric (whose analysis is not present in the scientific work) through the prism of the “in-between spaces”, which we consider an important issue in the sustainable development of territories. Finally, this work has proposed to produce a new reading of suburban areas by the “in-between spaces” in the suburban plot, whereas the analysis of the transformations that take place, are a prominent feature for urban policy.

Une alternative à la réduction des dimensions caractéristiques des transistors est la 3D séquentielle. L’intégration 3D séquentielle requiert la fabrication de plusieurs niveaux de composant directement les uns au dessus des autres. Les procédés de fabrication utilisables pour les niveaux supérieurs sont limités par le budget thermique maximal que peuvent supporter les niveaux inférieurs. Pour la technologie FDSOI cette limite est fixée entre 500 °C et 550°C, 5 h dépendant de la siliciuration utilisée. Malgré le travail fourni pour réduire le BT des procédés de fabrication du transistor FDSOI, il est difficile d’atteindre cette limite pour certaines étapes, comme l’épitaxie des sources et drains surélevés. Dans ce contexte, cette thèse propose d’étudier et d’améliorer la stabilité thermique des niveaux bas, c’est à dire des transistors FDSOI et des niveaux de routages intermédiaires. L’étude de stabilité thermique du transistor FDSOI a permis d’identifier le siliciure comme étant l’élément le plus sensible aux budgets thermiques. Sa détérioration entraîne la dégradation de la résistance d’accès du transistor et favorise la diffusion du siliciure dans le canal. L’utilisation du Ni0.90Pt0.10 est limitée à 500 °C, 5 h, celle du Ni0.85Pt0.15 à 550 °C, 5 h. En alternative au NiPt, un nouveau siliciure a été étudié : le Ni0.90Co0.10. Afin de repousser sa stabilité thermique à 600 °C, 2 h, son intégration a dû être couplée à deux facteurs d’améliorations : l’amorphisation partielle des sources et drains par implantation et l’intégration d’un film de silicium intrinsèque epitaxié au-dessus des sources et drains composés de Si0.70Ge0.30. Les effets de ces différents « boosters » ont ainsi été analysés et expliqués. Pour la première fois, les avancées obtenues ont été implémentées sur des dispositifs FDSOI du noeud 14 nm. Ce premier essai est concluant car des performances identiques aux transistors pMOS fabriqués avec le siliciure Ni0.85Pt0.15, étudié depuis les années 2000, ont été obtenues. Néanmoins, la stabilité thermique évaluée sur transistor Ni0.90Co0.10 reste à améliorer. L’intégration de niveaux de routage entre les niveaux de transistors requiert des matériaux thermiquement stables et peu contaminants. Dans cette optique, la stabilité thermique d’une liste de diélectriques a été étudiée et caractérisée principalement par ellipsométrie, FTIR et ellipsométrie-porosimértie. Ainsi des couples isolant/barrière ont pu être déterminés pour chaque budget thermique appliqué entre 500 °C et 600 °C, 2 h. En ce qui concerne le métal intermédiaire, le tungstène a été étudié comme matériau conducteur, en plus du cuivre, en raison de son caractère moins contaminant. Ces deux matériaux ont montré une bonne stabilité thermique : jusqu’à 500 °C, 2 h pour le cuivre et 550 °C, 5 h pour le tungstène. Cependant, la résistance d'une ligne en cuivre est six fois moins résistante d'une ligne en tungstène. Cette valeur pourra être abaissée dans le cas de l’utilisation d’une nouvelle barrière en tungstène sans fluore qui a été étudiée et intégrée avec succès. Pour finir, la fiabilité du diélectrique à l’état de l’art, le SiOCH poreux, a été analysé dans des structures intégrant des lignes en tungstène. Dans ces conditions, la durée de vie du diélectrique est estimée à 1e16 années. Malgré la diminution de cette valeur après budget thermique à 600 °C, 2 h, (1e7 années), celle-ci reste bien supérieure à celle du cuivre dans des conditions identiques. / The 3D sequential integration is a smart alternative to planar device scaling. In this integration, the stacked transistors are processed sequentially, thus implying the reduction of the top thermal budget processes in order to preserve the bottom levels. For the FDSOI technology, the maximum thermal budget is set at 500 °C, 2 h. Despite the work done to reduce the thermal budget of the FDSOI processes, it is difficult to comply with this limit, as for example for the epitaxial raised source and drain which would need a thermal budget limit relaxation. In the frame of this Ph.D work, the thermal stability of the FDSOI transistors and the intermediate Back-End-Of-Line have been studied and optimized. The FDSOI transistor silicide has been identified as the most sensitive element to the thermal budget. Its degradation imply the access resistance degradation and favor the diffusion of the silicide into the channel. For this purpose, the Ni0.90Co0.10 silicide has been studied. To increase its thermal stability up to 600 °C, 2 h, two enhancers have been integrated: the pre-amorphization implant and the integration of a silicon capping over the Si0.70Ge0.30 source and drain. The effects of these enhancers on the thermal stability have been analyzed and understood. In addition to those, the Ni0.90Co0.10 has been integrated for the first time on 14 nm node FDSOI transistors. This first attempt is positive: identical performances on pMOS transistors have been obtained with Ni0.90Co0.10 silicide compare to Ni0.85Pt0.15 silicide, which is studied since the 2000’s. However, the improvement of thermal stability is not yet achieved on FDSOI transistors with Ni0.90Co0.10 silicide. Concerning the stability of the intermediate BEOL, the stability of dielectrics has first been studied and characterized by ellipsometry, FTIR and ellipsometric–porosimetry. Thus, insulating/barrier pairs have been defined for each thermal budget between 500 °C and 600 °C, 2 h. The metal lines have been studied using a 28nm node layout. Due to its limited contaminant characteristic, tungsten has been analyzed in addition to copper. Both materials show a good thermal stability: 500 °C, 2 h for copper and 550 °C, 5 h for tungsten despite the higher resistivity of tungsten. A factor 6 has been measured between these two materials. The resistance of a tungsten line has been improved by the integration of a new barrier. Finally, the state of the art Back-End-Of-Line dielectric reliability, the porous SiOCH, has been studied, function of the thermal budget, in structure integrated tungsten metal lines. In these conditions, the dielectric lifetime is estimated at 1e16 years. Despite its reduction due to thermal budget at 600 °C, 2 h (1e7 years), the tungsten lifetime estimation remains higher than the one obtained with copper lines without thermal budget.

Les systèmes embarqués modernes intègrent des dizaines, voire des centaines, de cœurs sur une même puce communiquant à travers des réseaux sur puce, afin de répondre aux exigences de performances édictées par le marché. On parle de systèmes massivement multi-cœurs ou systèmes many-cœurs. La complexité de ces systèmes fait de l’exploration de l’espace de conception architecturale, de la co-vérification du matériel et du logiciel, ainsi que de l’estimation de performance, un vrai défi. Cette complexité est généralement com-pensée par la flexibilité du logiciel embarqué. La dominance du logiciel dans ces architectures nécessite de commencer le développement et la vérification du matériel et du logiciel dès les premières étapes du flot de conception, bien avant d’avoir accès à un prototype matériel.Ainsi, il faut disposer d’un modèle abstrait qui reproduit le comportement de la puce cible en un temps raisonnable. Un tel modèle est connu sous le nom de plateforme virtuelle ou de simulation. L’exécution du logiciel sur une telle plateforme est couramment effectuée au moyen d’un simulateur de jeu d’instruction (ISS). Ce type de simulateur, basé sur l’interprétation des instructions une à une, est malheureusement caractérisé par une vitesse de simulation très lente, qui ne fait qu’empirer par l’augmentation du nombre de cœurs.La simulation native est considérée comme une candidate adéquate pour réduire le temps de simulation des systèmes many-cœurs. Le principe de la simulation native est de compiler puis exécuter la quasi totalité de la pile logicielle directement sur la machine hôte tout en communiquant avec des modèles réalistes des composants matériels de l’architecture cible, permettant ainsi de raccourcir les temps de simulation. La simulation native est beau-coup plus rapide qu’un ISS mais elle ne prend pas en compte les aspects non-fonctionnels,tel que le temps d’exécution, dépendant de l’architecture matérielle réelle, ce qui empêche de faire des estimations de performance du logiciel.Ceci dresse le contexte des travaux menés dans cette thèse qui se focalisent sur la simulation native et s’articulent autour de deux contributions majeures. La première s’attaque à l’introduction d’informations non-fonctionnelles dans la représentation intermédiaire (IR)du compilateur. L’insertion précise de telles informations dans le modèle fonctionnel est réalisée grâce à un algorithme dont l’objectif est de trouver des correspondances entre le code binaire cible et le code IR tout en tenant compte des optimisations faites par le compilateur. La deuxième contribution s’intéresse à la modélisation d’un cache d’instruction et d’un tampon d’instruction d’une architecture VLIW pour générer des estimations de performance précises.Ainsi, la plateforme de simulation native associée à des modèles de performance précis et à une technique d’annotation efficace permet, malgré son haut niveau d’abstraction, non seulement de vérifier le bon fonctionnement du logiciel mais aussi de fournir des estimations de performances précises en des temps de simulation raisonnables. / Modern embedded systems are endowed with a high level of parallelism and significantprocessing capabilities as they integrate hundreds of cores on a single chip communicatingthrough network on chip. The complexity of these systems and their dedicated softwareshould not be an excuse for long design cycles, even though the design space is enormousand the underlying design decisions are critical. Thus, design space exploration, hard-ware/software co-verification and performance estimation need to be conducted within areasonable amount of time and early enough in the design process to avoid any tardy de-tection of functional or performance deficiencies.Co-simulation platforms are becoming an increasingly important part in design and ver-ification steps. With instruction interpretation-based software simulation platforms beingtoo slow as they model low-level details of the target system, an alternative software sim-ulation approach known as native simulation or host-compiled simulation has gained mo-mentum this past decade. Native simulation consists of compiling the embedded softwareto the host binary format and executing it directly on the host machine. However, this tech-nique fails to reflect the performance of the embedded software and its actual interactionwith the target hardware. So, the speedup gained by native simulation comes at a price,which is the absence of non-functional information (such as time and energy) needed for es-timating the performance of the entire system and ensuring its proper functioning. Withoutsuch information, native simulation approaches are limited to functional validation.Yielding accurate estimates entails the integration of high-level abstract models thatmimic the behavior of target-specific micro-architectural components in the simulation plat-form and the accurate placement of the obtained non-functional information in the high-level code. Back-annotating non-functional information at the right place requires a map-ping between the binary instructions and the high-level code statements, which can be chal-lenging particularly when compiler optimizations are enabled.In this thesis, we propose an annotation framework working at the compiler interme-diate representation level to accurately annotate performance metrics extracted from thebinary code, thanks to a dedicated mapping algorithm. This mapping algorithm is furtherenhanced to deal with aggressive compiler optimizations, such as loop unrolling, that radi-cally alter the structure of the code. Our target architecture being a VLIW processor, we alsomodel at a high level its instruction buffer to faithfully reproduce its timing behavior.The experiments we conducted to validate our mapping algorithm and component mod-els yielded accurate results and high simulation speed compared to a cycle accurate ISS ofthe target platform.

Certains environnements ont besoin de plusieurs compilateurs, par exemple un pour le système d'exploitation, supportant la norme C/C++ complète, et l'autre pour les applications, qui supporte éventuellement un sous-ensemble de la norme, mais capable de fournir plus de performance. Le maintien de plusieurs compilateurs pour une plateforme cible représente un effort considérable. Il est donc plus facile d'implémenter et de maintenir un seul outil responsable des optimisations particulières au processeur ciblé. Il nous faut alors un moyen de relier ces compilateurs à l'optimiseur, de préférence, en gardant au passage certaines structures de données internes aux compilateurs qui, soit prendraient du temps, soit seraient impossible à reconstruire à partir du code assembleur par exemple. Dans cette thèse, nous introduisons Tirex, une représentation textuelle intermédiaire pour échanger des informations de bas niveau, déjà dépendantes de la cible, entre les compilateurs, les optimiseurs et les autres outils de la chaîne de compilation. Notre représentation contient un flot d'instructions du processeur cible, mais garde également la structure explicite du programme et supporte la forme SSA (Static Single Assignment). Elle est facilement extensible et très flexible, ce qui permet de transmettre toute donnée jugée importante à l'optimiseur. Nous construisons Tirex par extension de MinIR, une représentation intermédiaire elle-même basée sur un encodage YAML des structures du compilateur. Nos extensions de Tirex comprennent: l'abaissement de la représentation au niveau du processeur cible, la conservation du flot de données du programme, ainsi que l'ajout d'informations sur les structures de boucles et les dépendances de données. Nous montrons que Tirex est polyvalent et peut être utilisé dans une variété d'applications différentes, comme par exemple un environnement d'exécution virtuel (VEE),et fournit une base forte pour un environnement d'analyse du programme. Dans le cadre d'un VEE, nous présentons un interprèteur de la forme SSA et un compilateur just-in-time (JIT). Nous montrons comment l'interprétation d'une représentation au niveau du processeur cible élimine la plupart des problèmes liés à l'exécution en mode mixte. Nous explorons également les questions liées à l'interprétation efficace d'une représentation de programme sous la forme SSA. / Some environments require several compilers, for instance one for the operating system, supporting the full C/C++ norm, and one for the applications, potentially supporting less but able to derive more performance. Maintaining different compilers for a target requires considerable effort, thus it is easier to implement and maintain target-dependent optimizations in a single, external tool. This requires a way of connecting these compilers with the target-dependent optimizer, preferably passing along some internal compiler data structures that would be time-consuming, difficult or even impossible to reconstruct from assembly language for instance. In this thesis we introduce Tirex, a Textual Intermediate Representation for EXchanging target-level information between compilers, optimizers an different tools in the compilation toolchain. Our intermediate representation contains an instruction stream of the target processor, but still keeps the explicit program structure and supports the SSA form(Static Single Assignment). It is easily extensible and highly flexible, which allows any data to be passed for the purpose of the optimizer. We build Tirex by extending the existing Minimalist Intermediate Representation (MinIR), itself expressed as a YAML textual encoding of compiler structures. Our extensions in Tirex include: lowering the representation to a target level, conserving the program data stream, adding loop scoped information and data dependencies. Tirex is currently produced by the Open64 and the LLVM compilers, with a GCC producer under work. It is consumed by the Linear Assembly Optimizer (LAO), a specialized, target-specific, code optimizer. We show that Tirex is versatile and can be used in a variety of different applications, such as a virtual execution environment (VEE), and provides strong basis for a program analysis framework. As part of the VEE, we present an interpreter for a Static Single Assignment (SSA) form and a just-in-time (JIT) compiler. We show how interpreting a target-level representation eliminates most of the complexities of mixed-mode execution. We also explore the issues related to efficiently interpreting a SSA form program representation.

Afin de développer des moyens de protection et de prévention adaptés aux personnes et à leurs activités, ces travaux de thèse contribuent à la compréhension des mécanismes de rupture sous différentes vitesses de chargement. Le comportement de l’os spongieux bovins, non confiné, avec moelle, a été étudié sur 8 niveaux de vitesse de déformation, du régime quasi-statique (10-3/s) au régime dynamique (600/s). Pour cela, des techniques expérimentales de compression interrompue ont été développées. La caractérisation architecturale micro CT pré-compression a ensuite mis en évidence les paramètres de description architecturale pertinents ainsi que le rôle de cette organisation dans le comportement de l’os spongieux sous différents régimes de sollicitation. Associé à l’imagerie micro CT post compression, les faciès de rupture ont été observés. Malgré la base de données expérimentales (127 échantillons), toutes les configurations architecturales présentes chez un être vivant n’ont pas pu être testées. Un premier générateur d’architecture a alors été développé, permettant de créer numériquement des structures osseuses. S’affranchissant du caractère destructif des essais et la dépendance vis à vis des échantillons, cet outil contribue à la compréhension des mécanismes de fracture de l’os spongieux sur une grande plage de vitesses de déformations. Les fondations nécessaires à la validation d’un tel modèle en utilisant la méthode des éléments discrets s’inscrivent enfin comme perspectives immédiates de ces travaux. / In order to develop means of protection and prevention for people and their activities, this thesis manuscript contributes towards understanding failure mechanisms under different loading rates. The behavior of cancellous bovine bone, unconfined, with marrow, has been studied over a range of 8 strain rates, from quasi-static (10-3/s) to dynamic (600/s) regimes. For the latter, specific interrupted compression experimental techniques were developed. The pre-compression micro CT architectural characterization highlighted relevant architectural parameters and the role this organization may have in the behavior of cancellous bone under different regimes. The fracture surfaces of the specimen were observed by post compression micro CT imaging. Despite the large experimental data base (127 samples), all architectural configurations present in individuals could not be tested. A first architectural generator was then developed to digitally create bone structures. Whilst avoiding the destructive nature of the test and the dependence of the samples, this tool contributes to the understanding of the fracture mechanisms of cancellous bone over a large range of strain rates. Finally, the immediate prospects for this work include the validation of the architectural generator using the discrete element method.

Les cultes mémoriels sont abordés de manière pragmatique pour établir la réalité des pratiques, leur durée, leur importance et leur évolution. Pour cela, la nécropole de Pépy Ier, à Saqqâra, fait l’objet d’une attention particulière et un corpus inédit de 160 tables d’offrandes est présenté en intégralité.Dans une première partie, l’étude cherche à caractériser les lieux d’implantation du culte. Elle permet de constater une hiérarchie de ces lieux par une sectorisation de l’espace funéraire et un investissement progressif de l’espace urbain avec les chapelles privées puis les temples divins. La deuxième partie se concentre sur les pratiques elles-mêmes. Les principaux supports sont analysés : la table d’offrandes, la stèle, la statue. Chacun est décrit dans sa spécificité et en relation avec les rites prévus. Une attention particulière est portée également aux bâtiments, notamment les différents types de chapelles privées.La dernière partie analyse les motivations du culte, que l’on peut répartir en trois grandes catégories : les pratiques administratives, les intentions relevant de la piété et les pratiques dévotionnelles.Ces trois aspects démontrent conjointement une évolution des mentalités avec le développement, à partir de la VIe dynastie, des pratiques individualistes, en suppléance des pratiques administratives et collectives traditionnelles.Le second volume présente le corpus des tables d’offrandes de la nécropole de Pépy Ier. Une analyse approfondie de leur datation est réalisée au moyen d’une sériation par permutation matricielle. Elle met en évidence pour la première fois 8 périodes successives entre le début de la VIe dynastie et l’avènement du Moyen Empire. / Memorial cults are discussed in a pragmatic way to establish the actual practices, their duration, their importance and their evolution. For this, the necropolis of Pepy Ist at Saqqara, is the subject of special attention and a corpus of 160 unpublished offering tables is presented in full.In the first part, the study seeks to characterize locations of cult places. It reveals a hierarchy of these places by a sectorization of the necropolises and a progressive intrusion in urban area with private chapels and divine temples.The second part focuses on the practices themselves. The main materials are analyzed: the offering table, the stele, the statue. Each is described in its specificity and relation to rituals provided. Particular attention is paid also to buildings, including the different types of private chapels.The final section analyzes the motivations of cults that can be divided into three main categories: administrative practices, intentions within the piety and devotional practices.These three aspects together indicate a change in social history with the development, from the sixth dynasty, of individualistic practices, in substitution of administrative and communal traditional practices.The second volume presents the corpus of offering tables from the necropolis of Pepy Ist. A thorough analysis of their dating is performed using a matrix permutation seriation. It reveals for the first time eight successive periods between the beginning of the sixth dynasty and the advent of the Middle Kingdom.