Examinando-se a idéia romana da auctoritas, encontra-se nela o registro, em linguagem mítica, da experiência de superação do conflito de vontades antagônicas e da instalação de um espaço horizontal em que se torna possível, graças ao julgamento e à ação, fundar as bases de um novo agir conjunto. Tal perspectiva permite analisar em chave distinta as relações entre direito e poder, abrindo espaço para a compreensão do direito como um fenômeno plural e dotado de dramaticidade, em cujo centro a figura do legislador racional, forjada a partir da experiência jurídica, não comunica potestas aos interlocutores jurídicos, mas sim a auctoritas de uma linguagem em que as mensagens de uns a outros podem ser traduzidas, nenhuma delas pode ser ignorada, e mesmo aquelas que não se traduzem em decisões prosseguem dotadas de força comunicativa. Investiga-se em seguida o direito como palco de representação, confronto, reformulação e ajuste de interesses, identificando-se o processo como órgão de que a civitas se vale para captar o político, e o populus representado para expressar o seu julgamento a respeito dos resultados globais da representação jurídica e política - eventualmente ensejador da mobilização de regras de calibração para a emissão, pelos comunicadores normativos, de respostas dotadas de auctoritas, e afinadas com os problemas apresentados pelas partes. Passa-se então ao exame da relação entre o vigor das normas jurídicas e a liberdade dos cives, mostrando-se que o êxito pragmático da comunicação normativa não se relaciona à imposição potestativa de um sentido único, mas à manutenção de um espaço em que se oferece aos cives, como alternativa aos riscos de violência e dominação do campo político, a possibilidade - e a liberdade - da ação dentro do sistema jurídico. / En examinant l\'idée romaine d\'auctoritas, on y trouve le rapport, en langage mythique, de l\'expérience du dépassement du conflict des volontés antagoniques et de l\'tablissement d\'un espace horizontal oùl il devient possible, grâce au jugement et à l\'action, fonder les bases d\'un nouveau agir conjoint. Cela rend possible une analyse distincte des rélations entre le droit et le pouvoir, et la compréension du premier comme un phénomène pluriel et doué de la dynamique d\'un drame, au coeur duquel la figure du legislateur rationnel, báti au sein de l\'experience juridique, ne communique point de potestas aux interlocuteurs juridiques, mais si l\'auctoritas d\'un langage où les uns peuvent traduire ce que les autres leur disent, où aucune message ne peut pas être ignorée et où même celles qui ne réussissent pas à fonder des décisions conservent leur force communicative. On examine ensuite le droit comme scène de representation, confrontation, reformulation et ajustement d\'interêts, et l\'on reussit à identifier le procéss comme organe dont la civitas se serl pour saisir le champ politique, et dont le populus representé se vaut pour exprimer son jugement sur les resultés de l\'activité des representants des champs juridique et politique. Ce jugement peut, à la limite, mettre en mouvement des règles de calibrage, qui assurent l\'auctoritas des reponses des communicateurs normatifs et leur consonance avec les problèmes soulevés par les parts du procés. L\'on reflet ensuite sur la relation entre la vigueur des règles de droit et la liberté des cives, et l\'on voit que le succès pragmatique de la communication normative n\'equivaut pas à l\'imposition potestative d\'un sens unique, mais plutôt à la manutention d\'un espace où les cives jouissent de la possibilité et de la liberté de l\'action dans le systhème juridique, comme voie alternative aux risques de violence et de domination du champ politique.

Nous proposons dans ce travail une analyse des conceptions épistémologiques et éthiques de Nietzsche à la lumière du pragmatisme de Peirce. Peirce est reconnu comme sémioticien et logicien, mais, à la différence de Nietzsche, a souvent été négligé comme philosophe au sens strict : c’est selon cette perspective que nous présentons certaines de ses conceptions. Nous avons, à cette fin, tout particulièrement examiné chez les deux auteurs les concepts d’effet, d’interprétation, de croyance et de communauté. Puisqu’ils ne se sont jamais lus ni rencontrés, nous avons adopté trois méthodes : la méthode de la recherche historique, l’analyse critique des textes et la méthode herméneutique. Notre étude est, suivant ces axes méthodologiques, divisée en trois parties : histoire, épistémologie et éthique. L’idée à la base de cette recherche résulte du fait que Nietzsche et Peirce envisagent tous deux le problème de la connaissance comme celui de la disjonction entre la dimension théorique et la dimension pratique. L’analyse de leurs références et de leurs influences communes, notamment celle de Darwin et des idées évolutionnistes, permet de repérer la source d’un certain nombre de concepts épistémologiques qu’ils partagent. Le pragmatisme de Peirce et la philosophie perspectiviste de Nietzsche attribuent un rôle central aux concepts d’effet, d’action et de croyance. Chez Peirce la théorie de l’inférence, l’analyse du signe, la maxime pragmatique et la conception de la croyance-habitude mettent en valeur trois aspects fondamentaux de la connaissance : la nécessité de considérer les idées à partir de leurs effets pratiques sensibles et concevables, l’importance de penser ces idées comme des signes dans un processus inférentiel, et de considérer la connaissance comme une opération hypothétique et expérimentale. Ces concepts se retrouvent chez Nietzsche dans la formulation de la généalogie, du perspectivisme et de la volonté de puissance. Notre thèse soutient que l’épistémologie des deux auteurs présente des similarités, à retrouver en particulier dans leurs conceptions de la valeur pratique, hypothétique et expérimentale de la connaissance, mais également des différences essentielles, comme le rôle attribué à la logique. Leur traitement respectif de la question éthique présente un certain nombre de dissemblances que nous allons explorer notamment à travers le concept de communauté. / In this study, we will propose an analysis of Nietzsche's epistemological and ethical conceptions in the light of Peirce's pragmatism. Peirce is recognized as a semiotician and a logician, but, unlike Nietzsche, has often been neglected as a philosopher in the strict sense: it is from this perspective that we present some of his conceptions. To this end, we have particularly examined in both authors the concepts of effect, interpretation, belief and community. Since they never read their respective works or met, we adopted three methods: the historical research method, the critical analysis of the texts and the hermeneutical method. Our study is, according to these methodological axes, divided into three parts: history, epistemology and ethics. The idea underlying this research results from the fact that Nietzsche and Peirce both consider the problem of knowledge as that of the disjunction between the theoretical and the practical dimension. The analysis of their references and of their common influences, notably that of Darwin and the evolutionary ideas, makes it possible to identify the source of a certain number of epistemological concepts that they share. Peirce's pragmatism and Nietzsche's perspectivist philosophy attribute a central role to the concepts of effect, action, and belief. According to Peirce the theory of inference, the analysis of the sign, the pragmatic maxim and the conception of belief-habit highlight three fundamental aspects of knowledge: the necessity of considering ideas from their sensible and conceivable practical effects, the importance of thinking these ideas as signs in an inferential process, and of considering knowledge as a hypothetical and experimental activity. These concepts are found in Nietzsche’s late works through his formulation of genealogy, perspectivism and will to power. Our thesis argues that the epistemology of the two authors presents similarities, to be found especially in their conceptions of the practical, hypothetical and experimental value of knowledge, but also essential differences, such as the role attributed to logic. Their respective treatment of the ethical question presents a number of dissimilarities that we will explore, thanks to the concept of community.

A quelle période du sommeil se produisent les rêves ? Introduite de manière inaugurale dans les Sciences de l’Esprit par l’érudit et autodidacte Alfred Maury (1817-1892), la question de la temporalité du rêve au cours du sommeil mobilise depuis deux siècles l’attention des neurologues qui ont une approche organiciste du phénomène onirique. Ainsi, la célèbre découverte du « sommeil paradoxal » par le neurochirurgien Michel Jouvet (1925-2017) s’inscrit dans cette logique qui consiste à situer la période des rêves au cours du sommeil en s’appuyant sur un support neurobiologique. Cependant, s’il est vrai que Sigmund Freud (1956-1939) semble avoir découvert en Maury un précurseur – comme les autres neurologues qui étudient les rêves -, la position freudienne sur la durée des rêves tranche avec celle des organicistes : « le rêve est le gardien du sommeil », donc il dure aussi longtemps que cet état de torpeur qu’il maintient. Cette incompatibilité des approches neuroscientifique et psychanalytique donnera lieu à une série de travaux transdisciplinaires sur les rêves dont le but est de réduire le fossé abyssal séparant les deux champs d’investigations. Toutefois, les amalgames et les difficultés d’ordre épistémologique qui émergent de ces tentatives de rapprochement peuvent être surmontés, si l’on tient compte des propositions que nous faisons dans ce travail de recherche. / In what period of the sleep occur the dreams? Introduced in a inaugural way into the Sciences of the Spirit by the scholar and the self-taught Alfred Maury ( 1817-1892 ), the question of the temporality of the dream during the sleep mobilizes for two centuries the attention of the neurologists who have an organiciste approach of the dreamlike phenomenon. So, the famous discovery of the "REM sleep" by the neurosurgeon Michel Jouvet ( 1925-2017 ) joins in this logic which consists in placing the period of the dreams during the sleep resting on a neurobiological support(medium). However, it is true that Sigmund Freud ( 1956-1939 ) seems to have discovered in Maury a precursor - as the other neurologists who study the dreams-, the Freudian position on the duration of the dreams cuts with that of the organicistes: " the dream is the guard of the sleep ", thus he(it) lasts as long as this state of torpor which he(it) maintains. The incompatibility of the neuroscientific and psychoanalytical approaches will give rise to a series of interdisciplinary works on the dreams the purpose of which is to reduce the abyssal ditch(gap) separating both fields of investigations. Mixtures and difficulties of epistemological order which emerge from these attempts to approach can be surmounted(overcome), if we take into account proposals which we make in this research work.

François Rabbath a maintenant plus de 80 ans ; il sillonne toujours le monde en tant que soliste et professeur. Sa contribution majeure à la pédagogie de la contrebasse est sa méthode en 4 volumes : La nouvelle technique de la contrebasse. Sa méthode est une nouvelle approche de l'enseignement de la contrebasse.Pour F. Rabbath, la qualité de la musique depend de : l'instrument, les cordes, l'archet, la position des mains.Sa contrebasse datée de 1936, a été fabriquée par Ch. Quenoil. C'est un instrument pour les solistes aux petites épaules, mais par sa sonorité est ample comme celle d'un instrument de l'orchestre, l'ampleur qui se combine avec la facilité de jeu d'une petite contrebasse.En s'intéressant à la pique comme à un axe d'équilibre entre le bas et la tête de l'instrument, il découvrit aussi que le matériau dont la pique est construite permet d'avoir plus ou moins de vibrations.Le luthier Ch. Laborie avec F. Rabbath ont eu l'idée d'une solution élégante, une tige de carbone mise directement en bas de la contrebasse dans l'angle précis. Cette nouvelle version de la pique s'appelle la « pique Rabbath-Laborie ».Gerold Genßler (chef d'une entreprise allemande indépendante de fabrication de cordes) demanda de l'aide à F. Rabbath pour découvrir le son d'une nouvelle corde ; F. Rabbath joua ensuite avec ces cordes.Dans la Nouvelle technique de la contrebasse, F. Rabbath a divisé la touche en 6 positions, définies en fonction de l'harmonie naturelle des cordes. Cela vient de l'utilisation élargie du placement des doigts, non pas de l'extension du mouvement. Cela vient aussi de l'élargissement de la main pour atteindre de nouvelles notes : F. Rabbath appelle cette technique pivot. Le joueur peut utiliser par exemple la position 1, 2 ou 3, sans forcément bouger la main, mais seulement en plaçant le pouce à la bonne place, et en remuant la main d'avant en arrière. Cette méthode de pivot permet la succession de différentes positions.La technique du crabe découverte par F. Rabbath est constituée par le mouvement de la main qui ressemble à la marche d'un crabe, de côté. Il permet à une partie de cette main de bouger lorsque l'autre est immobile, puis inversement. Ainsi elle peut monter et descendre le long de la corde dans certains passages sans changer de position.F. Rabbath a développé un nombre important de variation de coups d'archet. Cette méthode est différentes des autres qui se concentrent sur certains segments de la contrebasse plutôt qu'uniquement sur la touche.F. Rabbath a travaillé sur la théorie qui contribue au développement de la méthode d'enseignement de la contrebasse, à travers ses années d'enseignement et sa riche expérience, il donne plus d'importance à la relation entre l'interprétation et l'éducation. Dans cette méthode, il développe l'art d'être un artiste et son désir de partager sa passion de la contrebasse. / Although F. Rabbath is more than 80 years old, he goes on traveling all over the world as a soloist and as a teacher. The major contribution of the double-bass pedagogy is the method of the double-bass playing published in the four volumes of the Nouvelle technique de la contrebasse (trad. New Technique of double-bass).His Nouvelle technique de la contrebasse is a new approach to double-bass playing in the pedagogy of this instrument. For F. Rabbath, to get a good quality of music all is important : the sound of the instrument, of the string, of the bow and also the position of the hands, etc.His double-bass was built by Charles Quenoil in 1936. It is the instrument for soloists with « small shoulders », and with a pitch like an orchestral instrument. It seems that this form combines the size of an orchestral instrument sound with the easiness of the playing of a small double-bass.F. Rabbath discovered how the endpins influence the playing. By focusing on the endpins as a balance between the bottom and top of the instrument, he also discovered how the material used for endpins allows more or less vibrations.He and Christian Laborie « took the idea to an elegant solution with a graphite rod installed directly into the end block at the proper angle.1» The new and improved version is called The Rabbath-Laborie Endpin.
Gerold Genßler, germany independent production, asked F. Rabbath for help discovered the new string sound. After his production, F. Rabbath play with these strings.
In Nouvelle technique de la contrebasse F. Rabbath divided the fingerboard into six positions, defined by the location of natural harmonics on the strings. This is done by using extension fingerings, not extensions with shifts. It is an extension where there is a widening of the hand to reach a new note. F. Rabbath called this technique « pivot ».The player can use for example first, second, third positions without the need for shifts but only by placing the thumb in an appropriate place and just rocking the hand back and forth. Thus, the pivot method enables the succession of several different positions. The « Crab Technique », is another technique discovered by Francois Rabbath. The hand movement resembles a crab's sideways walking : allows for part of the hand to move while the other part remains and vice versa - in this way the hand can move up and down the strings in certain passages without ever fully shifting.
F. Rabbath has also developed a number of bowing variations, from whole notes to even faster, middle, tip, and then middle parts of the bow.F. Rabbath works on the theory contributes to the development of the teaching methodology of the double-bass. Over the years has been, still is, teaching the importance of the movement and the position of the body, more than musical. For him, this is the base towards good interpretation of any level of music.In his method François Rabbath also develops his art of being an artist and the desire to share and pass his passion for the double-bass.

Les conflits de valeurs seraient, selon l’expression de Max Weber une guerre des dieux, traduction d'une irréductibilité sociologique des différentes cultures. La thèse s'inscrit dans la ligne de ce constat tout en s'efforçant d'en tempérer la portée. Cette dernière a pour objet de clarifier les équivoques qui pèsent sur le concept de valeur, à partir d'une étude critique du discours doctrinal dominant. Nous nous sommes placés pour ce faire dans un cadre relativement ouvert, celui des systèmes juridiques occidentaux, en y incluant les Etats-Unis d'Amérique et certains ordres juridiques régionaux (droit européen des droits de l’homme mais aussi le système théologique). Ces équivoques tiennent selon nous, en grande partie, au fait que la doctrine s'attache la plupart du temps, dans son approche de ce concept, à des problématiques prédéterminées qui limitent a priori la portée de l'analyse. Plus spécifiquement, l'une de ces problématiques, héritées du jus-naturalisme traditionnel et d'un certain positivisme juridique, est celle qui consiste à traiter des valeurs en termes d'intégration (ou non) de certaines normes d'un type particulier, à l'intérieur d'un ordre supposé clos ou relativement fermé sur lui-même. Cette proposition ne peut que déboucher sur une impasse. Il nous a donc semblé nécessaire d'échapper à ce dilemme, et nous avons eu recours, pour y parvenir, à une double directive méthodologique:- Proposer une théorie dialectique des valeurs, qui mette au premier plan le rôle du juge, et spécialement celui du juge constitutionnel, dans le cadre d'un processus de constitution d'un ordre spécifique, appelé parfois ordre de valeurs; - Puiser, pour rendre possible l'analyse de ce processus, dans une conception élargie des sources du droit, où la doctrine serait entendue, non comme une autorité, mais comme une "entité", selon l'expression proposée par Ph. Jestaz et Ch. Jamin, considérée dans ses relations avec les autres sources de droit. C’est ainsi qu'à travers un certain nombre de principes de base, revisités à l'aune de la question des valeurs (à commencer par le principe démocratique) nous avons pu fournir les éléments d'une théorie générale de la valeur, en faisant de cette dernière, l'un des éléments de la culture juridique des peuples. Le réalisme juridique, plus particulièrement sa variante interprétative occupe une place à part dans ce tableau, et sert de transition entre les deux parties de la thèse, dont la première est plutôt dédiée à la critique du système explicatif existant, à partir de ses origines plus particulièrement philosophiques et théologiques, alors que la seconde partie se veut constructiviste. Nous avons été conduits à cette fin à distinguer le réel, autrement dit le milieu et la réalité juridique, en analysant les rapports que ces deux derniers termes entretiennent avec les valeurs: celles-ci nous sont apparues alors tantôt comme des catégories juridiques spécifiques (droits, principes) tantôt comme un arrière-plan nécessaire au fonctionnement de l'ensemble. / This thesis tempts to clarify the ambiguities surrounding the concept of value, by means of a critical study which focuses on the dominant doctrinal discourse. The clash of values might be a clash of gods according to Max Weber who affirms (in Science comme vocation, 1919) that the sociological nature of cultures is irreducible. For this purpose we do that in a relatively open framework, that of the legal system in the Occident, including the United State of America and some other regional legal organisations like the European legal human right system and the theological system. We think that these ambiguities can be explained by the fact that this doctrine is quite often subject to predetermined issues which limit the focus of its analysis. One of these issues, related to traditional “jusnaturalisme” and to a kind of some legal positivism, is the one which deals with values in terms of integration (or not) of some particular norms in a system which is supposed to be closed or relatively self centred. Such a suggestion can only lead to a dead end. In order to bypass such a dilemma we have adopted a double directive methodology: -Suggesting a dialectical theory of values which enhances the role of the judge, especially that of a constitutional judge, within a constitutional process, with a specific system, sometimes called “system of values”. - Making use of a large set of legal sources, to allow analysis of this process, where the doctrine can be considered not as an authority but as an entity, as Ph. Jestaz and Ch. Jamin call it, considered with relation to other legal sources. In this regard and by means of some basic principles revisited through questions of values (including the principle of democracy) we have managed to provide aspects of a general theory of values by turning it into one of the elements of the people’s legal culture. Legal realism, especially interpretive realism, has a particular significance in this framework, and allows transition from the first to the second part of this thesis. The first part is dedicated to criticism of the existing explicative system, through its philosophical and theological origins, while the second is in fact quite constructivist. Accordingly, reality seems to be a constructed thing, whereas the “real” appears as a given data in an environment where different factors should bring society together, and which the judge should take into account. In conclusion, we have come to distinguish the « real », or said otherwise, the environment and the legal reality, by analysing the relationship that these two terms share with values. The latter terms appear sometimes as specific legal categories (law and principles), while in others as a necessary background for the functioning of the overall.

Plusieurs encriers se sont déjà épuisés à écrire sur la Venise des films, mais leurs études étaient avant tout d’ordre historique. Nous tenons compte de cette approche, de cette histoire de l’imaginaire, car nous pensons qu’elle est le passage vers un regard esthétique sur certaines interprétations de l’espace vénitien, tel qu’il est représenté dans le cinéma de fiction. Choisies pour leur éclectisme mais aussi pour leurs éventuelles correspondances, les images de notre corpus filmographique nous entraînent vers une analyse variée de l’espace du plan (le cadre, le champ) et de celui du montage (la « dialectique » des plans). Notre démarche, attachée aussi bien aux rapports spirituels et matériels qu’aux résultats signifiants et inconscients entre le créateur et Venise, retrace la sensibilité perceptible dans chacun des films concernés. Grâce à cette sensibilité, nous voulons mieux connaître les conditions d’une poétique de l’espace vénitien (et urbain) à travers le film, mais aussi le statut de la fiction pour son spectateur. Nous considérons objectivement autant les lieux communs que les visions anti-mythiques de la ville, car la spectacularité, le quotidien et la découverte font tous partie de sa nature. Nous cherchons simplement à comprendre comment les images filmiques et leurs histoires peuvent encore progresser vers une définition plus claire de la « place » de Venise et du cinéma pour chacun de leurs observateurs, pour chacun de leurs auteurs. / Many ink wells have already been exhausted writing about Venice in film, but these studies were primarily historical. We take the following approach: the story of the imaginary; we believe it is the gateway to an aesthetic view of some interpretations of Venetian space as represented in fiction films. Chosen for their versatility but also for their possible interconnections, the images in our filmography lead us towards an analysis of varied space shots and space editing. Our approach, committed to both spiritual and material reports as results and unconscious meanings between the creator and Venice, traces the sensitivity seen in each of the films concerned. With this sensitivity, we want to better understand the conditions of a poetics of urban and Venetian space through film, but also the status of fiction for its audience. We consider objectively all the platitudes and the anti-mythic visions of the city, because the spectacular, the everyday and discovery are all part of its nature. We are simply trying to understand how images in film and their stories can move towards a clearer definition of Venice as a "place” in film for both their observers and their authors.

La caractérisation sismique des réservoirs pétroliers nécessite l'intégration de plusieurs techniques telles que la lithosismique, la géomodélisation, la géostatistique, l'utilisation des algorithmes évolutionnaires et la pétrophysique. L'information sismique est d'abord utilisée pour la description de l'architecture externe des réservoirs car son utilisation pour la description des faciès ne se fait pas sans difficultés. L'objectif de cette thèse est d'apporter des outils nouveaux pour aider à l'utilisation de l'information sismique pour caractériser les réservoirs.<br />Un premier travail a consisté à évaluer l'impact des incertitudes structurales sur les inversions pétroélastiques et les conséquences en terme de classification de faciès. Ensuite, nous considérons la modélisation sismique comme aide à l'évaluation du modèle réservoir. Cette modélisation permettra de faire le lien entre les simulateurs réservoir ou les géomodeleurs et la réponse sismique du réservoir. <br />Nous développons ensuite deux approches alternatives aux méthodes traditionnelles en inversion pétroélastique et pétrophysique. La première utilise la méthode géostatistique des déformations graduelles pour créer des réalisations de propriétés réservoirs. Elle permet de créer des propriétés à l'échelle réservoir, conditionnées aux puits, tout en respectant une fonction coût basée sur la comparaison des données sismiques réelles et issues de ces réalisations. <br />La seconde méthode repose sur le principe de la classification supervisée et utilise des réseaux de neurones pour analyser la forme des traces sismiques. Une première étape consiste à générer un volume d'apprentissage contenant tous les modèles pétrophysiques envisageables pour un champ donné. Ces modèles sont analysés par les réseaux de neurones. Les neurones ainsi identifiés sont appliqués aux données réelles, pour identifier des relations pétrophysique/sismique identiques aux données d'apprentissage.<br />Toutes les méthodologies sont validées sur plusieurs réservoirs choisis pour leurs particularités géologiques (complexité structurale, lithologie du réservoir).

La conception de systèmes embarqués nécessite de plus en plus l'utilisation d'outils logiciels afin de contenir la complexité croissante de ceux-ci. Les deux principaux outils industriels dans ce domaine sont Simulink et Lustre/Scade. Ces deux outils possèdent de nombreuses fonctionnalités comme un moteur de simulations, des générateurs de tests ou de code. Cependant, Simulink est, dans la majorité des cas, utilisé pour la conception de systèmes embarqués et ceci parce qu'il a une expressivité plus importante. Il est capable de modéliser et de simuler des systèmes à temps continu, à temps discret et un mélange des deux, c'est-à-dire des systèmes hybrides. Pour la conception des systèmes embarqués, Simulink permet de modéliser l'environnement physique et le logiciel embarqué dans un même formalisme. L'application des méthodes formelles sur de telles spécifications est un défi industriel et scientifique important pour la validation des logiciels embarqués. De plus, l'utilisation de méthodes formelles, au plus tôt dans le cycle de développement, est un challenge essentiel dans l'industrie afin de réduire les coûts liés à la correction de bogues.<br /><br />Dans cette thèse, nous définissons une analyse statique par interprétation abstraite de modèles Simulink. Nous appelons cette analyse Simulation Abstraite. L'objectif de la Simulation Abstraite est de fournir un critère de correction des comportements numériques des exécutions des modèles Simulink. Ces simulations sont souvent utilisées pour valider les systèmes modélisés, mais elles sont plus proches de l'activité de tests que celle de la preuve. En conséquence, elles ne permettent pas de valider vis-à-vis des spécifications un système modélisé avec Simulink. La Simulation Abstraite fournit un critère de correction dans le sens que les comportements des modèles Simulink représentent au mieux les comportements du monde réel.<br /><br />Nous supposons que le modèle mathématique, représenté par un modèle Simulink, est correcte vis-à-vis du monde réel. Notre objectif est de calculer automatiquement et conjointement une sur-approximation des comportements mathématiques et des comportements issus de la simulation numérique pour une plage d'entrées possibles. Nous sommes ainsi capable d'estimer l'ensemble des imprécisions introduit par la simulation numérique, c'est-à-dire les erreurs d'arrondi ou les erreurs de troncature liées, par exemple, aux capteurs. Le critère de correction des modèles à temps continu est obtenu en évaluant la distance séparant les résultats des méthodes d'intégration numérique, utilisées par le moteur de simulations, des résultats obtenus par une méthode d'intégration numérique garantie. Le critère de correction des modèles à temps discret est donné par l'utilisation du domaine numérique abstrait des nombres flottants avec erreurs différentiées. Ce nouveau domaine numérique est issu de la combinaison du domaine des flottants avec erreurs et la méthode de différentiation automatique permettant d'avoir une meilleure abstraction des erreurs. Nous définissons également une abstraction d'un domaine des séquences utilisant les partitions d'un ensemble. Nous sommes ainsi en mesure de représenter des simulations infinies d'une manière finie. L'ensemble de ces domaines permet alors d'estimer les erreurs introduites par les traitements numériques présents lors des simulations. Nous obtenons alors une méthode de validation des comportements numériques des systèmes embarqués modélisés en Simulink.

Cette thèse propose une méthodologie pour l'analyse des éléments grammaticaux polysémiques, notamment le pronom ON, à partir d'une réflexion sur le cadre théorique de la Sémantique de Textes. À travers des analyses de deux genres déterminés - l'article scientifique et la poésie - la thèse montre l'interaction et l'influence réciproque de ON et le contexte, aussi bien au niveau de la phrase qu'au celui du texte. <br> La première partie de la thèse traite de la sémantique de ON et de sa classification grammaticale. Elle montre les limitations des descriptions grammaticales basées sur des critères peu précis, et la confusion entre emplois indéfinis et emplois pour des personnes déterminées qui s'exprime par l'oxymoron « pronom personnel indéfini ». Par conséquent, la thèse se propose d'affiner la description sémantique de ON, notamment par une élaboration de la notion de contexte et son influence sur l'interprétation de ce pronom. La variation dans les emplois de ON ne peut pas se réduire à un seul noyau de sens (core meaning) et l'on propose un modèle sémique approprié à l'analyse de ON selon l'hypothèse que les différents emplois correspondent à la réalisation ou l'annulation des différents sèmes en contexte. <br> La seconde partie de la thèse présente deux études de l'emploi de ON dans des genres déterminés ; l'article scientifique et la poésie. La première étude examine l'emploi de ON dans un corpus d'articles scientifiques (le corpus KIAP, voir www.kiap.uib.no) et montre l'influence de paramètres contextuels aussi bien au niveau micro (verbes, temps verbaux, adverbes) qu'au niveau macro (disposition linéaire du texte). La seconde étude analyse l'emploi de ON dans L'excès - l'usine de Leslie Kaplan (1994) à partir de la notion de zones anthropiques (Rastier 1996) qui décrit les relations entre dimensions sémantiques et expériences humaines. Dans cette perspective, ON fonctionne comme un médiateur entre les différentes zones, notamment entre le sujet et le monde qui l'entoure. La flexibilité discursive de ON, allant de l'indéfini jusqu'au déterminé, constitue un facteur remarquable dans la représentation textuelle de l'aliénation du sujet dans ce texte.

Mes travaux de thèse s'articulaient autour de la validation de modèles et de programmes. En ce sens, les modèles sont validés par animation, de manière à s'assurer qu'ils décrivent le bon comportement du système qu'ils représentent. Il s'agit d'un processus semi-automatique, car l'utilisateur sélectionne les actions du système à exécuter et effectue la comparaison entre les descriptions informelles données dans le cahier des charges et les résultats produits par le modèle. Un modèle validé est ensuite utilisé dans l'objectif de produire des cas de tests fonctionnels destinés à être joués sur une implantation ou un système sous test. Le modèle formel est ainsi utilisé à deux niveaux : d'une part, il permet de calculer de manière automatique les suites de tests, et, d'autre part, il sert d'oracle pour établir le verdict du test.<br />Au cours de ces travaux, nous nous sommes intéressés à la validation de programmes Java par l'intermédiaire de son langage de modélisation associé, nommé JML. Suite aux expériences et aux savoirs-faire accumulés au sein de l'équipe Techniques Formelles et à Contraintes du Laboratoire d'Informatique de Franche-Comté, nous avons choisi d'appliquer une représentation logico-ensembliste des modèles JML, reposant sur des solveurs de contraintes pour gérer les valeurs des variables des modèles objets que nous traitons. A partir de cette représentation symbolique, nous avons exprimé l'animation symbolique d'un modèle objet basé sur la sémantique de Java, utilisant les descriptions formelles contenues dans les pré- et postconditions des spécifications des méthodes.<br />Nous nous sommes ensuite appuyés sur la définition symbolique des états du système objet pour extraire des cibles de tests, liées aux comportements issus des méthodes, définies par un prédicat obtenu par conjonction de la condition d'activation du comportement et de la mise aux limites des attributs des objets du système et des paramètres de la méthode sous test. L'animation symbolique du modèle entre en jeu pour la construction des cas de tests. Un algorithme de parcours de l'espace d'états effectue la recherche d'un chemin d'exécution menant à la cible. Les cas de tests sont ensuite concrétisés pour produire un pilote de test Java. Une étude de cas a été menée sur une modélisation fonctionnelle d'un porte-monnaie électronique.<br />Ces travaux ont été implantés dans un prototype, nommé JML-Testing-Tools, qui permet l'animation symbolique d'un modèle JML et la génération de cas de tests pour l'implantation Java qui lui est associée. Ce prototype est composé d'un compilateur traduisant une spécification JML et des signatures de classes Java dans un format logico-ensembliste. Le modèle décrit dans ce format est ensuite animé par un interpréteur rétablissant la sémantique opérationnelle du Java/JML.