Cette recherche se concentre sur l'analyse des modélisations de l'imaginaire national dans la France contemporaine. A la lumière du processus de mondialisation et de ses multiples dimensions, la forme nationale semble être prise dans l'alternative entre une uniformisation au mépris des « cultures » nationales, et d'autre part une exacerbation des singularités culturelles nationales, la forme nationale étant associée à une valeur positive dans un monde en « crise ». Face à l'alternative entre une loi de succession des formes de groupement et l'essentialisation d'une réalité nationale irréductible, cette recherche aborde la question nationale par l'étude de contenus contemporains de formes symboliques d'objectivation de l'imaginaire national. A partir de l'observation de matérialisations de l'idée de nation, il s'agit de s'attacher aux opérations concrètes de représentation nationale et leur intégration dans des contextes d'énonciation de la « réalité »nationale. Dans un premier temps, l'étude des mots de la nation aborde la construction de la forme nationale comme objet sociologique et les modalités contemporaines de son énonciation, particulièrement les investissements autour de la question de l'identité nationale. Ensuite, à partir de l'image comme forme symbolique d'énonciation des groupes sociaux, nous avons étudié une matérialité particulière de l'imaginaire national, la production philatélique nationale, permettant d'observer les modulations de l'image sociale de la nation. Enfin, l'étude empirique des cérémonies d'accueil dans la citoyenneté française permet d'observer les contenus et frontières contemporaines de l'identification nationale à partir de sa mise en pratique. / This study is focused on the analysis of the modellings of the national imagination in contemporary France. With the globalization and its multiple dimensions, the national existence seems to be taken in this alternative: on one hand a standardization in defiance of the national "cultures", and on the other hand an exacerbation of the national cultural peculiarities, the national shape being associated with a positive value in a world in "crisis". Contrary to the alternative between a law of succession of the groups and an essentialisation of an inflexible national reality, this study approaches the national question by the study of contemporary contents of the national imagination symbolic forms. From the observation of the contemporary modulations of their contents, this study is based on the observation of concrete operations of national representation and their integration in contexts of the national "reality" statement. At first, the studyof nation's words approaches the construction of the national shape as sociological object and the contemporary modalities of the national shape statement, particularly the investments around the national identity. Then, from the image as a symbolic shape of social groups statement, we studied a particular materiality of the national imagination, the national philatelic production, which allows to observe the modulations of the nation's social image. Finally, the empirical study of citizenship ceremonies allows to observe the contemporary contents and borders of the national identification from its application.

Depuis le début des années 90, les automates temporisés et les langages temporisés ont été largement utilisés pour modéliser et vérifier les systèmes temps réels. Ces langages ont été aussi été largement étudiés d'un point de vue théorique. Plus récemment Asarin et Degorre ont introduit les notions de volume et d'entropie des langages temporisés pour quantifier la taille de ces langages et l'information que ses éléments contiennent. Dans cette thèse nous construisons de nouveaux développements à cette théorie (que nous appelons volumétrie des langages temporisés) et l'appliquons a plusieurs problèmes apparaissant dans divers domaine de recherche tel que la théorie de l'information, la vérification, la combinatoire énumérative. Entre autre nous (i) développons une théorie de la dynamique symbolique temporisée~; (ii) caractérisons une dichotomie entre automate temporisé se comportant bien ou mal~; (iii) définissons pour un automate temporisé donné, un processus stochastique d'entropie maximale le moins biaisé possible~; (iv) développons une version temporisé de la théorie des codes sur canal contraint (v) énumérons et générons aléatoirement des permutations dans une certaine classe / Since early 90s, timed automata and timed languages are extensively used for modelling and verification of real-time systems, and thoroughly explored from a theoretical standpoint. Recently Asarin and Degorre introduced the notions of volume and entropy of timed languages to quantify the size of these languages and the information content of their elements. In this thesis we build new developments of this theory (called by us volumetry of timed languages) and apply it to several problems occurring in various domains of theoretical computer science such as verification, enumerative combinatorics or information theory. Among other we (i) develop a theory of timed symbolic dynamics; (ii) characterize a dichotomy between bad behaving and well behaving timed automata; (iii) define a least biased stochastic process for a timed automaton; (iv) develop a timed theory of constrained channel coding; (v)count and generate randomly and uniformly permutations in certain classes

En raison de la complexité croissante des systèmes réactifs, le test est devenu un des éléments essentiels dans le processus de leur développement. Les tests de conformité avec des méthodes formelles concernent la correction du contrôle fonctionnel, par le biais des tests d'un système en boîte noire avec une spécification formelle du système. Les techniques passives de test sont utilisées lorsque l’exécution des systèmes testés ne peut pas être perturbée ou l'interface du système n'est pas fournie. Les techniques passives de test sont fondées sur l'observation et la vérification des propriétés du comportement d'un système sans interférer avec son fonctionnement normal. Les tests contribuent également à établir les comportements anormaux pendant l’exécution sur la base de l'observation de toute déviation d'un comportement prédéterminé. L'objectif principal de cette thèse est de présenter une nouvelle approche pour la mise en place des tests passifs fondés sur l'analyse des parties contrôle et données du système sous test. Au cours des dernières décennies, de nombreuses théories et outils ont été développés pour effectuer les tests de conformité. De fait, les spécifications ou les propriétés des systèmes réactifs sont souvent modélisés par différentes variantes de Labeled Transition Systems (LTS). Toutefois, ces méthodes ne prennent pas explicitement en compte les parties données du système, étant donné que le modèle sous-jacent de LTS n’est pas en mesure de le faire. Par conséquent, avec ces approches il est nécessaire d'énumérer les valeurs des données avant la modélisation du système. Cela conduit souvent au problème de l'explosion combinatoire de l'état-espace. Pour palier à cette limitation, nous avons étudié un modèle appelé Input-Output Symbolic Transition Systems (IOSTS) qui inclut explicitement toutes les données d'un système réactif. De nombreuses techniques de tests passives prennent uniquement en considération la partie du contrôle du système en négligeant les données, ou elles sont confrontées à une quantité énorme de données du processus. Dans notre approche, nous prenons en compte la partie contrôle et données en intégrant les concepts d'exécution symbolique et nous améliorons l'analyse de traces en introduisant des techniques de slicing des traces d’exécution. Les propriétés sont décrites à l'aide d'IOSTS et nous illustrons dans notre approche comment elles peuvent être testées sur l'exécution réelle des traces en optimisant l'analyse. Ces propriétés peuvent être conçues pour tester la conformité fonctionnelle d'un protocole ainsi que des propriétés de sécurité. Au-delà de l'approche théorique, nous avons développé un outil logiciel qui implémente les algorithmes présentés dans nos travaux. Enfin, comme preuve de concept de notre approche et de l'outil logiciel, nous avons appliqué les techniques à deux études de cas réels : le protocole SIP et le protocole Bluetooth / Due to the increasing complexity of reactive systems, testing has become an important part in the process of the development of such systems. Conformance testing with formal methods refers to checking functional correctness, by means of testing, of a black-box system under test with respect to a formal system specification, i.e., a specification given in a language with a formal semantics. In this aspect, passive testing techniques are used when the implementation under test cannot be disturbed or the system interface is not provided. Passive testing techniques are based on the observation and verification of properties on the behavior of a system without interfering with its normal operation, it also helps to observe abnormal behavior in the implementation under test on the basis of observing any deviation from the predefined behavior. The main objective of this thesis is to present a new approach to perform passive testing based on the analysis of the control and data part of the system under test. During the last decades, many theories and tools have been developed to perform conformance testing. However, in these theories, the specifications or properties of reactive systems are often modeled by different variants of Labeled Transition Systems (LTS). However, these methodologies do not explicitly take into account the system's data, since the underlying model of LTS are not able to do that. Hence, it is mandatory to enumerate the values of the data before modeling the system. This often results in the state-space explosion problem. To overcome this limitation, we have studied a model called Input-Output Symbolic Transition Systems (IOSTS) which explicitly includes all the data of a reactive system. Many passive testing techniques consider only the control part of the system and neglect data, or are confronted with an overwhelming amount of data values to process. In our approach, we consider control and data parts by integrating the concepts of symbolic execution and we improve trace analysis by introducing trace slicing techniques. Properties are described using Input Output Symbolic Transition Systems (IOSTSs) and we illustrate in our approach how they can be tested on real execution traces optimizing the trace analysis. These properties can be designed to test the functional conformance of a protocol as well as security properties. In addition to the theoretical approach, we have developed a software tool that implements the algorithms presented in this paper. Finally, as a proof of concept of our approach and tool we have applied the techniques to two real-life case studies: the SIP and Bluetooth protocol

Cette recherche, s’appuyant sur les spécificités du langage symbolique de la chimie, propose une reconstruction didactique fondée sur l’histoire des sciences. Celle-ci doit permettre d’introduire les formules chimiques en créant une dialectique entre le registre des représentations, le registre empirique et le registre des modèles. La thèse se structure en trois parties :- une enquête préalable permettant d’identifier les difficultés liées à l’apprentissage du langage symbolique, à partir d’un questionnaire auprès de 600 élèves, et à l’enseignement du langage symbolique de la chimie à partir de deux études de cas d’enseignants dans leur classe ;- une enquête de nature historique donnant accès à l’évolution des représentations utilisées en chimie et aux différentes controverses qui ont traversé la première moitié du XIXe siècle au moment de l’élaboration des formules chimiques ;- l’élaboration de ressources, à partir des controverses repérées dans l’enquête historique et analysées à partir d’espaces de contraintes et nécessités, puis la présentation de leur mise en œuvre réalisée par deux enseignants avec leurs élèves. / This research focuses on the specificities of the symbolic language of chemistry and proposes a didactic reconstruction based on the history of science. The didactic reconstruction should lead to introduce the chemical formulas by creating a dialectic between the empirical register, the register of models and the register of representations. The thesis is structured in three parts:- a preliminary survey to identify students' difficulties related to the learning of symbolic language and the difficulties of teachers at the moment when they introduce this symbolic language. For this investigation, six hundred students responded to a questionnaire and two teachers were followed in their class;- a historical inquiry giving access to the evolution of representations in chemistry and to controversies about the development of chemical formulas in the first half of the nineteenth century;- the development of didactic resources based on historical controversies pointed out by the historical investigation. These are analyzed from spaces of constraints and necessities. Finally, these resources are implemented by two teachers with their students.

Cette thèse propose une analyse assistée par ordinateur des espaces imaginaires dans un corpus de littérature de jeunesse. Elle part du constat qu’il existe, dans ce genre littéraire particulier, une dualité dans la construction spatiale. En effet, on y trouve d’une part un espace quotidien (que Tolkien nomme monde primaire), et de l’autre un espace magique (le monde secondaire). Le périple du héros-enfant, qui prend la forme d’un ou de plusieurs aller-retours entre ces deux mondes, le conduit à grandir et à se métamorphoser. En ce sens, l’espace participe à sa transformation. Le parcours du protagoniste est jalonné de lieux et de motifs spatiaux récurrents dans le corpus tels que les maisons, les forêts, les jardins, les souterrains. Plus que de simples éléments de décors, ils apparaissent comme signifiants parce qu’ils traduisent à la fois les étapes nécessaires à la construction du héros et son état d’esprit. Il s’agit, dans cette perspective, de comprendre les enjeux symboliques de ces espaces imaginaires. L’étude de l’organisation des espaces narratifs à partir de données quantitatives montre qu’il existe une dualité entre les deux mondes, renforcée par une série de dichotomies. Malgré cet antagonisme structurel, le héros est capable de passer d’un univers à l’autre. L’analyse des modalités et des moments du passage de la frontière révèle que le monde secondaire est un espace mental et spirituel. En effet, il est à a fois l’espace du rêve, de la mort et du sacré. / This thesis is a computer-aided analysis of a corpus composed of twenty British children’s novels. It is based on the fact that, in this literary genre, space is organized by a structural opposition. Indeed, there is, on one hand, a daily environment (the primary world according to Tolkien) and, on the other hand, a magical space (the secondary world). The hero’s journey leads him to grow up and to metamorphose. In this respect, the narrative space is part of his transformation. The hero’s journey is marked out by a series of recurring places and motifs such as houses, forests, gardens and undergrounds. More than mere settings, they are meaningful because they reflect the protagonist’s state of mind. All these topographical elements are interdependent and constitute the spatial system of the narrative. The aim of this research is to understand what is symbolically at stake regarding imaginary spaces. The study of the spatial organization, based on quantitative data, shows a duality between the two worlds, emphasized by a series of dichotomies. Despite this structural antagonism, the hero is able to pass from one land to the other. Focusing on how and when the crossing of the border is possible reveals that the secondary world is a mental and spiritual space. Indeed, it is at the same time the land of dreams, of death and of the sacred.

Cette recherche propose une interprétation d'un corpus de 7 récits de Tahar Ben Jelloun à travers un paradigme de lecture construit à partir de la métaphore du sable et ses renvois symboliques, récurrents dans l'oeuvre benjelounienne. Il s'agit d'un travail qui opère à un double niveau, celui d'un projet ontologique des personnages en quête du sens et celui des stratégies d'écriture. La première partie de cette étude, munie méthodologiquement des travaux théoriques sur l'Imaginaire, propose une interprétation des textes tournée vers la hantise de la problématique identitaire. L'impossibilité de répondre d'une manière unitaire à la question « Qui suis-je ? » conduit à la représentation d'un monde éclaté, régi par l'angoisse existentielle et la crainte devant la fuite et l'érosion du temps. L'itinéraire envisagé rend compte de la conscience de la perte du sens, de la quête du sens dans des lieux de refuge, réels ou oniriques, pour retrouver finalement une préfiguration du sens, saisi au-delà des apparences, par le dépassement des contraires et par un renversement épiphanique des valeurs, apparenté à la recherche des mystiques soufis. La deuxième partie de cette étude analyse des procédés scripturaux spécifiques : la volonté de garder le texte en état d'inachèvement, le mouvement hésitant entre la construction et la démolition, la reprise obsessionnelle des histoires, le tout étant tendu vers une poétique du chancellement, du doute, de l'ouverture et du recommencement. Ces caractéristiques sont mises en évidence par une analyse des récits dans la lumière de l'intertexte et du palimpseste en tant que modèle herméneutique.

Les pratiques organisationnelles et sociales non-marchandes et non-hiérarchiques liées aux nouvelles technologies de l'information et de la communication suscitent aujourd'hui de nombreuses réactions et controverses. Certains acteurs et chercheurs en contestent l'existence, d'autres affirment qu'il s'agit d'un phénomène minoritaire ou non durable, d'autres enfin, les cantonnent à la sphère virtuelle. S'inscrivant dans ces débats, ce travail analyse les différentes approches théoriques qui les sous-tendent, et les confronte à une observation empirique du réseau coopératif des logiciels libres et du projet d'encyclopédie libre et ouverte Wikipédia, en les replaçant dans le contexte idéologique propre à l'activité informatique. En développant un cadre conceptuel adéquat pour l'étude de ces entités sociales qui s'appuie sur l'interactionnisme symbolique et la sociologie critique d'Ivan Illich, cette réflexion dévoile la spécificité organisationnelle, économique et sociale de ces nouvelles pratiques, et expose ce qui a favorisé leur développement et leur croissance au cours de ces trois dernières décennies. L'accent est tout particulièrement mis sur l'intégration des facteurs culturels et sur la compréhension des mécanismes qui favorisent l'essor et l'expansion de ces nouvelles pratiques dans d'autres activités. Au final, cette réflexion rejoint un des questionnements fondamentaux de la société contemporaine, à savoir, celui posé par le développement de l'économie non-marchande et non-hiérarchique et par la déprofessionnalisation des activités immatérielles.

Ce travail porte sur la specification et la verification des systemes temps reel. Nous presentons une algebre de processus temporises ATP, qui permet de decrire de tels systemes en utilisant divers operateurs temporels. Sa semantique operationnelle est basee sur l'hypothese de synchronisme des langages synchrones. Elle definit les modeles des processus comme des systemes de transitions etiquetees, dans lesquels l'evolution discrete du temps est denotee par une etiquette particuliere. Une axiomatisation complete offre la possibilite de comparer deux termes de l'algebre modulo l'equivalence forte sans construire leurs modeles. Nous generalisons ensuite la semantique d'ATP a des domaines temporels quelconques, en particulier des domaines denses. Nous montrons qu'une propriete de surete est satisfaite par un processus pour tout domaine temporel discret si elle l'est pour un domaine dense. Nous etudions dans un deuxieme temps les graphes temporises, qui sont des automates etendus par des compteurs de temps. Nous presentons une methode de traduction d'ATP vers les graphes temporises qui preserve la semantique des processus. Le graphe obtenu presente l'interet d'etre de taille independante des valeurs des delais apparaissant dans la description, car les contraintes temporelles y sont exprimees symboliquement. Finalement, nous decrivons un algorithme de verification de proprietes sur les graphes temporises. Il consiste a evaluer symboliquement des formules d'une logique temporelle temps reel en evitant l'explosion combinatoire du nombre d'etats des modeles de bas niveau causee par les valeurs des delais. Nous obtenons ainsi les principes theoriques d'un outil de description et de verification de systemes temps reel.

L'étude de certaines variables aléatoires, comme les paramètres additifs sur les arbres hyperquaternaires de points, ou encore le nombre de maxima au sein d'un ensemble de n points indépendants, et uniformément distribués dans [0,1]^d font apparaître des suites particulières, les sommes harmoniques multiples (SHM), extensions des nombres harmoniques classiques à des multi-indices.<br /><br />Nos travaux visant à appliquer des méthodes symboliques pour l'étude de ces variables aléatoires, nous remplaçons l'utilisation de multi-indices par des codages sur des alphabets distincts, et nous appuyons alors sur des résultats importants en combinatoire des mots pour les appliquer à nos suites de SHM, et aux fonctions polylogarithmes, qui sont des variantes des génératrices ordinaires des SHM. Dans les cas convergents, les deux objets convergent (respectivement lorsque z tend vers 1 et lorsque N tend vers l'infini) vers la même limite, appelée polyzêta. Pour les cas divergents, l'utilisation de séries génératrices non commutatives nous permet d'établir un théorème ``à l'Abel'', faisant apparaître une limite commune. Ce théorème permet de donner une forme explicite aux constantes d'Euler généralisées associées à des SHM divergentes et ainsi d'obtenir un algorithme très efficace pour calculer leur développement asymptotique.<br /><br />Finalement, nous proposons des applications des sommes harmoniques dans le domaine des structures de données multidimensionnelles, pour lesquelles notre approche donne naissance à des calculs exacts, qui peuvent par la suite être aisément évalués asymptotiquement.

Guide est un système d'exploitation expérimental reparti sur un réseau local. Les informations qu'il manipule sont structurées selon un modelé à objets. La description de l'un des composants de la machine virtuelle réalisant la gestion d'objets, a savoir la mémoire d'objets, est proposée. Sont présentés les choix de conception, sa réalisation et une analyse de l'expérience acquise. La mémoire d'objets est repartie et comporte deux niveaux: la mémoire virtuelle d'objets, qui constitue le support d'exécution des objets et la mémoire permanente d'objets, qui se charge de leur conservation