Au coeur des liens entre Théorie de la Démonstration et Théorie des Types, la correspondance de Curry-Howard fournit des termes de preuves aux aspects calculatoires et équipés de théories équationnelles, i.e. des notions de normalisation et d'équivalence. Cette thèse contribue à étendre son cadre à des formalismes (comme le calcul des séquents) appropriés à des considérations d'ordre logique comme la recherche de preuve, à des systèmes expressifs dépassant la logique propositionnelle comme des théories des types, et aux raisonnements classiques plutôt qu'intuitionistes.<br />La première partie est intitulée Termes de Preuve pour la Logique Intuitioniste Implicationnelle, avec des contributions en déduction naturelle et calcul des séquents, normalisation et élimination des coupures, sémantiques en appel par nom et par valeur. En particulier elle introduit des calculs de termes de preuve pour le calcul des séquents depth-bounded G4 et la déduction naturelle multiplicative. Cette dernière donne lieu à un calcul de substitutions explicites avec affaiblissements et contractions, qui raffine la beta-réduction.<br />La deuxième partie, intitulée Théorie des Types en Calcul des Séquents, développe une théorie des Pure Type Sequent Calculi, équivalents aux Systèmes de Types Purs mais mieux adaptés à la recherche de preuve.<br />La troisième partie, intitulée Vers la Logique Classique, étudie des approches à la Théorie des Types classique. Elle développe un calcul des séquents pour une version classique du Système Fomega. Une approche à la question de l'équivalence de preuves classiques consiste à calculer les représentants canoniques de preuves équivalentes dans le cadre du Calcul des Structures.

Texte abrégé et remanié de: Diss.--Philosophische Fakultät--Humboldt-Universität zu Berlin, 2000. / Bibliogr. p. 197-202.

Ce mémoire s'intéresse au quotidien des soldats soviétiques qui ont combattu sur le front de l'Est entre 1941 et 1945 et consiste en une analyse de leurs correspondances personnelles. Sur un tel sujet, une historiographie non négligeable nous précède. Cette recherche s'inspire donc des travaux d'Omer Bartov et de ses successeurs sur le phénomène de la « barbarisation » sur le front de l'Est, de différentes études abordant la réalité du soldat au front et la vie quotidienne au temps de Staline ainsi que d'ouvrages exploitant comme sources de base des correspondances ou des récits personnels. En mettant de l'avant une approche sociale de la guerre, ce travail vise à faire la lumière sur les conditions physiques et psychologiques dans lesquelles Ivan, le soldat soviétique moyen, a évolué, tout en évaluant à quel point il fut « brutalisé » par son expérience au front et quel fut le rôle de l'idéologie du régime en place dans ce processus. Notre utilisation du cadre d'analyse de Bartov, appliqué à notre corpus, vise à valider si les trois facteurs de « brutalisation » des soldats d'Hitler avancés par cet historien (les conditions du front, les antécédents sociaux et éducationnels et l'endoctrinement des troupes) peuvent également expliquer la « brutalisation » des soldats de Staline pendant cette période. En étudiant les propos des soldats qui abordent leur alimentation, leur hygiène, leurs conditions de travail et la logistique au front, nous sommes amenés à réduire l'importance accordée aux conditions physiques du front de l'Est dans le processus de « brutalisation » des troupes par rapport au cas allemand. Alors que les écrits de ces combattants au sujet du moral au front, de leurs inquiétudes liées à leurs proches ainsi que de leur état psychologique général renforcent l'idée d'une forte politisation de la vie quotidienne en URSS avant même le début du conflit, qui a eu pour effet de rendre ces hommes encore plus perméables à la propagande de guerre. Aussi, en analysant les calques du discours de la propagande soviétique, les représentations de l'ennemi ainsi que les traces de « brutalisation » présentes dans les correspondances étudiées, il est possible de démontrer le rôle crucial de l'endoctrinement idéologique. Finalement, la présence d'une spirale de violence, liée au désir de vengeance face aux crimes commis par les envahisseurs dès le début du conflit, explique également le comportement excessivement violent de ces militaires soviétiques, tant envers les soldats allemands que les civils, lorsqu'ils firent leur entrée en Allemagne en 1945. L'intérêt de cette recherche réside dans le fait qu'elle constitue un apport à un des débats fondamentaux du champ d'études, surtout sur le plan de la critique de sources importantes, mais mal exploitées, puisqu'elle permet, entre autres, de définir le profil idéologique d'un échantillon représentatif de millions de Soviétiques appelés sous les drapeaux durant le second conflit mondial. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : Histoire, URSS, Deuxième Guerre mondiale, Front de l'Est, Armée rouge, Soldat, Correspondances, Conditions sociales, Idéologie.

Ma recherche vise, d’une part, à appréhender le phénomène de la publication des correspondances des « poilus » (les soldats français de la Première Guerre mondiale) et d’autre part, à déterminer leur rôle dans la mémoire collective de la Grande Guerre. Précédé d’un bilan historiographique, mon travail se divise en trois chapitres autour de trois thèmes principaux, la correspondance, l’édition et la mémoire. Le premier chapitre met en contexte la production des lettres et identifie les facteurs l’influençant. Le deuxième chapitre se penche sur les buts éditoriaux des publications de correspondances et sur leur transformation au fil des époques. Finalement, le dernier chapitre analyse la place de ces publications dans le cadre de la commémoration de la Grande Guerre. La recherche va au-delà de l’analyse des lettres et s’intéresse davantage aux desseins éditoriaux des recueils. Les sources utilisées sont des ouvrages collectifs publiant des lettres de poilus, édités entre 1922 (La dernière lettre) et 2006 (Paroles de Verdun). / My research aims to address the phenomenon of the publication of the “poilus” correspondences (French soldiers of the First World War) and to determine their role in the collective memory of the Great War. Preceded by a historiographic review, my work is divided into three chapters around three main themes, correspondences, publishing and memory. The first chapter puts into context the production of letters and identifies the factors influencing it. The second chapter considers the leading goals of publishing correspondences and their transformation over time. Finally, the last chapter analyzes the need for these publications for commemoration of the Great War. Research goes beyond the analysis of letters and focuses on the leading intentions of the editions. The sources used are anthologies of the “poilus” letters, published between 1922 (La dernière lettre) and 2006 (Paroles de Verdun).

Cette recherche tente d'étudier les effets de l'intégrationpédagogique des technologies de l'information et de lacommunication (TIC) sur l'acquisition de la compétencetextuelle à court terme chez des étudiants palestiniens enlicence de FLE de l'Université An-Najah. Il s'agit de fairedécouvrir les potentialités de ces technologies et demettre en place un dispositif de correspondance en ligneentre natifs et non-natifs permettant d'intégrer despratiques pédagogiques nouvelles au contexte palestinien.Ceci donne accès à l'écriture dans une situation decommunication interactive, sociale et motivante au moyend'outils de communication et de ressources en ligne(correcteurs, traducteurs, moteurs de recherche, etc.).L'objectif est d'améliorer les compétences micro- etmacro-structurelles nécessaires à la rédaction d'un textecohérent et cohésif correspondant au niveau B1+ duCECR.Dans cette recherche, nous avons adopté une perspectivesystémique dans une recherche-action afin de mieuxcomprendre les relations qu'entretient l'intégration destechnologies avec les changements de pratiquespédagogiques dans l'établissement d'accueil. Nous avonsdonc mené une étude approfondie du terrain et uneanalyse de plusieurs textes produits par notre échantillondans le cadre de l'expérimentation afin de mesurer lesapports et les enjeux qu'entraîne le recours à l'utilisationdes TIC. Les résultats montrent une progression au niveaumicro-structurel (notamment sur le plan sémantique etmorphosyntaxique) ainsi qu'une légère amélioration de lacompétence macro-structurelle (notamment enponctuation).

Dans le travail coopératif les experts sont amenés à utiliser des ressources sémantiques. Ces ressources sont en général représentées à l'aide de concepts et de relations et peuvent être modélisées sous forme d'ontologies. Chaque expert dans un domaine d'application utilise fréquemment une ou plusieurs ressources sémantiques et peut également avoir accès à d'autres ressources sémantiques mises à disposition par ses partenaires. Ces ressources sont hétérogènes entre elles à différents niveaux ce qui rend difficile l'interopérabilité syntaxique, structurelle et sémantique. Ce travail de thèse met l'accent sur l'interopérabilité sémantique des ressources sémantiques. Nous proposons une méthodologie semi-automatique pour aider à la découverte de correspondances sémantiques entre concepts de ressources sémantiques différentes. Pour réaliser ce travail, nous transformons ces ressources sémantiques en OWL-DL, afin d'utiliser les services de moteurs d'inférences fondés sur les logiques de description. Nous proposons aussi un procédé pour créer des équivalences entre relations de ressources sémantiques différentes, appelé unification de relations, et qui vise à découvrir d'autres correspondances sémantiques. Les résultats de ce travail ont été testés à l'aide d'un prototype. L'application a été réalisée avec des ressources sémantiques issues du secteur européen de la construction. Pour aider à l'évaluation des correspondances sémantiques, nous proposons aussi une modélisation des connaissances du domaine à l'aide de la logique floue.

L'abordage prédominant de la compréhension de l'enfance se fait par le truchement de différents récits qui contiennent le lieu de l'incomplétude, de l'ingénuité, de la beauté absolue, de la bonté, parmi d'autres prérogatives qui définissent ce lieu. Il faut penser à la problématisation de ces conceptions dès le début, puisqu‟elles sont répetées dans les différents contextes et milieux sociaux qui enveloppent l'enfance, cela nous renvoie à un mouvement qui embrouille nos “premières” vérités et nous pousse, non seulement à savoir ce qu'est l'enfance, mais plus que cela, à penser l'enfance comme une chose encore inconnue. Tous les efforts faits pour fixer l'enfance dans une seule conception s'avèrent être un exercice d‟enfermement, ou alors se résument à des efforts qui mettent en valeur une règle, une position-de-sujet, installant des territoires, ceux-là même qui prétentent enfermer toute l'idée, l'emprisonne toute en s'enfermant en elle-même. Il est temps de comprendre que ce mot enfance s'éparpille en plusieurs sens, en une énigme d'ailleurs suivie d'infins glissements conceptuels. C'est ainsi que, supposer que l'enfance peut s'exprimer dans une expérience, me pousse parfois à penser qu'il y a possibilité de concevoir une enfance hors du langage, c'est-à-dire, dans ce glissement continu de l‟expérience dans et par le langage, (et) qu'il est possible de trouver une enfance-expérience qui fait des agencements dans le soin de nous-mêmes. Donc, la perspective d‟une enfance m'invite à penser au monde par ses irrégularités ses précarités, ses contingencements, bref, cela exige que j'envisage un autre champ du discours, c‟est-à-dire, ce champ qui se fait par ce qui fuit, ce qui resiste, par une force vitale de liberté qui nous amène à nous pencher sur nous- mêmes. Et tant que dimension de l'inattendu, l'imprévu de cette enfance glisse en nous le doute et l'incertitude comme possibilités de connaître ce qu'on ne connaît pas encore, de savoir ce qu'on ne sait pas, mais, surtout de prendre une position devant les choses du monde, qui nous place dans notre simple humanité. Cette simple humanité qui nous envoie à tout faire et à rien faire. / A perspectiva predominante de captura da infância marcou e vem marcando as diferentes narrativas que pressupõe o lugar de incompletude, ingenuidade, beleza irrestrita, bondade, entre tantos outros atributos que definem este lugar. Problematizar essas concepções de início, repetidas nos diferentes contextos e práticas sociais que envolvem a infância, nos remete a um movimento que desarranja nossas „primeiras‟ verdades e nos instiga, mais do que saber o que é a infância, pensá-la como algo ainda por nós desconhecido. Vemos que toda tentativa de fixar a infância em uma única designação constitui-se num exercício em encerrar, em sobrepor um valor, uma norma, uma posição-de-sujeito que institui territórios, que pretensiosamente designa a si toda a palavra aprisionando-a e aprisionando-se à ela. Perceber que essa palavra eclode em múltiplos sentidos, desdobra-se num enigma seguido por infinitos deslizamentos conceituais. Portanto, supor que a infância, por vezes, poderá expressar-se numa experiência, me provoca saber se existe a possibilidade de uma infância fora da linguagem e se nesse deslizamento contínuo de se experenciar na e pela linguagem, poderá residir uma infância-experiência que nos agencia um modo de cuidado de nós mesmos. Essa infância me convida a pensar o mundo por suas irregularidades, precariedades, contingencionalidades, por fim , me exige lidar com um outro campo discursivo, esse que se faz por aquilo que vaza, por aquilo que resiste, por uma força vital de liberdade que nos interpela a pensarmos sobre nós mesmos. Como dimensão do inesperado, a imprevisibilidade desta infância nos instala a dúvida e a incerteza como possibilidade de conhecer o que ainda não conhecemos, de saber o que ainda não sabemos, mas, sobretudo, de assumirmos uma postura diante das coisas do mundo, que nos coloque no lugar de nossa mera humanidade, a de que nem tudo e com tudo podemos.

Depuis 1955, date à laquelle Robert Baldick a publié The Life of J. K. Huysmans, traduit en français en 1958, aucune biographie scientifique de l’auteur d’À rebours n’a été produite. En un peu plus d’un demi-siècle de recherches, l’information sur le sujet s’est considérablement développée. Pierre Lambert, mort en 1969, a légué sa collection de documents huysmansiens à la bibliothèque de l’Arsenal. Des inédits ont été retrouvés, des lettres notamment. La recherche sur Huysmans dispose aujourd’hui d’une documentation très riche, notamment de la correspondance générale classée et saisie, ouvrant la perspective d’une nouvelle biographie, mieux informée.Huysmans a vécu cinquante-neuf ans, de 1848 à 1907. Ma thèse couvre la première moitié de sa vie. Elle s’articule autour de deux volumes complémentaires : un essai de biographie, conduisant le lecteur de la naissance de l’écrivain au jour de ses trente ans ; une édition de sa correspondance, de sa première lettre connue, un placet adressé au ministère de l’Intérieur en 1866, à une lettre envoyée à son principal correspondant du moment, Théodore Hannon, à la fin de novembre 1878. Huysmans pratique largement et délibérément l’autobiographie romancée, ce qui rend délicat le travail du biographe, mais l’enrichit de tous les récits de vie livrés par l’écrivain lui-même. / Since the 1955 publication of Robert Baldick’s The Life of J-K Huysmans, translated into French in 1958, no scientific biography of the author of À Rebours has been produced. In a little over half a century of research, however, information on this subject has grown considerably. Pierre Lambert, who died in 1969, bequeathed his collection of documents to the Bibliothèque de l’Arsenal. Unedited texts have been unearthed, letters notably. Research on Huysmans has as its disposal today a rich variety of documentation, notably a classified correspondence, and this opens up the opportunity for a new, better-informed biography.Huysmans lived for fifty-nine years, from 1848 to 1907. My thesis covers the first half of his life. It is comprised of two complementary volumes: a biographical essay, leading the reader from Huysmans’s birth to his thirtieth birthday, and an edition of his correspondence from his first known letter, a petition addressed to the Ministry of the Interior in 1866 to a letter sent to his major correspondent of the time, Théodore Hannon, at the end of November 1878. Huysmans practised deliberately and carefully a kind of novelistic autobiography, which perhaps complicates the task of the biographer, but nonetheless also enriches it with all the life-stories delivered by the writer himself.

L'abordage prédominant de la compréhension de l'enfance se fait par le truchement de différents récits qui contiennent le lieu de l'incomplétude, de l'ingénuité, de la beauté absolue, de la bonté, parmi d'autres prérogatives qui définissent ce lieu. Il faut penser à la problématisation de ces conceptions dès le début, puisqu‟elles sont répetées dans les différents contextes et milieux sociaux qui enveloppent l'enfance, cela nous renvoie à un mouvement qui embrouille nos “premières” vérités et nous pousse, non seulement à savoir ce qu'est l'enfance, mais plus que cela, à penser l'enfance comme une chose encore inconnue. Tous les efforts faits pour fixer l'enfance dans une seule conception s'avèrent être un exercice d‟enfermement, ou alors se résument à des efforts qui mettent en valeur une règle, une position-de-sujet, installant des territoires, ceux-là même qui prétentent enfermer toute l'idée, l'emprisonne toute en s'enfermant en elle-même. Il est temps de comprendre que ce mot enfance s'éparpille en plusieurs sens, en une énigme d'ailleurs suivie d'infins glissements conceptuels. C'est ainsi que, supposer que l'enfance peut s'exprimer dans une expérience, me pousse parfois à penser qu'il y a possibilité de concevoir une enfance hors du langage, c'est-à-dire, dans ce glissement continu de l‟expérience dans et par le langage, (et) qu'il est possible de trouver une enfance-expérience qui fait des agencements dans le soin de nous-mêmes. Donc, la perspective d‟une enfance m'invite à penser au monde par ses irrégularités ses précarités, ses contingencements, bref, cela exige que j'envisage un autre champ du discours, c‟est-à-dire, ce champ qui se fait par ce qui fuit, ce qui resiste, par une force vitale de liberté qui nous amène à nous pencher sur nous- mêmes. Et tant que dimension de l'inattendu, l'imprévu de cette enfance glisse en nous le doute et l'incertitude comme possibilités de connaître ce qu'on ne connaît pas encore, de savoir ce qu'on ne sait pas, mais, surtout de prendre une position devant les choses du monde, qui nous place dans notre simple humanité. Cette simple humanité qui nous envoie à tout faire et à rien faire. / A perspectiva predominante de captura da infância marcou e vem marcando as diferentes narrativas que pressupõe o lugar de incompletude, ingenuidade, beleza irrestrita, bondade, entre tantos outros atributos que definem este lugar. Problematizar essas concepções de início, repetidas nos diferentes contextos e práticas sociais que envolvem a infância, nos remete a um movimento que desarranja nossas „primeiras‟ verdades e nos instiga, mais do que saber o que é a infância, pensá-la como algo ainda por nós desconhecido. Vemos que toda tentativa de fixar a infância em uma única designação constitui-se num exercício em encerrar, em sobrepor um valor, uma norma, uma posição-de-sujeito que institui territórios, que pretensiosamente designa a si toda a palavra aprisionando-a e aprisionando-se à ela. Perceber que essa palavra eclode em múltiplos sentidos, desdobra-se num enigma seguido por infinitos deslizamentos conceituais. Portanto, supor que a infância, por vezes, poderá expressar-se numa experiência, me provoca saber se existe a possibilidade de uma infância fora da linguagem e se nesse deslizamento contínuo de se experenciar na e pela linguagem, poderá residir uma infância-experiência que nos agencia um modo de cuidado de nós mesmos. Essa infância me convida a pensar o mundo por suas irregularidades, precariedades, contingencionalidades, por fim , me exige lidar com um outro campo discursivo, esse que se faz por aquilo que vaza, por aquilo que resiste, por uma força vital de liberdade que nos interpela a pensarmos sobre nós mesmos. Como dimensão do inesperado, a imprevisibilidade desta infância nos instala a dúvida e a incerteza como possibilidade de conhecer o que ainda não conhecemos, de saber o que ainda não sabemos, mas, sobretudo, de assumirmos uma postura diante das coisas do mundo, que nos coloque no lugar de nossa mera humanidade, a de que nem tudo e com tudo podemos.

Le « cosmopolitisme » de Valery Larbaud est un présupposé qu’il faut aujourd’hui passer au crible d’un réexamen critique. Toute la complexité de l’ensemble de l’œuvre larbaldienne tient à son traitement des frontières géographiques, politiques, littéraires ou linguistiques. Dans quelle mesure ce dit « métis des lettres » – dont le métissage s’avérera des plus calculés – s’ouvre-t-il à l’Autre, renouvelle-t-il la représentation littéraire autant que la reproduction linguistique de l’étranger ? Quelles sont les révolutions et les réactions du cosmopolitisme larbaldien, dont les traits contradictoires réagissent à l’environnement intellectuel contemporain ? Devenu un « cliché », dans son sens le plus photographique, le cosmopolitisme larbaldien, qui n’a longtemps offert qu’un « index » de noms ou un « kaléidoscope » d’images, exige aujourd’hui une fouille complète de ses données. Substituant aux approches in vitro de l’œuvre larbaldienne prélevée sous verre et sortie de tout contexte, une analyse in vivo rendant compte du mouvement même d’une œuvre à l’intime complexité, nous souhaitons offrir une lecture intégrale, historique et critique du cosmopolitisme larbaldien. Larbaud, que la critique hagiographique a élevé au-dessus des hommes, est un homme de son temps, dont l’image figée sur papier glacé doit céder la place à un portrait mouvant des plus nuancés. / Valery Larbaud’s “cosmopolitanism” is a presupposition that must now be sifted through a critical review. The complexity of Valery Larbaud’s work undeniably comes from his treatment of geographical, political, literary and linguistic borders. But to which extent can it be said that this “métis des lettres” – whose métissage still remains carefully calculated – welcomes the Other, or renews the linguistic and literary representation of the stranger? What are the revolutions or counter-revolutions of his cosmopolitanism, whose contradictory features react to contemporary intellectual environment? Larbaud’s cosmopolitanism has become a cliché in the exact photographical sense, offering nothing but an “index” of names or a “kaleidoscope” of images. I argue that it should undergo critical analysis, on the basis of a much more encompassing set of data. Substituting to in vitro approaches of Larbaud’s work taken under glass and out of context the more accurate nuance and movement of in vivo approaches, we aim at offering a thorough historical and critical reading of his work. Larbaud, whose hagiographic criticism has raised above men, is a man of his time, whose image, frozen on glossy paper, must give way to the most nuanced moving portrait.