Les résultats de Colson ou de Moschovakis remettent en question que le modèle récursif primitif puisse calculer une valeur par tous les moyens possibles : il y a toutes les fonctions voulues mais il manque des algorithmes. La thèse de Church exprime donc plutôt ce qui peut être calculé que comment le calcul est fait. Nous utilisons la thèse de Gurevich formalisant l'idée intuitive d'algorithme séquentiel par les Abstract States Machines (ASMs).Nous représentons les programmes impératifs par le langage While de Jones, et une variante LoopC du langage de Meyer et Ritchie permettant de sortir d'une boucle lorsqu'une condition est remplie. Nous dirons qu'un langage caractérise une classe algorithmique si les modèles de calcul associés peuvent se simuler mutuellement, en utilisant une dilatation temporelle et un nombre borné de variables temporaires. Nous prouvons que les ASMs peuvent simuler While et LoopC, que si l'espace est primitif récursif alors LoopC est en temps récursif primitif, et que sa restriction LoopC_stat où les bornes des boucles ne peuvent être mises à jour est en temps polynomial. Réciproquement, une étape d'ASM peut être traduite par un programme sans boucle, qu'on peut répéter suffisamment en l'insérant dans un programme qui est dans While si la complexité est quelconque, dans LoopC si elle est récursif primitif, et dans LoopC_stat si elle est polynomiale.Ainsi While caractérise les algorithmes séquentiels en temps quelconque, LoopC ceux en temps et espace récursifs primitifs, et LoopC_stat ceux en temps polynomial / Colson and Moschovakis results cast doubt on the ability of the primitive recursive model to compute a value by any means possible : the model may be complete for functions but there is a lack of algorithms. So the Church thesis express more what can be computed than how the computation is done. We use Gurevich thesis to formalize the intuitive idea of sequential algorithm by the Abstract States Machines (ASMs).We formalize the imperative programs by Jones' While language, and a variation LoopC of Meyer and Ritchie's language allowing to exit a loop if some condition is fulfilled. We say that a language characterizes an algorithmic class if the associated models of computations can simulate each other using a temporal dilatation and a bounded number of temporary variables. We prove that the ASMs can simulate While and LoopC, that if the space is primitive recursive then LoopC is primitive recursive in time, and that its restriction LoopC_stat where the bounds of the loops cannot be updated is in polynomial time. Reciprocally, one step of an ASM can be translated into a program without loop, which can be repeated enough times if we insert it onto a program in While for a general complexity, in LoopC for a primitive recursive complexity, and in LoopC_stat for a polynomial complexity.So While characterizes the sequential algorithms, LoopC the algorithms in primitive recursive space and time, and LoopC_stat the polynomial time algorithms

Dans Dialectique de la Raison, Adorno et Horkheimer tentent d’esquisser le pourquoi et le comment de ce retour à la barbarie qu’a connu la civilisation européenne, lors du troisième Reich. Quelles sont ces conditions qui ont rendu possibles les massacres administrés sous le régime nazi? La résolution de cette énigme qui se solde sur l’échec de l’Auflkärung nous dévoile une nécessité, celle d’une transformation radicale à la fois de l’éthique et de la métaphysique dans sa conception de la vérité. Celle-ci se présente à nous sous la forme d’une norme morale : « Dans leur état de non-liberté, Hitler a imposé aux hommes un nouvel impératif catégorique; penser et agir en sorte qu’Auschwitz ne se répète pas ». Quelles modalités de penser et d’agir nous exhortent ce nouvel impératif catégorique? La philosophie d’Adorno, critiqué pour n’avoir été que négative dans son entreprise, est-elle en mesure de nous fournir des prescriptions normatives capables de réorienter le penser théorétique et l’éthique? / In Dialectic of Enlightenment, Adorno and Horkheimer try to explain the reasons for why and how, European civilization committed barbaric crimes during the third Reich. What conditions that made possible the massacres administered under the Nazi regime? The failure of the Enlightenment is the answer to this question and requires a radical transformationof ethics and metaphysics. This necessity takes the form of a new categorical imperative: “A new categorical imperative has been imposed by Hitler upon human beings in the state of their unfreedom: to arrange theirs thoughts and actions so that Auschwitz will not repeat itself, so that nothing similar will happen”. Is Adorno’s philosophy, often accused of being too negative, is it able to provide normative prescriptions able to give a new direction to the theoretical thinking and ethics?

La réflexion morale de Theodor Adorno est manifestement traversée par une tension : l’exigence paradoxale d’enraciner pleinement la morale à la fois dans les impulsions les plus vives et dans la raison la plus lucide. Plus qu’une excentricité parmi d’autres de la figure de proue de l’École de Francfort, le présent mémoire donne à penser que ce problème pourrait être une des principales charnières de son éthique. L’objectif de ma recherche est de dégager une voie pour articuler conjointement, «sans sacrifice aucun», ces deux exigences. Pour ce faire, je tenterai d’étayer l’hypothèse suivante : l’analyse du problème de la liberté et de la non-liberté que développe le premier des trois «modèles» de Dialectique négative permet de comprendre à la fois le lien et l’écart entre la dimension impulsive et rationnelle de l’éthique d’Adorno. L’argument qui sera déployé se penchera d’abord sur le problème de la non-liberté et son incarnation à travers le phénomène concret de l’antisémitisme ainsi que de la peur et de la rage animale dans lesquelles il s’enracine, pour ensuite examiner la conception adornienne de la liberté dans ses deux dimensions de «pleine conscience théorique» et «d’impulsion spontanée», et pour finalement tenter d’apprécier la portée plus générale pour la compréhension de l’éthique d’Adorno de cette interprétation du problème de la liberté en tentant de comprendre sur cette base son «nouvel impératif catégorique». / Throughout Theodor Adorno’s moral thought runs a paradoxical demand : that morality should be fully rooted in both the liveliest impulses and the keenest reasonings. More than a quirk among Adorno’s many, this essay suggests that this problem plays a pivotal role in his ethics. The current research seeks to develop a strategy to conjointly articulate these two demands. To this end, I will try to expound the following hypothesis : the analysis of the problem of freedom and unfreedom set forth by the first of the ‘models’ in Negative Dialectics enables making sense of both the bond and the disparity between the impulsive and rational constituents of adornian ethics. This study will first focus on the problem of unfreedom and its embodiment in the concrete phenomena of anti-Semitism as well as the animal fear and rage that it builds upon. It will then go on to examine Adorno’s conception of freedom in its two facets : «full theoretical consciousness» and «spontaneous impulse». It will finally try to ascertain the more general relevance of this interpretation of the problem of freedom for making sense of Adorno’s ethics, by trying to make sense on that basis of his «new categorical imperative».

Terre sauvage autrefois délaissée, le littoral méditerranéen est de nos jours un espace raréfié et saturé. Il est ainsi en proie à divers affrontements lorsque des droits aux aspirations différentes interviennent conjointement sur ce territoire exigu, tel le droit de l'urbanisme et le droit de l'environnement. En effet, leurs finalités d'intérêt général sont directement éloignées l'une de l'autre sur les espaces côtiers méditerranéens car si la première s'emploie à aménager, à transformer les sols urbains, la seconde se consacre à préserver, voire à restaurer l'environnement littoral. Dès lors, l'apparente autonomie juridique qui caractérise d'ordinaire les relations du droit de l'urbanisme et du droit de l'environnement évoluent ainsi en hostilité lorsqu'ils se rencontrent sur cet espace sur occupé. Néanmoins, l'urgence à sauvegarder le territoire littoral nécessite de dépasser cette logique d'opposition entre les finalités d'intérêt général de ces deux disciplines juridiques. C'est essentiellement le juge administratif qui s'attachera à solutionner ces conflits de normes par le biais de la méthode de la conciliation. Celles-ci étant d'égales valeurs, le juge ne saurait en effet avoir recours à la théorie de la hiérarchie des normes. Aussi, conformément à l'objectif originel poursuivi par le législateur de la loi Littoral du 3 janvier 1986, le juge administratif opère tacitement un équilibre entre l'aménagement et la préservation de l'environnement littoral. Pour autant, l'interprétation de la loi du 3 janvier 1986 ne saurait suffire à assurer un développement équilibré de ces espaces côtiers, notamment en raison de leur propension à être convoité par de multiples et diverses activités. C'est pourquoi, les préoccupations environnementales se devaient d'être incorporées directement dans le corpus urbanistique. Or, malgré une louable prise en considération des enjeux environnementaux dans le droit de l'urbanisme, cette politique juridique d'intégration génère une profusion de règles et d'outils juridiques applicable sur le littoral méditerranéen. Tant est si bien que l'appréhension du droit du littoral est aujourd'hui complexe et son effectivité pour le moins relative.

Le mode impératif existe-t-il en français ? Une première étude morphologique analytique du verbe impératif montre que, dans la diachronie considérée, la langue retrouve le même type de claires oppositions morphématiques modales qui avaient cours en latin. Une deuxième partie de sémantique lexicale formelle nous permet, à partir du même corpus, de mettre au jour un continuum de la phrase nucléaire, au sein duquel le mode impératif occuperait la position médiane, entre l'interjection et la prédication. Nous montrons enfin que cette identité modale médiane trouve aussi ses marques propres à l'échelle syntagmatique, à travers notamment la syntaxe clitique ou la conception d'adverbes spécifiques, comme donc.

Les langages synchrones sont apparus autour des années quatre-vingt, en réponse à un besoin d’avoir un modèle mathématique simple pour implémenter des systèmes temps réel critiques. Dans ce modèle, le temps est découpé en instants discrets durant lesquels tous les composants du système reçoivent et produisent une donnée. Cette modélisation permet des raisonnements beaucoup plus simples en évitant de devoir prendre en compte le temps de calcul de chaque opération. Dans le monde du logiciel critique, la fiabilité du matériel et de son fonctionnement sont primordiaux, et on accepte d’être plus lent si on devient plus sûr. Afin d’augmenter cette fiabilité, plutôt que de concevoir manuellement tout le système, on utilise des machines qui synthétisent automatiquement le système souhaité à partir d’une description la plus concise possible. Dans le cas du logiciel, ce mécanisme s’appelle la compilation, et évite des erreurs introduites par l’homme par inadvertance. Elle ne garantit cependant pas la bonne correspondance entre le système produit et la description donnée. Des travaux récents menés par une équipe INRIA dirigée par Xavier Leroy ont abouti en 2008 au compilateur CompCert d’un sous-ensemble large de C vers l’assembleur PowerPC pour lequel il a été prouvé dans l’assistant de preuve Coq que le code assembleur produit correspond bien à la description en C du programme source. Un tel compilateur offre des garanties fortes de bonne correspondance entre le système synthétisé et la description donnée. De plus, avec les compilateurs utilisés pour le temps réel critique, la plupart des optimisations sont désactivées afin d’éviter les erreurs qui y sont liées. Dans CompCert, des optimisations elles aussi prouvées sont proposées, ce qui pourrait permettre ces passes dans la production de systèmes temps réel critiques sans en compromettre la fiabilité. Le but de cette thèse est d’avoir une approche similaire mais spécifique à un langage synchrone, donc plus approprié à la description de systèmes temps réel critiques que ne l’est le C. Un langage synchrone flots de données semblable à Lustre, nommé Ls, et un langage impératif semblable au langage C, nommé Obc y sont proposés ainsi que leur sémantique formelle et une chaîne de compilation avec des preuves de préservation de sémantique le long de cette chaîne. / Synchronous languages first appeared during the 80’s, in order to provide a mathematical model for safety-critical systems. In this model, time is discrete. At each instant, all components of the system simultaneously receive and produce some data. This model allows simpler reasonning on the behaviour of the system, as it does not involve the time required for each of the operations for every component. In safety-critical systems, safety is the rule, so a poor performance behaviour can be allowed if it improves safety. In order to improve safety, rather than conceiving directly the system, machines are used to automatically design the system from a given concise description. In the case of software, this machine is called a compiler, and avoids issues due to some human inadvertence. But it does not ensure that the produced system and the description specification really show the same behaviour. Some recent work from an INRIA team lead by Xavier Leroy achieved in 2008 the realisation of the CompCert compiler from a large subset of C to PowerPC assembly, for which it was proven inside of the Coq proof assistant that the produced system fits its source description. Such a compiler offers strong guarantees that the produced system and its given description by the programmer really fit. Furthermore, most current compiler’s optimizations are disabled when dealing with safety-critical systems in order to avoid tedious compilation errors that optimizations may introduce. Proofs for optimizations may allow their use in this domain without affecting the faith we could place in the compiler. The aim of this thesis is to follow a similar path, but this one on a language which would be more suited for safety-critical systems than the C programming language. Some dataflow synchronous programming language very similar to Lustre, called Ls is described with its formal semantics, as well as an imperative programming language similar to a subset of C called Obc. Furthermore some compilation process is described as well as some proofs that the semantics is preserved during the compilation process.

La réflexion morale de Theodor Adorno est manifestement traversée par une tension : l’exigence paradoxale d’enraciner pleinement la morale à la fois dans les impulsions les plus vives et dans la raison la plus lucide. Plus qu’une excentricité parmi d’autres de la figure de proue de l’École de Francfort, le présent mémoire donne à penser que ce problème pourrait être une des principales charnières de son éthique. L’objectif de ma recherche est de dégager une voie pour articuler conjointement, «sans sacrifice aucun», ces deux exigences. Pour ce faire, je tenterai d’étayer l’hypothèse suivante : l’analyse du problème de la liberté et de la non-liberté que développe le premier des trois «modèles» de Dialectique négative permet de comprendre à la fois le lien et l’écart entre la dimension impulsive et rationnelle de l’éthique d’Adorno. L’argument qui sera déployé se penchera d’abord sur le problème de la non-liberté et son incarnation à travers le phénomène concret de l’antisémitisme ainsi que de la peur et de la rage animale dans lesquelles il s’enracine, pour ensuite examiner la conception adornienne de la liberté dans ses deux dimensions de «pleine conscience théorique» et «d’impulsion spontanée», et pour finalement tenter d’apprécier la portée plus générale pour la compréhension de l’éthique d’Adorno de cette interprétation du problème de la liberté en tentant de comprendre sur cette base son «nouvel impératif catégorique». / Throughout Theodor Adorno’s moral thought runs a paradoxical demand : that morality should be fully rooted in both the liveliest impulses and the keenest reasonings. More than a quirk among Adorno’s many, this essay suggests that this problem plays a pivotal role in his ethics. The current research seeks to develop a strategy to conjointly articulate these two demands. To this end, I will try to expound the following hypothesis : the analysis of the problem of freedom and unfreedom set forth by the first of the ‘models’ in Negative Dialectics enables making sense of both the bond and the disparity between the impulsive and rational constituents of adornian ethics. This study will first focus on the problem of unfreedom and its embodiment in the concrete phenomena of anti-Semitism as well as the animal fear and rage that it builds upon. It will then go on to examine Adorno’s conception of freedom in its two facets : «full theoretical consciousness» and «spontaneous impulse». It will finally try to ascertain the more general relevance of this interpretation of the problem of freedom for making sense of Adorno’s ethics, by trying to make sense on that basis of his «new categorical imperative».

L’impératif anglais est ici étudié en supposant un lien motivé entre sa forme et ses sens, dans le cadre d’une sémantique textuelle et énonciative cottienne. Analysant un corpus de films américains contemporains, l’étude décrit la construction du sens de requêtes pour y chercher la contributionpropre de l’impératif. Les éléments sémiotisés et non-sémiotisés à ce mode figurant souvent par ailleurs dans le discours, l’impératif apparaît comme une posture énonciative choisie par le locuteur. Celle-ci consiste en un rapport d’immédiateté aux signes et à l’action. L’injonction apparaît ainsi comme d’abord mentale, ce qui explique les cas où l’impératif ne doit pas mener à agir dans le monde. La sous-sémiotisation des relations est aussi une forme de refus des processus d’entrée dans le linéaire de la parole, ce qui peut anticiper une sortie vers le monde des actes. Les hypothèses proposées espèrent ainsi contribuer à montrer comment la brièveté peut être exploitée à des fins directives. / This study analyzes the English imperative in the framework of Pierre Cotte’s textual-gramatical semantics. It hypothesizes that the grammar of imperatives is iconic, i.e. motivated to some degree. The study describes the construction of meaning of requests found in a corpus of contemporary North-American films and isolates the specific contribution of imperatives. The elements verbalized in an imperative clause and those not verbalizedin it are actually both often verbalized in other phases of a request. This suggests that the imperative is a linguistic-cognitive attitude adopted by the speaker: the structure manifests and imposes a relationship of immediacy with the signs and with the action. The imperative command is therefore cognitive first, which explains the cases where an imperativedoes not require the hearer to act. The hypo-semiotic verbalization of the action may also mimic a refusal of the processes that produce connected speech, thus anticipating an exit from talk to action.Keywords: English imperative, iconicity, requests, film corpus, enunciation, textual semantics, grammatical semantics, enunciative linguistics.

Terre sauvage autrefois délaissée, le littoral méditerranéen est de nos jours un espace raréfié et saturé. Il est ainsi en proie à divers affrontements lorsque des droits aux aspirations différentes interviennent conjointement sur ce territoire exigu, tel le droit de l’urbanisme et le droit de l’environnement. En effet, leurs finalités d’intérêt général sont directement éloignées l’une de l’autre sur les espaces côtiers méditerranéens car si la première s’emploie à aménager, à transformer les sols urbains, la seconde se consacre à préserver, voire à restaurer l’environnement littoral. Dès lors, l’apparente autonomie juridique qui caractérise d’ordinaire les relations du droit de l’urbanisme et du droit de l’environnement évoluent ainsi en hostilité lorsqu’ils se rencontrent sur cet espace sur occupé. Néanmoins, l’urgence à sauvegarder le territoire littoral nécessite de dépasser cette logique d’opposition entre les finalités d’intérêt général de ces deux disciplines juridiques. C’est essentiellement le juge administratif qui s’attachera à solutionner ces conflits de normes par le biais de la méthode de la conciliation. Celles-ci étant d’égales valeurs, le juge ne saurait en effet avoir recours à la théorie de la hiérarchie des normes. Aussi, conformément à l’objectif originel poursuivi par le législateur de la loi Littoral du 3 janvier 1986, le juge administratif opère tacitement un équilibre entre l’aménagement et la préservation de l’environnement littoral. Pour autant, l’interprétation de la loi du 3 janvier 1986 ne saurait suffire à assurer un développement équilibré de ces espaces côtiers, notamment en raison de leur propension à être convoité par de multiples et diverses activités. C’est pourquoi, les préoccupations environnementales se devaient d’être incorporées directement dans le corpus urbanistique. Or, malgré une louable prise en considération des enjeux environnementaux dans le droit de l’urbanisme, cette politique juridique d’intégration génère une profusion de règles et d’outils juridiques applicable sur le littoral méditerranéen. Tant est si bien que l’appréhension du droit du littoral est aujourd’hui complexe et son effectivité pour le moins relative. / Formerly a wild abandoned land, the Mediterranean coast is today a rarefied and saturated space. It is thus prey to various confrontations when laws with different aspirations intervene jointly on this cramped territory, such as planning law and environmental law. Indeed, on the Mediterranean coastal areas their purposes of general interest are distanced from each other because if the former works to develop and transform urban land, the latter is dedicated to preserving or restoring the coastal environment. Therefore, the apparent legal autonomy that usually characterizes relations between planning law and environmental law thus develops into hostility when they meet on this over-occupied space. However, the urgency to safeguard the coastal territory requires this opposition between the objectives of general interest of both of these legal disciplines to be overcome. It is essentially the administrative judge who will endeavor to resolve these conflicts of norms through the method of conciliation. These being of equal value, the judge cannot indeed have recourse to the theory of the hierarchy of norms. Thus, in accordance with the original objective pursued by the legislature of the Coastlines Act of 3 January 1986, the administrative judge tacitly operates a balance between development and preservation of the coastal environment. However, the interpretation of the law of January 3, 1986 is not sufficient to ensure a balanced development of coastal areas, especially due to their propensity to be coveted by many and various activities. Therefore, environmental concerns had to be incorporated directly into the urban corpus. However, despite laudable consideration of environmental issues in planning law, this legal policy of integration generates a profusion of rules and legal instruments applicable to the Mediterranean coast. As a result, apprehension of coastal law is now complex and its effectiveness relative to say the least.

Cette thèse, consacrée à l’expression de l’interdiction en russe moderne, étudie les différents types d’énoncés prohibitifs. L’acte de langage d’interdiction correspond à un énoncé performatif et contraignant incitant au non-accomplissement d’une action perçue comme indésirable par le locuteur. Cet énoncé crée, pour l’allocutaire, une obligation qui jusque-là n’existait pas. L’expression de l’interdiction se fait à différents niveaux de communication et par des moyens linguistiques de natures diverses : pragmatique, syntaxique ou lexicale. Outre les énoncés performatifs, l’interdiction peut être exprimée par des énoncés comportant une valeur illocutoire d’interdiction, y compris par des actes de langage indirects.Si les types d’énoncés prohibitifs sont nombreux, ils ne sont pas interchangeables. D’une part, ils ne peuvent être employés indifféremment dans n’importe quel contexte et ils relèvent de niveaux de langues différents. D’autre part, les disparités existant dans la force illocutoire des différents énoncés prohibitifs ont été mises en évidence. La force illocutoire d’un énoncé prohibitif résulte du choix du type d’énoncé retenu, mais aussi des moyens linguistiques qui peuvent être employés pour le moduler.Cette étude a permis d’établir une typologie des énoncés prohibitifs. Ces énoncés peuvent se répartir en trois catégories : les énoncés qui signifient l’interdiction par exception, les énoncés habituellement prohibitifs et les énoncés invariablement prohibitifs.S’y ajoute la question de l’évolution de la langue, notamment par un effet de contamination des langues européennes. Cette évolution se traduit par le recours moins fréquent aux tournures les plus catégoriques, ainsi que par l’introduction de formules de politesse de plus en plus fréquentes. / This thesis is dedicated to prohibitive commands in modern Russian and studies the various speech strategies expressing negative commands. Prohibitive speech acts correspond to compulsory and performative utterances urging the non-accomplishment of an action perceived as undesirable by the speaker. Due to this utterance, the addressee has no other option than compliance, which was not the case before.Prohibitive commands are expressed at various communication levels and by a wide range of linguistic means: pragmatic, syntactic or lexical.Besides performative utterances, prohibition can be expressed by utterances with a prohibitive illocutionary force, including indirect speech acts. Although negative commands can be expressed by various strategies, they are not interchangeable. On the one hand, any negative command cannot be used in all contexts and in addition, the registers are different.On the other hand, the disparities in the illocutionary force of command of the various prohibitive strategies could be established. The illocutionary force of a prohibitive command both results from the selected linguistic strategy, but also from the means of modulation that can be used.This study enabled us to establish a typology of negative commands. The latter can be displayed in three categories: utterances whose prohibitive meaning occurs exceptionally, usually prohibitive utterances and invariably prohibitive utterances. Furthermore, the evolution of the Russian language has to be taken into account, among others by a contamination effect from European languages. This evolution leads to a less frequent resort to the strongest prohibitive commands, as well as to the increasing use of politeness strategies.