Cette thèse de doctorat a pour sujet les modèles de la théorie homotopique des types avec l'Axiome d'Univalence introduit par Vladimir Voevodsky. L'auteur prend pour cadre de travail les définitions de type-theoretic model category, type-theoretic fibration category (cette dernière étant la notion de modèle considérée dans cette thèse) et d'univers dans une type-theoretic fibration category, définitions dues à Michael Shulman. La problématique principale de cette thèse consiste à approfondir notre compréhension de la stabilité de l'Axiome d'Univalence pour les catégories de préfaisceaux, en particulier pour les groupoïdes équipés d'une involution. / This PhD thesis deals with some new models of Homotopy Type Theory and the Univalence Axiom introduced by Vladimir Voevodsky. Our work takes place in the framework of the definitions of type-theoretic model categories, type-theoretic fibration categories (the notion of model under consideration in this thesis) and universe in a type-theoretic fibration category, definitions due to Michael Shulman. The goal of this thesis consists mainly in the exploration of the stability of the Univalence Axiom for categories of functors , especially for groupoids equipped with involutions.

L’objectif de cette thèse est, d’une part, de proposer une amélioration des méthodes d’estimation des cuvettes d’affaissement et des méthodes d’évaluation des dommages susceptibles de se produire sous leurs effets et de l’autre, de développer des outils basés sur ces méthodes pour étudier les affaissements et les dommages sur des cas pratiques. L’étude de l'influence de la topographie sur les cuvettes d'affaissement dans des conditions d’exploitation simplifiées grâce à des modèles numériques avec des profondeurs d'exploitation et des pentes du sol variables a permis de proposer une nouvelle fonction d’influence basée sur une densité de probabilité normale asymétrique lorsque la surface du sol est non-plane. Une modélisation simplifiée des habitations en maçonnerie sous la forme de deux modèles de structures bidimensionnels croisés, alignés avec les axes d’inertie de la structure étudiée et dans lesquels la méthode des déplacements est mise en œuvre pour calculer les efforts internes et les déformations sous l’effet de déplacements imposées des fondations. Ces modèles simplifiés dont les caractéristiques géométriques et mécaniques sont définis pour chaque type de bâtiment étudié permettent d’estimer les efforts appliqués à chaque bâtiment d’une ville exposée à un affaissement de terrain et de fournir de nouveaux critères d’évaluation des dommages prenant en compte davantage d’informations que les méthodes habituelles. Une estimation des dommages dans la ville de Joeuf sur la base des nouvelles méthodes proposées, tant pour le calcul de l’affaissement que pour l’estimation des dommages, a été réalisée / The objective of this thesis is to improve the methods of subsidence computation and building damage evaluation, and to develop some tools based on these methods to study the mining subsidence and building damage cases in Lorraine. By investigating the topography influence on subsidence under simplified mining conditions, and using numerical models with varying mining depths and ground surface angles, a new influence function method, which is based on a probability density function of a skew normal distribution, to simulate the element subsidence, was firstly developed and can be used to compute the mining subsidence caused by the excavation under non-flat surface. Then, plane framed structural models were chosen to study the mechanical behavior of 3D buildings. For each building, two plane models located in the vertical sections passing through the principle inertia axes of the building’s projective polygon were considered. Their geometry and mechanical characteristics were chosen according to the construction type and used materials of the building under consideration. Then, by using the matrix displacement method with some modifications, the internal forces and displacements for the entire structure could be computed. The achieved internal forces could then be compared to damage grade criteria to determine the extent of building damage.Finally, by using the improved methods of subsidence computation and building damage evaluation, a real case application was performed in Joeuf city (France). The subsidence was computed and applied to the defined structural models as support displacements, and then the damage extents of the buildings in Joeuf were predicted

<p align="justify">In a context of restoration of historical masonry structures, it is crucial to properly estimate the residual strength and the potential structural failure modes in order to assess the safety of buildings. Due to its mesostructure and the quasi-brittle nature of its constituents, masonry presents preferential damage orientations, strongly localised failure modes and damage-induced anisotropy, which are complex to incorporate in structural computations. Furthermore, masonry structures are generally subjected to complex loading processes including both in-plane and out-of-plane loads which considerably influence the potential failure mechanisms. As a consequence, both the membrane and the flexural behaviours of masonry walls have to be taken into account for a proper estimation of the structural stability.</p><p><p align="justify">Macrosopic models used in structural computations are based on phenomenological laws including a set of parameters which characterises the average behaviour of the material. These parameters need to be identified through experimental tests, which can become costly due to the complexity of the behaviour particularly when cracks appear. The existing macroscopic models are consequently restricted to particular assumptions. Other models based on a detailed mesoscopic description are used to estimate the strength of masonry and its behaviour with failure. This is motivated by the fact that the behaviour of each constituent is a priori easier to identify than the global structural response. These mesoscopic models can however rapidly become unaffordable in terms of computational cost for the case of large-scale three-dimensional structures.</p><p><p align="justify">In order to keep the accuracy of the mesoscopic modelling with a more affordable computational effort for large-scale structures, a multi-scale framework using computational homogenisation is developed to extract the macroscopic constitutive material response from computations performed on a sample of the mesostructure, thereby allowing to bridge the gap between macroscopic and mesoscopic representations. Coarse graining methodologies for the failure of quasi-brittle heterogeneous materials have started to emerge for in-plane problems but remain largely unexplored for shell descriptions. The purpose of this study is to propose a new periodic homogenisation-based multi-scale approach for quasi-brittle thin shell failure.</p><p><p align="justify">For the numerical treatment of damage localisation at the structural scale, an embedded strong discontinuity approach is used to represent the collective behaviour of fine-scale cracks using average cohesive zones including mixed cracking modes and presenting evolving orientation related to fine-scale damage evolutions.</p><p><p align="justify">A first originality of this research work is the definition and analysis of a criterion based on the homogenisation of a fine-scale modelling to detect localisation in a shell description and determine its evolving orientation. Secondly, an enhanced continuous-discontinuous scale transition incorporating strong embedded discontinuities driven by the damaging mesostructure is proposed for the case of in-plane loaded structures. Finally, this continuous-discontinuous homogenisation scheme is extended to a shell description in order to model the localised behaviour of out-of-plane loaded structures. These multi-scale approaches for failure are applied on typical masonry wall tests and verified against three-dimensional full fine-scale computations in which all the bricks and the joints are discretised.</p> / Doctorat en Sciences de l'ingénieur / info:eu-repo/semantics/nonPublished

Les trusts anglo-américains (anglais, américain et des Iles Cook) coexistent avec les trusts de droit civil (les fidéicommis argentin, bolivien, panaméen et la fiducie française). Ils appartiennent aux deux familles de droit de Common Law et romano-germanique et ont des structures différentes. Les trusts exprès anglo-américains sont créés par acte unilatéral du constituant et mettent en place une relation trustee-bénéficiaire. Les trusts de droit civil sont créés par contrat (ou testament) entre le constituant et le fiduciaire et ne donnent pas des droits réels aux bénéficiaires. Malgré leur différence de structure, les deux trusts fonctionnent de manière équivalente, grâce au transfert de propriété au fiduciaire et à l’étanchéité du patrimoine fiduciaire. Les réserves héréditaires sont un élément extérieur à la structure des trusts testamentaires ; ceux-ci fonctionnent de manière analogue. Les techniques d’investissement et de gestion fiduciaire sont aussi similaires : des clauses conditionnelles d’accès ou fin de la propriété fiduciaire et des pouvoirs discrétionnaires donnés au trustee sont communs aux deux modèles de trust. La séparation du patrimoine sert à mettre en place des trusts de gestion, de protection ou de garantie de financement de projet, de défaisance ou de titrisation. Le fonctionnement du FCP, similaire à celui des Unit Trusts, devrait donner la propriété fiduciaire des actifs au dépositaire. Des éléments de la loi, extérieurs à la structure de la fiducie, qui n’existent pas chez ses homologues latino et anglo-américains, empêchent son fonctionnement normal. Nous proposons de modifier la loi sur la fiducie, sur les FCP et les fonds de titrisation / Anglo-American express private trusts, Latin-American fideicomiso and French fiducia”. Common Law trusts (English, American and Cook Islands) co-exist with civil law domestic trusts (Argentinean, Bolivian and Panamanian fideicomiso and French fiducia). They belong to the Common Law and continental law families respectively and have different structures. Anglo-American express trusts are settled by a settlor (declaration, gift) or by a will that creates an equitable relationship between the trustee and the cestui, whereby both share legal and equitable interests on the trust property. Civil law trusts are settled by a contract between the settlor and the trustee and by a will. Thus, a civil law trust beneficiary has only personal remedies against a trustee in respect of breach of trust. Despite the structural differences, both types of trusts operate in similar ways, due to the transfer of property to the trustee and the separation of the trust property. Testamentary trusts also work in a similar way; forced heirship is an external element of both. Trust managing and investment techniques and practices are also similar: condition precedent and condition subsequent clauses and discretionary trusts and powers are common to both trust models. Separation of the trust property allows for the settlement of protective trusts, trusts for project financing, defeasance and securitization. French Mutual Funds are comparable to Unit Trusts. Both should give legal title to the trustee (custodian). External elements of French law, which do not exist in Anglo or Latin American trusts, restrain the normal operation and use of French fiducia. We propose to modify the fiducia, mutual and securitization funds law.

L’état de l’art réalisé dans le cadre de ce travail a permis d’identifier une grande variété de techniques de réalisation de micropieux avec des comportements effort-déformation difficiles à prédire. Quant aux méthodes de contrôle, du point de vue de l’intégrité il existe deux méthodes développées pour les pieux lesquelles ne sont pas toujours applicables aux cas de micropieux ; et du point de vue du contrôle du comportement mécanique, il existe un essai assez utilisé pour le contrôle de micropieux : l’essai d’arrachement. Cet essai est facile à réaliser et à interpréter, cependant il est onéreux (long temps d’essai) et difficile à mettre en place. Un autre type d’essai, utilisé dans le contrôle de fondations profondes, est l’essai de chargement dynamique. La recherche bibliographique a permis d’identifier les avantages et inconvénients de ce type d’essai adaptés et déjà validés dans le contrôle de pieux. Nous avons donc proposé une nouvelle méthodologie basée sur des essais de chargement dynamique à faible contrainte nécessitant des énergies de battage beaucoup moins importantes que dans les essais de chargement dynamique classiques. Le protocole et dispositif d’essai de la méthodologie ont été calibrés et validés à partir de simulations numériques afin notamment de justifier les choix de l’énergie d’impact, de la masse du marteau et de l’amortisseur à utiliser. Les observations numériques sont ensuite vérifiées expérimentalement sur des micropieux à échelle réelle mis en place dans un site expérimental développé dans le cadre de ce projet. La méthodologie de contrôle en place de la résistance en service de micropieux développée, c’est une méthode originale simple à réaliser, facile à mettre en oeuvre et d’interprétation immédiate. Elle a été validée aussi dans le cas de micropieux à échelle réelle en conditions maitrisées dans le site expérimental et non maitrisées dans trois chantiers réels de micropieux. Finalement, le progrès dans les recherches, a permis le développement d’une méthodologie de contrôle de la résistance limite de micropieux. Pour cela nous proposons d’utiliser un modèle analytique de prédiction du comportement effort-déformation alimenté par les résultats de l’essai de chargement dynamique à faible déformation et d’un essai complémentaire de reconnaissance des paramètres à la rupture du sol. L´objectif de ce développement est de proposer une prédiction de la résistance limite du micropieux testé sans compromettre son intégrité. L’application de la méthodologie a montré qu’elle donne des résultats très proches de ceux observés dans les essais statiques. / The review of the state-of-the-art of micropiles produced as part of this work allows to identify a wide variety of construction methodologies which have a stress-strain behavior difficult to predict. As for the testing methods, there are methods for assessing the condition of piles or shafts but they are not always applicable to the micropiles; and in terms of the control of mechanical behavior, the most used load testing micropile is the uplift static load test. The static load test is easy to perform and interpret, however the reaction system is cumbersome and slow to erect, therefore this test is time and cost consuming. Another type of test that can be used in the control of deep foundations is the dynamic load testing. The literature review helped to identify the advantages and disadvantages of this type of test that has been adapted and validated in control of pile behavior. The new methodology proposed in this work is based on low-strain dynamic test requiring a smaller impact energy than a high-strain dynamic test. The testing protocol and loading device of the methodology have been calibrated and validated by numerical simulations in order to justify the choice of the impact energy, the weight of hammer and the cushion that will be used. The numerical observations are then verified by experiences in full-scale micropiles installed in an experimental site developed as part of this project. The developed in situ control methodology of the resistance in service of micropiles is an original method, easy to carry out, simple to execute and with an immediate interpretation. This methodology has been validated on full-scale micropiles in contained conditions and also in uncontained conditions in three real projects of micropiles. Finally, the advances in the investigations have led to develop a methodology for control the micropile’s ultimate resistance. We propose to use an analytical model for predicting the stress-strain behavior, which must be supplied with the results of the low-strain dynamic micropile test and of a complementary geotechnical test in order to examine the parameter of soil failure. The goal of this development is to provide a method for predict the micropile’s ultimate resistance without compromising its integrity. The results of the application of the new method to the experimental micropiles are in close agreement with the results observed in the static load test. / La revisión del estado del arte en relación a micropilotes, realizada en este trabajo, ha permitido identificar una gran variedad de técnicas de construcción, donde la predicción de sus comportamientos mecánicos, es una tarea difícil de realizar. Con respecto a los métodos de control, desde el punto de vista de la integridad, existen actualmente métodos no siempre aplicables a los micropilotes, y desde el punto de vista del control del comportamiento mecánico, el ensayo más utilizado es el ensayo de arrancamiento. El ensayo de arrancamiento es de fácil realización e interpretación, sin embargo es oneroso, por su larga duración y la necesidad de disponer de equipos muy pesados.Otro tipo de ensayo, que es utilizado para el control de fundaciones profundas en general, es el ensayo de carga dinámica, cuyas ventajas y desventajas han sido identificadas en la investigación bibliográfica.La nueva metodología propuesta, motivo de este trabajo, está basada en los ensayos de carga dinámica a baja deformación, donde se necesita una energía de impacto mucho menos importante que en el caso de los ensayos clásicos de carga dinámica.El protocolo de la metodología y su dispositivo de ensayo han sido calibrados y validados a partir de simulaciones numéricas con el fin de, principalmente, justificar la elección de la energía de impacto, de la masa del martillo y del amortiguador a utilizar. Las observaciones numéricas han sido, luego, verificadas experimentalmente sobre micropilotes a escala real, instalados en un sitio experimental desarrollado en el marco de este proyecto.La metodología de control in situ, de la resistencia en servicio de micropilotes, desarrollada en este trabajo, es un método original, simple de realizar, con un sistema fácil de instalar y de interpretación inmediata. Ella ha sido validada, en el caso de micropilotes a escala real en condiciones controladas en el sitio experimental, y no controladas en el caso de tres proyectos reales.Además, el avance en las investigaciones, dio lugar al desarrollo de una metodología de control de la resistencia límite de micropilotes. Para ello proponemos utilizar un modelo analítico de predicción del comportamiento esfuerzo-deformación alimentado por resultados del ensayo de carga dinámica a baja deformación y de un ensayo complementario de reconocimiento de los parámetros de ruptura del suelo. El objetivo de este desarrollo es de proponer un método de predicción de la resistencia límite de micropilotes sin comprometer su integridad. La aplicación de la metodología ha mostrado que los resultados son muy cercanos a los observados en los ensayos de carga estática.

Le waqf est l'un des phénomènes socioculturels religieux majeurs du monde musulman, en vigueur dans les sociétés islamiques depuis les débuts de l'islam jusqu'à nos jours. Dans cette recherche, on s'est attaché à l'étude du waqf selon l'école chiite imâmite duodécimaine en Iran du 16ème au 18ème siècle. Pour que cette analyse soit la plus complète possible, on a abordé la question sous trois aspects complémentaires. Ainsi, la première partie examine le waqf dans les ḥadîths de la tradition chiite duodécimaine, les présentant, les traduisant et les analysant alors que la seconde partie se concentre sur des positions des jurisconsultes les plus influents de la période concernée par rapport à la praxis et à la théorie de waqf. La recherche sur les pratiques de waqf dans la société safavide compose la troisième partie de cette thèse. Cette approche tripartite a produit une étude qui analyse les fondements théoriques de waqf dans le chiisme duodécimain ainsi que des pratiques mêmes de waqf en islam chiite. Cette recherche constitue une première étape pour comprendre la spécificité du waqf chiite dans un cadre géographique et historique précis qui façonna les bases de la jurisprudence chiite contemporaine sur le waqf qui reste toujours d'actualité. / Waqf is one of the major sociocultural phenomena in Islam since the early generations up until today.This dissertation focuses on waqf according to the Twelver Imamite Shiite doctrine in Iran from the 16th to the 18th century. To study this in different ways, we have used three complemetary aspects. The first part closely examines waqf in Twelver Shiite ḥadîths, presenting, translating and analyzing them while the second section concentrates on the positions of the most influential Shiite ulama of the period with respect to waqf theory and praxis. Research on waqf practices in Safavid society make up the third section of this thesis. This tripartite approach has produced a study which analyzes the theoretical foundations of waqf in Twelver Shiism as well as the practices of waqf in Shiite Islam. This research is a step on the way to understanding the specificity of Shiite waqf within a geographical and historical context which has established the basis for contemporary Shiite jurisprudence on waqf up until today.

Le travail de thèse présenté dans ce mémoire vise à analyser et à comprendre les mécanismes mis en jeu au niveau de l’impact du creusement d’un tunnel par bouclier à front pressurisé sur des fondations profondes avoisinantes. Cette thèse a été réalisée dans le cadre du projet européen NeTTUN, au sein du Laboratoire de Tribologie et de Dynamique des Systèmes (LTDS) de l’ENTPE. L’approche phénoménologique conduite lors de ces travaux repose sur deux importantes campagnes expérimentales réalisées à l’aide d’un dispositif unique au plan international de modèle réduit 1g de tunnelier à pression de terre (échelle de l’ordre de 1/10eme). La forte originalité de ce dispositif est de pouvoir simuler de façon réaliste les principales étapes du processus tridimensionnel d’excavation mécanisé d’un tunnel. Dans le cadre de cette thèse, le dispositif existant de modèle réduit de tunnelier a dans un premier temps été reconfiguré afin de pouvoir répondre aux besoins du programme expérimental envisagé. Des modèles physiques de fondations profondes (pieux et groupes de pieux) et de barrières de protection ont été conçus dans le cadre des lois de similitude, fabriqués et instrumentés. Deux campagnes expérimentales d’envergure ont été réalisées en massif de sable sec : l’une concerne les effets du passage d’un tunnelier à front pressurisé sur des fondations profondes avoisinantes (pieux, groupe de pieux), l’autre traite de l’efficacité de barrières de protection (parois moulées) utilisées pour limiter ces effets. Différents paramètres qui influencent l’interaction tunnelier - sol - fondations ont été considérés comme la distance relative tunnel / fondation, la pression frontale de soutènement appliquée par le TBM sur le terrain ou encore la hauteur des barrières de protection. L’analyse phénoménologique menée à l’échelle du modèle concerne en particulier l’évolution des champs de contraintes et de déplacements dans le terrain autour du tunnelier, les déplacements relatifs sol - pieu et sol- barrière, la redistribution des efforts au sein des fondations. L’importante base de données et d’analyse ainsi constituée a été mise à profit pour la validation d’outils de modélisation numérique développés par l’Université de Rome au sein du projet NeTTUN. / The major goal presented in this thesis was to analyze and investigate the mechanisms, which are involved in the impact of the tunnels excavated thanks to an Earth Pressure Balanced Shield on nearby deep foundations. This thesis was realized in European project NeTTUN and the work had been done in the Laboratory of Tribology and Systems Dynamics (LTDS) of ENTPE. During these works, phenomenological approach was based on two important experimental campaigns carried out using a unique device at the international level of a 1g scale model of earth-pressure tunnel boring machine (scale of the order of 1 / 10). The state of the art of this device was to be able to simulate in possibly realistic way the main stages of the three-dimensional process of mechanized excavation of a tunnel. In the framework of this thesis, the existing model tunneling machine device was initially reconfigured in order to reach the expectations of the experimental program envisaged. Physical models of deep foundations (piles and groups of piles) and protective barriers were designed under the similitude laws, manufactured and instrumented. The two large-scale experimental campaigns have been carried out in a dry sand massif. The first one concerned the effects of the passage of a pressurized tunnel boring machine on nearby deep foundations (piles, group of piles), whereas another one dealed with the effectiveness of mitigation procedure (diaphragm walls) used to limit these effects. Different parameters that influenced on the tunneling: soil - foundation interaction considered as the relative tunnel / foundation distance, the frontal face pressure applied by the TBM in the field or the height of the protective barriers. The phenomenological analysis carried out at the scale of the model concerned in particular the evolution of the fields of stresses and displacements in the ground around the tunnel boring machine, relatives pile / soil and wall / soil displacements and the redistribution of stresses along the pile foundations. The large database and analysis constituted was used for the validation of numerical modeling tools developed by the University of Rome within the NeTTUN project.