Le résumé en français n'a pas été communiqué par l'auteur. / Le résumé en anglais n'a pas été communiqué par l'auteur.

En milieux urbains imperméabilisés, ou dans les régions où les pluies d’orage sont fréquentes et violentes, il convient de stocker temporairement les volumes des précipitations dans des ouvrages de rétention avant de les relâcher à débit contrôlé dans les réseaux d’assainissement ou le milieu naturel, ce qui limite les risques d’inondation et les impacts environnementaux. La dimension de ces ouvrages de rétention peut vite être importante et leur implantation sur un site encombré devenir compliquée et onéreuse. La solution proposée dans ce travail de thèse est de répartir la rétention sur plusieurs ouvrages de rétention reliés entre eux par des canalisations et contrôlés par des ajutages, et de jouer sur leur capacité respective et les conditions de transfert pour optimiser le rejet dans le réseau ou le milieu naturel. Un outil de modélisation de type réservoir a été développé, qui représente avec un bon niveau de précision les hauteurs dans les ouvrages de rétention et les débits transférés en fonction du temps ainsi que de l’intensité et la durée de la pluie. Ce modèle simplifié incrémenté en fonction d’un pas de temps cohérent avec l’intensité de la pluie travaille en volumes et débit sans s’attarder sur les conditions hydrauliques d’écoulement. Il a été validé par plusieurs études de sensibilité sur des séries de 2 ou 3 réservoirs et ouvre la voie à un outil de pré dimensionnement rapide, robuste et fiable. / In urban environments, or in the areas where the stormy showers are frequent and violent, it is advisable to temporarily store volumes of precipitations in retaining tanks before slackening them with flow controlled in the sewage networks or the natural environment, which limits the risks of flood and the environmental impacts. The dimension of these basins can quickly be important and their establishment on an encumbered site to become complicated and expensive. The solution suggested in this study is to distribute the retention on several basins connected to each other by pipes and controlled by nozzles, and to exploit their respective capacity and the conditions of transfer to optimize the rejection in the network or the natural environment. A numerical model named tank type was developed, which represents with a good level of precision the heights in the basins and the flows transferred according to time as well as intensity and the duration of the rain. This simplified model incremented according to a step of coherent time with the intensity of the rain works in volumes and flow without being delayed on the hydraulic conditions of flow. It was validated by several studies of sensitivity on meshes of 2 or 3 tanks and opens up the way for a tool for pre simple and reliable dimensioning.

L'introduction du temps dans les bases de données classiques et spatiales apparaît de plus en plus, aujourd'hui, comme une nécessité pour une gestion optimale de l'historicité. En effet, les applications de bases de données spatio-temporelles sont présentes dans un grand nombre d'applications. Le besoin, par exemple, est de sauvegarder l'historique des géométries des parcelles dans le système d'information d'un plan cadastral, la prévention d'incendie dans le système de gestion forestière, le système de navigation des véhicules, etc. Cet historique des phénomènes permet de mieux comprendre ce qui s'est produit dans le passé, de manière à éventuellement anticiper certaines évolutions futures. Etant donné ces nouveaux besoins, cette thèse se focalise sur la modélisation et l'implantation des aspects temporels dans bases de données. En effet, la conception d'une application de base de données se fait par un enchaînement de trois phases (conceptuelle, logique et physique). Au niveau conceptuel, plusieurs modèles conceptuels ont été proposés intégrant les caractéristiques temporelles et spatiales. Malheureusement, au niveau logique, les modèles de données des SGBD actuels n'offrent pas les concepts nécessaires pour implanter le modèle conceptuel spatio-temporel. Nous proposons donc de nouvelles règles de traductions d'un schéma conceptuel, basé sur le modèle MADS (Modélisation des Applications à des données spatio-temporelles), en un schéma logique MADSLog pour les modèles cibles à savoir : relationnel et relationnel-objet. Chaque règle transforme un concept structurel, temporel et spatial du modèle MADS en un ou plusieurs concepts supportés par la cible. Par exemple, la propriété spatiale définissant la géométrie d'un type d'objet est traduite par la création d'un nouvel attribut de type spatial dans ce type d'objet. Un outil CASE(Computer-Aided Software Engineering) appelé Schema Translateur est développé dans cette thèse implémentant toutes les règles de traductions. La traduction de schémas conceptuels en schémas logiques peut impliquer une perte sémantique en raison de la différence de la puissance d'expression entre le modèle conceptuel et le modèle de données des SGBD existants. D'où la nécessité de générer un ensemble de contraintes d'intégrité afin de préserver la sémantique définie dans le schéma conceptuel. Ces contraintes sont exprimées à ce niveau par des formules logiques. Avec l'apparition de GML (Geographic Markup Language ) qui est conçu pour la modélisation, le transport et le stockage d'informations géographiques. Nous transformons également le schéma conceptuel MADS en GML. De nouveaux schémas GML temporel et spatial sont définis qui peuvent être employés par n'importe application de base de données spatio-temporelle. Au niveau physique, nous proposons une méthode d'adaptation du schéma logique en schéma physique pour le modèle relationnel-objet. Elle permet de définir les tables, les types abstraits, les types d'objets, les domaines, etc. Notre proposition permet aussi la génération des contraintes d'intégrité au niveau physique. En effet, chaque contrainte d'intégrité (structurelle, temporelle ou spatiale) qui est définie en calcul logique est exprimée soit directement par des contraintes déclaratives ou soit par des déclencheurs du SGBD choisi. Les déclencheurs spatiaux sont fondés sur les fonctionnalités prédéfinies dans Oracle, alors que les déclencheurs temporels sont basés sur les opérateurs et méthodes appliquées sur les types temporels. Enfin, la traduction de requêtes est une deuxième clef de cette recherche. Le but de la traduction de requêtes, exprimées en algèbre, étant de reconstituer l'information au sens MADS à partir de la base de données stockées dans le SGDB cible. Elle permet de traduire les expressions algébriques MADS, qui sont définies sur le schéma conceptuel et non sur le schéma physique, en requêtes opérationnelles qui peuvent être exécutées sur une base de données spatiale et temporelle sous un SGBD ou un SIG.

La problématique du trait de côte revient constamment dans les problèmes environnementaux littoraux. Elle se situe à différentes échelles spatio-temporelles. Depuis le dernier haut niveau marin (6000 ans BP), le trait de côte s'est largement déplacé. Le golfe du Lion (mer Méditerranée) constitue un laboratoire naturel exceptionnel pour l'étude de la migration du trait de côte en milieu microtidal de par les présences de lagunes en arrière du cordon et de barres subtidales sur l'avant-côte. Les lagunes côtières sont des milieux où l'enregistrement sédimentaire est bien préservé, permettant de reconstruire l'évolution de la lagune et la construction de la barrière littorale. Le premier objectif de ce travail est de caractériser l'évolution de la lagune de Thau et du lido de Sète à travers le remplissage sédimentaire. Utilisant les techniques de sismique réflexion et de carottages sédimentaires, trois unités principales ont été décrites (U0, U1 et U2). L'unité principale du remplissage est divisée en deux sous-unités SU2-1 et SU2-2, elles-mêmes divisées en séquences élémentaires, contemporaines du haut niveau marin. Leur analyse et les datations obtenues ont permis de reconstruire les principales étapes de l'édification de la lagune. Ainsi entre 7000 ans BP et 6000 ans BP, la lagune se ferme progressivement et SU2-1 se dépose dans un environnement lagunaire, sauf pour la partie sud de la lagune. Vers 5400 ans BP, la lagune est totalement fermée, SU2-2 se dépose. La discontinuité observée entre SU2-1 et SU2-2 au niveau des bordures de la lagune permet de décrire un recul brutal du lido. L'analyse et la rythmicité des séquences élémentaires permettent de relier ces dernières à des changements climatiques de haute fréquence de périodicité comprise entre 1000 et 1500 ans, en accord avec les datations. Les littoraux présentant deux barres sédimentaires ont été largement observés en milieux méso- et macrotidaux. Leur étude en milieu microtidal étant moins fréquente, le système à deux barres festonnées de Leucate-Plage (partie sud du golfe du Lion) a été observé mensuellement durant un suivi pluriannuel de 3 ans (2005-2008) et annuellement à partir de 2000. Le second objectif de ce travail est de proposer un modèle conceptuel d'évolution basé sur la morphodynamique de ce système, à partir des suivis topo-bathymétriques et des mesures hydrodynamiques. Ce modèle est basé sur différentes séquences évolutives observées et a nécessité la création de nouveaux états de plage (RBB rompu et TBR rompu) incluables dans les classifications usuelles. Il est ensuite comparé avec d'autres observations faites sur d'autres sites micro-, méso- et macrotidaux et met en évidence l'importance de la hauteur significative et de l'incidence de la houle dans les changements morphologiques des systèmes.

Le secteur de l'Architecture Et de la Construction (AEC), fait intervenir de nombreux métiers et domaines de connaissance dan la conception avancée des bâtiments. Chacun de ces métiers a évolué de manière indépendante, avec sa terminologie, sa technologie et ses moyens spécifiques de communiquer et d'échanger l'information. Cette fragmentation souvent source de richesse et de diversité cause néanmoins des problèmes de pertes d'information et de difficultés de communication entres les acteurs en phase de conception avancée. Ie passage d'un tel cadre de travail linéaire et fragmenté à un cadre de travail coopératif est de nos jours une nécessite. <br />Notre objectif est de ramener les acteurs du cycle de vie du bâtiment autour d'un modèle de processus de conception commun et partagé. Chaque intervenant pourra être représenté par rapport au point de vue qu'il porte sur le bâtiment (chaque acteur a un point de vue spécifique à sa filière métier). Les modèles existants destinés à cet effet représentent le bâtiment comme un ensemble d'objets évoluant dans un processus de conception. Il s'agit d'une représentation réductrice de la réalité de la conception du bâtiment qui est beaucoup plus complexe.<br />Aller au-delà du fractionnement dans le processus de conception de bâtiments, signifie aller au-delà des approches de modélisation traditionnelles, et des représentations classiques du cycle de vie du bâtiment. La présente thèse propose une nouvelle approche de modélisation considérant le produit bâtiment par rapport aux points de vues des acteurs de sa conception. Cette approche permet de générer des modèles conceptuels commun et partageables sans pour autant contraindre les acteurs

L'objectif de ce mémoire est d'approfondir les connaissances sur les mécanismes de prises de décision en lien avec les rénovations éconergétiques résidentielles au Québec et d'en élaborer un modèle conceptuel à travers une démarche exploratoire. Les mécanismes décisionnels des différents acteurs, les mécanismes de fonctionnement des subventions et les mécanismes informationnels sont complexes et mettent en importance leurs mises en perspective dans le domaine des rénovations éconergétiques, notamment en ce qui a trait aux bâtiments résidentiels. Notre hypothèse de base fut d'abord que les subventions ne sont pas la solution la plus appropriée pour faire la promotion des rénovations éconergétiques résidentielles. Pour faire le tour de la question, nous avons entrepris une démarche de recherche afin de mieux comprendre les différents mécanismes qui orientent la prise de décision des propriétaires à faire des rénovations éconergétiques. Les principaux résultats de ce mémoire indiquent que les propriétaires plus « verts » ont plus de chance de procéder à des rénovations éconergétiques, alors que les propriétaires moins verts manifestaient peu d'intérêt sur ce type de rénovations. À travers l'intégration de divers acteurs en lien avec les rénovations éconergétiques, nous avons proposé un modèle conceptuel décrivant mieux la réalité actuelle de ce phénomène. Finalement, nous avons également pris la liberté de faire quelques recommandations, espérant qu'elles participeront à l'augmentation du nombre de rénovations éconergétiques résidentielles. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : rénovation résidentielle éconergétique, prise de décision, subvention, acteurs, mécanismes décisionnels

Le modèle conceptuel pluie-débit journalier MEDOR a été développé pour le milieu méditerranéen. L'analyse de sensibilité des processus hydrologiques aux caractéristiques du milieu et du climat lui confère une conception spécifique. Ce modèle à quatre paramètres a été élaboré à partir des données de six bassins méditerranéens, français et libanais. Son calage au moyen du critère de Nash pose des problèmes d'equifinalité. Le balayage exhaustif de l'espace critère montre l'existence de relations entre paramètres de production d'une part et ceux de transfert d'autre part. Un critère à échéance variable détermine la relation d'equifinalité de production, à partir des seuls cumuls annuels de pluie et de débit et de la structure stochastique journalière de la pluie.<br />Couplé à un modèle stochastique adimensionnel de pluie, MEDOR génère une surface représentative des coefficients d'écoulement des bassins dans l'espace des paramètres. Cinq zones ont été définies sur le pourtour méditerranéen avec leurs surfaces de référence. MEDOR possède des propriétés d'agglomération spatiale et temporelle. Les paramètres du modèle pour un bassin formé de l'union de plusieurs sous bassins sont déterminés par des lois d'agglomération utilisant les paramètres de chacun d'eux. Un des paramètres de la fonction de production est lié à la profondeur utile du sol, ce qui permet de transformer le modèle global en un modèle semi-distribué. L'extension à un nombre plus important de bassins permettrai de préciser la signification des paramètres, et donc d'envisager une application à des bassins non jaugés.

La maîtrise de la contamination générée par temps de pluie en milieu urbain constitue un enjeu environnemental important pour limiter la dégradation des milieux aquatiques superficiels. Les outils de modélisation traditionnelle utilisés pour estimer les flux de polluants dans les eaux de ruissellement sont jugés insuffisants dans leur capacité à reproduire les dynamiques des polluants à l’exutoire. Cela est souvent lié au manque de connaissances précises sur les processus en jeu d’une part, et d’autre part aux difficultés d’acquérir des bases de données représentatives et en continu sur des sites réels. Cette thèse a donc pour objectif d’améliorer l’état de la modélisation de la qualité. Elle vise en particulier le développement d’un outil de modélisation conceptuelle de la qualité des eaux de ruissellement à l’échelle du quartier, à partir d’une compréhension approfondie des processus d'accumulation et de lessivage. La simulation des pollutogrammes de matières en suspension (MES) à l’avaloir du bassin versant routier avec les modèles conceptuels d’accumulation-lessivage montre la faible performance des modèles pour estimer les dynamiques d’émissions de MES pour des longues périodes ; la variabilité du processus d’accumulation est le responsable principal de l’inadéquation de ces modèles. L’évaluation de la contribution des retombées atmosphériques sèches à la contamination des eaux de ruissellement en hydrocarbures aromatiques polycycliques (HAPs) et métaux montrent que l’atmosphère ne joue qu’un rôle très mineur dans la contamination des eaux de ruissellement par ces substances. Ainsi le couplage des modèles atmosphériques, qui ne tiennent pas compte des émissions directes liées au trafic, avec les modèles de qualité de l’eau, ne semble pas très pertinent dans l’objectif d’améliorer la prédiction de la contamination des eaux pluviales à l’exutoire. L’investigation à la micro-échelle du mécanisme de lessivage montre que les particules fines sont les plus susceptibles d’être mobilisées par le ruissellement. Cette étude a été menée en utilisant un simulateur de pluie innovant qui présente les avantages d’être mobile et léger, et la possibilité d’avoir des enregistrements en ligne du débit et de la turbidité. Les nouvelles connaissances acquises sur les processus soulignent une grande variabilité qui remet en cause l'intérêt de leur modélisation avec des approches déterministes. Ces connaissances sont intégrées à l’échelle du quartier pour développer un outil de modélisation conceptuelle basé sur une approche stochastique d'estimation de la concentration moyenne de MES et des paramètres de qualité. Le modèle développé est intégré dans le modèle hydrologique URBS. L’application de ce modèle permet d’intégrer la variabilité spatiale et temporelle des émissions en distinguant les contributions de chaque occupation du sol. Les résultats sont prometteurs en termes d’estimation des niveaux de concentration de MES à l’exutoire du bassin versant et de réplication du comportement général de la dynamique de MES, cependant des améliorations peuvent être envisagés pour consolider l’approche et améliorer ses prédictions. La comparaison de ce modèle avec des approches de modélisation empirique globale, conceptuelle semi-distribuée et physique distribuée, montre qu’en termes de pouvoir prédictif et de fiabilité, l’approche URBS-stochastique en parallèle avec l’approche de modélisation physique distribuée sont les plus performantes. En termes de simplicité d’implémentation et d’ajustement entre les observations et les simulations, les approches de modélisation empirique globale et conceptuelle semi-distribuée sont les plus puissantes. A l’issue de cette comparaison, il est clair qu’il n’existe pas un modèle parfait qui couvre toutes les caractéristiques de la modélisation de la qualité des eaux de ruissellement. Le choix de l’approche de modélisation la plus appropriée doit se faire en fonction des objectifs attendus par le modélisateur / Urban runoff contamination is recognized as a major source of the deterioration of the quality of surface water. Commonly used stormwater quality models have poor performance in predicting the pollutant dynamics at the surface outlet, mainly due to the lack of precise knowledge on the governing processes and the difficulties of acquiring representative and continuous databases on real sites. The main purpose of this Ph.D. thesis is to improve the state of stormwater quality modeling. It aims in particular to develop a conceptual modeling tool for stormwater quality prediction at the scale of a city district catchment, based on a deep understanding of the build-up and the wash-off. The application of commonly used stormwater build-up/wash-off models to simulate the dynamics of total suspended solids (TSS) at the outlet of the road catchment suggests that the models poorly replicate the temporal variability of the TSS concentrations unless short periods are considered. The unpredictable nature of the accumulation is largely responsible for the model failure. The evaluation of the contribution of atmospheric dry deposition to stormwater loads for polycyclic aromatic hydrocarbons (PAHs) and metals shows that atmospheric deposition is not a major source of contaminants in stormwater runoff. Thus, linking the air and water compartment in a modeling chain to have more accurate estimates of pollutant loads in stormwater runoff may not be relevant unless the direct traffic emissions are accounted for. The investigation of the wash-off process on elementary surfaces shows that the fine particles are the most likely to be mobilized and transported during a rainfall event. Stormwater samples were collected for this study using an innovative rainfall simulator that allows continuous, on-site monitoring of instantaneous flow and turbidity measurements and that can be easily transported and used on real sites. The new knowledge acquired on the build-up and wash-off processes underlines the great variability of these processes and calls into question their modeling with deterministic approaches. Hence, this knowledge is incorporated into developing a new conceptual stormwater quality model based on the stochastic drawing of event mean concentrations (EMC) of TSS and water quality parameters. The model is integrated within the hydrological model URBS. The application of this approach accounts for the spatial and temporal variability of pollutant emissions by distinguishing the contributions of each land use separately. The obtained results are promising in terms of estimating the concentration levels of TSS at the outlet of the city district catchment and replicating the general behavior of the TSS dynamics. However, improvements can be envisaged to consolidate the approach and improve its predictions. Comparison of this model with global empirical, semi-distributed conceptual and distributed physical modeling approaches shows that in terms of predictive power and stability, the stochastic-URBS and the physically distributed approaches are the most efficient. However, in terms of ease of implementation and best fit between observations and simulations, the global empirical and semi-distributed conceptual modeling approaches are the most powerful. This comparison shows that the perfect model that covers all aspects of stormwater quality modeling does not exist. The choice of the most appropriate modeling approach should mainly be driven by modeling objectives

Tout d’abord perçue comme un phénomène marginal, presque un accident en langue, on considère aujourd’hui que la polysémie fait partie intégrante des systèmes linguistiques. De nombreuses théories se sont intéressées au phénomène des unités à sens multiples et reliés. La première partie de notre travail en dresse un panorama non exhaustif mais révélateur, montrant comment et pourquoi la polysémie s’est peu à peu imposée comme un phénomène incontournable qui doit nécessairement être au cœur de tout modèle de la signification. Aussi, à partir de la distinction établie par G. Kleiber (1999), nous considérons deux grands courants selon le rapport établi entre signification, référence et polysémie. Le premier décrit la polysémie en termes de sens premier référentiel dont sont dérivés des sens secondaires (courant objectiviste). Le second l’analyse en termes de potentiel sémantique aréférentiel à partir duquel est obtenu l’ensemble des sens du polysème par spécialisation ou enrichissement contextuel(le) (courant constructiviste). Notre réflexion porte ensuite sur la représentation de la signification des polysèmes – principalement des noms – en grammaire cognitive (R.W. Langacker). Nous postulons que toute expression est associée, dans l’appareil cognitif des locuteurs-auditeurs, à une structure conceptuelle d’informations représentant sa signification. Nous proposons une modélisation en réseau structuré autour de valeurs sémantiques plus ou moins schématiques et de sens élaborés. Ainsi, c’est la valeur la plus schématique qui permet de faire le lien en langue entre ses élaborations que sont les sens observables en discours. Sur la base des travaux de D. Tuggy (1993), nous déclinons les représentations de la signification des mots à sens multiples le long d’un continuum homonymie-polysémie-multifacialité-indétermination, selon les degrés d’enracinement, de saillance, et les possibilités d’accessibilité et d’activation des différents composants (valeur schématique et élaborations sémantiques). Et, nous mettons ainsi en avant certaines des régularités organisatrices propres aux représentations sémanticoconceptuelles des polysèmes nominaux, ainsi qu’une typologie des sens polysémiques. Nous abordons enfin la construction du sens en grammaire cognitive, notamment l’influence du contexte dans l’interprétation d’expressions complexes comportant un polysème. Ainsi, nous considérons qu’il s’agit d’un processus non modulaire, compositionnel et dynamique. L’analyse de syntagmes nominaux du type Adj-N et N-Adj révèle en outre certaines régularités dans l’activation des sens polysémiques des unités linguistiques mises en jeu, liées au cotexte (place et fonction de l’adjectif par rapport au substantif recteur) et au contexte extralinguistique / For a long time, polysemy used to be considered as a marginal or accidental phenomenon in language. Where as today, it is well known that polysemy is being part of linguistic systems. The first part of our thesis draws up a panorama of semantic theories dealing with polysemy. Although it is not exhaustive, it reveals how and why that phenomenon has become a problematic of the utmost significance in linguistics. From the distinction established by G. Kleiber (1999), we consider two major trends in accordance with the way they conceive the link between meaning, reference and polysemy. On one hand, polysemy is described in terms of one basic referential sense from which secondary senses derive (objectivism). On the other hand, polysemy is analyzed as an areferential semantic potential from which senses emerge by contextual mechanisms (constructivism). About the question of the meaning representation of polysems, we postulate that linguistic unities are associated with a structure of pieces of conceptual information into the mind of speakers-hearers, so that it is possible to elaborate of conceptual modeling of it. In the framework of Cognitive Grammar (R.W. Langacker), the structure is a network constituted of semantic values, which are more or less schematic, and of elaborated senses stemmed from them. The most schematic meaning corresponds to the linguistic conceptual link between its instantiations. Some elaborations are the senses which can be constructed in discourse. On the basis of D. Tuggy’s works (1993), we propose to organize the conceptual modelings of multiple meanings words along a continuum homonymy-polysemy-multifaciality-vagueness, in function of various parameters : entrenchment, cognitive salience, possibility of accessibility and of activation of the network components (schematic or elaborated values). So, we can highlight some organizational regularities specific to the semantic representation of polysems as well as a typology of polysemous senses. The third and last part of our thesis is dedicated to sense construction. In Cognitive Grammar, it is a non modulary, compositional and dynamic process. Focusing especially on the impact of context on the interpretation of complex expressions containing a polysem, the analysis of Adj-N and N-Adj noun phrases puts to the fore some regularities governing the activation of polysemic senses. These regularities are linked to the linguistic context (position and function of the adjective towards the qualified substantive) and to the extra-linguistic context

Les bibliothèques numériques sont des systèmes d'information complexes stockant des ressources numériques (par exemple, texte, images, sons, audio), ainsi que des informations sur les ressources numériques ou non-numériques; ces informations sont appelées des métadonnées. Nous proposons un modèle de données pour les bibliothèques numériques permettant l'identification des ressources, l’utilisation de métadonnées et la réutilisation des ressources stockées, ainsi qu’un langage de requêtes pour l’interrogation de ressources. Le modèle que nous proposons est inspiré par l'architecture du Web, qui forme une base solide et universellement acceptée pour les notions et les services attendus d'une bibliothèque numérique. Nous formalisons notre modèle comme une théorie du premier ordre, afin d’exprimer les concepts de bases de la bibliothèque numérique, sans aucune contrainte technique. Les axiomes de la théorie donnent la sémantique formelle des notions du modèle, et en même temps fournissent une définition de la connaissance qui est implicite dans une bibliothèque numérique. La théorie est traduite en un programme Datalog qui, étant donnée une bibliothèque numérique, permet de la compléter efficacement avec les connaissances implicites. Le but de notre travail est de contribuer à la technologie de gestion des informations des bibliothèques numériques. De cette façon, nous pouvons montrer la faisabilité théorique de notre modèle, en montrant qu'il peut être efficacement appliqué. En outre, nous démontrons la faisabilité pratique du modèle en fournissant une traduction complète du modèle en RDF et du langage de requêtes en SPARQL.Nous fournissons un calcul sain et complet pour raisonner sur les graphes RDF résultant de la traduction. Selon ce calcul, nous prouvons la correction de ces deux traductions, montrant que les fonctions de traduction préservent la sémantique de la bibliothèque numérique et de son langage de requêtes. / Digital Libraries are complex information systems, storing digital resources (e.g., text, images, sound, audio), as well as knowledge about digital or non-digital resources; this knowledge is referred to as metadata. We propose a data model for digital libraries supporting resource identification, use of metadata and re-use of stored resources, as well as a query language supporting discovery of resources. The model that we propose is inspired by the architecture of the Web, which forms a solid, universally accepted basis for the notions and services expected from a digital library. We formalize our model as a first-order theory, in order to be able to express the basic concepts of digital libraries without being constrained by any technical considerations. The axioms of the theory give the formal semantics of the notions of the model, and at the same time, provide a definition of the knowledge that is implicit in a digital library. The theory is then translated into a Datalog program that, given a digital library, allows to efficiently complete the digital library with the knowledge implicit in it. The goal of our research is to contribute to the information management technology of digital libraries. In this way, we are able to demonstrate the theoretical feasibility of our digital library model, by showing that it can be efficiently implemented. Moreover, we demonstrate our model’s practical feasibility by providing a full translation of the model into RDF and of the query language into SPARQL. We provide a sound and complete calculus for reasoning on the RDF graphs resulting from translation. Based on this calculus, we prove the correctness of both translations, showing that the translation functions preserve the semantics of the digital library and of the query language.