Letteratura scientifica selezionata sul tema "Théorie des topos"

Résumé Les phénomènes de type argumentatif amènent l’auteur à envisager une régulation en termes de gradation et non plus de vrai/faux. Le concept de topos joue un rôle essentiel dans la dynamique discursive.

For a Peripheral Theory in Love: Reading Agamben, Derrida, Rancière. The introduction of Giorgio Agamben’s book entitled Stanzas, Word and Phantasm in Western Culture is about the relationship of philosophy and poetry to knowledge in Western culture. The stanza is “the essential nucleus” of Tuscan poetry in the thirteenth century. It is actually an invention of Tuscan poets who call stanzas the parts that compose every canzone. Stanza is a word for chamber in Tuscan dialect as well as in Italian. Agamben points out that what makes possible its poetical existence is the fact that a stanza is a topos outopos, a topos which contains its own negation: it is the reality of unreality. Agamben’s thesis is that Western culture has forgotten the unitary status the Western word had until the thirteenth century. The thirteenth century could still conceive poetic activity as a philosophical one and then Western culture has known a separation between two poles that define knowledge and word. This paper aims to investigate the relationship between knowledge and words in Derrida, Rancière and Agamben.

For a Peripheral Theory in Love: Reading Agamben, Derrida, Rancière. The introduction of Giorgio Agamben’s book entitled Stanzas, Word and Phantasm in Western Culture is about the relationship of philosophy and poetry to knowledge in Western culture. The stanza is “the essential nucleus” of Tuscan poetry in the thirteenth century. It is actually an invention of Tuscan poets who call stanzas the parts that compose every canzone. Stanza is a word for chamber in Tuscan dialect as well as in Italian. Agamben points out that what makes possible its poetical existence is the fact that a stanza is a topos outopos, a topos which contains its own negation: it is the reality of unreality. Agamben’s thesis is that Western culture has forgotten the unitary status the Western word had until the thirteenth century. The thirteenth century could still conceive poetic activity as a philosophical one and then Western culture has known a separation between two poles that define knowledge and word. This paper aims to investigate the relationship between knowledge and words in Derrida, Rancière and Agamben.

On tient habituellement la notion d’ application pour une certaine relation entre théorie et pratique dont il faudrait demander dans quelle mesure elle est efficace ou critiquable. Mon hypothèse cherchera à dépasser ce topos traditionnel en montrant que cette notion exprime la liaison entre un régime de savoir, un régime de pouvoir et un régime de subjectivation. J’esquisserai une archéologie de deux cas paradigmatiques, celui du régime psycho-moral constitué dans les années 1880 en France, et celui du régime développementaliste à partir du début du XX e siècle, pour interroger la problématisation générale à laquelle renvoie la notion d’ application .

Héritier proclamé de Humboldt et initiateur avec Moritz Lazarus (1824-1903) de la Völkerpsychologie, Heymann Steinthal (1823-1899) est traditionnellement considéré comme un représentant du courant «psychologique» en linguistique. L’un de ses premiers ouvrages (1855), qui multiplie les exemples de non concordance entre la «logique» et la «grammaire», se veut en effet une attaque en règle contre le «logicisme» qu’il impute à Becker et à la grammaire générale, en considérant notamment la prédication comme une propriété quasiment triviale (non spécifiquement grammaticale) du langage. Toutefois le sens de ces appellations n’est pas évident et les choses sont moins simples qu’il y paraît, car Steinthal emprunte en fait autant à ses ennemis déclarés qu’à Humboldt. Plusieurs faits méritent ici d’être soulignés. Premièrement, la généralisation qu’il fait subir à certains concepts classiques, et notamment à celui de prédicat, ce qui le conduit à une conception des relations dites «logiques» proche de celle des grammaires dépendancielles. Deuxièmement, le fait que la spécificité du plan grammatical soit définie, par contraste, dans le cadre d’une typologie basée sur le topos humboldtien du dynamisme de la phrase indo-européenne. Ces deux points, qui caractérisent la Mischsyntax un peu particulière à laquelle aboutit Steinthal, suggèrent qu’il n’y a pas de discontinuité tranchée entre théorie classique du jugement et grammaire dépendancielle. Ils posent aussi des questions épistémologiques plus générales, concernant notamment le lien unissant les objets empiriques (ici les langues) et les métalangages utilisés pour les décrire.

Cet article propose une méthode cartographique pour approcher la grande variabilité des énoncés apparentés aux théories du complot. Basée sur une collecte de données web, cette cartographie fournit des éléments de réponses aux questions suivantes : quelles sont les grandes familles de discours et de références qui se distinguent dans les énoncés complotistes ? Quelles relations narratives ces topoï entretiennent-ils les uns envers les autres ?

Résumé Le Paradoxe sur le comédien de Diderot n'est pas une creatio ex nihilo . C'est une variation nouvelle sur un vieux topos de la doctrine rhétorique, Natura et Ars, Ingénium et Judicium , qui concerne l' orator en tant qu' actor aussi bien que l'interprétation du comédien. Diderot renouvelle le topos en introduisant, à la place de la traditionnelle conciliation entre natura et ars, ingenium et judicium , la distinction post-cartésienne moderne entre l'ego rationnel transcendantal et le moi subjectif, ce qui constitue une extension à l'art du comédien de la rhétorique rationaliste des Lumières. Mais la conception cicéronienne traditionnelle est encore bien vivante au XVIIIe siècle en France. Elle a été réaffirmée avec élégance par Rémond de Saint-Albine dans Le Comédien (1747), ouvrage qui a connu un long et vaste succès en Europe, et dont la doctrine peut être considérée comme l'équivalent « rocaille » de L'Art de l'acteur de Stanislavski. Cet article analyse le contenu de ce livre important et méconnu en opposition avec les théories de Diderot.

Bien marqueur du discours oriente systématiquement l'énoncé vers le positif, mais contrairement à l'adverbe de manière ou au substantif, le marqueur bien est implicitement porteur de négativité. Il introduit dans l'énoncé un parcours entre ces pôles opposés, que nous analysons ici en combinant la théorie polyphonique et celle des topoï: les énonciateurs sont les représentants des points de vue qui s'affrontent en deuxième ou troisième ligne et sont responsables des différents revirements dans l'argumentation. L'analyse du mécanisme argumentatif fondamental déclenché par bien marqueur est basée sur un corpus de plusieurs centaines d'occurrences, ce qui nous a permis de dégager un certain nombre de valeurs contextuelles de bien suivant qu'il apparaît seul ou en combinaison avec d'autres connecteurs tels mais ou donc.

Une traduction fictive (ou pseudo-traduction) est un texte qui, ayant été directement écrit dans une langue, se présente comme traduit d’une autre, réelle ou imaginaire. Peu étudié jusqu’à la fin du XXe siècle, le cas n’en est pas moins fréquent, illustré par un bon nombre de romans célèbres : Don Quichotte, les Lettres persanes, Le manuscrit trouvé à Saragosse, Le château d’Otrante, parmi d’autres. Pendant longtemps on a tenu pour négligeable la fiction de la traduction, la considérant comme un procédé inoffensif, un amusant artifice littéraire. Convention souvent assumée de manière explicite par les auteurs qui y recourent, le phénomène n’a encore été que peu envisagé dans sa dimension historique. C’est donc à retrouver les raisons de l’émergence d’un tel motif dans le genre romanesque et à décrire les moments de sa formalisation topique que l’on voudrait s’attacher. L’enquête, qui remonte aux premiers romans médiévaux pour aboutir à leur dernier retentissement dans l’œuvre de Cervantès, s’apparente ainsi à une généalogie, au sens rigoureux que lui donnait Nietzsche, puisqu’il s’agit de réinjecter l’histoire dans un lieu commun, de redynamiser ce que la tradition a figé en un canevas immédiatement reconnaissable
A fictitious translation (or pseudo-translation) is a text written in a peculiar language but introduced as a real or imaginary translation in a foreign language. While such fictitious translations did not go through frequent studies until the end of the twentieth century, they are quite common and regularly illustrated by many famous works, among which Don Quijote, Le Manuscrit trouvé à Saragosse and The Castle of Otranto to name a few. For long translation as fiction has only been considered as literary device to entertain. Hence, this attitude towards the fictitious translation may partially explain why such literary phenomenon was never perceived within its historical context, notwithstanding it was explicitly used as a literary convention by many authors. Therefore, we should devote ourselves to discern the motivations that drove the emergence of pseudo-translation in the novel ’genre. Besides, it is also important to highlight the course it took to finally become known as topos. From this perspective, this research, which is a genealogical one as defined by Nietzsche, explores the role of translation from the first medieval novels to their last echo in Cervantes’s work; in an attempt to reinject a historical dynamic in a common place long unchanged

Nous étudions des relations entre la géométrie non commutative et la théorie des topos, comme deux généralisations de la topologie. L'outil principal que nous utilisons est l'étude des champs continus d'espaces de Hilbert sur un topos, définis par l'utilisation de la logique interne du topos. En considérant les algèbres d'opérateurs bornés sur de tels champs on obtient des C*-algèbres associées au topos. Dans le chapitre 1 nous étudions cette relation par l'intermédiaire des quantales et dans le cas des topos atomiques. Dans ce cas, la relation avec les algèbres d'opérateurs peut-être décrite explicitement et cela procure un modèle simple des phénomènes qui apparaissent. Le chapitre 2 définit une théorie de la mesure sur les topos et la relie à la théorie des W*-algèbres. Inspirés par les résultats du chapitre 1 nous définissons une notion de mesure invariante qui apparait comme analogue à la notion de trace. La classification de ces mesures fait apparaitre un R+*-fibré principal canonique sur tout topos booléen intégrable localement séparé, qui est l'analogue de l'évolution temporelle des W*-algèbres (ceci est précisé à la fin du chapitre 2). Dans le chapitre 3, nous définissons et étudions une notion d'espaces de Banach "localiques". Notre motivation est de pouvoir généraliser les techniques que nous utilisons pour les topos à des groupoides topologiques ou localiques, ainsi que d'obtenir une extension de la dualitée de Gelfand constructive conjecturée par C. J. Mulvey et B. Banachewski. Nous prouvons aussi que dans un topos satisfaisant une condition liée à la paracompacité, la notion d'espace de Banach localique est équivalente à la notion usuelle d'espace de Banach
The goal of this thesis is to study some relations between non-commutative geometry and topos theory, as two generalisation of topology. The main tool we are using is the study of continuous bundles of Hilbert spaces over a topos which are defined as Hilbert spaces in the internai Iogic of the topos. By looking at the aigebras of bounded operators over such Hilbert spaces one can associate C*-aigebras to a topos. In chapter 1 we study this relation through the use of quantales, and in the case of at ic toposes. For such toposes the relation with operator aigebras can be described expl Ytely, and this provides an interesting toy-mode) for the case of more general toposes. In chapter 2 we focus on measure theoretic aspects. We define a notion of generalized measure ciass over a topos, and this notion appears to be closely related to the theory of W* aigebras. Lnspired by the results of chapter 1 we define a notion of invariant measure, which appears to be analogous to the notion of trace on a W*-algebra. The classification of such measures gives rise to a canonicat R+*-principal bundle on every integrable locally separate boolean topos, which is the analogue of the modular theory of W*-algebras. In chapter 3, we define and study a notion of localic Banach spaces. Our motivations are tha it allows to generalize the techniques used on toposes in this thesis to topological and localic groupoids, and to obtain an extension of the constructive Gelfand duality as conjectured by C. J. Mulvey and B. Banachewski. We also prove that over a topos satisfying a condition related to paracompactness, the notion of localic Banach space is equivalent to the usual notion of Banach space

Cette thèse étend dans plusieurs directions l’étude cohomologique de la théorie de l’information initiée par Baudot et Bennequin. On introduit une notion d'espace statistique basée sur les topos, puis on étudie plusieurs invariants cohomologiques. Les fonctions d’information et quelques objets associés apparaissent comme des classes de cohomologie distinguées ; les équations de cocycle correspondantes codent les propriétés récursives de ces fonctions. L'information a donc une signification topologique et la topologie sert de cadre unificateur.La première partie traite des fondements géométriques de la théorie. Les structures d’information sont présentées sous forme de catégories qui codent les relations de raffinement entre différents observables statistiques. On étudie les produits et coproduits des structures d’information, ainsi que leur représentation par des fonctions mesurables ou des opérateurs hermitiens. Chaque structure d’information donne lieu à un site annelé ; la cohomologie de l'information est introduite avec les outils homologiques développés par Artin, Grothendieck, Verdier et leurs collaborateurs.La deuxième partie étudie la cohomologie des variables aléatoires discrètes. Les fonctions d'information — l'entropie de Shannon, l'alpha-entropie de Tsallis, et la divergence de Kullback-Leibler — apparaissent sous la forme de 1-cocycles pour certains modules de coefficients probabilistes (fonctions de lois de probabilité). Dans le cas combinatoire (fonctions des histogrammes), le seul 0-cocycle est la fonction exponentielle, et les 1-cocycles sont des coefficients multinomiaux généralisés (Fontené-Ward). Il existe une relation asymptotique entre les cocycles combinatoires et probabilistes.La troisième partie étudie en détail les coefficients q-multinomiaux, en montrant que leur taux de croissance est lié à la 2-entropie de Tsallis (entropie quadratique). Lorsque q est une puissance première, ces coefficients q-multinomiaux comptent les drapeaux d'espaces vectoriels finis de longueur et de dimensions prescrites. On obtient une explication combinatoire de la non-additivité de l'entropie quadratique et une justification fréquentiste du principe de maximisation d'entropie quadratique. On introduit un processus stochastique à temps discret associé à la distribution de probabilité q-binomial qui génère des espaces vectoriels finis (drapeaux de longueur 2). La concentration de la mesure sur certains sous-espaces typiques permet d'étendre la théorie de Shannon à ce cadre.La quatrième partie traite de la généralisation de la cohomologie de l'information aux variables aléatoires continues. On étudie les propriétés de fonctorialité du conditionnement (vu comme désintégration) et sa compatibilité avec la marginalisation. Les calculs cohomologiques sont limités aux variables réelles gaussiennes. Lorsque les coordonnées sont fixées, les 1-cocycles sont l’entropie différentielle ainsi que les moments généralisés. Les catégories grassmanniennes permettent de traiter les calculs canoniquement et retrouver comme seuls classes de cohomologie de degré 1 l'entropie et la dimension. Ceci constitue une nouvelle caractérisation algébrique de l'entropie différentielle
This thesis extends in several directions the cohomological study of information theory pioneered by Baudot and Bennequin. We introduce a topos-theoretical notion of statistical space and then study several cohomological invariants. Information functions and related objects appear as distinguished cohomology classes; the corresponding cocycle equations encode recursive properties of these functions. Information has thus topological meaning and topology serves as a unifying framework.Part I discusses the geometrical foundations of the theory. Information structures are introduced as categories that encode the relations of refinement between different statistical observables. We study products and coproducts of information structures, as well as their representation by measurable functions or hermitian operators. Every information structure gives rise to a ringed site; we discuss in detail the definition of information cohomology using the homological tools developed by Artin, Grothendieck, Verdier and their collaborators.Part II studies the cohomology of discrete random variables. Information functions—Shannon entropy, Tsallis alpha-entropy, Kullback-Leibler divergence—appear as 1-cocycles for appropriate modules of probabilistic coefficients (functions of probability laws). In the combinatorial case (functions of histograms), the only 0-cocycle is the exponential function, and the 1-cocycles are generalized multinomial coefficients (Fontené-Ward). There is an asymptotic relation between the combinatorial and probabilistic cocycles.Part III studies in detail the q-multinomial coefficients, showing that their growth rate is connected to Tsallis 2-entropy (quadratic entropy). When q is a prime power, these q-multinomial coefficients count flags of finite vector spaces with prescribed length and dimensions. We obtain a combinatorial explanation for the nonadditivity of the quadratic entropy and a frequentist justification for the maximum entropy principle with Tsallis statistics. We introduce a discrete-time stochastic process associated to the q-binomial probability distribution that generates finite vector spaces (flags of length 2). The concentration of measure on certain typical subspaces allows us to extend Shannon's theory to this setting.Part IV discusses the generalization of information cohomology to continuous random variables. We study the functoriality properties of conditioning (seen as disintegration) and its compatibility with marginalization. The cohomological computations are restricted to the real valued, gaussian case. When coordinates are fixed, the 1-cocycles are the differential entropy as well as generalized moments. When computations are done in a coordinate-free manner, with the so-called grassmannian categories, we recover as the only degree-one cohomology classes the entropy and the dimension. This constitutes a novel algebraic characterization of differential entropy

Le present travail fait suite aux recherches menees sur la theorie des ensembles flous. D. Ponasse a defini la categorie jtf des j-ensembles totalement flous. Dans sa these de 3eme cycle g. Mycek a demontre que cette categorie est un topos lorsque j est un anti-ordinal (c. A. D. : j est un ordinal lorsqu'il est muni de l'ordre inverse). Il a exhibe tous les objets elementaires de ce topos. Wu tao, lui, a fait une etude detaillee de ce topos avec j antiordinal. Dans leurs articles j. Coulon et j. L. Coulon montrent que pour j un treillis de heyting complet la categorie jtf est equivalente a la categorie jtf et que jtf n'est pas un topos lorsque j n'est pas un anti-ordinal. Dans la premiere partie de ce travail je continue l'etude de la categorie jtf. Je demontre qu'elle est isomorphe a la categorie notee jid dont les objets sont des ensembles ordonnes et les morphismes sont des applications verifiant certaines conditions. J'ai traduit les notions de mono, epi et iso (morphisme) dans jid en notions de surjection, injection et bijection. Dans la deuxieme partie j'etudie les proprietes categoriques de jid: objet final (resp. Initial), produit (resp. Coproduit), pulback (resp. Pushout), noyau de paire (resp. Conoyau) et l'exponentielle. 1**(o)) je demontre que la plus grande famille de monomorphismes qu'on peut classer c'est la famille des monomorphismes dits forts. 2**(o)) je prouve que dans le cas ou j est un anti-ordinal tout monomorphisme est fort donc jid est un topos. 3**(o)) lorsque j n'est pas un anti-ordinal il existe des monomorphismes non forts donc non classifiables. Donc jid n'est pas un topos.

Cette thèse s'intéresse à l'utilisation des théories de types et des types eux-mêmes dans les formalismes sémantiques compositionnels en traitement automatique des langues. Les types sémantiques jouent un rôle essentiel dans la détection et la représentation de certains phénomènes sémantiques, incluant les usages créatifs de la langue, la polysémie et la coprédication, et nécessitent pour cela une certaine précision linguistique ainsi que des mécanismes théoriques capable de manipuler des structures complexes et des coercions de types. Afin de répondre à ces exigences, l'objectif de ce travail de thèse est de proposer une base minimaliste à la construction des théories de types sémantiques, qui soit capable dans une certaine mesure d'unifier les différentes approches actuelles à la sémantique lexicale et formelle. Une première partie est dédiée à l'examen des contraintes linguistiques qui pèsent sur la notion même de type sémantique, et aboutit à l'élaboration de principes généraux destinés à encadrer l'élaboration de théories de types sémantiques. Dans une seconde partie, ces principes sont confrontés aux fondements mathématiques de telles théories, conduisant à la construction d'une théorie de types dans un style montagovien, augmenté d'une relation de sous-typage et de coercions, à partir d'un modèle catégorique de topos. Enfin, une dernière partie traite du choix des types sémantiques de base, et tente d'évaluer expérimentalement si l'acquisition de tels types à partir de données empiriques est envisageable
This thesis investigates the use of type theories and types with regards to compositionality in the formal semantic models of computational linguistics. Semantic types play a fundamental role in the detection and representation of semantic phenomena such as creative uses of language, polysemy and copredication. As a consequence, a formal account of types requires linguistic accuracy as well as theoretical mechanisms to manipulate complex structures and type coercions. In order to meet these expectations, the present thesis aims to propose a minimalist account of the construction of semantic type theories which would make it possible to unify the various current approaches to formal and lexical semantics. A first part is dedicated to the study of the linguistic constraints which influence the notion of semantic type itself, and leads to the formulation of general principles to supervise the production of semantic type theories. In a second part, these principles are interpreted in the light of the mathematical foundations of such theories, leading to the construction of a Montagovian-style type theory with subtyping and coercions from a topos as a categorical model. Finally, a third and last part deals with the choice of base semantic types in order to determine experimentally whether such types can be acquired from empirical data

Ce mémoire est constitué d'une étude topologique et cohomologique des anneaux d'entiers de corps de nombres. Dans une première partie, nous définissons une cohomologie étale équivariante satisfaisant un théorème de localisation. L'utilisation de cette cohomologie nous permet d'approfondir le dictionnaire de la topologie arithmétique. La suite de ce travail est consacrée à l'étude de la cohomologie Weil-étale en caractéristique zéro, dont l'existence a été conjecturée par Lichtenbaum. Cette théorie cohomologique permettrait d'exprimer les valeurs spéciales des fonctions zêta de Dedeking en termes de caractéristiques d'Euler. Après avoir donné une description explicite de la catégorie des faisceaux sur le site Weil-étale d'un corps de nombres, nous construisons un complexe de faisceaux sur le site étale d'Artin-Verdier dont l'hypercohomologie est la cohomologie Weil-étale au-dessus du topos étale d'Artin-Verdie d'un corps de nombres. Nous démontrons ensuite que le topos Weil-étale en caractéristique positive est un produit fibré dans la 2-catégorie des topos. Nous étudions alors les propriétés topologiques partagées par le topos Weil-étale et le système dynamique de Deninger conjecturalement associés à un corps global. L'intuition topologique fournie par cette analogie nous permet finalement la construction d'un topos, fonctoriellement attaché à un corps de nombres, dont nous étudions certaines propriétés.

La thèse propose une nouvelle théorie de l’argumentation – bidimensionnelle – reposant sur deux paramètres :la force et l’orientation. Quatre types de marqueurs sont identifiés, articulés autour de ces deux paramètres.

Le chapitre 1 porte sur le réductionnisme topique :la théorie selon laquelle tous les arguments sont défaisables, c’est-à-dire réfutables.

Le chapitre 2 retrace l’histoire du réductionnisme logique :la théorie selon laquelle tous les arguments valides sont indéfaisables. L’argument étudié est la définition.

Le chapitre 3 présente la théorie bidimensionnelle, qui explique à la fois les arguments défaisables et indéfaisables.

Les chapitre 3 et 4 sont une application de la théorie bidimensionnelle de l’argumentation.

Le chapitre 4 étudie l’argument appelé présomption.

Le chapitre 5 offre un traitement nouveau de l’argument a fortiori.

Doctorat en Philosophie
info:eu-repo/semantics/nonPublished

This thesis presents the search for New Physics in events with four top quarks using the data collected in proton-proton collisions by the ATLAS experiment at the LHC. The dataset corresponds to the one taken during all 2011 at √s = 7 TeV and a part of 2012 at √s = 8 TeV. The analysis focuses on a final state with two leptons (electrons and muons) with the same electric charge. This signature is experimentally favored since the presence of two same-sign leptons in the final state allows to reduce the background coming from Standard Model (SM) processes. The results are interpreted in the context of a low energy effective field theory, which assumes that New Physics at low energy can manifest itself as a four right-handed top contact interaction. In this context, this analysis allows testing a class of beyond-the-SM (BSM) theories which at low energy can manifest in this way. Backgrounds to this search have been estimated using simulated samples and data-driven techniques. Different sources of systematic uncertainties have been also considered. The final selection of events has been optimized by aiming at minimizing the expected upper limit on the four tops production cross-section in case of no signal events found. The signal region is then analyzed by looking for an excess of events with respect to the predicted background. No excess of events has been observed, and the observed upper limit on the four tops production cross-section has been computed. This limit is then translated to an upper limit on the coupling strength C=2 of the model. An upper limit on the four tops production cross-section in the SM has been also computed in the analysis performed at √s = 8 TeV. In addition to the physics analysis of the four tops signal, some studies about the LASER calibration system of the ATLAS Tile calorimeter are presented. In particular, they are related to the photodiodes system used to measure the intensity of the laser light in the LASER system.

Cette thèse a pour but la recherche de Nouvelle Physique dans les événements à quatre quarks top en utilisant les données collectées dans les collisions proton-proton par l'expérience ATLAS au LHC. L'ensemble des données correspond à celui enregistré pendant tout 2011 à √s = 7 TeV et une partie de l'année 2012 à √s = 8 TeV. L'analyse est concentrée sur un état final avec deux leptons (des électrons et des muons) avec la même charge électrique. Cette signature est expérimentalement privilégiée puisque la présence de deux leptons avec le même signe dans l'état final permet de réduire le bruit du fond qui vient des processus du Modèle Standard. Les résultats sont interprétés dans le contexte d'une théorie effective à basse énergie, qui suppose que la Nouvelle Physique peut se manifester à basse énergie comme une interaction de contact à quatre tops droits. Dans ce contexte, cette analyse permet de prouver un type de théorie au delà du Modèle Standard qui, à basse énergie, peut se manifester de cette manière. Les bruits du fond pour cette recherche ont été estimés en utilisant des échantillons simulés et des techniques axées sur les données. Différentes sources d'incertitudes systématiques ont été considérées. La sélection finale des événements a été optimisée en visant à minimiser la limite supérieure attendue sur la section efficace de production des quatre tops si aucun événement de signal n'est trouvé. La région du signal a été ensuite examinée à la recherche d'un excès d'événement en comparaison avec le bruit du fond prévu. Aucun excès d'événement n'a été observé, et la limite supérieure observée sur la section efficace de production de quatre quarks top a été calculée. Ceci a permis de calculer la limite supérieure sur la constante de couplage C/lambda 2 du modèle. Une limite supérieure sur la section efficace de production de quatre tops dans le Modèle Standard a été aussi calculée dans l'analyse à √s = 8 TeV. En plus de l'analyse physique du signal de quatre tops, des études concernant le système d'étalonnage LASER du calorimètre Tile ont été présentées. Ces études sont liées au système des photodiodes utilisé pour mesurer l'intensité de la lumière dans le système LASER.

Parti d'une formulation maladroite de Rousseau laissant croire qu'il ne s'était rien fait sur le thème de l'éducation des Quelques pensées sur l'éducation de Locke à l'Émile, nous avons d'abord voulu montrer le côté fallacieux d'une telle proposition pour bien faire ressortir au contraire l'intérêt d'un tel sujet au siècle des Lumières, sujet qui mobilise toute l'attention des philosophes. Et cette importance accordée à l'éducation est nettement perceptible sur quatre points, qui sont au coeur de l'articulation logique de notre travail. Ainsi, nous montrons d'abord que l'éducation est un topos philosophique par excellence depuis la mise en évidence cartésienne des préjugés attachés à l'enfance. Philosopher, c'est donc former l'individu à repérer et à dénoncer ces présupposés qu'on impose à sa conscience. Cela passe évidemment par une réforme du préceptorat. Ensuite, nous avons mis en valeur l'importance philosophique de l'éducation au siècle du sensualisme où tout part des sens et donc de l'enfance. Dans un troisième moment, nous nous sommes attaché à comprendre comment le siècle des Lumières envisageait l'importance de l'éducation non en termes d'individus mais d'espèce. Faisant intervenir Turgot et Condorcet, nous avons analysé les progrès de l'esprit humain de sa source ténébreuse à la lumière du siècle des philosophes et montré en quoi l'éducation est le socle même d'un tel processes. Enfin, nous terminons en pointant du doight le rôle indispensable de la raison dans toute tentative éducative. Nous inspirant alors de Kant, nous montrons les interactions entre raison et éducation tant au niveau privé que public. En conclusion, nous nous interrogeons sur la portée pratique de ces théories philosophiques.