Les solutions voix sur IP (VoIP) sont actuellement en plein essor et gagnent tous le jours de nouveaux marché en raison de leur faible coût et d'une palette de services riche. Comme la voix sur IP transite par l'Internet ou utilise ses protocoles, elle devient la cible de multiples attaques qui peuvent mettre son usage en péril. Parmis les menaces les plus dangereuses on trouve les bugs et les failles dans les implantations logicielles des équipements qui participent à la livraison de ces services. Cette thése comprend trois contributions à l'amélioration de la sécurité des logiciels. La première est une architecture d'audit de sécurité pour les services VoIP intégrant découverte, gestion des données et attaques à des fins de test. La seconde contribution consiste en la livraison d'une approche autonome de discrimination de signatures de messages permettant l'automatisation de la fonction de fingerprinting passif utilisée pour identifier de façon unique et non ambigüe la source d'un message. La troisième contribution porte sur la détection dynamique de vulnérabilités dans des états avancés d'une interaction protocolaire avec un équipement cible. L'expérience acquise dans la recherche de vulnérabilités dans le monde de la VoIP avec nos algorithmes est également partagée dans cette thèse.

Cette thèse s'est construite comme un travail visant à comprendre que les pratiques linguistiques inscrivent le locuteur dans un rapport d'altérité, par des phénomènes essentiellement sociaux et dynamiques. Ces dernières sont alors comprises comme des ressources de gestion relationnelle, des rites d'interaction. <br />Sur le plan méthodologique, la production d'observables s'est effectuée par des techniques classiques dans les sciences humaines et sociales, mais avec des adaptations pour le terrain : la participation observante, l'entretien compréhensif, des corpus non sollicités, mais aussi et surtout un travail sur l'expérience du terrain des acteurs de la recherche (enquêteur et témoins). Cette ouverture a permis de comprendre qu'il ne fallait pas s'accrocher à une démarche prédéfinie. Les approches ethnosociolinguistique et interprétiviste, nous sont alors apparues comme des démarches constructivistes, qui ont conduit à une dimension réflexive, grâce à la récursivité de la connaissance construite entre enquêteur, témoins et contextes de la recherche. <br />Se basant sur l'acceptation mutuelle des différents acteurs sociaux comme mode de vie, ce travail a revisité les concepts de norme et de communauté linguistique, et les a considérés comme des pratiques contextuelles. Le français dans ce cadre est apparu comme un ensemble de constructions représentationnelles (francanglais, bon français, « français personnalisé », mauvais français, français du quartier, français des enfants ou des apprenants). Les formes reconnues et privilégiées comme du français ou bien une autre langue, ont une pertinence contextuelle. Différents acteurs sont ainsi d'accord même sur les points de désaccord. Dans cette alchimie, le français du quartier, qui se présente dans la société doualaise, comme une pratique caractéristique à la fois de l'ouverture et du clivage social dans les rapports à autrui. Une des implications linguistiques de ces pratiques est l'ensemble des efforts pour l'appropriation du français qui, en étant la langue de jure, se présente comme un capital symbolique. Il donne du pouvoir, et permet d'accéder aux ressources rattachées au pouvoir. Parler français à Douala revient donc à revendiquer le pouvoir symbolique, c'est vouloir imposer SON français dans un contexte interactif, puisque LE français en soi n'existe pas. Il est simplement une langue en construction. <br />Le point essentiel à retenir de cette étude est que si la langue reste une construction sociale, la démarche pour y accéder ne peut occulter la contextualisation, avec les conséquences qui en découlent.

La Grammaire Générale et Raisonnée de Port-Royal (1660) adopte une représentation logique de la proposition : sujet-est-attribut. Le verbe être, à la troisième personne et à l'indicatif, est appelé verbe substantif, il préexiste à tous les autres verbes, appelés adjectifs, ainsi Pierre vit est équivalent à Pierre est vivant. Ce modèle propositionnel engendre deux contraintes considérables dans la description des constructions verbales. Premièrement, la définition du verbe substantif évacue toute théorie de la transitivité. Deuxièmement, la réécriture logique de tout verbe en est suivi du participe présent, bloque la reconnaissance d'un syntagme nominal dépendant du verbe. Les grammairiens du français, tiraillés entre l'acceptation de cette structure comme implication du programme de la grammaire générale et le constat de son inadéquation, vont adapter ce modèle. Il fait alors l'objet de différents remaniements, du point de vue de la définition du verbe et des constituants de la proposition. Ce sont précisément ces aménagements qui vont permettre l'émergence de la catégorie fonctionnelle de « complément » ainsi que celle de « verbe transitif ». Pour ce qui est du complément, la notion va s'élaborer en interférence avec celle, ancienne, de « régime », à l'aide du concept de « détermination » provenant de la logique. Pour ce qui est du verbe, les critères mêlés du classement latin en cinq « genres » : actif, passif, neutre, commun, déponent, vont être séparés jusqu'à l'émergence des classes modernes de verbe transitif direct et indirect vs verbe intransitif au milieu du 19ème siècle.

L'objectif de cette thèse est l'étude de la structure et la cinématique du Zagros oriental (Iran) et de la zone de transition avec le prisme du Makran appelée syntaxe de Bandar Abbas. Une étude structurale de terrain a été menée pour tenter de comprendre l'architecture de cette région complexe. L'analyse détaillée en carte et en coupe d'un certain nombre de structures typiques montre le contrôle exercé par la stratigraphie mécanique sur le mode de plissement de chaque côté de la syntaxe. Les grands plis dans l'ouest de la syntaxe sont décollés sur une puissante série évaporitique située à 8-9 km de profondeur, tandis que les plis étroits situés à l'est sont décollés sur un niveau à 6 km. Ceci est expliqué par un changement des conditions paleogéographiques d'un côté à l'autre de la syntaxe lié à l'influence de structures (Précambriennes) héritées dans la marge arabe orientale. La restauration de la première coupe équilibrée à travers le sud-est de la ceinture du Zagros permet de montrer que le Zagros plissé a subi deux phases tectoniques majeures, une première, d'age Mio-Pliocene, impliquant la couverture suivie par une deuxième, d'âge Pliocène, impliquant le socle - couverture. Celle-ci se poursuit jusqu'à l'actuel et est soulignée partout dans le Zagros par une sismicité intense dans la croûte supérieure. Le raccourcissement accommodé dans la section depuis le Miocène moyen est d'au moins 45 km. La présence d'une puissante série évaporitique à la base de la couverture a favorisé le développement de grands plis de décollement. L'analyse d'exemples de terrain dans la région d'étude ainsi que de profils sismiques dans le Zagros Central permet de discuter la cinématique de ces plis ainsi que les facteurs contrôlant leur style, notamment la mobilité du sel, l'existence de multiples décollements et le rôle tardif des failles de socle. Enfin, une modélisation géophysique de la structure lithosphérique du Zagros permet de discuter les facteurs fondamentaux qui ont guidé l'évolution récente de l'orogène. On met en évidence un amincissement lithosphérique qui pourrait être lié à un détachement récent du slab plongeant. On propose que ce processus, en modifiant l'angle critique du prisme orogénique, est le facteur fondamental qui a déclenché la transition d'une tectonique de couverture à une tectonique de socle - couverture.

Aujourd'hui, les ordinateurs et l'Internet sont partout dans le monde : dans chaque maison, domaine et plateforme. Dans ce contexte, le standard XML s'est établi comme un moyen insigne pour la représentation et l'échange efficaces des données. Les communications et les échanges d'informations entre utilisateurs, applications et systèmes d'information hétérogènes sont désormais réalisés moyennant XML afin de garantir l'interopérabilité des données. Le codage simple et robuste de XML, à base de données textuelles semi-structurées, a fait que ce standard a rapidement envahi les communications medias. Ces communications sont devenues inter-domaines, partant de l'informatique et s'intégrant dans les domaines médical, commercial, et social, etc. Par conséquent, et au vu du niveau croissant des données XML flottantes entre des utilisateurs non-experts (employés, scientifiques, etc.), que ce soit sur les messageries instantanées, réseaux sociaux, stockage de données ou autres, il devient incontournable de permettre aux utilisateurs non-experts de manipuler et contrôler leurs données (e.g., des parents qui souhaitent appliquer du contrôle parental sur les messageries instantanées de leur maison, un journaliste qui désire regrouper et filtrer des informations provenant de différents flux RSS, etc.). L'objectif principal de cette thèse est l'étude des manipulations des données XML par des utilisateurs non-experts. Quatre principales catégories ont été identifiées dans la littérature : i) les langages visuels orientés XML, ii) les Mashups, iii) les techniques de manipulation des données XML, et iv) les DFVPL (langages de programmation visuel à base de Dataflow), couvrant différentes pistes. Cependant, aucune d'entre elles ne fournit une solution complète. Dans ce travail de recherche, nous avons formellement défini un Framework de manipulation XML, intitulé XA2C (XML-oriented mAnipulAtion Compositions). XA2C représente un environnement de programmation visuel (e.g., Visual-Studio) pour un DFVPL orienté XML, intitulé XCDL (XML-oriented Composition Definition Language) qui constitue la contribution majeure de cette thèse. XCDL, basé sur les réseaux de Pétri colorés, permet aux non-experts de définir, d'arranger et de composer des opérations de manipulation orientées XML. Ces opérations peuvent être des simples sélections/projections de données, ainsi que des opérations plus complexes de modifications de données (insertion, suppression, tatouage, etc.). Le langage proposé traite les données XML à base de documents ou de fragments. En plus de la définition formelle (syntaxique et sémantique) du langage XCDL, XA2C introduit une architecture complète à base d'un compilateur et un environnement d'exécution dédiés. Afin de tester et d'évaluer notre approche théorique, nous avons développé un prototype, intitulé X-Man, avec un Framework d'évaluation pour les langages et outils visuels de programmation orientés XML. Une série d'études de cas et d'expérimentations a été réalisée afin d'évaluer la qualité d'usage de notre langage, et de le comparer aux solutions existantes. Les résultats obtenus soulignent la supériorité de note approche, notamment en termes de qualité d'interaction, de visualisation, et d'utilisation. Plusieurs pistes sont en cours d'exploration, telles que l'intégration des opérations plus complexes (opérateurs de contrôle, boucles, etc.), les compositions automatiques, et l'extension du langage pour gérer la spécificité des formats dérivés du standard XML (flux RSS, RDF, SMIL, etc.)

Cette thèse propose une caractérisation syntaxique et sémantique de la subordonnée interrogative en anglais contemporain en l'opposant aux autres structures proches en surface (subordonnées introduites par des mots en WH- : relatives libres, exclamatives, circonstancielles en " if ", " when " et " whether "). Cette étude passe par un examen attentif des contextes d'emploi et des termes introducteurs de chacun de ces types de subordonnées. Nous abordons également les questions suivantes : quelle définition donner à la subordination ? Comment définir l'ambiguïté et traiter les cas limite (nous exploitons ici les notions d'ambivalence et de neutralisation) ? Quel rapport existe-t-il entre interrogatives et propositions en that ? Entre exclamatives et factivité ? Comment analyser des exemples comme Tell me the time ou Tell me if it's too expensive ? Et surtout que dire de I know who came ?...

Cette thèse présente une modélisation des principaux aspects syntaxiques de la coordination dans les grammaires d'interaction de Guy Perrier . Les grammaires d'interaction permettent d'expliciter la valence des groupes conjoints. C'est précisément sur cette notion qu'est fondée notre modélisation.<br />Nous présentons également tous les travaux autour de cette modélisation qui nous ont permis d'aboutir à une implantation réaliste: le développement du logiciel XMG et son utilisation pour l'écriture de grammaires lexicalisées, le filtrage lexical par intersection d'automates et l'analyse syntaxique.

Cette étude se focalise sur l'agrammatisme en tant que manifestation de conduites adaptatives. Intégrant la dimension psycholinguistique de la performance langagière, et la dimension linguistique de la description des symptômes d'adaptation, notre recherche s'inscrit dans un cadre théorique d'inspiration neuropsycholinguistique et fonctionnaliste. Partant du postulat selon lequel le patient déficitaire agrammatique est aussi, potentiellement, un locuteur stratégique, nous avons étudié les conduites langagières adaptatives émergeant de cette situation de difficulté neuropathologique. Pour ce faire, un vaste corpus de données a été construit à partir de quatre tâches de production orale à degrés de contrainte variés, auprès de 6 sujets agrammatiques et 9 sujets contrôles. Les analyses quantitatives et qualitatives appliquées, ciblées sur les aspects morpho-lexicaux, syntaxiques et discursifs, ont permis de dégager les variabilités inter-groupes et inter-tâches caractéristiques de stratégies elliptiques, palliatives ou correctives déployées par les locuteurs agrammatiques, participant à une amélioration de l'aisance verbale et / ou de la précision grammaticale visée. En outre, l'examen des variabilités inter-sujets a révélé des patrons de conduites singulières, déterminées par le type et la sévérité du dysfonctionnement sous-jacent. En conséquence, nous avons dégagé des lois de performances reflétant les ajustements des formulations linguistiques liées aux comportements adaptatifs du locuteur agrammatique. Pour finir, nous proposons une typologie générale des procédures compensatoires dans l'aphasie agrammatique.

Les travaux de cette thèse se situent dans le cadre de la linguistique computationnelle. La problématique est de définir une interface syntaxe / sémantique basée sur les théories de la grammaire générative.<br />Une première partie, concernant le problème de l'analyse syntaxique, présente tout d'abord, la syntaxe générative, puis un formalisme la réalisant: les grammaires minimalistes de Stabler. <br />À partir de ces grammaires, nous réalisons une étude sur les propriétés de l'opération de fusion pour laquelle nous définissons des notions d'équivalence, ainsi qu'une modélisation abstraite des lexiques.<br />Une seconde partie revient sur le problème de l'interface. Pour cela, nous proposons un formalisme de type logique, basé sur la logique mixte (possédant des connecteurs commutatifs et non-commutatifs), qui équivaut, sous certaines conditions, aux grammaires de Stabler. <br />Dans ce but, nous introduisons une normalisation des preuves de cette logique, normalisation permettant de vérifier la propriété de la sous-formule. Ces propriétés sont également étendues au calcul de Lambek avec produit.<br />À partir de l'isomorphisme de Curry-Howard, nous synchronisons un calcul sémantique avec les preuves réalisant l'analyse syntaxique. Les termes de notre calcul font appel aux propriétés du lambda mu-calcul, ainsi qu'à celles de la DRT (Discourse Representative Theory).<br />Une dernière partie applique ces formalismes à des cas concrets. Nous établissons des fragments d'une grammaire du français autour du problème des clitiques.

Le but de cette thèse est de proposer une description du créole guadeloupéen dans la perspective de la génération automatique d'énoncés en créole, à partir du français contemporain. En ce qui concerne les domaines phonologique et morphophonologique, les régularités observées se traduisent par des règles (qui rendent compte de ce qu'il convient de nommer la « créolisation synchronique »). En ce qui concerne le domaine syntaxique, l'accent est mis sur les différences entre le français et le créole, et une description formalisée des principales constructions du créole guadeloupéen est présentée.