Les résultats de mesures quantiques sont généralement considérés comme aléatoires, mais leur nature aléatoire, malgré son importance dans la théorie de l’information quantique, est mal comprise. Dans cette thèse, nous étudions plusieurs problèmes liés à l’origine et la certification de l’aléatoire et l’imprévisibilité quantique. L’un des résultats clés dans la formation de notre compréhension de la mécanique quantique comme théorie intrinsèquement indéterministe est le théorème de Kochen et Specker, qui démontre l’impossibilité d’attribuer simultanément, de façon cohérente, des valeurs définies et non-contextuelles à chaque observable avant la mesure. Cependant, si nous présumons qu’une observable à valeur définie doit être non-contextuelle, alors lethéorème ne montre que le fait qu’il existe au moins une observable à valeur indéfinie. Nous renforçons ce résultat en démontrant une variante du théorème de Kochen et Specker qui montre que si un système est préparé dans un état quelconque j i, alors chaque observable A est à valeur indéfinie sauf si j i est un état propre de A. La nature indéterministe de la mesure quantique n’explique pas bien la différence de qualité entre l’aléatoire quantique et classique. Soumise à certaines hypothèses physiques, nous montrons qu’une suite de bits produite par la mesure des observables à valeurs indéfinies est garantie, dans la limite infinie, d’être fortement incalculable. De plus, nous discutons comment utiliser ces résultats afin de construire un générateur quantique de nombres aléatoires qui est certifié par des observables à valeurs indéfinies. Dans la dernière partie de cette thèse, nous étudions la notion d’imprévisibilité, qui est au coeur du concept d’aléatoire (quantique). Ce faisant, nous proposons un modèle formel de (im)prévisibilité qui peut servir à évaluer la prévisibilité d’expériences physiques arbitraires. Ce modèle est appliqué aux mesures quantiques afin de comprendre comment la valeur indéfinie et la complémentarité quantique peuvent être utilisées pour certifier différents degrés d’imprévisibilité, et nous démontrons ainsi que le résultat d’une seule mesure d’une observable à valeur indéfinie est formellement imprévisible. Enfin, nous étudions la relation entre cette notion d’imprévisibilité et la certification de l’incalculabilité des suites aléatoires quantiques. / The outcomes of quantum measurements are generally considered to be random, but despite the fact that this randomness is an important element in quantum information theory, its nature is not well understood. In this thesis, we study several issues relating to the origin and certification of quantum randomness and unpredictability. One of the key results in forming our understanding of quantum mechanics as an intrinsically indeterministic theory is the Kochen-Specker theorem, which shows the impossibility to consistently assign simultaneous noncontextual definite values to all quantum mechanical observables prior to measurement. However, the theorem, under the assumption that any definite values must be noncontextual, only strictly shows that some observables must be value indefinite. We strengthen this result, proving a stronger variant of the Kochen-Specker theorem showing that, under the same assumption, if a system is prepared in an arbitrary state j i, then every observable A is value indefinite unless j i is an eigenstate of A. The indeterministic nature of quantum measurements does little to explain how the quality of quantum randomness differs from classical randomness. We show that, subject to certain physical assumptions, a sequence of bits generated by the measurement of value indefinite observables is guaranteed, in the infinite limit, to be strongly incomputable. We further discuss how this can be used to build a quantum random number generator certified by value indefiniteness. Next, we study the notion of unpredictability, which is central to the concept of (quantum) randomness. In doing so, we propose a formal model of prediction that can be used to asses the predictability of arbitrary physical experiments. We investigate how the quantum features of value indefiniteness and complementarity can be used to certify different levels of unpredictability, and show that the outcome of a single measurement of a value indefinite quantum observable is formally unpredictable. Finally, we study the relation between this notion of unpredictability and the computability-theoretic certification of quantum randomness.

La théorie présentée ici est issue d'années d'enseignement de l'analyse au niveau pré-universitaire en utilisant d'abord le concept d'infiniment petit, tel que défini dans l'analyse nonstandard de Robinson, puis ensuite d'ultrapetit, tel que défini dans notre travail en collaboration avec Hrbacek et Lessmann et présenté en annexe. A la suite de ces recherches, s'est posée la question : Si l'on a à disposition des quantités finies mais ultragrandes, est-il possible de se passer de quantités dites infinies ? La théorie alternative des ensembles de Vopěnka est une théorie avec des ensembles finis et des classes qui, elles, peuvent être infinies. La théorie des objets est le résultat d'un mélange de certains axiomes de Vopěnka avec des axiomes déterminant des niveaux de visibilité tels que dans l'analyse relative. On s'est donné comme premier principe : $x\subseteq y\Rightarrow x\sqsubseteq y$ qui spécifie que si l'objet $x$ est inclus dans l'objet $y$, alors $x$ "paraît" au niveau de $y$. Cette affirmation serait fausse avec des quantités infinies ; elle est néanmoins une caractérisation des ensembles finis : cela est bien connu en analyse nonstandard. L'introduction de ce principe comme point de départ est donc une affirmation forte que les objets devront être finis au sens habituel de ce terme. L'autre axiome fondateur ici est le schéma d'axiomes d'induction de Gordon et Andreev : Si $\Phi$ est une formule, et si $\Phi(\emptyset)$ est vrai et que $\Phi(x)$ et $\Phi(y)$ impliquent $\Phi(x\cup\{y\})$, alors $\Phi(x)$ est vrai pour tout $x$. Un accent particulier est mis sur le concept de formules dites contextuelles. Ce concept est une de nos contributions à l'analyse relative de Hrbacek et détermine les formules bien formées. On montre que le système qui en résulte est relativement cohérent avec la théorie FRIST de Hrbacek et la théorie RIST de Péraire qui sont elles-mêmes des extensions conservatives de ZFC. La théorie des objets est une extension de la théorie des ensembles de Zermelo et Fraenkel sans axiome du choix et négation de l'axiome de l'infini. Les nombres entiers et rationnels sont définis et ces derniers sont munis de relations d'ultraproximité. Une ébauche d'une construction de "grains numériques" est présentée : ces nombres pourraient avoir des propriétés suffisamment semblables aux nombres réels pour permettre de faire de l'analyse. / The theory presented here stemmed from years of teaching analysis at pre-university level first using the concept of infinitesimal as defined in nonstandard analysis by Robinson, then the concept of ultrasmall as defined in our joint work with Hrbacek and Lessmann presented in the appendix. This research led to the question : If one has finite yet ultralarge quantities, is it possible to avoid infinite quantities ? The alternative set theory of Vopěnka is a theory of finite sets including classes that can be infinite. The theory of objects is a merger of certain axioms of Vopěnka with axioms that determine levels of visibility as in relative analysis. We took as first principle : $x\subseteq y\Rightarrow x\sqsubseteq y$, which specifies that if object $x$ is included in object $y$, then $x$ "appears" at the level of $y$. This statement would be false with infinite quantities and is in fact a characterisation of finite sets : this is a well-known theorem of nonstandard analysis. The introduction of this principle as starting point is making a strong point that all objects will be finite - in the usual sense of the word. The other founding axiom is Gordon and Andreev's axiom schema : If $\Phi$ is a formula, and if $\Phi(\emptyset)$ is true and that $\Phi(x)$ and $\Phi(y)$ imply $\Phi(x\cup\{y\})$, then $\Phi(x)$ is true for all $x$. An emphasis is made on the concept of contextual formulae. This concept is one of our contributions to relative analysis of Hrbacek and determines an equivalence to well-formed formulae. We show that the resulting system is relatively consistent with Hrbacek's FRIST and Péraire's RIST which are conservative extensions of ZFC. The theory of objects extends set theory of Zermelo and Fraenkel without choice and with negation of the infinity axiom. Integers and rationals are defined and endowed with an ultraproximity relation. A draft of a construction of "numeric grains" is presented : these numbers could prove to have properties sufficiently similar to real numbers to allow to perform analysis.

In the present work, a settlement-based method is proposed to design piled raft foundation. The proposed design method is found to be very efficient, economical and requires less calculation time. Simple software can be used to execute all the interactions and loop calculations.<p>Unlike methods with numerical techniques, there are practically no limitations for the number of individual piles under the raft, size of the group and the group shape or layout. It can also be applied to piles with different length or piles that are located within multi-layered soils.<p>The raft is designed first according to the allowable settlement that is pre-defined by the structural requirements and with the necessary factor of safety. When raft suffers excessive settlement, then the load that causes excess raft settlement beyond the required limit is to be transferred to the fully mobilised frictional piles. <p>The fully mobilised shaft (with no end bearing) piles are designed with factor of safety close to unity since their function is only to reduce raft settlement and since the raft has an adequate bearing capacity.<p>Geometry of these piles is chosen to fully mobilise their shafts capacity with low settlement level in order to comply with load/settlement requirement and reduce raft settlement to the pre-defined level. <p> / Doctorat en Sciences de l'ingénieur / info:eu-repo/semantics/nonPublished

Le champ politique est un espace dans lequel s’affrontent des acteurs variés, acteurs qui ne se résument pas aux partis : trop souvent laissés dans l’ombre par la science politique, les clubs et cercles de réflexion, les fondations politiques, les instituts, participent effectivement à la vie politique. L’enjeu de cette étude est de mettre en perspective les modalités d’action des structures non-partisanes, de 1958 à nos jours, en revenant sur leur genèse, leur morphologie, et leurs trajectoires dans le temps : apportant de nouvelles idées, proposant des nouveaux modes de fonctionnement partisans, elles contribuent à faire bouger les lignes du débat politique et pallient les défaillances des partis en matière programmatique et d’écoute des revendications de la société civile. Sans se confondre avec les mouvements sociaux, elles partagent cependant avec ces derniers un militantisme différent de l’engagement classique et utilisent des modes d’intervention bien spécifiques. Malgré des ressources faibles au regard de leurs homologues étrangers (les fondations allemandes, les think tanks anglo-saxons), les structures non-partisanes françaises connaissent une tendance à la professionnalisation et mobilisent de véritables réseaux d’experts pour faire entendre leur voix : à la faveur d’une crise prolongée des organisations partisanes, elles sont appelées à jouer un rôle de plus en plus important dans la construction du « politiquement imaginable », ainsi que dans l’élaboration des politiques publiques. / The political arena is a field where in various actors confront each other, yet cannot be defined as political parties per se. Although clubs, think tanks, political foundations and institutes all genuinely participate in the political life, political scientists have, for the most part, ignored them. The purpose of this study is to put into perspective non-party structures methods of action, from 1958 to the present day, emphasizing their genesis, morphology and trajectories. As they bring new ideas to the forefront and suggest reforms for the internal functioning of political parties, they thus contribute to the evolution of political debate and even compensate for the parties failure in designing political programs and paying attention to the demands of the civil society. Though they are not to be assimilated to social movements, they do share a form of activism which can be distinguished from classical political commitments, and also use specific methods of intervention. Compared to their foreign counterparts (German foundations, Anglo-American think tanks), and despite meager resources, French non-party structures tend to develop their professionalism and mobilize authentic networks of experts so that their message is heard. Due to an ongoing crisis of political organizations, they will certainly play an increasing role in shaping the “politically conceivable” and in building public policies.

Depuis les dernières années, le gouvernement provincial a investi des montants record dans le réseau routier québécois, notamment pour la construction de nouvelles routes et l’entretien des chaussées. En plus d’être doté d’une grande superficie territoriale, le Québec connaît un climat rigoureux qui complexifie la conception des chaussées. Les changements de saison entraînent des répercussions néfastes quant à la performance des chaussées, dont l’accumulation de déformations permanentes (ɛp) dans les structures granulaires. Bien que la déformation permanente puisse se développer dans l’ensemble de la structure routière, seule la couche de fondation a été considérée dans cette étude. Afin d’améliorer les connaissances sur la déformation permanente à long terme des matériaux granulaires sollicités aux changements saisonniers nordiques, quatre sources granulaires de fondation (MG-20) typique du Québec (grauwacke, gneiss granitique, calcaire et basalte) ont été soumises à des essais de déformation permanente en laboratoire. Ces essais ont été réalisés à l’aide de deux appareils : la presse hydraulique à chargement répété et le simulateur à charge roulante. Les résultats obtenus ont été modélisés selon le modèle de Desden. Ce modèle mathématique est composé de quatre paramètres qui décrivent la phase de post compaction (a), le taux de déformation permanente (b) et la phase de rupture (c et d). Les principaux résultats de déformation permanente montrent que la composition minéralogique, la granulométrie, le degré de saturation (%SR) et la variation des conditions environnementales influencent le comportement plastique d’un matériau granulaire (MG). En effet, les résultats montrent que la composition minéralogique peut provoquer une augmentation de 62% du paramètre b pour une même teneur en eau et que de passer d’une granulométrie grossière à une granulométrie plus sableuse peut entrainer une augmentation moyenne de 30,75% du paramètre b. De plus, les résultats montrent qu’une variation du degré de saturation peut entraîner une augmentation de la déformation permanente de 147%. Les essais réalisés en condition de gel et de dégel ont également montré que le cycle de gel et dégel a un effet direct sur le paramètre de post compaction. Un essai au simulateur à charge roulante a été effectué dans le but de valider les résultats obtenus en condition triaxiale. Les résultats montrent que le simulateur provoque à l’échantillon une déformation permanente plus importante que celle enregistrée en condition triaxiale. Cependant, la phase de post compaction reste très similaire, peu importe l’instrumentation utilisée. Cette étude constitue un premier essai au Canada quant à l’application d’une charge roulante mobile en contexte de gel et dégel. Deux relations de corrélation entre les paramètres a et b du modèle de Dresden et les propriétés de base des matériaux granulaires ont été développées. La première relation développée est une relation de type linéaire qui relie le paramètre de post compaction (a) et la variable complexe nfopt et ce. La seconde relation développée est également de type linéaire et lie le paramètre b et le degré de saturation, le pourcentage de fracturation, le coefficient d’uniformité et la masse volumique sèche du matériau. L’intégration des deux relations de corrélation dans la relation mathématique de Sweere a permis de développer une relation de prédiction de déformation permanente à long terme.

L'expérience récente montre que l'endommagement des fondations profondes sous des chargements statiques, cycliques ou dynamiques est une des causes majeures des dommages que peuvent subir les superstructures. La mise hors-service de la structure, son renversement ou son effondrement sont des effets couramment observés. Des méthodes ont été développées afin de mieux comprendre l'interaction sol-fondation-structure et ainsi contrer les effets futurs que peut engendrer un chargement latéral. Le comportement des fondations profondes sous un tel chargement est complexe et suscite grandement l'intérêt des géotechniciens. Au Québec, le phénomène est connu, Marche et Lacroix (1972) ayant présenté et analysé quelques problèmes d'instabilité. De plus, le Ministère des Transports du Québec (MTQ) utilise la méthode de Broms (1964) pour le dimensionnement de fondations profondes. Ce projet de maîtrise vise à approfondir la compréhension du phénomène d'instabilité des fondations profondes soumises à un chargement latéral statique ou cyclique. A notre connaissance, les méthodes utilisées pour le dimensionnement des pieux n'ont encore jamais été validées pour les sols post-glaciaires de l'est du Canada. L'objectif principal est donc de vérifier l'applicabilité des méthodes existantes pour les argiles sensibles du Québec par l'intermédiaire de courbes p-y obtenues expérimentalement. Pour ce faire, une revue de littérature est d'abord réalisée pour connaître l'état des connaissances sur la méthode p-y. Un programme expérimental a ensuite été développé afin de comprendre et fournir des résultats sur le comportement d'un pieu chargé latéralement. L'expérimentation a été réalisée à partir d'échantillons d'argile prélevés à Louiseville, sol réputé pour sa grande homogénéité. L'essai pot-test (Matlock, 1970) est un essai à échelle réduite qui permet la simulation d'un pieu soumis à des sollicitations statiques et cycliques. Les résultats obtenus en comportement statique fournissent les courbes p-y de l'argile étudiée. Une comparaison de ces résultats avec les méthodes théoriques existantes a ensuite été réalisée. La méthode de Matlock (1970) donne des résultats qui s'apparentent le mieux à ceux obtenus expérimentalement. Par la suite, l'analyse des résultats cycliques a permis de développer un critère de rupture, qui indique une déformation critique de l'argile sous sollicitations cycliques.

La raffinerie Ultramar de Saint Romuald sur la rive sud de Québec produit des carburants qui sont acheminés par l'Ultratrain du Canadien National vers la métropole montréalaise. Trois années après la mise en service de ces trains de 1200 m de longueur pour 8000 tonnes, l'un d'eux déraille en 1999 dans une zone marécageuse où le sol naturel sous le remblai est un massif de tourbe. Les tourbes sont des sols organiques très compressibles saturés en eau et qui contiennent des fibres végétales. En 2004, au même endroit, un second déraillement a lieu. Le Bureau de la Sécurité des Transports (BST) et le Canadien National (CN) mandatent alors le département de génie civil de l'Université Laval pour étudier les conditions géotechniques de ces déraillements. Ainsi, de juin à novembre 2006, une campagne de mesures sur le site est mise en place pour collecter des données sur les pressions interstitielles et les tassements qui surviennent dans la tourbe pendant le passage des trains. Des tassements cumulatifs d'environ 1 cm en 3 mois sont mesurés. Ils sont causés par la dissipation des surpressions interstitielles que les trains bâtissent pendant leurs passages répétés. Ces résultats ont été présentés au BST et au CN en décembre 2006. Une première hypothèse possible de rupture locale, progressive et soudaine du massif de tourbe par poinçonnement lors du passage d'un train est alors formulée. Début 2007, des essais de résistance au cisaillement sur la tourbe prélevée sur le terrain sont réalisés dans les laboratoires de l'Université Laval. Ce sol est caractérisé par un comportement en cisaillement fortement dépendant de l'orientation du plan de rupture par rapport au plan d'alignement des fibres végétales contenues dans la tourbe. Les fibres sont naturellement orientées dans des plans horizontaux, rendant la tourbe fortement anisotrope. Si le plan de rupture est confondu avec le plan d'alignement des fibres, alors la résistance au cisaillement est minimum et correspond à celle de la matrice de la tourbe sans l'influence des fibres. A l'inverse, si le plan de rupture coupe les fibres, alors la résistance est augmentée. La quantification de cette augmentation est l'objectif de la campagne d'essais en laboratoire. Des études précédentes ont montré que lorsque les tourbes sont sollicitées dans des plans coupant les fibres, celles-ci ont tendance à s'aligner dans le plan de rupture et ainsi à diminuer progressivement la résistance au cisaillement le long de ce plan. Ainsi, en utilisant les résultats obtenus en laboratoire et les données de terrain, un mécanisme de rupture utilisé pour analyser et expliquer le déraillement de l'Ultratrin a été développé. Les calculs montrent que la diminution de résistance engendrée par l'alignement des fibres le long des plans de rupture dans la tourbe est suffisante pour provoquer le poinçonnement soudain de la tourbe sous le passage d'un train. Finalement, cette recherche montre que la capacité portante du massif de tourbe est régie par Panisotropie de la tourbe due à la présence des fibres végétales. / The Saint Romuald's Ultramar refinery near Québec City produces gas which is transported to Montréal by the Canadian National's Ultratrain. Three years after the first passage of these huge trains, a derailment occurs in 1999 in a naturally formed swamp zone, where the subsoil consists of peat. Peats are organic, very compressible and water saturated soils. They are also characterised by fibres content. A second accident takes place nearby in 2004. The Civil Engineering department of Laval University is then asked by the Transportation Safety Board of Canada (TSB) and by the Canadian National (CN) to investigate the geotechnical conditions of those derailments. In situ pore pressures and settlements of the peat under the rail embankment are monitored from June to November 2006. An accumulation of settlement of 1cm in 3 months in the peat is measured. They are the result of the overburden pressures dissipation created by the successive passages of the Ultratrain. The report of mis study has been presented to TSB and CN in December 2006. A first assumption of a local, progressive and unexpected failure of the peaty soil by punching is suggested. Triaxial and simple shear tests are performed in the Laval University's laboratories on samples of the in situ native peat on the beginning of year 2007. The shear behaviour of the peat turns out to be related to the relative orientation of the failure plane compared to the plane of deposit of the plant's fibres in the soil. Those fibres are generally oriented in a horizontal plane. This makes of the peat a strongly anisotropic soil. If the failure plane is parallel to the fibres plane, the shear strength corresponds to the strength of the matrix of the peat without the fibres reinforcing effect. This shear strength is minimal. If the failure plan cuts the fibres, the reinforcing effect of the fibres increases the shear strength. The objective of the laboratory tests is to evaluate this increase. Previous studies on peat showed that fibres trend to come into alignment with a failure plane, which decreases strongly the shear strength through this plane. The results of these tests and of the in situ investigations are used to develop a failure mechanism of the peat under the embankment. This mechanism explains the 2004 derailment. Calculations show that the shear strength's decrease caused by the fibres realignment is sufficient to produce the sudden failure of the peat by punching. Eventually, this study shows that the bearing capacity of the peat under the rail embankment is ruled by the anisotropic structure of the peat given by the fibres.

Le système des fondations en Allemagne et en France présente des différences. En France, la fondation se limite à la poursuite des fins d’utilité publique. En Allemagne, le droit de fondation requiert la création d’une organe indépendant de l’État. La France compte en 2010 un total de Fondations et Fonds de dotation de 2 264 unités, en Allemagne 18 162 fondations de droit privé étaient enregistrées. Favorisé par des privilèges fiscaux, l’Allemagne a connu dans la dernière décade de nombreuses créations de fondations privées. Il en résulte une multiplication des types de fondations qui entraîne une hétérogénéité du secteur. La question de la légitimité des fondations se pose. Les fondations doivent se considérer comme faisant partie de la société civile. En France, c’est l’État qui répond à la question de la légitimité des fondations. Les fonds de dotation apportent-ils une solution? / The system of foundations in Germany and France manifests obvious differences. In France a foundation is limited by definition to public charity, in Germany the legal status of a foundation is an independent body. In 2010 there are 2 264 foundations and fonds de dotation in France, while 18 162 foundations of private law were registered in Germany. Receiving a range of fiscal benefits, the creation of foundations of private law has boomed in Germany in the past decade, thus leading to a multiformity of the sector. The question of legitimacy of foundations will arise. Foundations should see themselves as part of the civil society. In France, the state will have to solve the question of trust of foundations. Will the institut of the fonds de dotation bring a solution?

Les parois moulées sont des ouvrages de fondations en béton armé. Le béton de paroi moulée n'est jamais vibré et présente une fluidité élevée. Les observations effectuées après le terrassement et le rabotage des parois montrent que celles-ci présentent des défauts qui sont reliés au ressuage du béton lors de sa mise en place. Les cheminées de remontées d’eau représentent 90% des désordres observés sur les chantiers. Les constituants du béton sont souvent mis en cause. Une étude a été menée afin de comprendre l'influence des divers paramètres affectant le ressuage. Quatre formulations de béton issues de chantier ont été caractérisées en laboratoire. Une formule a montré sur chantier sa robustesse vis à vis du ressuage, tandis que les trois autres formulations ont abouti à des pathologies plus ou moins sévères. La formulation qui présentait le plus de pathologies a été modifiée de manière à observer l’effet des constituants de la formulation vis à vis du ressuage forcé et statique. Différentes pressions ont été étudiées afin de simuler différentes hauteurs de paroi moulée. Cette étude a permis de valider la pression 5 bars prédite par les recommandations Bauer. La formulation de base de ce béton de fondation a été modifiée de manière à obtenir une courbe granulaire continue, un rapport G/S proche de 1 et une augmentation du dosage en fines supérieur à 430 kg/m3. Les résultats des essais ont permis de limiter le seuil admissible du filtre presse Bauer à 15 ml au lieu de 24,4 ml. Les formulations du béton de fondation de plusieurs chantiers de parois moulées ont été modifiées, ce qui a permis de valider les prescriptions précédentes. Des recommandations ont pu être proposées. / The diaphragm walls are foundations made with reinforced concrete. The concrete of diaphragm wall is never vibrated and has a high fluidity. The observations recorded following excavation and planing of diaphragm walls demonstrate that defects are observed which are correlated with concrete bleeding during placement. Water upwelling pathology represents 90% of all disorders observed at project sites. Mix components are often implicated. A study was conducted to understand the influence of various parameters affecting the bleeding. Four concrete mix designs derived from the field were characterized in the laboratory. On a jobsite, one design has, revealed its robustness with respect to bleeding, whereas the other three have led to pathologies of varying severity. The tested concrete displaying the most of pathologies was modified so as to observe the effect of different mix components on the forced and static bleeding. A range of pressures was introduced as a means of simulating various diaphragm wall heights.This study validated the pressure 5 bar predicted by the Bauer recommendations. The basic formulation of this concrete of foundation has been modified in order to have a continuous granular curve, G / S close to 1 and an increasing in the dosage of fines greater thinly than 430 kg / m3. The results of tests served to limit the admissible threshold of filter press Bauer at 15 ml instead of 24,4 ml. The formulations of the concrete foundation of several diaphragm walls have been modified accordingly, which validated the previous prescriptions. Recommendations have been proposed.

Religieuse, fondatrice, mystique, docteure de l’Église catholique, et auteur de textes autobiographiques, doctrinaux, épistolaires et poétiques, Sainte Thérèse d’Avila (1515-1582) est l’une des personnalités majeures de la littérature mystique du Siècle d’Or espagnol. Profondément observatrice de la nature humaine, elle a écrit avec une simplicité profonde sur la maladie mélancolique, un trouble des humeurs qui a vraiment affecté la société de cette époque attirant l’intérêt des médecins, philosophes et religieux. Ce mémoire examine à la lumière d’une perspective interdisciplinaire le traitement de la mélancolie dans la littérature thérésienne dans le cadre des idées exposées dans les textes Vida (1562-65), Las moradas (1577) et Fundaciones (1573-1582), appuyées de cas concrets décrits dans les lettres de Thérèse et le livre Procesos de beatificación y canonización de Santa Teresa de Jesús. La première partie expose un survol sur certains traits de la mélancolie conçus dans la pensée occidentale antique et médiévale ainsi que ses influences reformulées par la société espagnole des XVIe et XVIIe siècles. Ensuite, il est proposé un dialogue entre Thérèse et le discours de plusieurs textes médicaux, suivi des rapports complémentaires entre ses déclarations et quelques œuvres ascétiques et mystiques d’autres auteurs catholiques de cette période. La deuxième partie fournit l’analyse des mots clés utilisés par l’écrivaine pour décrire la mélancolie ainsi que des considérations naturelles et préternaturelles autour de cette maladie. Finalement, ce travail présente la systématisation de ses causes, symptômes et souffrances, types de mélancoliques et formes de traitement. / Religious, founder, mystic, doctor of the Catholic Church, Teresa of Avila (1515-1582) was a relevant figure during the Spanish Golden Age. Her writings include autobiographical, doctrinal, epistolary and poetic texts. Being a deep observer of human nature, Teresa wrote with deep simplicity about melancholy which was a disease caused by a humor’s disorder that greatly affected society at that time. This fact drew the attention of physicians, philosophers and religious authors. This Master’s thesis examines the treatment of melancholy in Teresa’s literature from an interdisciplinary perspective in the framework of the ideas exposed in Vida (1562-65), Las moradas (1577) and Fundaciones (1573-1582), complemented by some cases described in her letters and in the book Procesos de beatificación y canonización de Santa Teresa de Jesús. The first part exposes a general overview of certain features of melancholy according to the ancient and medieval Western thought, as well as its influences, which were reformulated by the Spanish society during 16th and 17th centuries. Afterwards, this study proposes a dialogue between Teresa and some medical writing’s discourse, followed by complementary connections between her statements and some ascetic and mystical works of other catholic authors of this time. The second part provides an analysis of the keywords used by the writer for describing melancholy as well as some natural and preternatural considerations about this illness. Finally, this work presents a systematization of its causes, symptoms and sufferings, types of melancholic persons and healing treatment variations. / Religiosa, fundadora, mística, doctora de la Iglesia Católica y autora de textos autobiográficos, doctrinales, epistolares y poéticos, Santa Teresa de Jesús (1515-1582) fue una de las personalidades más sobresalientes del Siglo de Oro. Siendo una gran observadora de la naturaleza humana, escribió con simplicidad profunda sobre la enfermedad melancólica, un trastorno humoral que afectaba seriamente la sociedad de su tiempo y atrajo la atención de médicos, filósofos y religiosos. Esta memoria examina a través de una perspectiva interdisciplinaria el tratamiento de la melancolía en la literatura teresiana en el marco de las ideas expuestas en Vida (1562-65), Las moradas (1577) y Fundaciones (1573-1582), complementados por algunos casos concretos descritos en sus cartas y en el libro Procesos de beatificación y canonización de Santa Teresa de Jesús. La primera parte expone un panorama sobre ciertos rasgos de la melancolía según el pensamiento antiguo y medieval así como sus influencias reformuladas por la sociedad española de los siglos XVI y XVII. Posteriormente, este estudio propone un diálogo entre Teresa y el discurso de varios textos médicos, seguido de las relaciones de complementariedad entre sus afirmaciones y algunas obras ascéticas y místicas de otros autores católicos de ese periodo. La segunda parte plantea un análisis de palabras clave utilizadas por la escritora para describir la melancolía, así como algunas consideraciones naturales y preternaturales respecto a esta enfermedad. Finalmente, este trabajo presenta una sistematización acerca de las causas, síntomas y padecimientos, tipos de melancólicos y formas de tratamiento.