Thèse diffusée initialement dans le cadre d'un projet pilote des Presses de l'Université de Montréal/Centre d'édition numérique UdeM (1997-2008) avec l'autorisation de l'auteur. / Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal. / Cette recherche en linguistique informatique porte sur un aspect de la représentation des informations syntaxiques, notamment la spécification de valeurs par défaut (VD). La problématique est envisagée dans le cadre des grammaires d'unification (GU), caractérisées par des représentations en termes de paires trait-valeur (structures attribut-valeur ou SAV) décrivant diverses propriétés linguistiques, et une opération de comparaison et de combinaison des SAV (l'unification) dont la sémantique formelle est solidement établie. Cette thèse démontre d'abord que certains phénomènes syntaxiques gagnent à être décrits par des VD. Elle cherche ensuite une interprétation pour ces VD qui soit ancrée dans la théorie linguistique, pour leur conférer un statut linguistique propre plutôt que simplement justifié d'un point de vue empirique. Enfin, elle s'attaque à la question de l'interprétation computationnelle de VD dans les GU. Les VD y soulèvent des questions d'interprétation et d'implantation que cette recherche vise à résoudre. Le premier chapitre établit les bases théoriques. Il présente la problématique des VD en informatique, en intelligence artificielle et en linguistique informatique ainsi que le cadre théorique syntaxique retenu; il expose aussi les GU, ainsi que des développements récents utilisant des SAV typées (SAT) au pouvoir de description accru. Une première esquisse de phénomènes du français dont la description par VD est optimale est présentée au chapitre 2. Le chapitre 3 est consacré à l'étude des approches syntaxiques précédentes qui incorporent une certaine notion de VD : essentiellement la Grammaire syntagmatique généralisée (GSG), la théorie Word Grammar (WG) et la théorie Head-Driven Phrase Structure Grammar (HPSG) (même si celle-ci limite l'utilisation de VD au lexique). Bien qu'issues de traditions syntaxiques différentes, WG et HPSG partagent des caractéristiques intéressantes, permettant d'exprimer des généralisations de façon parfois plus flexible que la GSG. La représentation choisie pour les VD syntaxiques retient de WG l'idée de spécifier des propriétés syntaxiques par défaut et de HPSG son cadre formel basé sur les SAT; elle est présentée au chapitre 4. Le chapitre 5 décrit en termes formels un éventail de phénomènes syntaxiques avec VD, de la correspondance entre les arguments sémantiques et syntaxiques aux phénomènes d'accord et de sélection de l'auxiliaire en français, en passant par les énoncés de combinaison syntaxique et d'ordre linéaire. Le chapitre 6 aborde les questions d'interprétation linguistique, principalement en termes de la marque. La représentation des SAT, qui expriment par les traits des propriétés syntaxiques élémentaires, permet une vision de la marque qui s'apparente à la formulation originale pour la phonologie. Les VD du chapitre 5 sont examinées une à une pour déterminer si elles correspondent également au terme non marqué d'une opposition. À cet effet, des critères d'évaluation pour la marque syntaxique sont identifiés. Une interprétation computationnelle pour les VD est proposée au chapitre 7. Basée sur des travaux antérieurs sur la définition de l'opération d'unification par défaut, l'approche décrite étend le pouvoir des VD en tant que contraintes. Elle procède par la circonscription des énoncés exceptionnels qui annulent une VD donnée et la force à être respectée ailleurs.

Ces vingts dernières années ont vu le concept d’intrication quantique prendre une place importante dans l’étude des systèmes quantiques à N corps rencontrés par exemple en théorie de la matière condensée. L’entropie d’intrication est une mesure de l’intrication entre deux parties formant un système dans un état quantique pur. L’étude de cette entropie permet d’obtenir des informations cruciales sur les systèmes considérés. Dans ce mémoire, nous étudions l’entropie d’intrication de régions dites squelettiques, pour un réseau harmonique bidimensionnel correspondant à une version discrète de la théorie d’un champ scalaire relativiste sans masse. Une région squelettique ne possède pas de volume, en opposition à une région dite pleine. Au sein d’un réseau à deux dimensions, il s’agira d’une chaîne finie de sites. Nous montrons que le comportement de l’entropie d’intrication d’une région unidimensionnelle diffère de celui de l’entropie d’une région pleine (à deux dimensions). En particulier, nous montrons qu’il apparaît de nouveaux termes universels associés à ces nouveaux comportements pour des régions squelettiques. Notre étude est principalement menée à l’aide de calculs numériques, bien que certains résultats soient obtenus de manière semi-analytique. / In the last twenty years, the concept of entanglement entropy has taken an important place in the study of N-body quantum systems seen in condensed matter, among others. Entanglement entropy is an entanglement measure between two parts forming a system in a pure quantum state. The study of this entropy allows one to obtain crucial information about N-body quantum systems. In this master’s thesis, we will study the entanglement entropy of so-called skeletal regions, for a harmonic two-dimensional lattice corresponding to a discrete version of a massless relativistic scalar field theory. A skeletal region doesn’t possess a volume, unlike a region said to be full. In the case of a two-dimensional lattice, the skeletal region is defined by a finite chain of sites. We show that the behaviour of entanglement entropy of an unidimensional region differs from the case of a full region (which is two-dimensional). In particular, we show the appearance of new universal coefficients linked to skeletal regions. Our study consists mainly of numerical calculations, although some results are obtained in a semi-analytical manner.

Cette thèse est une contribution à la résolution numérique d'une loi de conservation hyperbolique résultante d'un couplage entre les équations de Saint-Venant, associée à la modélisation des écoulements en eaux peu profondes, et l'équation de transport-diffusion d'un polluant non actif. Le modèle mathématique utilisé est bi-dimensionnel, intégrant des termes de friction, de diffusion, des tensions de surface et un terme tenant compte la variation de la bathymétrie. Nous présentons un modèle numérique basé sur un schéma volumes finis bidimensionnel d'ordres deux, conservatif et consistant, sur un maillage non structuré adaptatif. Ce modèle préserve la positivité de la hauteur d'eau et l'état stationnaire associé au lac au repos, il permet de capturer avec précision les ondes de chocs. Dans le temps une extension à l'ordre deux est garantie en utilisant un schéma de Runge-Kutta ce qui permettra de prendre en compte les différentes vitesses de propagation de l'information présentes dans les différents problèmes traités. Nous appliquons le modèle numérique développé sur plusieurs problèmes. Entre autre, la simulation d'une propagation d'une onde de crue, écoulement autour d'une singularité géométrique, écoulement sur des fonds variables et présentant des fronts raides. Et en fin, L'étude numérique s'achève par une application du modèle pour la simulation du transport de polluant dans une géométrie réelle avec une bathymétrie fortement variable telle que présente la baie de Tanger.

Ce mémoire vise à analyser l’importance du cosmopolitisme dans la pensée de Cicéron. Dans l’introduction, nous présentons d’abord une histoire de la réhabilitation de Cicéron en tant que philosophe et une chronologie de la pensée cosmopolite. La deuxième partie consiste en une analyse de trois textes de Cicéron : De Finibus, De Officiis et De Re Publica, pour trouver une réponse à notre problématique. La conclusion qui sort de cette analyse est que Cicéron a toujours effectué un compromis entre le cosmopolitisme et l’appartenance à une communauté locale, sans prendre catégoriquement un parti, même si son coeur penche davantage vers Rome. Nous avons mis en parallèle ce compromis avec l’ambiguïté de Cicéron quant à la problématique des genres de vie. Ce parallélisme montre que la tension entre cosmopolitisme et appartenance à une communauté locale n’est qu’un cas particulier d’une ambiguïté plus générale des oeuvres de Cicéron, envers la philosophie. / The goal of this thesis is to study the significance of the ideology of cosmopolitanism in Cicero’s philosophical works. In the introduction, we present a history of the rehabilitation of Cicero the philosopher and a chronology of cosmopolitan thought. In the second part we analyse three texts of Cicero: De Finibus, De Officiis and De Re Publica, in search of passages pertaining to cosmopolitanism. From this analysis, we must conclude that Cicero always compromises between cosmopolitanism and his sense of belonging to a local community, even if he is a fervent Roman patriot. Similar to this compromise is the ambiguous answer of Cicero to the problem of which is the best way of life: the political or philosophical life. This similarity informs us that the tension between cosmopolitanism and patriotism is just a special case of a more general ambiguity present in Cicero’s work, toward philosophy itself.

L’analyse comportementale traditionnelle opère en général au niveau de l’implantation de comportements malveillants. Pourtant, elle s’intéresse surtout à l’identification de fonctionnalités données et elle se situe donc plus naturellement à un niveau fonctionnel. Dans cette thèse, nous définissons une forme d’analyse comportementale de programmes qui opère non pas sur les interactions élémentaires d’un programme avec le système mais sur la fonction que le programme réalise. Cette fonction est extraite des traces d’un pro- gramme, un procédé que nous appelons abstraction. Nous définissons de façon simple, intuitive et formelle les fonctionnalités de base à abstraire et les comportements à détecter, puis nous proposons un mécanisme d’abstraction applicable à un cadre d’analyse statique ou dynamique, avec des algorithmes pratiques à complexité raisonnable, enfin nous décrivons une technique d’analyse comportementale intégrant ce mécanisme d’abstraction. Notre méthode est particulièrement adaptée à l’analyse des programmes dans des langages de haut niveau ou dont le code source est connu, pour lesquels l’analyse statique est facilitée : applications mobiles en .NET ou Java, scripts, extensions de navigateurs, composants off-the-shelf.Le formalisme d’analyse comportementale par abstraction que nous proposons repose sur la théorie de la réécriture de mots et de termes, les langages réguliers de mots et de termes et le model checking. Il permet d’identifier efficacement des fonctionnalités dans des traces et ainsi d’obtenir une représentation des traces à un niveau fonctionnel; il définit les fonctionnalités et les comportements de façon naturelle, à l’aide de formules de logique temporelle, ce qui garantit leur simplicité et leur flexibilité et permet l’utilisation de techniques de model checking pour la détection de ces comportements ; il opère sur un ensemble quelconque de traces d’exécution ; il prend en compte le flux de données dans les traces d’exécution; et il permet, sans perte d’efficacité, de tenir compte de l’incertitude dans l’identification des fonctionnalités. Un cadre d’expérimentation a été mis en place dans un contexte d’analyse dynamique comme statique / Traditional behavior analysis usually operates at the implementation level of malicious behaviors. Yet, it is mostly concerned with the identification of given functionalities and is therefore more naturally defined at a functional level. In this thesis, we define a form of program behavior analysis which operates on the function realized by a program rather than on its elementary interactions with the system. This function is extracted from program traces, a process we call abstraction. We define in a simple, intuitive and formal way the basic functionalities to abstract and the behaviors to detect, then we propose an abstraction mechanism applicable both to a static or to a dynamic analysis setting, with practical algorithms of reasonable complexity, finally we describe a behavior analysis technique integrating this abstraction mechanism. Our method is particularly suited to the analysis of programs written in high level languages or with a known source code, for which static analysis is facilitated: mobile applications for .NET or Java, scripts, browser addons, off-the-shelf components.The formalism we propose for behavior analysis by abstraction relies on the theory of string and terms rewriting, word and tree languages and model checking. It allows an efficient identification of functionalities in traces and thus the construction of a represen- tation of traces at a functional level; it defines functionalities and behaviors in a natural way, using temporal logic formulas, which assure their simplicity and their flexibility and enables the use of model checking techniques for behavior detection; it operates on an unrestricted set of execution traces; it handles the data flow in execution traces; and it allows the consideration of uncertainty in the identification of functionalities, with no complexity overhead. Experiments have been conducted in a dynamic and static analysis setting

Cette thèse porte sur le traitement du langage naturel et l'exploration de texte, à l'intersection de l'apprentissage automatique et de la statistique. Nous nous intéressons plus particulièrement aux schémas de pondération des termes (SPT) dans le contexte de l'apprentissage supervisé et en particulier à la classification de texte. Dans la classification de texte, la tâche de classification multi-étiquettes a suscité beaucoup d'intérêt ces dernières années. La classification multi-étiquettes à partir de données textuelles peut être trouvée dans de nombreuses applications modernes telles que la classification de nouvelles où la tâche est de trouver les catégories auxquelles appartient un article de presse en fonction de son contenu textuel (par exemple, politique, Moyen-Orient, pétrole), la classification du genre musical (par exemple, jazz, pop, oldies, pop traditionnelle) en se basant sur les commentaires des clients, la classification des films (par exemple, action, crime, drame), la classification des produits (par exemple, électronique, ordinateur, accessoires). La plupart des algorithmes d'apprentissage ne conviennent qu'aux problèmes de classification binaire. Par conséquent, les tâches de classification multi-étiquettes sont généralement transformées en plusieurs tâches binaires à label unique. Cependant, cette transformation introduit plusieurs problèmes. Premièrement, les distributions des termes ne sont considérés qu'en matière de la catégorie positive et de la catégorie négative (c'est-à-dire que les informations sur les corrélations entre les termes et les catégories sont perdues). Deuxièmement, il n'envisage aucune dépendance vis-à-vis des étiquettes (c'est-à-dire que les informations sur les corrélations existantes entre les classes sont perdues). Enfin, puisque toutes les catégories sauf une sont regroupées dans une seule catégories (la catégorie négative), les tâches nouvellement créées sont déséquilibrées. Ces informations sont couramment utilisées par les SPT supervisés pour améliorer l'efficacité du système de classification. Ainsi, après avoir présenté le processus de classification de texte multi-étiquettes, et plus particulièrement le SPT, nous effectuons une comparaison empirique de ces méthodes appliquées à la tâche de classification de texte multi-étiquette. Nous constatons que la supériorité des méthodes supervisées sur les méthodes non supervisées n'est toujours pas claire. Nous montrons ensuite que ces méthodes ne sont pas totalement adaptées au problème de la classification multi-étiquettes et qu'elles ignorent beaucoup d'informations statistiques qui pourraient être utilisées pour améliorer les résultats de la classification. Nous proposons donc un nouvel SPT basé sur le gain d'information. Cette nouvelle méthode prend en compte la distribution des termes, non seulement en ce qui concerne la catégorie positive et la catégorie négative, mais également en rapport avec toutes les autres catégories. Enfin, dans le but de trouver des SPT spécialisés qui résolvent également le problème des tâches déséquilibrées, nous avons étudié les avantages de l'utilisation de la programmation génétique pour générer des SPT pour la tâche de classification de texte. Contrairement aux études précédentes, nous générons des formules en combinant des informations statistiques à un niveau microscopique (par exemple, le nombre de documents contenant un terme spécifique) au lieu d'utiliser des SPT complets. De plus, nous utilisons des informations catégoriques telles que (par exemple, le nombre de catégories dans lesquelles un terme apparaît). Des expériences sont effectuées pour mesurer l'impact de ces méthodes sur les performances du modèle. Nous montrons à travers ces expériences que les résultats sont positifs. / This thesis deals with natural language processing and text mining, at the intersection of machine learning and statistics. We are particularly interested in Term Weighting Schemes (TWS) in the context of supervised learning and specifically the Text Classification (TC) task. In TC, the multi-label classification task has gained a lot of interest in recent years. Multi-label classification from textual data may be found in many modern applications such as news classification where the task is to find the categories that a newswire story belongs to (e.g., politics, middle east, oil), based on its textual content, music genre classification (e.g., jazz, pop, oldies, traditional pop) based on customer reviews, film classification (e.g. action, crime, drama), product classification (e.g. Electronics, Computers, Accessories). Traditional classification algorithms are generally binary classifiers, and they are not suited for the multi-label classification. The multi-label classification task is, therefore, transformed into multiple single-label binary tasks. However, this transformation introduces several issues. First, terms distributions are only considered in relevance to the positive and the negative categories (i.e., information on the correlations between terms and categories is lost). Second, it fails to consider any label dependency (i.e., information on existing correlations between classes is lost). Finally, since all categories but one are grouped into one category (the negative category), the newly created tasks are imbalanced. This information is commonly used by supervised TWS to improve the effectiveness of the classification system. Hence, after presenting the process of multi-label text classification, and more particularly the TWS, we make an empirical comparison of these methods applied to the multi-label text classification task. We find that the superiority of the supervised methods over the unsupervised methods is still not clear. We show then that these methods are not fully adapted to the multi-label classification problem and they ignore much statistical information that coul be used to improve the classification results. Thus, we propose a new TWS based on information gain. This new method takes into consideration the term distribution, not only regarding the positive and the negative categories but also in relevance to all classes. Finally, aiming at finding specialized TWS that also solve the issue of imbalanced tasks, we studied the benefits of using genetic programming for generating TWS for the text classification task. Unlike previous studies, we generate formulas by combining statistical information at a microscopic level (e.g., the number of documents that contain a specific term) instead of using complete TWS. Furthermore, we make use of categorical information such as (e.g., the number of categories where a term occurs). Experiments are made to measure the impact of these methods on the performance of the model. We show through these experiments that the results are positive.

La thèse porte sur l’étude de l’emploi stylistique du lexique juridique français dans la prose de Georges Simenon. Il existe un nombre considérable d’ouvrages consacrés à la terminologie juridique, aux concepts de loi et de crime, au comportement discursif des avocats, à l’analyse linguistique des textes de lois, aux problèmes de la traduction du lexique juridique, à l’interférence linguistique, à l’étude des particularités pragmatiques, structurelles et sémantiques des textes des traités, et ainsi de suite. Dans notre thèse, le lexique juridique est étudié du point de vue de la stylistique, ce qui constitue sa nouveauté théorique aussi bien que pratique. Dans le premier chapitre, nous examinons certains termes d’appartenance juridique exclusive selon le classement de Gérard Cornu et nous montrons qu’une sixième partie d’entre eux sont susceptibles, au moins potentiellement, d’acquérir des sens figurés. Dans le deuxième chapitre, nous étudions 53 termes juridiques utilisés par Georges Simenon au sens figuré décrivant de différentes situations de la vie courante, qui, dans la plupart des cas, ne sont pas liées au droit. Dans le troisième chapitre nous analysons, du point de vue opposé, les figures stylistiques employées pour caractériser de différentes situations juridiques présentes dans la prose de Georges Simenon. Ainsi, même si ces figures stylistiques sont relativement peu nombreuses, les recherches effectuées montrent que Georges Simenon, malgré son intention affichée, n’est pas parvenu à éliminer complètement les figures stylistiques, un des éléments constitutifs essentiels du langage poétique. / Our thesis concerns studies of the stylistic use of the French legal vocabulary in Georges Simenon’s prose. In fact, legal terminology, concepts of law and crime, discursive behavior of lawyers, texts of laws, problems of legal translation, those of linguistic interference, those of pragmatic, structural and semantic peculiarities of the language of international agreements, for instance, were examined by different linguists. So, contemporary linguistics are interested in studying legal terminology from different points of view. On the other hand, during the last decades, linguostylistic studies are also developing very quickly. In our thesis, legal terminology is studied from the point of view of stylistics, and this approach constitutes its’ theoretical and practical novelty. In the first chapter we examine some terms belonging exclusively to legal terminology, in accordance with Gerard Cornu’s classification, and we show that in reality approximately one sixth part of them can acquire, at least potentially, some figural meanings. In the second chapter, we study 53 legal terms used by Georges Simenon in their figural meaning to describe different situations from everyday life which, in the most of cases, are not associated with legal situations. In the third chapter we analyze, from the opposite point of view, stylistic figures used to characterize different legal situations presented in Georges Simenon’s prose. To summarize, even if these figures are relatively small in number, our thesis shows that the writer, in spite of his artistic intention, was not able to eliminate them completely and that they remain one of the most important elements of the poetical language.

Cette étude traite du sujet des emprunts lexicaux dans le domaine de la finance islamique. Etant donné que ces emprunts sont employés dans un environnement nouveau totalement différent de celui dont ils sont issus, ils rencontrent une confrontation au système de la langue receveuse. C’est cette confrontation qui se manifeste à tous les niveaux linguistiques : graphique, morphologique, morphosyntaxique, morpholexical, sémantique, contextuel et syntaxique que nous nous proposons d’étudier dans notre recherche. Au niveau graphique, nous discutons et analysons la variance formelle que les emprunts de ce domaine ont reçue en français. Au niveau morphologique, nous abordons le sujet des sigles et leur formation dans le domaine de la finance islamique. Concernant la morphosyntaxe, nous nous intéressons à la problématique de la singularisation ou la pluralisation d’un emprunt et le choix du genre de cet emprunt. Au niveau morpholexical, c’est le problème de la dérivation de ces unités qui est analysé et observé dans le corpus. Au niveau contextuel, nous reprenons la question du transcodage et du double transcodage des emprunts que nous essayons de développer, en ajoutant à la littérature déjà existante un axe qui n’a pas été traité auparavant : la problématique de transcodage des emprunts composés. La syntaxe des emprunts, sera traitée dans cette étude à partir de deux points primordiaux. Le premier étant la combinaison lexicale des emprunts avec les lexies de la langue receveuse ; le deuxième concerne, quant à lui, le comportement sémantico-syntaxique des emprunts. / This study deals with the subject of lexical loan words in the Islamic finance field. Therefore, and because these words are used in a new and totally different environment, they encounter a confrontation with the recipient language system. Hence, the purpose of the present thesis is to study this confrontation at all linguistic levels; be it graphic, morphological, morpholexical, semantic, contextual and syntactic. On the graphic level, the analysis will focus on the formal variance that loan words of this domain received in French. On the morphological level, we address the subject of acronyms and their formation in the Islamic finance field. With regard to the morphosyntax, our interest lies not only on the singularization or the pluralization of the loan words but on the choice of the grammatical gender of these loan words as well. On the morpholexical level, an analysis of the problem resulting from the derivation of these units as observed in the corpus. On the contextual level, we address again the issue of transcoding and double-transcoding of loan words that we are trying to develop. A concept that will add to the existing literature an axis that has not been dealt with before: the case of transcoding compound loan words. To sum up, this study deals with the syntax of loan words from two points of view. Firstly, it focusses on the lexical combination of loan words with the lexis of the recipient language and secondly, it focusses on the semantic-syntactic behavior these loan words.

Nous etudions dans cette these differentes lois de conservation hyperboliques associees a la modelisation des ecoulements en eaux peu profondes.<br />Nous nous consacrons d'abord a l'analyse numerique du systeme de Saint-Venant avec termes sources. Nous presentons un schema volumes finis bidimensionnel d'ordre 2, conservatif et consistant, qui s'appuie sur une interpretation cinetique du systeme et une methode de reconstruction hydrostatique des variables aux interfaces. Ce schema preserve la positivite de la hauteur d'eau et l'etat stationnaire associe au lac au repos.<br />Nous etendons ensuite l'interpretation cinetique au couplage du systeme avec une equation de transport. Nous construisons un schema volumes finis a deux pas de temps, qui permet de prendre en compte les differentes vitesses de propagation de l'information presentes dans le probleme. Cette approche preserve les proprietes de stabilite du systeme et reduit sensiblement la diffusion numerique et les temps de calcul.<br />Nous proposons egalement un nouveau modele de Saint-Venant multicouche, qui permet de retrouver des profils de vitesse non constants, tout en preservant le caractere invariant et bidimensionnel du domaine de definition. Nous presentons sa derivation a partir des equations de Navier-Stokes et une etude de stabilite - energie, hyperbolicite. Nous etudions egalement ses relations avec d'autres modeles fluides et sa mise en oeuvre numerique, la encore basee sur l'utilisation des schemas cinetiques.<br />Enfin nous etablissons un theoreme d'unicite pour les lois de conservation scalaires avec flux discontinus. La preuve est basee sur l'utilisation d'une nouvelle famille d'entropies, qui constituent une adaptation naturelle des entropies de Kruzkov classiques au cas discontinu. Cette methode permet de lever certaines hypotheses classiques sur le flux - convexite, existence de bornes BV, nombre fini de discontinuites - et ne necessite pas l'introduction d'une condition d'interface.

La première partie de ce travail concerne les équations elliptiques non coercitives. Nous prouvons, tout d'abord dans un cadre linéaire, l'existence et l'unicité d'une solution faible dans l'espace d'énergie habituel $H^1(\Omega)$ pour une classe d'équations de convection-diffusion pour lesquelles le terme de convection provoque la perte de coercitivité. Nous prouvons des résultats de régularité höldérienne sur les solutions de ces équations qui permettent ensuite de résoudre ces mêmes équations avec un second membre mesure. Nous étendons aussi les résultats d'existence et d'unicité d'une solution dans des cas variationnels non-linéaires non-coercitifs et nous étudions, pour une équation elliptique linéaire non-coercitive, la convergence d'un schéma volumes finis. La deuxième partie concerne l'unicité des solutions à des problèmes elliptiques non-linéaires avec seconds membres mesure. La troisième partie aborde la question de la condition d'hyperbolicité des systèmes du premier ordre à coefficients constants. Nous prouvons une CNS pour qu'un tel système ait une solution pour toute condition initiale de type Riemann (condition initiale naturelle dans l'étude des discrétisations numériques de ces systèmes). A l'aide d'un système particulier, nous étudions ensuite la différence entre notre CNS et les diverses conditions d'hyperbolicité de la littérature, puis nous prouvons que la solution d'un système hyperbolique n'est pas toujours stable par rapport au flux. La quatrième partie rassemble quelques autres travaux. Le premier concerne la densité dans $W^{1,p}(\Omega)$ des fonctions régulières satisfaisant une condition de Neumann. Le second est l'étude d'une discrétisation EF mixtes---VF pour un écoulement diphasique à travers un milieu poreux. Le troisième et dernier est l'étude des mesures sur $]0,T[\times \Omega$ ne chargeant pas le boréliens de capacité parabolique nulle et l'application de cette étude à la résolution d'une équation parabolique non-linéaire avec second membre mesure.