Dissertation--Universität Kassel, 2004. / Bibliogr. p. 295-325.

Thèse de doctorat : Sciences du langage : Paris 12 : 2005. / Titre provenant de l'écran-titre. Bibliogr. Index.

Reproduction de : Thèse de doctorat : Linguistique : Lyon 2 : 2002. / Titre provenant de l'écran-titre. Bibliogr.

Diss.--Erlangen-Nürnberg, 1985--Philosophische Fakultät. / Bibliogr. p. 172-195.Index.

Diss.--Mainz, 1996. / Bibliogr. p. [273]-315. Notes bibliogr. Index.

Texte remanié de: Thèse de doctorat--Histoire médiévale--Paris 10, 2005. Titre de soutenance : Les "Lettres" de Pierre de la Vigne : histoire sociale d'un style médiéval, XIIIe-XVe siècle. / Bibliogr. p. 899-930. Notes bibliogr. Index.

Thèse 3 cycle--Histoire--Montpellier III, 1975. / Contient le texte traduit de l'arabe des discours du colonel Boumediene non recueillis dans l'édition française. Bibliogr. p. 351-371. Index.

Le pouvoir a une forte influence sur le langage des hommes politiques une hypothèse, qui est élaborée à l aide des situations langagières tirées de la campagne électorale de 2007. Partant d une approche qualitative empirique, le travail se construit autour d une description du langage politique de Ségolène Royal d une part et de Nicolas Sarkozy d autre part. Pour ceci un corpus d une équivalence d environ sept heures de matériel audio-visuel est établi, comportant des actes langagiers des deux candidats. Ce corpus est réparti en trois éléments: le discours politique, la participation dans plusieurs interviews et le duel télévisé qui a eu lieu entre les candidats avant le deuxième tour des présidentielles. L étude part de l idée que le phénomène du pouvoir est généralement accompagné par une vision très restreinte du pouvoir et fournit une définition du pouvoir dans le contexte de la langue. Cette recherche se base sur la théorie de Pierre Bourdieu, élaborée dans le livre «Langage et pouvoir symbolique». L analyse du corpus se fonde essentiellement sur une hypothèse, émise par Ekkehard Eggs. Ce linguiste allemand constate que les stratégies pour persuader, décrites en premier par Aristote, restent toujours sur une dimension du monologue propre aux discours. Cela concerne même une situation de dialogue telle que le duel télévisé. La médiatisation du milieu politique a par ailleurs contribué à écarter les stratégies aristotéliciennes les unes des autres: Le locuteur en tant qu individu, son ethos et pathos, est entré dans le centre d attention, tandis que l adéquation au niveau contextuel, le logos, a perdu de l importance. La recherche se donne comme objectif de vérifier ces hypothèses d Ekkehard Eggs. Elle est construite autour de six paramètres: une analyse du lexique, des affirmations et des négations ainsi que des références pronominales, un regard sur les stratégies pour reduire la compléxité et sur l implication de l ironie dans le corpus. En outre, elle pose la question de l importance des émotions dans le contexte du pouvoir. Ce dernier paramètre occupe une place centrale dans la recherche. Il est théorétiquement soutenue par les études de Ruth Amossy et de Patrick Charaudeau. L analyse du corpus démontre dans son entier que les argumentations au niveau du logos sont reduites au profit d une mise en scène de l homme politique dans le cadre de l ethos et du pathos. Plusieurs stratégies et techniques mettent en évidence le conformisme de l argumentation de Ségolène Royal et de Nicolas Sarkozy. Il est clairement souligné que des structures d argumentation en monologue sont inscrites dans l interview télévisé et le face à face.

Cette thèse propose de nouveaux protocoles cryptographiques, plus efficaces que l’existant, et qui permettent aux utilisateurs du nuage informatique (le cloud) de vérifier (i) la bonne conservation des données externalisées et (ii) l'exécution correcte de calculs externalisés. Nous décrivons d'abord un protocole cryptographique qui génère des preuves de récupérabilité, qui permettent aux propriétaires de données de vérifier que le cloud stocke leurs données correctement. Nous détaillons ensuite trois schémas cryptographiques pour vérifier l’exactitude des calculs externalisés en se focalisant sur trois opérations fréquentes dans les procédures de traitement de données, à savoir l’évaluation de polynômes, la multiplication de matrices et la recherche de conjonction de mots-clés. La sécurité de nos solutions est analysée dans le cadre de la sécurité prouvable et nous démontrons également leur efficacité grâce à des prototypes. Nous présentons également A-PPL, un langage de politiques pour l’imputabilité qui permet l'expression des obligations de responsabilité et de traçabilité dans un format compréhensible par la machine. Nous espérons que nos contributions pourront encourager l'adoption du cloud par les entreprises encore réticentes à l’idée d'utiliser ce paradigme prometteur. / This thesis proposes more efficient cryptographic protocols that enable cloud users to verify (i) the correct storage of outsourced data and (ii) the correct execution of outsourced computation. We first describe a cryptographic protocol that generates proofs of retrievability, which enable data owners to verify that the cloud correctly stores their data. We then detail three cryptographic schemes for verifiable computation by focusing on three operations frequent in data processing routines, namely polynomial evaluation, matrix multiplication and conjunctive keyword search. The security of our solutions is analyzed in the provable security framework and we also demonstrate their efficiency thanks to prototypes. We also introduce A-PPL, an accountability policy language that allows the expression of accountability obligations into machine-readable format. We expect our contributions to foster cloud adoption by organizations still wary of using this promising paradigm.