L'opérateur de Pauli décrit l'énergie d'un électron soumis à un champ magnétique et à un potentiel électrique externe. La présence d'un champ magnétique induit naturellement l'existence d'une quantité: le courant. D'une manière formelle, cette quantité peut être considérer comme étant la dérivée de l'énergie par rapport au potentiel magnétique. Dans cette thèse, nous établissons une asymptotique du courant en présence d'un champ magnétique variable de grande intensité. Dans ce calcul nous utilisons une identité de commutateur qui nous conduits à l'estimation de la somme des valeurs propres négatives d'un opérateur de Pauli modifié. La technique utilisée s'appuie sur la construction des états cohérents (pour approcher les fonctions propres) et des inégalités de Lieb-Thirring pour contrôler les termes d'erreurs.

.

Cette thèse de doctorat étudie l'interprétation calculatoire des preuves de la logique classique. Elle présente trois calculs reflétant trois approches différentes de la question. <br /><br /> Cette thèse est donc composée de trois parties. <br /><br /> La première partie introduit le *X calcul, dont les termes représentent des preuves dans le calcul des séquents classique. Les règles de réduction du *X calcul capture la plupart des caractéristiques de l'élimination des coupures du calcul des séquents. Ce calcul introduit des termes permettant une<br />implémentation implicite de l'effacement et de la duplication. Pour autant que nous sachions, c'est le premier tel calcul pour la logique classique. <br /><br /> La deuxième partie étudie la possibilité de représenter les calculs classiques au moyen de diagrammes. Nous présentons le dX calcul, qui est le calcul diagrammatique de la logique classique, et dont les diagrammes sont issus des<br />*X-termes. La différence principale réside dans le fait que dX fonctionne à un niveau supérieur d'abstraction. Il capture l'essence des preuves du calcul des séquents ainsi que l'essence de l'élimination classique des coupures. <br /><br /> La troisième partie relie les deux premières. Elle présente le $copy;X calcul qui est une version unidimensionnelle du calcul par diagramme. Nous commencons par le *X, où nous identifions explicitement les termes qui doivent l'être. Ceux-ci<br />sont les termes qui encodent les preuves des séquents qui sont équivalentes modulo permutation de règles d'inférence indépendantes. Ces termes ont également la même représentation par diagramme. Une telle identification induit une relation de congruence sur les termes. La relation de réduction est définie modulo la congruence, et les règles de réduction correspondent à celle du dX calcul.

La postmodernité influence le rapport entre la religion et la culture. Elle y introduit des notions comme : l'affaiblissement des notions, la fluidité du monde et la discontinuité du discours. Les définitions modifiées de la culture et de la religion justifient la question centrale de la thèse : est-il possible que la culture absorbe la religion et crée une religion de la culture ? Ces définitions permettent de comprendre comment la postmodernité rejette l'idée de la transcendance et réduit le religieux au culturel. La postmodernité crée ainsi une situation favorable au rejet de la pensée classique et provoque l'émergence de la religion de la culture dont le Nouvel Age, le nouveau paganisme, la spiritualité athée et les nouveaux pop-cultes sont les manifestations. La religion de la culture se base sur l'anthropologie modifiée par le mobilisme, le relativisme et les recherches spirituelles en dehors des institutions. Cette religion est donc une religion sans Dieu, sans révélation surnaturelle, sans ligne historique et sans institution. Elle propose une mystique nouvelle et devient un défi pour les grandes religions historiques auxquelles elle s'oppose.

Si l'on sait depuis longtemps que tous les hommes de lettres du XIXe siècle partageaient une culture largement similaire, transmise et fortifiée par l'enseignement secondaire, rares sont, jusqu'à présent, les études qui ont cherché à rendre compte avec précision de la nature de cette culture classique. Notre étude avait pour objectif de combler autant que possible cette lacune. Nous avons essayé de reconstituer la vie scolaire de Baudelaire tout en tenant compte des enjeux historiques de l’époque. Tenter de décrire la situation historique de l’enseignement secondaire au XIXe siècle, nécessitait de prendre en compte les nombreux conflits d'ordre politique et idéologique qui influencent le contenu de l'enseignement. Nous avons donc parcouru l’histoire de l’enseignement secondaire, de Napoléon à Jules Ferry, afin de fournir une synthèse des caractéristiques de l'enseignement reçu par Baudelaire. En croisant les différentes sources que sont les programmes officiels, les rapports des inspecteurs généraux, les articles de journaux et les témoignages personnels, nous avons également analysé la pratique réelle des études classiques dans les différentes classes suivies par Baudelaire. Cette thèse est donc le fruit d'un travail interdisciplinaire qui vise non seulement à élucider une partie importante de la culture classique de Baudelaire mais aussi à mettre en lumière la genèse de certaines valeurs littéraires nouvelles au XIXe siècle. / Writers of the 19th century and, more generally, people schooled in the humanities, all shared a common literary culture acquired through their schooling in secondary schools. But the analysis of the contents of secondary education, and of the link between such schooling and literary production remains largely a field of study left untouched. Our objective was to fill this gap. We thus tried to reconstitute Baudelaire's schooling by emphasizing the main historical developments of the time in order to fully understand what was at stakes in the academic world. To give a truthful account of 19th century secondary education, one needs also to take into account the numerous political and ideological conflicts whose influence on the educational system was pervasive throughout the period. We therefore explored the history of 19th century France's educational system, from Napoleon to Jules Ferry, to provide a detailed overview of the main characteristics of such a system. By crossing sources like official programs, general inspectors' reports, articles in the press and personal accounts from prominent writers of the time, we also endeavored to study how Baudelaire was taught at the time. Our work relies heavily on interdisciplinary approaches and aims not only at clarifying an important part of the classical education received by Baudelaire but also at throwing light on the emergence of new literary values in the 19th century.

Entre 1750 et 1810, l’entrée du soliste dans les premiers mouvements de concerto est un événement théâtral et musical. Examinant le corpus de Johann Christian Bach, Haydn, Mozart, Viotti et Beethoven, cette thèse distingue les stratégies compositionnelles récurrentes, constituant la norme de l’époque étudiée. Elle analyse les procédés rhétoriques à l’œuvre en évaluant l’effet produit par chacun par rapport à la norme attendue.La première partie concerne la construction de l’attente du soliste. Elle évalue la fonction introductive du premier tutti, distinguant les « tuttis-cadre » des « tuttis-narratifs » et examinant l’impact de la présence d’une modulation. La deuxième partie étudie les stratégies de clôture de l’exposition orchestrale et l’existence d’une rupture lors de l’entrée du soliste. La troisième partie montre la manière de donner la parole au soliste par le choix de son thème d’entrée, d’une ornementation éventuelle ou l’ajout d’une section introductive virtuose autonome. / Between 1750 and 1810, the entry of the soloist in the first movement of a concerto is a musical and theatrical event. Going through the corpus of Johann Christian Bach, Haydn, Mozart, Beethoven, and Viotti, this thesis distinguishes personal strategies from recurring compositional techniques that are standard in the period under review. It analyzes the rhetorical techniques used through assessing the effect of each technique compared to that of the expected standard.The first part concerns the construction of the expectation of the soloist. It evaluates the introductive function of the first tutti, creating a disctinction between “frame-tuttis” and “narrative tuttis”, and examinating the impact of the presence of a modulation. The second part focusses on the closing strategies of the orchestral exposition and the existence of a break for the soloist’s entry. The third part shows the hand over to the soloist through the choice of the entry theme, the eventual ornementation, and the adding of an autonomous virtuoso introductive section.

À la fin du siècle dernier, lorsque les mouvements féministes secouèrent les milieux intellectuels, les questionnements sur le genre se sont retrouvés au cœur des débats en sciences sociales et en archéologie. L’archéologie maya n’échappa pas à la règle et les femmes, jusque là restées dans l’ombre, retrouvèrent une visibilité. Ce mémoire a pour objectif de dégager la complexité des constructions sociales, symboliques et idéologiques de genre au sein des couches sociales les plus élevées de la société maya classique, en regroupant et en confrontant une bonne partie des données archéologiques, iconographiques, épigraphiques mais aussi ethnohistoriques répertoriées dans la littérature. Nos résultats défendent l’idée selon laquelle les relations et les identités de genres au sein des élites dirigeantes, mais également non dirigeantes, étaient construites autour d'un principe fondamental de la pensée maya : la dualité complémentaire. / At the turn of the century, as feminist movements shook the foundations of academia, questions of gender were pushed to the fore front of debates in social sciences and archaeology. Mayan archaeology has followed this trend, shedding light on the previously neglected role of women in these societies. The goal of this thesis is to capture the complexity underlining the social, symbolic and ideological construction of gender in the upper echelons of classical Mayan society. This objective is pursued by compiling and confronting archaeological, iconographical, epigraphic and ethnohistorical data found in the literature. Our results support the thesis according to which relations and, identities pertaining to gender among the Mayan ruling and non-ruling elites were constructed along the lines of a fundamental principal of Mayan thought and culture: complimentary duality.

La planification automatique est un domaine de recherche de l’Intelligence Artificielle qui vise à calculer automatiquement une séquence d’actions menant d’un état initial donné à un but souhaité. Cependant, résoudre des problèmes réalistes est généralement difficile car trouver un chemin solution peut demander d’explorer un nombre d’états croissant exponentiellement avec le nombre de variables. Pour faire face à cette explosion combinatoire, les algorithmes performants ont recours aux heuristiques ou à des solutions hiérarchiques, décomposant le problème en sous-problèmes plus petits et plus simples. Dans une grande majorité des cas, le planificateur doit prendre en compte un certain nombre de contraintes telles que des phases d’actions prédéfinies ou des protocoles. Ces contraintes aident à résoudre le problème en élaguant un grand nombre de branches de l’arbre de recherche. Nous proposons alors une nouvelle méthode pour modéliser et résoudre des problèmes de planification déterministe en se basant sur une approche hiérarchique et heuristique. Nous nous sommes inspirés des formalismes de programmation structurée afin de fournir à l’utilisateur un cadre de travail plus intuitif pour la modélisation des domaines de planification hiérarchique. D’autre part, nous avons proposé un algorithme de planification capable d’exploiter ce formalisme et composer des stratégies à différents niveaux de granularité, ce qui lui permet de planifier rapidement une stratégie globale, tout en étant en mesure de pallier aux difficultés rencontrées à plus bas niveau. Cet algorithme a fait ses preuves face au principal planificateur HTN, SHOP2, sur des problèmes de planification classique. / Automated planning is a field of Artificial Intelligence which aims at automatically computing a sequence of actions that lead to some goals from a given initial state. However, solving realistic problems is challenging because finding a solution path may require to explore an exponential number of states with regard to the number of state variables. To cope with this combinatorial explosion, efficient algorithms use heuristics, which guide the search towards optimistic or approximate solutions. Remarkably, hierarchical methods iteratively decompose the planning problem into smaller and much simpler ones. In a vast majority of problems, the planner must deal with constraints, such as multiple predefined phases or protocols. Such constraints generally help solving the planning problem, because they prune lots of search paths where these constraints do not hold. In this thesis, we assume that these constraints are known and given to the planner. We thus propose a new method to model and solve a deterministic planning problem, based on a hierarchical and heuristic approach and taking advantage of these constraints. We inspired ourselves from structured programming formalisms in order to offer a more intuitive modeling framework in the domain of hierarchical planning to the user. We also proposed a planning algorithm able to exploit this formalism and build strategies at various levels of granularity, thus allowing to plan quickly a global strategy, while still being able to overcome the difficulties at lower level. This algorithm showed its performances compared with the main HTN planner, SHOP2, on classical planning problems.

La thèse relative au thème ‘‘finances publiques et richesses privées en Grèce aux époques classique et hellénistique’’ pose la problématique des relations et des corrélations entre les richesses privées et les finances publiques dans les cités et les royaumes du monde grec. Durant cette longue période, d’une part les richesses privées se constituèrent indépendamment des finances publiques par les rentes tirées de la location de certains biens, de l’exploitation minière, du commerce et des activités bancaires. En outre, par le travail intellectuel, la divination et le sport. D’autre part, les richesses privées se seraient formées aux dépens des finances publiques par la corruption et la malversation auxquelles les magistrats grecs se seraient adonnés lors de l’exercice de leurs charges. Les richesses qui furent ainsi constituées d’une manière ou d’une autre ne servirent pas seulement à l’usage privé. Elles servirent également aux finances publiques pour palier des pénuries financières, approvisionner en grain, financer des guerres, construire ou reconstruire des édifices, payer des tributs ou des rançons, faire des sacrifices, accomplir des ambassades et fournir de l’huile aux gymnases. Dès lors, les Etats grecs eurent recours à la contrainte par l’imposition du tribut, la pratique des confiscations et des prêts contraignants ainsi que la levée des taxes, des amendes et des impôts. Par ailleurs, les Etats grecs firent aussi appel à l’évergétisme des plus riches de leurs populations qui manifestèrent leur générosité lors des épidoseis, des prêts à souscription publique et des évergésies individuels. / Thesis on the theme '' public finances and private wealth in Greece in Classical and Hellenistic periods '' raises the issue of the relationships and correlations between private wealth and public finances in the cities and kingdoms of the Greek world. During this long period, on the one hand the private wealth were formed independently of public finances by rents from the leasing of certain assets, by mining, trade and banking. In addition, by the intellectual work divination and sport. On the other hand, private wealth would have formed at the expense of public finances by corruption and embezzlement that Greek judges would have indulged in the exercise of their charges. The wealth that were thus formed in one way or another did not serve only for private use. They also served the public finances to overcome financial shortages , grain supply , finance wars , build or rebuild buildings, pay tribute or ransom , make sacrifices , perform embassies and supplying oil to gyms . Therefore, the Greek states had recourse to coercive imposition of tribute, the practice of confiscation and binding and the removal of taxes loans, fines and taxes. Moreover, the Greek states also appealed to the evergetism of the richest people who demonstrated their generosity during épidoseis, public subscriptions’ loans and individual evergetisms.

Cette thèse a pour but d’étudier l’émergence et le développement dans la littérature française d’un genre nouveau, du début du XIXe jusqu’à la fin du XXe siècle : le roman romain à sujet contemporain. N’évoquant pas la stabilité de la Ville antique, de ses ruines et de ses monuments, mais le paysage urbain et humain en mouvement de l’époque, il rompt avec la tradition du Grand Tour, qui était implicitement fondée sur la notion qu’aucune fiction ne pouvait être inventée dans le présent éternel de Rome, puisque la perception qu’on en pouvait nourrir était si profondément ancrée dans le passé. En faisant usage du roman, les écrivains étaient confrontés simultanément à la modernité du médium et à la modernisation urbaine et politique de la Ville, alors qu’ils avaient toujours à l’esprit le signe de Rome – le mythe de la Ville Éternelle. Les romans situés dans la Rome contemporaine fournissaient à leurs auteurs la possibilité de traiter des questions les plus fondamentales de l’éthique et de l’esthétique dela fiction : le rôle de la croyance dans la civilisation moderne – en terme de religion et de son contrepoint, la fiction littéraire ; le rôle du passé dans la construction de la modernité ; l’importance du présent dans l’expérience du passé ; la signification des Anciens à l’époque des Modernes. Analyser les formes du roman français à sujet romain contemporain signifie plus encore que de se confronter au portrait d’une ville : c’est une étude de la pertinence des paradigmes occidentaux. / This thesis aims to address the emergence and the development in French literature of a whole new genre, from the beginning of the 19th until the end of the 20th century: the contemporaneous Roman-themed novel. Dealing not with the stability of the Ancient City, its ruins and its monuments, but with the shifting urban and human landscape of the time, it disrupts the tradition of the Grand Tour, which was implicitly based on the notion that no fiction could be invented in the eternal present of Rome, since the perception one could have there was so deeply rooted in the past. By using the novel, writers were simultaneously confronted to the modernity of the medium and to the urban and political modernisation of the city, while the sign of Rome – the myth of the Eternal City – was always present in their mind. Novels set in contemporaneous Rome provided their authors with the possibility to engage with the most crucial issues inherent to the aesthetics and ethics of fiction: the role of belief in modern cultures – in terms of religion and its counterpart, literary fiction; the role of the past in the construction of modernity; the importance of the present in the experience of the past; the meaning of the Ancients at the time of the Moderns. Analysing the forms of the French contemporaneous Roman-themed novel signifies even more than engaging with the portrait of a city: it is a study in the relevance of Western paradigms.