Le cadre de cette thèse est l'analyse statique modulaire par interprétation abstraite de logiciels en vue de leur vérification automatique. Nous nous intéressons en particulier aux programmes comportant des objets alloués dynamiquement sur un tas et repérés par des pointeurs. Le but final étant de trouver des erreurs dans un programme (problèmes de déréférencements et d'alias) ou de prouver qu'un programme est correct (relativement à ces problèmes) de façon automatique. Isthiaq, Pym, O'Hearn et Reynolds ont développé récemment des logiques de fragmentation (separation logics) qui sont des logiques de Hoare avec un langage d'assertions/de prédicats permettant de démontrer qu'un programme manipulant des pointeurs sur un tas est correct. La sémantique des triplets de la logique ({P}C{P

Si l'interet et l'efficacite des methodes d'analyse statique par interpretation abstraite pour la verification des programmes critiques embarques ne sont plus a demontrer, il est maintenant necessaire d'obtenir des methodes les plus precises possibles. Si l'utilisation de domaines abstraits relationnels de plus en plus elabores permet de diminuer la surapproximation dont souffre les domaines les plus simples, les analyses actuelles souffrent toujours d'une mauvais prise en compte des entrees du programme. Ces entrees sont fournies par un capteur qui mesure une grandeur physique, et sont generalement surapproximees par un intervalle. Une piste d'etude recente pour mieux gerer ces entrees continues consiste a etudier, outre le programme lui-meme, l'environnement physique dans lequel il est execute. On obtient ainsi un systeme plus complexe comprenant une dynamique discrete (le programme) et une dynamique continue (l'environnement). L'etude de tels systemes hybrides repose actuellement essentiellement sur des extensions des automates a etats finis et des algebres de processus introduisant une dynamique continue. L'analyse de ces systemes par des techniques de model-checking souffre encore d'une explosion combinatoire excluant leur utilisation pour les logiciels embarques critiques les plus gros. La premiere contribution de cette these est une extension des langages de programmation imperatifs permettant de d´ecrire a la fois le programme, l'environnement exterieur et les interactions entre le programme et l'environnement. L'environnement physique est d´ecrit par un ensemble d'equations differentielles representant chacune un mode continu, et les interactions entre le programme et l'exterieur sont modelises par deux mots cles representant les capteurs et actionneurs. Nous donnons a l'ensemble (programme plus environnement physique) une semantique denotationnelle qui reste tres proche de celle definie pour les langages imperatifs classiques. La difficulte majeure dans la construction de cette semantique a ete de definir une semantique pour la partie continue : les solutions des equations diff´erentielles sont exprimees comme le plus petit point fixe d'un operateur monotone dans un CPO, et nous montrons que les iterees de Kleene convergent vers ce point fixe. La seconde contribution est une methode d'analyse statique par interpretation abstraite de ces systemes hybrides. Cette methode fonctionne en deux temps. Tout d'abord, sous certaines restrictions portant sur le programme a analyser, on construit un recouvrement de l'espace des variables d'entree via une analyse par intervalle couplee a une analyse d'atteignabilite en avant. On obtient ainsi une abstraction de l'impact qu'a le programme sur l'evolution continue : l'espace d'entree du programme est d´coupe en zones dans lesquelles on est sur qu'un actionneur sera active. Dans un deuxieme temps, nous utilisons ce recouvrement et une methode d'integration garantie des equations differentielles pour obtenir une surapproximation de l'evolution continue. Un analyseur prototype implementant ces techniques a ete developpe et les tests sur les exemples classiques de systemes hybrides montrent de bons resultats. Enfin, la troisieme contribution de cette these est une nouvelle methode d'integration garantie nommee GRKLib. Contrairement aux methodes existantes, GRKLib se fonde sur un schema d'integration numerique non garantie (nous avons choisi un schema de Runge-Kutta d'ordre 4, mais n'importe quelle autre convient) et nous calculons, en utilisant l'arithmetique d'intervalles, l'erreur globale commise lors de l'integration numerique. Cette erreur s'exprime comme la somme de trois termes : l'erreur sur un pas, la propagation de l'erreur et l'erreur due aux nombres flottants. Chaque terme est calcule separement et des techniques avancees permettent de les reduire et de controler au mieux le pas d'integration pour limiter l'accroissement de l'erreur globale. Une librairie C++ implementant ces concepts a ete developpee, et les resultats presentes dans cette these sont prometteurs.

Les systèmes fonctionnant sur un réseau ouvert tels que les bases de données médicales ou les systèmes bancaires peuvent manipuler des informations dont la confidentialité doit être impérativement préservée. Dans ce contexte, la notion d'opacité formalise la capacité d'un système à garder secrètes certaines informations critiques. Dans cette thèse, nous nous intéressons à la fois à vérifier que la propriété d'opacité est satisfaite et à la synthèse de systèmes opaques. Vérifier l'opacité est un problème décidable pour des systèmes de transition finis. Pour les systèmes infinis, nous étudions l'application de techniques d'interprétation abstraite à la détection de vulnérabilité. Nous présentons aussi une méthode alternative qui s'appuie sur des abstractions régulières et sur des techniques de diagnostique pour détecter de telles vulnérabilité à l'exécution du système. Pour la synthèse de système opaque, nous appliquons dans un premier temps la théorie du contrôle à la Ramadge et Wonham pour calculer un contrôleur assurant l'opacité. Nous montrons que les techniques habituelles de synthèse de contrôleur ne peuvent être appliqué pour ce problème d'opacité et nous développons alors de nouveaux algorithmes pour calculer l'unique système opaque qui soit maximal au sens de l'inclusion des langages. Ces résultats sont à rapprocher des techniques de construction de système sécurisé par assemblage de composant. Finalement, nous présentons une autre approche pour la synthèse de système opaque qui consiste à synthétiser un filtre qui décide, dynamiquement, de masquer des événements observable afin d'éviter que de l'information secrète ne soit révélée. Ceci permet d'étudier dans un cadre formel la synthèse automatique de pare-feu assurant la confidentialité de certaines informations critiques.

Le développement de l'image numérique et des outils associés ces dernières années a entraîné une évolution dans les attentes des utilisateurs et des changements dans leurs habitudes de travail. Cette évolution apporte de nouvelles possibilités d'utilisation ouvrant l'usage à un public très large, allant des interactions gestuelles aux jeux vidéo, en passant par le suivi d'activités à domicile, la surveillance, ... Pour qu'elles puissent être performantes et attractives, ces nouvelles technologies nécessitent la mise en œuvre d'outils de reconnaissance et d'interprétation des gestes humains, par des méthodes efficaces, rapides et ouvertes. Actuellement, les méthodes proposées en reconnaissance d'actions peuvent être regroupées en trois catégories principales : les approches de type apprentissage automatique (Machine Learning), les modélisations stochastique ou encore les méthodes utilisant le paradigme des examplars. Les travaux développés dans cette thèse se rattachent à cette dernière catégorie : " méthodes à base d'exemples " (examplar-based) où l'apprentissage peut être fait à partir de quelques instances représentatives. Nous avons fait le choix d'une démarche qui limite le recours à des grandes bases de données, et qui permet la reconnaissance d'action de façon anticipée, c'est-à-dire avant que cette dernière ne soit finie. Pour ce faire, nos travaux ont été menés selon deux visions complémentaires, avec le soucis constant d'aboutir à des traitements qui soient temps réel, précis et ouverts à la reconnaissance de nouvelles actions

Orientations préférentielles des minéraux dans les différents faciès lherzolites, pyroxenolites, analyses chimiques des roches et des minéraux, analyses à la microsonde des mineraux. Examen des différents problèmes: histoire des rubanements pyroxénolitiques, processus de fusion partielle donnant naissance au gabbros et aux reliquats dunitiques, mécanisme de la déformation plastique dans les péridotites, mode d'intrusion du Massif de Lanzo dans le contexte alpin.

Dans cette thèse, nous cherchons à penser les enjeux philosophiques de l’application de méthodes herméneutiques en histoire de la philosophie politique. À partir d’une étude comparative des interprétations de l’œuvre de Nicolas Machiavel offertes par Leo Strauss, Quentin Skinner et Claude Lefort, nous interrogeons le rapport que l’interprète institue avec le texte qu’il étudie. Nous montrons qu’il y a dans les trois cas un écart entre l’exposition théorique des principes herméneutiques et l’application effective de ces derniers. Nous soutenons que les divergences fondamentales entre les trois lectures des écrits machiavéliens ne trouvent pas leur fondement dans la différence des méthodes employées, mais proviennent en dernier lieu de la compréhension particulière qu’ils ont du rôle et du statut de la pensée de Machiavel. Autrement dit, nous cherchons à montrer que l’intérêt pour la signification de l’œuvre machiavélienne dépasse la simple analyse des écrits d’un auteur du passé; les trois interprètes entretiennent un rapport singulier à la pensée du secrétaire florentin. En ce sens, l’étude des herméneutiques de Strauss, Skinner et Lefort appliquées à Machiavel est indissociable d’une interrogation sur l’articulation entre interprétation et politique.

Marguerite Duras et la Bible : A priori, ce rapprochement paraît surprenant. Pourquoi recourir à la Bible quand on se déclare incroyant ? Il semble alors paradoxal de découvrir ses traces dans les oeuvres d'une incroyante. Mais, en réalité, bien que la Bible soit souvent perçue comme le livre des chrétiens, elle est un ouvrage qui appartient au patrimoine culturel mondial. Elle est, de fait, une source inépuisable pour les écrivains. Les textes de Marguerite Duras s'inscrivent dans le contexte de la Deuxième Guerre Mondiale, de la Shoah et de la crise spirituelle qui a suivi. Il est possible de déceler dans ses écrits des allusions à la Bible, qu'elles soient explicites ou implicites, volontaires ou inconscientes qui répondent à ses interrogations. Sans que les lecteurs s'en aperçoivent à première vue, les oeuvres de Duras dialoguent avec la Bible. Elles mettent en évidence la culture chrétienne de l'écrivaine par un certain nombre de références, connaissances et valeurs d'origine chrétienne. Par ailleurs, malgré des critiques sévères de l'enseignement de l'Eglise, on remarque une sensibilité à la souffrance de l'autre qui permettrait de parler chez elle d'une théologie négative. Duras est un auteur qui conteste l'Eglise comme puissance temporelle, mais qui s'intéresse aux mystiques. Nos recherches ont ainsi traité de l'inspiration biblique de l'écrivaine et de sa relecture de l'enseignement de l'Eglise pour dégager cette foi en l'homme qui naît du constat de l'absence de Dieu.

Dans cette thèse, nous cherchons à penser les enjeux philosophiques de l’application de méthodes herméneutiques en histoire de la philosophie politique. À partir d’une étude comparative des interprétations de l’œuvre de Nicolas Machiavel offertes par Leo Strauss, Quentin Skinner et Claude Lefort, nous interrogeons le rapport que l’interprète institue avec le texte qu’il étudie. Nous montrons qu’il y a dans les trois cas un écart entre l’exposition théorique des principes herméneutiques et l’application effective de ces derniers. Nous soutenons que les divergences fondamentales entre les trois lectures des écrits machiavéliens ne trouvent pas leur fondement dans la différence des méthodes employées, mais proviennent en dernier lieu de la compréhension particulière qu’ils ont du rôle et du statut de la pensée de Machiavel. Autrement dit, nous cherchons à montrer que l’intérêt pour la signification de l’œuvre machiavélienne dépasse la simple analyse des écrits d’un auteur du passé; les trois interprètes entretiennent un rapport singulier à la pensée du secrétaire florentin. En ce sens, l’étude des herméneutiques de Strauss, Skinner et Lefort appliquées à Machiavel est indissociable d’une interrogation sur l’articulation entre interprétation et politique.

L'objectif de cette thèse était de faire le point sur la place de l'analyse de la moelle osseuse (MO) en tant que matrice alternative au sang en toxicologie médicolégale. Une méthode analytique a été développée et validée pour la quantification du citalopram, du diazepam et ses métabolites (nordazepam, temazepam, oxazepam) dans la MO et 10 autres matrices d'intérêt médicolégal. Cette procédure a été appliquée avec succès dans des cas réels pour l'analyse de matrices dégradées et a permis l'établissement d'une cinétique tissulaire chez l'animal au cours d'une étude pharmacocinétique. Cette cinétique animale a été intégrée dans une modélisation PBPK afin de prédire chez l'homme la distribution tissulaire du citalopram, du diazepam et son métabolite principal, le nordazepam, après administration orale thérapeutique. Ces simulations donnent des clefs intéressantes pour l'interprétation quantitative des concentrations tissulaires en toxicologie médicolégale. Une étude a été conduite pour déterminer l'influence du site de prélèvement sur la détermination des concentrations médullaires de caféine et sur la corrélation de ces concentrations avec les dosages sanguins. Elle montre que le site de prélèvement de MO est un paramètre important à prendre en considération dans l'interprétation quantitative des analyses de MO. L'ensemble de ce travail confirme l'intérêt de la MO en toxicologie médicolégale. Des études expérimentales ont permis d'approfondir les connaissances de cette matrice autour des problématiques du prélèvement, de l'analyse et de la distribution ante mortem afin de contribuer à l'interprétation qualitative et quantitative des analyses réalisées sur la MO

Dans la lignée des études de réception de type qualitatif, cette étude vise à découvrir les réactions et les impacts politiques suscités par la campagne publicitaire de Labatt, le Parti Bleue, auprès de représentants de son public-cible de l'époque, les jeunes adultes québécois âgés de 18 à 24 ans. C'est par une démarche intuitive de compréhension de l'expérience vécue par ces derniers que nous avons questionné certains individus qui ont perçu, sélectionné, mémorisé, interprété et jugé les messages du parti politique fictif présentés dans le cadre de la 38e élection générale canadienne tenue à l'été 2004. Préalablement ciblés par les critiques émises à l'encontre de cette campagne comme étant susceptibles de se laisser influencer négativement par un tel effort de « dérision » ou encouragés dans leur cynisme envers la politique de par le traitement humoristique des messages à thème politique, six jeunes adultes dressent le portrait de leurs réactions et dévoilent leurs opinions face à cette campagne décriée autant qu'acclamée. Ainsi, une rencontre individuelle avec chacun d'entre-eux nous a permis de saisir les différentes interprétations et façons dont a été reçue cette campagne humoristique à thème politique se calquant ouvertement sur celle des partis réellement en lice, en plus de découvrir si, tel que nous l'anticipions, certains apprentissages (politiques ou médiatiques) ont pu être tirés par le public des messages du Parti Bleue. En définitive, nous découvrirons le regard que portent certains individus sur la politique, la publicité et l'humour; tout en comparant leurs propos à ceux des intervenants qui les ont évoqués. Constatant qu'il est plus aisé de décrire ce que l'on croit être le comportement des autres (davantage si l'on juge qu'il diffère du nôtre), cette étude révèle que les jeunes sont plus politisés que leurs prédécesseurs le croient. L'intérêt et l'assiduité de consommation des médias des répondants interfèrent et se reflètent d'ailleurs dans leur façon de lire les contenus médiatiques ainsi que de résister à leur influence. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : Publicité, Politique, Humour, Réception, Perception, Appréciation, Interprétation, Élections, Impact, Parti Bleue, Labatt.