A la fin des années 1880, le langage musical de Claude Debussy, influencé à la fois par Wagner, le symbolisme, et la poétique de Baudelaire, se transforme en profondeur.Le système tonal, alors unique horizon d'attente (Jauss) des institutions musicales européennes, est repoussé à l'arrière plan des mélodies du compositeur, par des associations avec des thèmes poétiques comme les souvenirs, l'humour, et l'enfermement.Cette thèse se concentre sur une analyse de ces transformations, et sur une comparaison de ce langage musical neuf avec celui des Serres chaudes d'Ernest Chausson, cycle de mélodies qui partage pourtant les mêmes influences poétiques et musicales. / In the late 1880's, Claude Debussy's musical language, influenced by Wagner, symbolism and Baudelaire's poetry, deeply transforms itself.The tonal system, still regarded as the unique horizon of expectations (Jauss) of European musical institutions, is pushed to the background in the composer's melodies by his characteristic associations with poetical themes like memories, humor, and reclusion.This thesis focuses on an analysis of these transformations and on a comparison of this new musical language with Ernest Chausson's Serres chaudes, which still shares the same poetic and musical influences.

La largeur linéaire et la largeur arborescente ont été introduites par Robertson et Seymour dans leurs travaux sur les mineurs de graphes. De manière informelle, la largeur linéaire (resp. la largeur arborescente) d'un graphe mesure l'écart entre ce graphe et la classe des chaînes (des arbres). Les deux paramètres se sont révélés très puissants de point de vue algorithmique, car de nombreux problèmes NP-difficiles deviennent polynomiaux lorsque l'on se restreint à des classes de graphes de largeur linéaire ou de largeur arborescente bornée. Etant donné un graphe G=(V,E) quelconque, un graphe d'intervalles H=(V,F) contenant G est appelé complétion d'intervalles de G. Calculer la largeur linéaire de G revient à trouver une complétion d'intervalles H, tout en minimisant la clique maximum de H. Le problème étant NP-difficile, nous calculerons des complétions d'intervalles minimales, où l'on demande seulement que l'ensemble d'arêtes rajoutées F\E soit minimal par inclusion parmi toutes les complétions possibles. Une approche similaire, à travers les triangulations minimales, est fortement utilisée pour comprendre et calculer la largeur arborescente. Ce mémoire présente nos résultats sur les complétions d'intervalles minimales. Nous donnons trois algorithmes calculant une complétion d'intervalles minimale, basés sur des approches différentes. Nous présentons également un algorithme calculant une complétion d'intervalles propres minimale. Enfin, nous montrons que la largeur linéaire des graphes d'intervalles circulaires peut être calculée en temps polynomial.

On étudie des familles rigides de connexions de selles sur des surfaces de demi-translation. Les configurations correspondantes sont une première étape pour comprendre la géométrie à l'infini des strates de l'espace des modules des différentielles quadratiques. On étend un résultat de Masur et Zorich en classifiant ces configurations pour chaque composante connexe de strate dès que le genre est supérieur à cinq. <br /><br />On regarde ensuite de façon plus fine des dégénérescences particulières et on prouve en particulier qu'une strate n'admet qu'un seul bout topologique lorsque le genre est zéro.<br /><br />Le lien entre surfaces de translation et échanges d'intervalles fournit un outil puissant pour l'étude du flot de Teichmüller. On propose une généralisation de cette représentation au cadre des différentielles quadratiques. On relie les propriétés géométriques et dynamiques de ces applications à des critères combinatoires explicites portant sur les permutations généralisées associées.

Ce travail de thèse traite du maintien dynamique de représentations géométriques de graphes. Le manuscrit met en avant des connexions fortes entre trois types de représentation de graphes : les décompositions de graphes, les modèles géométriques et les représentations arborescentes à degrés de liberté (PQ-arbres, PC-arbres et autres structures du même type). De nouvelles relations entre ces objets sont mises en évidence et d'autres déjà connues sont approfondies. Notamment, il est établi une équivalence mathématique et algorithmique entre la décomposition modulaire des graphes d'intervalles et le PQ-arbre de leurs cliques maximales.<br /><br />Les connexions entre les trois types de représentation précités sont exploitées pour la conception d'algorithmes de reconnaissance entièrement dynamiques pour les cographes orientés, les graphes de permutation et les graphes d'intervalles. Pour les cographes orientés, l'algorithme présenté est de complexité optimale, il traite les modifications de sommet en temps O(d), où d est le degré du sommet en question, et les modifications d'arête en temps constant. Les algorithmes pour les graphes de permutation et les graphes d'intervalles ont la même complexité : les modifications d'arête et de sommet sont traitées en temps O(n), où n est le nombre de sommets du graphe. Une des contributions du mémoire est de mettre en lumière des similarités très fortes entre les opérations d'ajout d'un sommet dans un graphe de permutation et dans un graphe d'intervalles. <br />L'approche mise en oeuvre dans ce mémoire est assez générale pour laisser entrevoir les mêmes possibilités algorithmiques pour d'autres classes de graphes définies géométriquement.

La première partie de ce travail est consacrée à l'introduction d'un nouvel outil de modélisation - les Réseaux de Petri à Intervalles - pour répondre à un besoin de spécification, validation et évaluation des systèmes de production intégrant des contraintes d'intervalles de validité sur une qualité donnée. Le premier chapitre situe la contribution applicative par rapport à l'état de l'art en la restreignant à la régulation sur la commande locale pour les ateliers en fonctionnements répétitifs. Ensuite, L'extension de certaines propriétés structurelles des réseaux de Petri P-temporels à des problématiques non temporelles est alors étudiée avec ce nouvel outil.<br /> La deuxième partie de ce travail développe une validation applicative sur une manufacture de tabac. Une construction systématique du modèle Réseaux de Petri à Intervalles est proposée. La méthodologie s'appuie sur les statistiques de production de l'atelier. En s'appuyant sur ce modèle, un réglage est analytiquement calculé en prenant en compte les spécifications de robustesse. Ensuite, une commande réactive est proposée pour faire face aux dérives lentes du procédé. Enfin, l'efficacité de la conduite est démontrée en la simulant sur un ensemble de données de production différent de celui qui a été utilisé pour la construction du modèle.<br />Le présent travail a donc introduit un outil de modélisation dont la pertinence est avérée, au moins sur ce type d'application. Reste que l'abstraction fonctionnelle de l'outil ouvre des champs applicatifs qui restent à explorer, tant d'un point de vue analyse que d'un point de vue mise en œuvre.

Le problème de placement sur deux dimensions consiste à décider s'il existe un rangement d'objets rectangulaires dans une boîte donnée. C'est un problème combinatoire difficile (à la complexité du respect des capacités s'ajoute celle du positionnement des objets). Nous considérons les variantes sans rotation des objets et avec ou sans optimisation de la valeur des objets placés. Nous menons une étude exploratoire des méthodologies qui peuvent être développées à l'interface de la programmation mathématique, de l'optimisation combinatoire et de la théorie des graphes. Nous comparons les formulations de la littérature et en proposons de nouvelles. Nous développons et testons deux approches de résolution innovantes. L'une est basée sur la décomposition de Dantzig-Wolfe (avec un branchement sur les contraintes disjonctives de non recouvrement des objets). L'autre constitue en une approche combinatoire basée sur diverses caractérisations des graphes d'intervalles (modélisant le chevauchement des objets selon chaque axe).

Ce travail de thèse porte sur la dynamique du flot linéaire des surfaces de translation et de sa renormalisation par le flot de Teichmüller introduite par H. Masur et W. Veech en 1982. Une version combinatoire de cette renormalisation, l'induction de Rauzy sur les échanges d'intervalles, fût introduite auparavant par G. Rauzy en 1979. D'une part, nous faisons une étude combinatoire des classes de Rauzy qui forment une partition de l'ensemble des permutations irréductibles et interviennent dans l'algorithme d'induction de Rauzy. Nous donnons une formule pour la cardinalité de chaque classe. D'autre part, nous étudions un modèle de billard infini $\ZZ^2$-périodique dans le plan appelé le \og vent dans les arbres \fg introduit dans une version stochastique par P.~et T. Ehrenfest en 1912 et par J. Hardy et J. Weber en 1980 dans la version périodique. Nous construisons une famille de directions pour lesquelles le flot du billard est divergent donnant ainsi des exemples de $\ZZ^2$-cocycles divergents au-dessus d'échanges d'intervalles. De plus, nous démontrons que le taux polynomial de diffusion générique est $2/3$ autrement dit que la distance maximale atteinte par une particule au temps $t$ est de l'ordre de $t^{2/3}$.

On étudie les feuilletages transversalement affines des surfaces compactes, avec ou sans bord. On met en relation plusieurs méthodes de construction de tels feuilletages: application de premier retour et échanges d'intervalles affines (pour un feuilletage pas nécessairement orientable); mesure brisée sur un réseau ferroviaire; feuilletage mesuré sur le revêtement universel avec automorphismes du revêtement agissant de manière affine; recollement le long de leur bord de surfaces munies de feuilletages affines. On étudie l'injectivité des applications à image dans l'espace des classes d'équivalence des feuilletages transversalement affines qui résultent de ces diverses constructions.

Ce travail étudie les déviations de sommes ergodiques pour des systèmes dynamiques substitutifs avec une matrice qui admet des valeurs propres de module supérieur à 1. Précisément, nous nous concentrons sur les substitutions telle que ces valeurs propres ne sont pas conjuguées. Dans un premier temps, on défini les lettres a-minimales et dominantes d'un mot pour étudier sa ligne brisée associé. On défini la ligne brisée normalisée et sa fonction limite. Pour l'étude des sommes ergodiques, on défini le sous-automate des lettres minimales. On donne des conditions sur une substitution de sorte qu'il y ait un nombre infini des sommes ergodiques égales à zéro pour un point x 2 X. Enfin, en utilisant un boucle dans une classe de Rauzy, on prouve l'existence d'un nombre infini d'échanges d'intervalles auto-similaires, dont la matrice de Rauzy a deux valeurs propres non conjuguées de module supérieur à 1. Et tout échange d'intervalles affine semi-conjugué à cet échange d'intervalles est aussi conjugué. / This thesis focuses on the deviation of ergodic sums for a substitution dynamical systems with a matrix that admits eigenvalues of modulus larger than 1. Specifically, we concentrate on substitutions with non-conjugated eigenvalues. At first, we define the a-minimals letters and the dominant letters of a word to study its broken associated line. We define the normalize broken line and its limit function. For the study of ergodic sums, we define the sub-automaton of minimum letters. We give conditions on a substitution so that there is infinitely many zero sums ergodic for a point x 2 X. Finally, using a loop in a class of Rauzy, we prove the existence of infinitely many interval exchange transformation self-similar, whose Rauzy matrix has two non-conjugated eigenvalues larger than 1 and every affine interval exchange transformation that is semi-conjugated, is also conjugated.

De plus en plus de calculs de surveillance, contrôle etc. sont effectués de façon logicielle. Notre objectif est de prouver formellement des calculs numériques qui offrent déjà un premier niveau de garantie sur leurs résultats, comme des calculs par intervalles, et en particulier des calculs avec des modèles de Taylor.<br /><br />Cette thèse présente la construction d'une bibliothèque de modèles de Taylor pour l'assistant de preuves PVS. Nous avons développé les modèles de Taylor pour les opérations d'addition, soustraction, multiplication par un scalaire, multiplication, élévation au carré, puissance et racine carrée. Nous avons également développé les modèles de Taylor pour l'exponentielle, le sinus, l'arctangente et les sinus et cosinus hyperboliques. Nous avons démontré dans PVS que les opérations et fonctions définies dans notre bibliothèque préservent la propriété d'inclusion, travail de preuve qui n'avait pas été fait auparavant dans les implantations des modèles de Taylor.<br /><br />Nous avons développé une stratégie PVS pour certifier des inégalités ou bornes d'expressions. Quand on utilise un assistant de preuves pour démontrer une inégalité, il peut être nécessaire de guider l'assistant pas à pas dans la démonstration. Pour cette raison, les utilisateurs effectuent rarement la démonstration. Par conséquent, simplifier la façon de prouver les inégalités et bornes d'expressions facilite l'utilisation de PVS.<br /><br />Notre bibliothèque peut être utilisée pour construire des modèles de Taylor pour des expressions données, pour dériver des bornes plus ou moins précises pour des expressions arithmétiques et également pour certifier des inégalités ou bornes d'expressions. Disposer d'une méthode pour vérifier des expressions dans un assistant de preuves permet de vérifier certaines expressions qui apparaissent dans des logiciels de missions critiques.<br /><br />Pour résumer, nous avons développé une bibliothèque de modèles de Taylor en PVS qui comprend les opérations arithmétiques et certaines fonctions élémentaires. Nous avons démontré la propriété d'inclusion pour les opérations et fonctions développées. Nous avons développé une stratégie appelée containment pour démontrer la propriété d'inclusion des modèles de Taylor construits à partir des opérations et fonctions précédemment définies. Nous avons développé une stratégie appelée taylors pour prouver des inégalités en utilisant les modèles de Taylor. Nous avons illustré sur deux applications l'intérêt de ces développements.