Le milieu karstique, et tout particulièrement sa partie superficielle, est caractérisé par une altération importante responsable sur le site de Lascaux de formations calcaires en plaquettes mais aussi de dissolutions importantes pouvant laisser place à des sables, argiles, etc. La présence de grottes ornées dans ce milieu nécessite la caractérisation du milieu environnant afin de protéger les grottes et contribuer à la conservation des œuvres pariétales. Cette thèse porte sur la caractérisation du milieu karstique à plusieurs échelles au moyen de deux méthodes : la géophysique avec la Tomographie de Résistivité Electrique (TRE), et la caractérisation pétrophysique, à l’échelle du laboratoire, avec la microscopie, la porosimétrie au mercure et des mesures électriques sur échantillons. A l’échelle du massif, nous avons caractérisé l’amont hydraulique de la grotte de Lascaux par un suivi temporel par TRE durant 6 ans et par trois modélisations géostatistique 3D, à trois dates. Le suivi temporel a permis de comprendre le fonctionnement hydrogéologique du site. Le couplage du suivi temporel avec le 3D complété par les mesures sur échantillons a en outre permis de comprendre le fonctionnement d’un drain situé dans l’épikarst susceptible d’alimenter l’émergence à l’entrée de la grotte de Lascaux. La modélisation 3D a aussi permis d’identifier un escarpement du promontoire calcaire au nord-est de la grotte de Lascaux qui laisse place à des formations argilo-sableuse. A l’échelle de la paroi et en lien avec des recherches menées sur la grotte Chauvet-Pont d’Arc, un dispositif original de micro-TRE a été mis en place à la paroi dans une carrière souterraine, permettant une mesure de TRE à une échelle submétrique et une résolution centimétrique. A cette résolution apparaît un effet d’électrode que nous corrigeons lors de l’inversion des données de TRE par l’utilisation d’une Electrode Equivalente Ponctuelle (EEP) placée à une profondeur caractéristique. La paroi étudiée a été soumise à des feux. On montre par un suivi TRE sur plusieurs mois et des analyses pétrophysiques complémentaires que les feux impactent de façon tangible les premiers centimètres de la paroi dont la porosité et la connectivité sont modifiées. On montre en outre que des variations saisonnières de saturation sont mises en évidence à cette petite échelle. Ce dispositif pourrait être appliqué au site de Lascaux pour, à terme, mesurer et prédire les arrivées d’eau à la paroi, en lien ou pas avec la circulation modélisée à l’échelle du massif. Une telle démarche pourrait devenir un outil de conservation de parois rocheuses support d’œuvres pariétales. / The karst environment and especially its superficial part is typified by an important alteration. At the Lascaux site, alteration is responsible for plate limestone and also detrital clayey-sands soils due to dissolution of limestones. The presence of painted caves in this altered environment raises the need to characterize the karst environment in order to protect the caves and contribute to mural paintings conservation. The aim of this PhD thesis is to characterize the karst environment at different scales using two main methods: (1) geophysics and in particular Electrical Resistivity Tomography (ERT) and (2), petrophysics at the Lab scale, including microscopy, mercury porosimetry and electrical measurements. At the field scale, we characterized the calcareous surroundings of the Lascaux cave relying on a 6 years-long time-lapse monitoring by ERT complemented by geostatistical 3D reconstructions of the resistivity values. The time-lapse monitoring permitted a better understanding of the hydrogeology of the site. Combining ERT time-lapse monitoring, 3D models of the resistivity distribution and additional measurements on samples allowed to identify a drain within the epikarst, which is most likely responsible for the emergence of water at the Lascaux cave entrance. The 3D modelling of the resistivity values also allowed to identify a scarp of unaltered limestones, northeast of the Lascaux cave, leaving room for clayey-sand detrital formations. In relation to a current research program on the Chauvet-Pont d’Arc cave, an original micro-ERT acquisition layout was fitted on the wall of an underground quarry, allowing measurements at a sub-metric scale with a centimetric resolution. At such a fine resolution, an unwanted electrode effect appeared. We remedied this electrode effect by inverting ERT data with an Equivalent Electrode Point (EEP) buried in the ground at a characteristic depth. The quarry wall was subjected to fires. Relying on a micro-ERT time-lapse monitoring during few months complemented by petrophysical analyses, we showed that the fires impacted the first centimeters of the quarry wall whose porosity and connectivity were modified. We also showed that seasonal water saturation variations could be detected at such a small scale. Thus, this small scale acquisition layout may ultimately be used at Lascaux to measure and predict water intakes directly at the cave walls in relation, or not, with the water flow modelled at the field scale. Such an approach may become a new tool for the conservation of painted cave walls.

On s'intéresse à la localisation de l'axe du cône de Mach lié au déplacement supersonique d'un source acoustique en milieu réverbérant à l'aide d'un nombre limité de microphones. L'application faisant l'objet du financement doctoral est la localisation de tireurs embusqués, dans le cadre de la protection du combattant. Le principe du retournement temporel stipule que, lors de la réémission des mesures renversées dans le temps depuis leurs positions respectives, tout se passe comme si le champ de pression acoustique se propageait en remontant le temps et focalisait à l'endroit de la distribution de sources. Cette focalisation est d'autant plus efficace que les positions de capteurs ont tendance à former une surface fermée autour des sources. On considère une distribution discrète de microphones à hauteur constante dans une rue rectiligne. Dans une première approche, le déplacement supersonique est modélisé selon le principe de Huygens-Fresnel comme une sommation de sources monopolaires. Cela permet une formulation analytique du problème direct pouvant être résolue par des simulations numériques simples en accord avec un montage expérimental de synthèse de cône de Mach au moyen d'une ligne de haut-parleurs. La résolution du problème inverse se fait en calculant numériquement le champ rétropropagé depuis les positions des microphones jusque dans des tranches verticales disposées le long de la rue. L'utilisation d'un critère statistique d'ordre supérieur permet de réduire la contribution des termes de sources dans le champ rétropropagé, à l'origine d'une divergence du champ de pression autour des positions de microphones. L'axe du cône de Mach peut alors être localisé avec une bonne précision angulaire. Dans une deuxième approche, on considère un front d'onde conique réel en déplacement supersonique. Les temps d'arrivée obéissent à des lois de retard bien précises. Notre modèle de réverbération permet de prédire la plupart des pics correspondant à l'arrivée au point de mesure des signaux impulsionnels réfléchis. La réverbération n'a pas un effet aussi bénéfique dans le cadre d'une source supersonique réelle que dans le cas d'une source statique, ni même que dans celui de la ligne de haut-parleurs, car la source supersonique présente des contraintes géométriques particulières dont le retournement temporel ne tient pas compte, étant donnée la différence de géométrie des ondes directe (un cône) et retournée dans le temps (une superposition d'ondes sphériques). Cependant, la focalisation autour du passage de l'axe est observée dans les tranches horizontales, avec une qualité dépendant fortement de l'agencement de l'antenne de microphones. / We are interested into the localisation of the Mach cone --- created by the supersonic motion of an acoustic source into a reverberant medium --- by means of a limited amount of microphones. The application concerns sniper localisation, hence protection of the soldier. Theory of time-reversal states that when reemitting measures reversed in time from their respective positions, everything happens as if the pressure field were propagating travelling backwards in time and focused on the source distribution. This result is enhanced when the microphone distribution over space forms a closed surface surrounding the sources, according to Kirchhoff-Helmholtz formula. Aiming at a physically and technologically implementable method, we consider a discrete distribution of microphones, disposed at a constant height in a reverberating area reproducing the geometry of a straight narrow street.The problem shows specific constraints due to its specific geometry that we aim to use sparsely. In a first approach, we consider the supersonic displacement from the viewpoint of Huygens-Fresnel principle as a discrete sum of monopolar sources, which allows an analytical formulation of the direct problem solvable by simple numerical simulations. This model is in agreement with an experimental framework, were the Mach cone is synthesized by means of a loudspeaker array. The resolution of the inverse problem is made by computing the time-reversed pressure field into vertical slices disposed along the street. The use of a fourth-order spatiotemporal statistical criterion (kurtosis) allows to reduce unwanted contribution of source term causing a divergence around microphone positions. A maximum of kurtosis is observed around the intersection between the time-reversal slice and the Mach cone axis, allowing localisation of the latter with good angular precision. In a second approach, we investigate the previous method on a real Mach cone. It is necessary to adopt the point of view of dynamical space-time geometry to understand the behaviour of the times of arrival of the different image sources. It is also necessary to take into account the finiteness of the reberberating walls. Our geometrical theory of reverberation allows a modelisation of the direct problem in good agreement with experimental measurements. We show that the effect of reverberation does not enhance time-reversed focalisation as well as it does with a static source. This is mainly due to geometric constraints that are not reproduced in the time-reversed wavefront superposition. The resolution of the inverse problem strongly depends on the disposition of the microphone set: on the 9 configurations, only one allows detection of the axis.

Cette thèse porte sur la propagation et le retournement temporel des ondes dans des guides d'ondes aléatoirement perturbés. L'étude de la propagation dans les guides d'ondes aléatoires est devenue indispensable face au grand nombre de situations pouvant se modéliser de cette manière : comme par exemple en télécommunication, en acoustique sous-marine ou en géophysique. Le travail présenté dans cette thèse se décompose en trois chapitres. Dans un premier chapitre, on s'intéresse à la propagation des ondes dans un guide d'onde océanique inhomogène. On propose des équations effectives permettant de modéliser la propagation des ondes dans ce milieu. Ces équations décrivent le rôle des modes propagatifs, évanescents et radiatifs sur la propagation, et permettent de quantifier la perte radiative d'énergie dans le fond océanique. Dans un second chapitre, on s'intéresse à la propagation et à la refocalisation par retournement temporel d'une impulsion dans le modèle de guide d'onde océanique du premier chapitre. On obtient une description de l'onde refocalisée prenant en compte la perte radiative dans le fond océanique et l'évolution des fluctuations du milieu entre les deux étapes de l'expérience de retournement temporel. Dans le dernier chapitre, on s'intéresse à la refocalisation par retournement temporel dans un modèle de guide d'onde simple. On obtient un phénomène de super-résolution par l'insertion, devant la source, d'une section inhomogène à faible vitesse de propagation, c'est à dire qu'on obtient des tailles de taches focales plus concentrées qu'en milieu homogène.

La modélisation de cartes génomiques, qui sont un outil indispensable aux biologistes moléculaires, pose de nombreux problémes de représentation et de traitement. Les premiers proviennent de l'existence de plusieurs descriptions des entités du génome, les seconds de la complexité algorithmique de la construction des cartes, ajoutée à la nécessité de pouvoir traiter les incohérences issues des expériences. Ce travail s'attache dans un premier temps à préciser la notion de carte grâce à une formalisation qui spécifie comment sont construites les cartes génomiques et quelles sont les relations entre les entités qui y apparaissent. Celle-ci est ensuite implémentée dans un système de représentation de connaissances par objets. Dans un second temps, un algorithme de construction de cartes à partir de la description des relations entre les entités qui les constituent est proposé. Cet algorithme s'appuie sur des techniques de raisonnement temporel et intègre des informations aussi bien qualitatives que quantitatives. Son implémentation a été réalisée à partir d'un logiciel de raisonnement temporel et valide la généricité de la démarche qui peut profiter de tous les progrès dans ce domaine de façon quasi-immédiate. Les spécifications d'un générateur d'interfaces cartographiques sont également présentées ; à la différence des systèmes existants, ce générateur n'est pas restreint à une seule interface cartographique ad hoc mais constitue une boite à outils permettant de construire soi-même son interface cartographique personnalisée.

Le premier chapitre de ce mémoire porte sur l'élastographie transitoire, une nouvelle technique ultrasonore capable de cartographier l'élasticité de cisaillement du corps humain. Cette information est utilisée depuis longtemps par les médecins lorsqu'ils procèdent à un examen par palpation. Un outil de palpation ultrasonore pourrait être extrêmement efficace pour dépister ou diagnostiquer certains cancers comme celui du sein par exemple. C'est le sujet de la première partie. La thèse de Laurent Sandrin (novembre 2000) a montré la faisabilité de cette technique d'imagerie pour localiser et mesurer l'élasticité d'inclusions « dures » dans des gels d'agar-gélatine. Les premiers essais cliniques ont lieu à l'Institut Curie en juin 2001. La fin de cette première partie est consacrée à l'utilisation de la force de radiation acoustique en élastographie transitoire.<br />Dans la deuxième partie, nous nous attachons à décrire la viscosité des tissus biologiques. Cette problématique a été étudiée pendant la thèse de Jean-Luc Gennisson (soutenue en septembre 2003) d'un point de vue académique et pendant la thèse de Jeremy Bercoff (décembre 2004) pour une application en imagerie médicale. Enfin, une coopération avec Ralph Sinkus (Philipps Research Hamburg) dans le domaine de l'élastographie par IRM a permis de jeter les bases d'un algorithme de problème inverse visco-élastique.<br />Notre quête des paramètres mécaniques des tissus biologiques nous a naturellement amenés vers le sujet de la troisième partie : l'anisotropie. Avec Jean-Luc Gennisson alors en thèse, nous avons mené à l'institut de Myologie de l' hôpital La Pitié Salpêtrière ainsi qu'avec Christophe Cornu et Pierre Portero, une campagne expérimentale portant sur les mesures d'élasticité transverse du biceps sur dix volontaires. Ces travaux scientifiques dans les milieux biologiques où l'anisotropie est une règle plutôt qu'une exception, nous ont permis d'établir des collaborations fructueuses avec Steve Levinson, université de Rochester, NY, pionnier de l'élastographie stationnaire. L'excellent accord entre les expériences et la théorie de l'élasticité dans les milieux anisotropes nous a poussés à formuler avec Ralph Sinkus (Philipps Research Hamburg) les bases d'un algorithme de problème inverse visco-anisotrope.<br />Si l'étude de la non linéarité dans les métaux, les cristaux et les roches a donné lieu à de nombreuses publications, la littérature est extrêmement avare en matière de non linéarité dans les solides mous. De ce fait, cette troisième partie qui décrit des recherches à caractère fondamental, constitue la partie la plus académique du mémoire. Grâce à l'élastographie transitoire, nous avons pu obtenir des résultats quantitatifs sur la mesure des coefficients non linéaires de Landau. Les résultats d'expériences d'acoustoélasticité, celles d'ondes transverses de fortes amplitudes ou d'interactions non linéaires d'ondes transverses menées avec Jean-Luc Gennisson, Jeremy Bercoff (thèse soutenue en décembre 2004) et Xavier Jacob (soutenance de thèse prévue en mai 2005) convergent vers la conclusion suivante : si le coefficient élastique de compression du second ordre λ est de six ordres de grandeur supérieur au coefficient élastique de cisaillement μ dans les solides mous, il en va de même pour les coefficients élastiques non linéaires de compression du troisième ordre B et C par rapport au coefficient élastique non linéaire de cisaillement A. Ces résultats expérimentaux nous ont permis de collaborer avec les théoriciens de grande renommée, Yuri Ilinsky et Zhenia Zabolotskaya de l'université de Huston, TX, que nous avons eu le plaisir d'accueillir trois semaines au laboratoire en juillet 2004.<br />Comme j'ai passé toutes les années de thèse dans un laboratoire dont le thème de recherche principal est le retournement temporel des ondes acoustiques, il était fatal que, tôt ou tard, cette thématique très riche et très féconde me contamine. Mes premières expériences de retournement temporel acoustique ont été effectuées sur un coin de table au Marine Physical Laboratory, à l'institut Scripps de San Diego, CA, pendant mon année post doctorale dont le thème était : « mesures ultrasonores de diamètres de vaisseaux sanguins ». A mon retour au laboratoire Ondes et Acoustique en janvier 2000, Ros Kiri Ing, Mathias Fink et moi avons lancé cette thématique sur le retournement temporel des cavités réverbérantes immergées, qui s'est avérée partager avec les expériences de retournement temporel dans les milieux multidiffuseurs ou dans les guides d'ondes bon nombre de problématiques.<br />Ces recherches, dont l'essentiel est synthétisé dans le second chapitre, ont été menées parallèlement aux activités d'élastographie et, bien entendu, parallèlement à mes activités d'enseignement à l'université de Paris 7. Outre l'intérêt scientifique de vérifier les lois de la diffraction ou le principe d'Huygens dans des cavités chaotiques en contact avec un transducteur ultrasonore unique, nous avons montré pendant la thèse de Nicolas Quieffin (soutenue en décembre 2004) comment le champ acoustique réverbéré pouvait être contrôlé afin de focaliser les ultrasons en temps réel à l'extérieur de la cavité immergée. Les applications potentielles de ce procédé dans le domaine de l'imagerie notamment médicale pourraient permettre d'envisager des systèmes utilisant un petit nombre de transducteurs donc à faible coût. Mais c'est dans un tout autre domaine, celui de l'interactivité, que ce procédé est apparu immédiatement utile. Ros Kiri Ing et moi avec le projet ReverSys « les interfaces acoustiques interactives » soutenu par AGORANOV, incubateur d'entreprises de<br />technologies innovantes, avons obtenu la mention spéciale du jury au Grand Prix de l'Innovation de la Ville de Paris 2003. Sous l'impulsion de Ros Kiri Ing, la société Sensitive Object a vu le jour en octobre 2003.

Ce mémoire constitue un résumé de mes travaux de recherche consacrés à l'analyse mathématique et la simulation numérique de quelques problèmes de propagation d'ondes linéaires. Le mémoire est structuré en 4 chapitres indépendants : <br />1. Guide d'Ondes Électromagnétique Supraconducteur<br />2. Diffraction par des Réseaux<br />3. Retournement Temporel<br />4. Méthodes Fréquentielles et Spectrales pour le Contrôle des EDP

Les zones hybrides entre taxons proches peuvent offrir un regard privilégié sur les processus évolutifs, en particulier la spéciation. L'évolution de l'isolement reproducteur dans ces zones va dépendre en grande partie de l'intensité des flux de gènes et de la valeur sélective des hybrides. Chez les arbres forestiers, les zones de contact sont souvent très étendues, étant donnés leurs larges distributions, les longues distances de dispersion de pollen et les forts taux d'allofécondation. Nous avons choisi comme modèle d'étude des deux espèces de frênes Fraxinus excelsior L. (frêne commun) et Fraxinus angustifolia Vahl (frêne oxyphylle), autochtones en France. Nous avons d'abord développé des marqueurs moléculaires et physiologiques (liés à la dormance des graines) discriminants, qui se sont révélés être de bon outils pour l'aide au diagnostic de reconnaissance, mais insuffisants pour détecter les hybrides en populations naturelles. Nous avons donc utilisé des marqueurs microsatellites et des données morphologiques pour mettre en évidence plusieurs zones hybrides très différentes à l'échelle de la France. Nous avons montré que la distribution des deux espèces et de leurs hybrides était fortement corrélée aux variations de facteurs environnementaux, suggérant que le climat est déterminant pour limiter l'hybridation naturelle. Les deux espèces observant des dates de floraison très divergentes, nous avons étudié l'effet de la phénologie florale sur la limitation des flux de gènes à échelle locale. Nous avons montré l'existence d'un isolement par le temps. Les flux de gènes ont lieu principalement entre individus fleurissant à la même période, et les flux de pollen sont asymétriques. Les hybrides fleurissant tôt sont les plus nombreux, et ont un succès reproducteur mâle et femelle largement supérieur, produisant plus de fleurs et de graines et subissant sensiblement moins d'attaques de gales florales. Observant par ailleurs des taux d'autofécondation élevés, ils pourraient posséder une valeur sélective supérieure dans ce type d'écotone intermédiaire, pouvant accroître leur potentiel colonisateur.

Les systèmes de surveillance et de supervision jouent un rôle majeur pour la sécurité des installations industrielles et la disponibilité des équipements. Signaler le plus tôt possible à l'opérateur les écarts détectés par rapport au comportement nominal prévu est fondamental pour la mise en œuvre des actions préventives et correctives sur le procédé. Certains types d'installations tels que les procédés chimiques et de traitement par lots (batch systems) présentent une grande complexité pour la commande/surveillance en raison de leur caractère hybride (aspects continus et discrets étroitement liés), du nombre de variables mis en jeu et de la complexité de leurs relations. Cette complexité est accentuée par la nécessité de nombreux changements de modes opératoires qui conduisent à de nombreuses phases transitoires. <br />La surveillance de ces phases transitoires est délicate. Le nombre élevé de variables à considérer rend difficile l'interprétation du comportement du procédé. En cas de défaut, un diagnostic devient alors une tâche complexe. Les écarts, même marginaux, par rapport au comportement nominal souhaité doivent être surveillés de façon à avertir l'opérateur sur des évolutions non prévues qui peuvent aboutir à une défaillance. Les écarts marginaux peuvent indiquer un dysfonctionnement qui dégénère lentement ou encore une conduite inadéquate de l'opérateur ou du système de pilotage. <br />Pour faire face à la complexité, le système de commande/surveillance est hiérarchisé selon la hiérarchie procédurale proposée par la norme ISA88. Notre démarche de surveillance et diagnostic se situe à deux niveaux hauts de cette hiérarchie procédurale : i) au niveau d'une opération et plus particulièrement lors du transitoire du mode opératoire (MOt) où les relations d'influence entre les variables sont faiblement connues ou non connues, ii) au sein d'une phase où les relations d'influence sont connues dans un intervalle de temps appartenant à l'horizon du mode opératoire.<br />Concernant la complexité des relations des variables mises en jeu, il n'est pas toujours facile et forcément nécessaire une modélisation précise de la dynamique du procédé. Dans ce cas, les approches qualitatives permettent une représentation avec un degré d'abstraction plus en adéquation avec le niveau haut de surveillance considéré. <br />Pour cela, nous proposons une abstraction des dynamiques continues basée sur un raisonnement temporel et événementiel compatibles avec les niveaux de la hiérarchie de surveillance. Cette abstraction est basée sur un partitionnement temporel flou de la dynamique des variables importantes définissant ainsi un ensemble d'états qualitatifs. Des mécanismes de vérification et de rétablissement de cohérence temporelle entre les variables sont proposés de façon à décrire les relations dynamiques locales existantes. Pour son pouvoir de représentation et pour rester cohérent avec une approche hiérarchique basée réseau de Petri, les Réseaux de Petri Temporels Flous ont été choisis.

Ce travail propose une approche originale pour l'ordonnancement de tâches sous contraintes de temps et de ressources. Les méthodes et techniques développées s'inscrivent dans la problématique de l'"Analyse Sous Contraintes" (A.S.C.) des problèmes d'ordonnancement. Cette A.S.C. vise à caractériser les ordonnancements admissibles de manière à proposer au décideur un choix d'actions cohérentes vis-à-vis des contraintes, tout en lui offrant une certaine flexibilité face à des aléas éventuels. L'A.S.C. est décrite comme un processus d'inférence mettant en interaction une base de règles et une base de faits temporels et séquentiels représentant les caractéristiques des ordonnancements admissibles. Un logiciel (MASCOT) écrit en Prolog-II a été réalisé selon ce principe. Une nouvelle approche pour l'A.S.C. et plus particulièrement pour le raisonnement temporel sous contraintes de ressources a été développée. L'originalité de cette approche réside essentiellement dans la prise en compte du couplage temps/ressource à l'aide du concept d'intervalle temps-ressource qui conduit à utiliser un raisonnement énergétique. L'intervalle temps-ressource permet de représenter à la fois les tâches ou intervalles consommateurs et les intervalles de temps alloués sur lesquels des ressources sont disponibles, appelés intervalles fournisseurs. Le problème de l'ordonnancement de tâches amène à étudier l'interaction entre intervalles consommateurs et fournisseurs sur la base de considérations énergétiques. Le logiciel MASCOT met en jeu un processus de déduction symbolique. Ce type de déduction a été amélioré par la prise en compte de l'énergie obligatoirement consommée ou consommation obligatoire d'intervalles consommateurs sur un intervalle fournisseur. De nouvelles règles de déduction ont été écrites et intégrées dans MASCOT. D'autre part, un processus de déduction basé sur un raisonnement purement énergétique a été élaboré et implémenté (logiciel REPORT) en Prolog-II. Il utilise un autre type de déduction, la déduction numérique, qui permet d'affiner les bornes temporelles d'un intervalle fournisseur en considérant la consommation obligatoire des autres intervalles consommateurs. En d'autres termes, ces résultats consistent à actualiser des dates limites et correspondent à des conditions nécessaires d'admissibilité ; ils permettent ainsi de détecter des infaisabilités éventuelles. L'outil de modélisation utilisé est le graphe potentiels-bornes qui permet de représenter des contraintes numériques (sur la durée des tâches par exemple) et des contraintes symboliques entre intervalles. Il sert de support à un processus d'inférence par propagation numérique des contraintes.

Un SGBD temporel doit offrir les fonctionnalités permettant aux applications de dater les informations et de gérer l'histoire de leur évolution. Cette thèse présente le modèle d'historiques TEMPOS et le prototype qui a été réalisé au dessus du SGBD O2. TEMPOS s'appuie sur un modèle du temps, qui permet de manipuler des valeurs temporelles, simples et complexes, exprimées dans différentes unités. Le jeu d'unité est extensible, et les opérations définies sont indépendantes des unités. La multiplicité des formes externes des valeurs temporelles est également prise en compte. Le modèle d'historiques proposé dans TEMPOS intègre les fonctionnalités essentielles attendues pour gérer la dimension historique des informations d'une base de données. La définition de différents types d'historiques (discret, en escalier, interpolé) permet de donner la signification des valeurs saisies et d'interpoler les autres valeurs. Ainsi, en TEMPOS, un historique est vu comme une chronique (séquence de valeurs datées), un domaine temporel d'observation, et une fonction d'interpolation. Le modèle permet diverses structurations des historiques basées sur le regroupement d'instants. Les opérations d'interrogation des historiques sont issues de l'extension temporelle des opérateurs de l'algèbre relationnelle et également d'une adaptation d'opérateurs sur les séquences, qui permettent en particulier de raisonner sur la succession dans le temps. Les opérations classiques de mise à jour sont étendues pour prendre en compte la dimension temporelle. Toutes les opérations sur les historiques sont définies de manière à être indépendantes de la représentation et de l'unité d'observation temporelle des historiques. Le prototype comprend une hiérarchie de classes implantant les types et les opérations proposés dans TEMPOS, et un préprocesseur TempOQL permettant de manipuler des valeurs temporelles dans des requêtes OQL.