Peu d’artistes évoquent autant le sublime que Wagner, lequel, selon Nietzsche ne pouvait « respirer librement que dans le sublime et le supra-sublime ». Pourtant, le sublime wagnérien reste finalement peu analysé, sauf à travers quelques exemples précis.Nous avons donc tenté d’interroger l’ensemble des œuvres lyriques et certains écrits esthétiques de Wagner, pour les confronter à la tradition du sublime et à la philosophie qui s’en réclame. La tradition du sublime nous a donné de précieux éclairages sur la musique et l’action dramatique à partir du sublime poétique chez Longin, du sublime de l’obscur chez Burke, du sublime mathématique et du sublime dynamique de Kant, du sublime pathétique chez Schiller… Toutefois, de simples catégories ne suffisent pas à rendre compte de certains modes opératoires du sublime wagnérien. Il faut moins chercher d’autres clefs que se référer à une conception du sublime vraiment principielle et ouverte.De ce point de vue, le sublime n’est pas seulement une catégorie, une manière de parler et de classer : c’est un principe à la fois originaire, impératif et fondateur, comme l’a montré Baldine Saint Girons. Et toute la difficulté est de comprendre les articulations possibles entre un sublime pensé à partir de ses véhicules privilégiés (grandeur, laideur, obscurité, simplicité), un sublime analysé à partir de ses effets généraux (enthousiasme, étonnement, respect), et un sublime conçu comme principe, introduisant donc à la question des enjeux.Le problème tient au fait que le sublime est principe de lui-même en même temps que de l’expérience qui le découvre. Notre objet est donc de repérer les signifiants privilégiés de l’expérience du sublime, au moment où lui-même comme principe tend à se dérober.Nous essayons de montrer les seuils que franchit le sublime wagnérien et son élan vers un sublime cosmique. La « mélodie infinie » de Wagner perce néanmoins obliquement, comme, par exemple, dans le « thème du regard » de Tristan. Il ne s’agit justement plus de simples « thèmes » au sens classique, car leur « dire » - comme celui de Levinas - ne se réduit jamais en un dit « thématisable », mais poursuit son élan, telle la vrille du sublime. / Few artists evoke, as much as Wagner, the Sublime. According to Nietzsche: « more than anyone else », he could « breathe freely only in the Sublime and the supra Sublime » (The case of Wagner). However, the Wagnerian Sublime was finally few analysed, except through some precise examplesSo we tried to question the whole of lyric works and some of the aesthetic writings of Wagner, confronted with the tradition of Sublime, and the philosophies which are claim for these last. Sublime’s tradition gave us invaluable references on music and dramatic action, from poetic Sublime in Longin, Burkian Sublime of obscure, Kantian categories of « mathematic » or «dynamic » Sublime, pathetican Sublime of Schiller … However, the simple categories are not enough to give an account of the Wagnerian Sublime. We must, less seek other keys, than refer to conception of Sublime really from principle and open. From this point of view, Sublime is not only a category, a manner of speaking or classifying : it is a principle, at the same time originating, imperative and founding, as shown by Baldine Saint Girons. And all the difficulty is to understand the possible articulations of a Sublime thought from its privileged vehicles (greatness, ugliness, darkness, simplicity), a Sublime analysed from its general effects (enthousiasm, astonishment, respect), and a Sublime conceived as principle, so introducing to the question of the issues. The problem is due to the fact that the Sublime is principle of itself in the same time that of the experiment which discovers it. Our object is thus to locate the privileged meanings of Sublime’s experience, while itself as a principle tends to escape.We try to show the thresholds which crosses the Wagnerian Sublime and his impulse towards a cosmic Sublime. The « infinite melody » of Wagner is piercing nevertheless obliquely, like in, for example, the «glance theme » in Tristan. Precisely it is no more classical « themes », because their saying – like in Levinas – can’t be reduced in a thematisable said, but continue his impulse, like the spin of Sublime.

Cette recherche sur le principe de liberté tend à interroger la liberté en tant qu'elle est un principe, pour tenter de déterminer son sens, sa valeur et sa portée. La première partie («Un principe positivement mal assuré») repose sur une observation du droit positif, spécialement sur la façon dont celui-ci pose la liberté comme principe, afin de saisir le ou les sens qu'il lui donne, tout en observant ses évolutions réelles ou possibles. D'une part, le principe est appréhendé en tant que fondement de l'ordre juridique. D'autre part, il est considéré en tant que norme qui prévaut par principe. Mais tout au long de cette première partie, l'observation et la réflexion s'attachent à déceler les raisons de l'absence de reconnaissance explicite du principe de liberté comme tel. Ces raisons tiennent certainement à certains contextes doctrinaux ou théoriques, à des craintes pratiques, et à une évolution du sens commun de la liberté, qui s'éloigne de son sens initial, celui donnée par la Déclaration des droits de l'Homme et du Citoyen de 1789. La seconde partie (« Le principe de liberté : un principe juridiquement nécessaire») entend d'abord démontrer la nécessité de pleinement reconnaître le principe de liberté comme principe de droit, c'est-à-dire comme norme de droit positif. Cette reconnaissance permettrait en effet une meilleure saisie du fonctionnement de l'ordre juridique, du fondement des normes, et de l'engendrement de nouvelles normes, notions ou mécanismes procéduraux. Cette reconnaissance assurerait également une reconsidération de l'encadrement du principe de liberté. Ensuite, et plus fondamentalement, cette seconde partie vise aussi à attester que la liberté est un principe du droit, c'est-à-dire qu'elle est, plus généralement, nécessaire à l'existence du droit en tant que tel et à la reconnaissance totale d'un principe positif de liberté. Le principe de liberté est alors considéré d'un point de vue ontologique. / This research on the principle of freedom explores freedom as a principle, and endeavors to determine its meaning, value and scope. The first part ("A positively uncertain principle") draws on an observation of substantive law, particularly the way in which it lays down freedom as a principle, in order to grasp the meaning(s) this gives it, while observing its actual or possible developments. First, the principle is explored as a basis of the legal system. Second, it is considered as a standard that prevails on principle. But a series of observations and thoughts throughout the first part aim to explain why there is no explicit recognition of the freedom principle as such. The reasons for this certainly stem from various doctrinal or theoretical contexts, practical fears, and changes in the commonly-perceived meaning of freedom, which has moved away from the original sense given to it by the1789 Declaration of the Rights of Man and Citizens. The second part ("The principle of freedom : a legally necessary principle") sets out initially to demonstrate the need to acknowledge the freedom principle fully as a principle of law as it is laid down, i.e. as a standard of substantive law. This recognition would enable a better grasp of the way the legal system works, the rationale for standards, and the generation of new procedural standards, concepts and mechanisms. This recognition would also ensure a reappraisal of the framework of the freedom principle. Following this, the second part aims to show that, more fundamentally, freedom is also a principle of ontological Law, i.e. that it is necessary as a whole to the existence of law itself, and to the total recognition of a positive principle of freedom. The freedom principle is then examined from an ontological standpoint.

O objetivo dessa dissertação é apresentar um dicionário bilíngue principense/português, bem como seu processo de produção. O dicionário foi elaborado a partir de dados coletados em trabalho de campo original obtidos em viagens à ilha do Príncipe e da compilação de dados retirados da literatura. No que diz respeito à microestrutura dos verbetes, o dicionário contém anotação (ortográfica, transcrição fonética, rubrica gramatical e equivalência em português. Neste trabalho, também apresento uma abordagem da problemática do acesso à língua, da coleta de dados e da formação desse tipo de lista. Todo o material foi anotado considerando a proposta ortográfica do ALUSTP (Alfabeto Unificado para a Escrita das Línguas Nativas de S. Tomé e Príncipe), aprovada em 2012 pelo Governo de São Tomé e Príncipe como grafia oficial das línguas nacionais. Em última análise, disponibilizamos um instrumento linguístico que poderá ser útil tanto para os habitantes da ilha do Príncipe como para a comunidade científica e, dessa forma, preencher uma lacuna em relação à inexistência de materiais paradidáticos bilíngues principense/português, que possa auxiliar no ensino da língua principense nas escolas. / The aim of this work is to present a bilingual dictionary Principense-Portuguese, as well as explain the proceedings taken in the compilation. The dictionary was compiled from data collected in original fieldwork obtained on trips to the island of Principe and compiling data from the literature. Regarding the microstructure of the lexical entries, the dictionary contains annotation (spelling, phonetic transcription, grammatical category and the equivalent in Portuguese. This paper also presents an approach to issues of access to language, data collection and formation of such list. All material was recorded considering the draft of Alfabeto Unificado das Línguas Nativas de São Tomé e Príncipe- ALUSTP (Unified Alphabet for the Writing of Native Languages of São Tomé and Príncipe), approved in 2012 by the Government of São Tome and Príncipe as an official orthography to the national languages. In conclusion, we provide a linguistic tool that can be useful both for the inhabitants of the island of Principe, as to the scientific community and thus fill a gap in relation to the lack of bilingual educational materials Principense-Portuguese, that can provide assistance in teaching principense language in schools.

Partant du postulat selon lequel la principale justification de la répression de formes d’expressions réside dans leur nocivité supposée, nous tentons de répondre à la question suivante : comment définir des limites claires et cohérentes à la liberté d’expression ? L’analyse des controverses relatives à la pornographie, et en particulier de la manière dont les notions de liberté d’expression et de nuisance ont été articulées, contribue à répondre à cette question générale. À travers l’analyse des débats portant sur la restriction des représentations sexuelles, nous tentons de montrer que les parties en présence ne sont pas parvenues à définir la notion de « nuisance » de manière claire et satisfaisante, et ne permettent pas, dès lors, de définir avec précision les limites légitimes de la liberté d’expression. Les deux voies théoriques alternatives que nous avons identifiées, les conceptions instrumentales et déontologiques de la liberté d’expression, ne se révèlent pas plus convaincantes. Nous montrons néanmoins qu’il est possible de préciser le principe de non-nuisance en y intégrant deux éléments auparavant négligés : la subjectivité du récepteur, et les rapports d’autorité qui existent entre le locuteur et le récepteur. Nous défendons ainsi l’idée que le principe de non-nuisance reste l’instrument le plus clair et le plus cohérent pour fonder les limites de la liberté d’expression, à condition de l’amender et de le compléter. / Acknowledging the fact that the main justification to restrict some forms of expression lies in the harm they may cause to others, this thesis aims at answering the following question: how do we define clear and coherent limits of the freedom of expression? The study of the controversies regarding pornography, and particularly the way in which the concepts of freedom of expression and harm are closely linked together, is an important contribution in order to answer this vast subject. Through the analysis of debates with regard to sexual representations, this thesis aims at gaining a deeper understanding on how the authors were unsuccessful in defining the notion of « harm » in a clear and convincing way, and fail at allowing to set precisely the legitimate limits of freedom of expression. The two alternative theoretical approaches that were identified and established - the instrumental and deontological conceptions of freedom of expression – were not proven to be more satisfactory either. However, this research confirms that the harm principle can be clarified if two previously neglected aspects are included in the analysis: the receiver’s subjectivity, and the authority relationship established between the speaker and the viewer. Thus, it is argued that the harm principle, given that it is modified and completed, remains the most effective and adequate tool in order to ground the limits of freedom of expression.

L’objectif principal de ce travail est l’étude de la planification de trajectoires pour des drones de type HALE ou MALE. Les modèles cinématiques de ces drones sont étudiés. Les drones HALE sont modélisés par le système de Dubins. Pour les drones MALE, le modèle est construit en étudiant le repère cinématique du drone. Nous considérons les problèmes de planification de trajectoires point-point et point-pattern. Il s’agit, à partir de la position courante du drone, de rejoindre un point ou une figure prédéfinie dans l’espace. La planification point-point est abordée sous forme d’un problème de contrôle optimal. Deux méthodes sont proposées pour résoudre le problème point-pattern. D’abord nous présentons la synthèse en temps minimal pour le système de Dubins. Ensuite, nous développons une méthode basée sur le principe de LaSalle. La première méthode est utilisée au sein d’un algorithme de planification pour des drones HALE. La deuxième permet de stabiliser les deux types de drones considérés vers un pattern. Nous proposons une extension des algorithmes de planification développés, basée sur une discrétisation del’espace grâce aux graphes de Voronoï et une méthode de planification discrète, pour construire des trajectoiresdans des milieux encombrés. Nous étudions également le problème de couplage drone/capteur. Il s’agit de calculer une trajectoire permettant de satisfaire les objectifs du drone et de son capteur (une caméra). L’algorithme proposé est construit à partir de la résolution d’un problème quadratique sous contraintes.Dans une seconde partie, nous analysons un problème de contrôle optimal inverse. Celui-ci permet d’améliorer les résultats des méthodes de planification en s’inspirant du comportement des pilotes. Après avoir posé le problème, les résultats théoriques sont exposés et le cas particulier du système de Dubins est étudié en pratique. / This thesis is about path planning for HALE or MALE UAVs (Unmanned Aircraft Vehicles), possibly under mission constraints. As such, the study is performed at the kinematic level : HALE UAVs are represented as Dubins systems, and a model for MALE UAVs is constructed by studying their kinematic frame. In the first part, we tackle the path planning problem for a UAV that must join a target (a point or a pattern), starting from any position. The point to point path planning problem is addressed as an optimal control problem. Regarding the point to pattern path planning problem, two different methods are proposed. The former consists in solving the minimum time synthesis for the Dubins system, in order to obtain a basis for a HALE UAVs planning algorithm. The latter method relies on the LaSalle principle ; it permits to stabilize a HALE or MALE UAV to a pattern.In addition, extensions of the previously developed algorithms to cluttered environnement are provided. This extension is achieved thanks to a space discretization using Voronoi diagrams and a discrete planning method. Finally, the mission constraints are dealt with as a coupling problem between the UAV and its sensors. The proposed algorithm is presented in the form of a constrained quadratic problem.In the second part of this thesis, we want to refine the planning algorithm to get a result closer to trajectories of pilots. In order to do that, we solve an inverse optimal control problem where the cost to find is computed from the experience of pilots. Theoretical results are presented and applied to the particular case of the Dubins system.

On étudie le contrôle de systèmes quantiques en dimension finie soumis à des champs laser externes. Après avoir examiné l'exemple concret de l'alignement d'une molécule diatomique en milieu dissipatif, on s'intéresse au problème spécifique du contrôle optimal, où l'objectif est d'amener le système d'un état initial à un certain état final tout en minimisant une fonctionnelle de coût. Le principe du maximum de Pontryagin (PMP) fournit les conditions nécessaires d'optimalité, en établissant que toute trajectoire optimale est la solution extrémale d'un problème étendu de structure Hamiltonienne. Dans ce contexte, on procède à l'analyse de deux systèmes particuliers. Le premier est un système dissipatif à 2 niveaux, dont on souhaite déterminer l'ensemble des trajectoires en temps minimum; le second est un système conservatif à 3 niveaux non complètement contrôlable, où une mesure projective permet d'assister le processus de contrôle.

Le calcul de réécriture est un lambda-calcul avec filtrage. Cette thèse est consacrée à l'étude de systèmes de types pour ce calcul et à son utilisation dans le domaine de la déduction.<br /><br />Nous étudions deux paradigmes de typage. Le premier est inspiré du lambda-calcul simplement typé, mais un terme peut y être typé sans être terminant. Nous l'utilisons donc pour représenter des programmes et des systèmes de réécriture. La seconde famille de systèmes de types que nous étudions est adaptée des Pure Type Systems. Nous en démontrons la normalisation forte grâce à une traduction vers le lambda-calcul typé.<br /><br />Enfin nous proposons deux approches pour l'utilisation du calcul de réécriture en logique. La première consiste à définir des termes de preuve pour la déduction modulo à l'aide des systèmes fortement normalisants. Dans la seconde, nous définissons une généralisation de la déduction naturelle et nous montrons que le filtrage est utile pour représenter les règles de ce système de déduction.

On s'interesse ici a la resolution numerique de problemes de controle optimal peu reguliers. On utilise a la base les methodes dites indirectes, a la fois precises et rapides, mais en pratique tres sensibles a l'initialisation. Cette difficulte nous amene a utiliser une demarche homotopique, dans laquelle on part d'un probleme apparente plus facile a resoudre. Le "suivi de chemin" de l'homotopie connectant les deux problemes est ici realise par un algorithme de type simplicial. On s'interesse en premier lieu a un probleme de transfert orbital avec maximisation de la masse utile, puis a deux problemes d'arcs singuliers. Les perspectives futures liees a ces travaux comprennent en particulier l'etude de problemes a contraintes d'etat, egalement delicats a resoudre par les methodes indirectes. Par ailleurs, on souhaite comparer cette approche avec les methodes directes, qui impliquent la discretisation totale ou partielle du probleme.

On étudie plusieurs problèmes aux limites non linéaires. On établit des résultats d'existence, d'unicité, de multiplicité ou de bifurcation. Notre analyse porte sur le principe du maximum et la théorie du point critique dans le sens de Clarke.

Cette thèse est consacrée à l'étude des équations de réaction diffusion non-locale du type $u_(t)-(\int_(\R)J(x-y)[u(y)-u(x)]dy)=f(u)$. Ces équations non-linéaires apparaissent naturellement en physique et en biologie. On s'intéresse plus particulièrement aux propriétés (existence, unicité, monotonie) des solutions du type front progressif. Trois classes de non-linéarités $f$ (bistable, ignition, monostable) sont étudiées. L'existence dans les cas bistable et ignition est obtenue via une technique d'homotopie. Le cas monostable nécessite une autre approche. L'existence est obtenue via une approximation des équations sur des semi-intervales infinis $(-r,+\infty)$. L'unicité et la monotonie des solutions sont quand elles obtenues par méthode de glissement. Le comportement asymptotique ainsi que des formules pour les vitesses sont aussi établis.