The foundation of term rewriting is equational logic but for the sake of efficiency, the equations are oriented and become the rules of a term rewriting system. Term rewriting form a model of computation on algebraic data structures (terms). Term rewriting systems play an important role in various domains of computer science such as automated theorem proving, functional programming, code generation, problem formalization (security of cryptographic protocols). Rewriting starts with a ground term, and consists of repeatedly replacing a redex (an instance of a left-hand side) by its contractum (the corresponding right-handside after applying the substitution). Rewriting may eventually yield a term in normal form which is a term containing no redex. Natural questions in term rewriting are: * is the system terminating" (i.e. there are no infinite rewrite sequences)? * "is the system confluent" (if a term rewrites independently to two terms t1 and t2 , there exists a term s such that both t1 and t2 rewrite to s)? We are interested in systems which can be used as programs so we want to allow non-terminating computations. Confluence implies unicity of normal forms but does not imply termination. Confluent systems form a good framework for deterministic programming. They have the power of Turing machines. However confluence is not a decidable property for term rewriting systems. Orthogonal systems (i.e. linear and non-overlapping left-hand sides) which are always confluent form the framework of all this work, although some results may apply to the more general class of left-linear systems (linear left-hand sides). The first point we want to address is "how to compute the normal form?" and not end up in an infinite computation when the normal form exists. The second is "how to do that efficiently?". The following theorem of Huet and Levy [HL91] forms the basis of all result on optimal normalizing rewrite strategies for orthogonal term rewrite systems: "Every reducible term contains a needed redex, i.e., a redex which is contracted in every rewrite sequence to normal form, and repeated contraction of needed redexes results in a normal form, if the term under consideration has a normal form". Unfortunately, needed redexes are not computable in general. Hence, in order to obtain a computable optimal rewrite strategy, we are left to find (1) decidable approximations of neededness and (2) decidable properties of rewrite systems which ensure that every reducible term has a needed redex identi-fied by (1). Starting with the seminal work of Huet and Levy [HL91] on strong sequentiality, these issues have been extensively investigated in the literature [Com00, Jac96b, JS95, KM91, NST95, Oya93, Toy92]. In all these works Huet and Levy's notions of index, omega-reduction, and sequentiality figure prominently. We present here our contributions to this domain.

Par essence coercitive, la procédure pénale française se compose d’une succession d’actes auxquels procèdent les autorités publiques. De nature différente, ceux-ci constituent principalement des mesures d’administration judiciaire, des actes de police judiciaire, des actes de poursuite ou d’instruction ou bien des actes juridictionnels. Parmi cette multitude d’actes, certains se révèlent coercitifs. Leur trait commun est de porter atteinte aux libertés individuelles. Il suffit d’évoquer les contrôles et vérifications d’identité, la garde à vue, les perquisitions et saisies, les interceptions de correspondances émises par la voie des télécommunications, les sonorisations et fixations d’images, le contrôle judiciaire, l’assignation à résidence avec surveillance électronique ou la détention provisoire. Ces actes, a priori hétérogènes, forment en réalité une catégorie propre. Correspondant à la réalité juridique, une notion d’acte coercitif existe en procédure pénale, parallèlement aux concepts traditionnels. Son critère principal réside dans la spécificité de son grief. Une classification bipartite des actes, fondée sur leur caractère coercitif ou non, devient alors possible. Au-delà d’un intérêt théorique tangible, des intérêts pratiques apparaissent. Par exemple, les actes interdits au juge d’instruction lorsqu’il découvre des faits nouveaux pourront être identifiés, eu égard à l’interdiction d’accomplir des actes coercitifs dans une telle situation. Cette notion bénéficie en outre d’un régime autonome. Elle obéit à des exigences constitutionnelles, conventionnelles et législatives qui permettent de dépasser les variations inéluctables des actes composant cette catégorie : la légalité, la nécessité et la proportionnalité, le contrôle effectif par l’autorité judiciaire, le respect de la dignité de la personne, de sa santé, etc. Si l’acte coercitif doit respecter les droits de la défense, il doit encore pouvoir être contesté dans tous les cas au moyen d’un recours juridictionnel. Ses abus demeurent enfin sanctionnés puisque le Code pénal réprime les abus d’autorité. Celui qui décide ou exécute un acte coercitif arbitraire s’expose ainsi à différentes poursuites. / « The coercive act in criminal law and procedure » [L’acte coercitif en procédure pénale]. Being essentially coercive, the French criminal law and procedure are composed of a succession of acts that the Public Authorities conduct. As they are all different by nature, these acts principally constitute judicial administration measures,acts of the judiciary police, prosecution or investigation measures, as well as jurisdictional acts. Among this great number of acts, some of them can prove to be coercive. And they have one particular point in common:they all encroach on individual liberties. One simply has to consider the controls or verifications of people’sidentities, police custody, search and seizure, the interceptions of any correspondence over the telecommunications, the use of sound and image detection technology, the judicial suspension, the electronically-monitored house arrest, or custody on remand. These acts, a-priori heterogeneous, constitute infact a category of their own. Corresponding to the judicial reality, a notion of coercive acts exists in criminal procedures in parallel with traditional concepts. Its main criterion lies in the specificity of its grievance. A two part classification of the acts, grounded on their coercive or non-coercive features, is then possible. Practical interests appear beyond a tangible theoretical one. For example, it will be possible to identify any new binding action the investigating judge is not allowed to take when new facts are discovered, in view of the prohibition to carry out coercive acts in such a situation. In addition, this notion qualifies for an autonomous regime. It serves not only constitutional and conventional but also legislative requirements that make it possible to exceed the inevitable variations of the acts that compose this category; namely the notions of legality, necessity and proportionality, the effective control by the judicial authority, the respect of the person’s dignity and health ASO… If the coercive act is to respect the rights of the defense, it could also be appealed in all cases through the courts. At last, its abuses remain punishable by law as the Penal Code represses abuses of authority. Thus, the persons who decide or carry out a coercive arbitrary act expose themselves to prosecution.

Cette thèse propose d’examiner la conception originale et controversée de l’obéissance dans l’œuvre de Simone Weil. Selon nous, Weil hérite de son professeur de lycée, Alain, une préoccupation pour deux notions qui auront une forte incidence sur sa conception de l’obéissance, soit la nécessité et l’esclavage, ainsi que la conviction que l’ordre social et la liberté exigent des citoyens un double devoir d’obéissance et de résistance aux pouvoirs. La conception de l’obéissance de Weil est aussi influencée par l’expérience de l’esclavage, essentiellement féminine, qu’elle a vécue en usine pendant l’année 1934-1935. Cette expérience l’amène à approfondir sa réflexion sur les notions de nécessité et de force. Le travail de la politique, selon Weil, consiste à identifier les « vraies » nécessités (à distinguer des « fausses ») auxquelles les individus sont tenus d’obéir. Ces vraies nécessités conduisent Weil à formuler la notion d’« obéissance surnaturelle », laquelle suppose une ambiguïté dans sa compréhension du rapport de l’individu avec la nécessité, entendue à la fois comme liberté et comme esclavage. En dépit de ce qui précède, nous insistons sur l’opposition de Weil à l’esclavage social, de même que sur son éthique de l’amitié. Pour Weil, les Albigeois incarnaient l’amitié et l’obéissance au sens élevé qu’elle leur accorde, c’est-à-dire comme consentement à un objet d’amour. Weil reprend cet idéal dans l’Enracinement (1943), où elle affirme que seul un amour adéquat de la patrie peut entraîner la réapparition en France d’une forme d’obéissance légitime puisque consentie. Cet amour de la patrie doit être protégé de ses tendances idolâtriques par trois vertus : la compassion, l’humilité et l’attention. Par ailleurs, nous illustrons les liens entre l’obéissance surnaturelle et la politique, selon Weil, à partir de quatre figures qu’elle estimait admirablement obéissantes : Jeanne d’Arc, Thomas Edward Lawrence, Arjuna (héros de la Bhaghavad-Gita) et Jaffier (l’un des personnages de Venise sauvée, une pièce de théâtre de Weil). Enfin, malgré le caractère foncièrement polysémique de la liberté dans l’œuvre de Weil, nous identifions dans ses idées sur l’obéissance une certaine parenté avec la tradition républicaine. Celle-ci relève de son opposition à la domination et à l’oppression sociale, de sa défense d’un patriotisme non idolâtrique et de ses arguments en faveur d’une citoyenneté active et agonistique. Le républicanisme de Weil critique toutefois la pensée républicaine en proposant d’en surmonter les tendances machistes ou masculinistes.

La possibilité du mensonge, de l’erreur et de l’ignorance doit nous conduire à définir la vérité comme l’adéquation du sujet à l’objet, car c’est par le concours de trois facultés propres au sujet, à savoir la volonté, la raison et la conscience, que ceux-ci sont possibles. Or cette adéquation n’est possible que lorsque le mouvement qui anime l’objet est nécessaire. Les Grecs, et plus particulièrement Aristote, n’ont pu toutefois se représenter qu’un mouvement contingent, ce qui les a conduit à dissocier le mouvement de la connaissance. La découverte du principe d’inertie, rendue possible par la révolution de la science moderne, a cependant permis de découvrir un mouvement nécessaire, ce qui a contribué à réconcilier le mouvement et la connaissance. C’est d’ailleurs en se limitant à l’étude de tels objets que les sciences de la nature sont arrivées à incarner la méthode par excellence pour atteindre la vérité. Lorsqu’on tente d’appliquer cette méthode à l’étude de l’homme, un problème se pose qui est celui de la liberté, car celle-ci se traduit par un mouvement non pas nécessaire, mais contingent. C’est en effet au moyen des trois facultés évoquées que la liberté rend l’homme imprévisible et incommensurable, car la volonté pose les fins, la raison détermine les moyens et la conscience réalise l’unité de la fin et des moyens.

En raison du nombre élevé d'échecs dans les tentatives de changements organisationnels, de plus en plus d'études s'intéressent aux facteurs humains en jeu, tel que l'engagement des employés envers le changement. Il est en effet reconnu que l'engagement affectif envers le changement joue un rôle important dans l'adoption de comportements de soutien des employés en situation de changement. Afin de favoriser cette forme d'engagement, les pratiques de gestion du changement utilisées semblent jouer un rôle important pour répondre aux besoins de cohérence, de compréhension et de soutien des employés face aux changements. Ainsi, il est possible de postuler que les employés percevant un changement comme nécessaire, légitime et accompagné d'un soutien adéquat seront davantage engagés affectivement envers celui-ci. De plus, ces perceptions favoriseraient également l'habilitation psychologique des employés, un état d'esprit facilitant l'adoption de comportements proactifs profitables en situation de changement. Peu d'études se sont attardées, de manière longitudinale, à l'examen du rôle de l'habilitation psychologique dans la relation unissant les caractéristiques reliées à la gestion et l'engagement affectif envers le changement. Pour ces raisons, la présente étude vise à vérifier si les quatre dimensions de l'habilitation psychologique jouent un rôle de médiateur dans les relations unissant certaines caractéristiques reliées à la gestion du changement (nécessité, légitimité, soutien perçu) et l'engagement affectif envers le changement. Au total, 819 employés de deux établissements de santé de l'Estrie ont participé à au moins l'un des trois temps de mesure de cette étude et forment l'échantillon longitudinal utilisé. Les analyses effectuées n'ont pas permis de confirmer le rôle médiateur de l'habilitation psychologique dans la relation entre la nécessité, la légitimité, le soutien perçu et l'engagement affectif envers le changement. Néanmoins, les résultats ont permis de montrer l'importance de favoriser la perception de nécessité et de soutien offert chez les employés, afin d'agir positivement sur leur sentiment de compétence et d'autodétermination en situation de changement. À long terme, ces employés seraient ainsi plus enclins à soutenir les efforts de changement en cours.

Les pouvoirs implicites, dans une acception large, sont les pouvoirs déduits par le juge et faisant appel à une argumentation distincte de celle fondée sur le seul sens accordé aux termes d’une disposition expresse. Le lien entre ce pouvoir et les textes est susceptible de varier, selon que le pouvoir est reconnu sur le fondement d’une disposition précise ou sur une appréhension globale des attributions de l’autorité qui en bénéficie. Pourtant,indépendamment de cette distinction, les pouvoirs implicites correspondent tous à la mise en oeuvre d’un raisonnement similaire : il faut considérer que l’auteur d’un texte désire que celui-ci puisse produise tous ses effets. Les textes doivent alors être entendus comme confiant non seulement tous les pouvoirs prévus expressément, mais aussi ceux qui sont nécessaires à l’accomplissement des objectifs confiés par leur auteur. Ce principe d’interprétation posé, le juge est ensuite conduit à apprécier cette nécessité au regard d’une ou d’un ensemble de dispositions. La jurisprudence administrative témoigne de la reconnaissance de pouvoirs implicites. Leur identification est cependant le plus souvent incertaine. Par ailleurs,les termes par lesquels le juge admet ces pouvoirs lient étroitement la reconnaissance de ceux-ci à la nécessité de fait des mesures adoptées, en dépit d’une distinction indispensable. Enfin, l’origine le plus souvent textuelle des pouvoirs conditionne leur régime : issus du texte, ils y restent soumis. / Broadly defined, implicit powers are powers that the judge deduces by interpreting the text of an express provision beyond the very meaning of the terms.The link between the power and the text from which it is deduced may vary: the power can be admitted on the basis of a specific provision or can derive from an extended view of the remit of the authority which receives this power. However, the same reasoning is at work in each case: we must presume that the author intended that his text shall fully take effect. Then we also assume that the authority has received not only all the powers explicitly described by the text, but also all those which are necessary to achieve the goals the author has assigned to this authority. Once this principle of interpretation set, the judge evaluates the requirement of an implicit power in relation with one or a body of provisions. Implicit powers have been admitted by the administrative case law. However, their designation is most often doubtful. Furthermore, the terms used by the judge fortheir recognition tightly connect their acceptance to the de facto necessity of the measures taken, despite a necessary differentiation between the one and the other. At last, the fact that this powers most often originate from a text determines their status, for the spirit of the text, if not the letter, still limits them.

Cette thèse étudie le rôle de la pensée morale et politique dans la tragédie moderne (XVIe-XVIIIe siècles), en se concentrant sur un ensemble de pièces néo-latines, françaises, italiennes et anglaises qui représentent la mort du dictateur romain Jules César, auxquelles on a joint Cinna de Corneille. Pour susciter les passions tragiques, la fable doit représenter un personnage, ou un groupe de personnages, qui passe du bonheur au malheur à la suite d’une « faute » moralement ou politiquement ambiguë. Cet enchaînement est particulièrement tragique lorsque la « faute » est au moins partiellement involontaire et résulte d’une forme de nécessité : la tragédie manifeste alors le poids de la « fortune morale ». L’ambiguïté de la « faute » tragique peut revêtir diverses formes ; dans les Mort(s) de César, elle réside d’une part dans le fait que les personnages sont contraints d’agir dans une situation caractérisée par plusieurs antinomies, d’autre part dans le fait que leurs motivations paraissent à certains égards contraires aux justifications qu’ils avancent. La tragédie moderne est profondément réfractaire à la pensée casuiste contemporaine – sous les diverses formes qu’elle prend dans la théorie de l’invention rhétorique, la philosophie morale et politique et l’historiographie –, car elle laisse irrésolus les « cas » moraux et politiques qu’elle expose. Mais Cinna, première « tragédie à fin heureuse » du répertoire français, montre comment il est possible de parvenir à la réconciliation et à une issue moralement et politiquement satisfaisante par-delà les antinomies tragiques. / This dissertation investigates the functions of moral and political thought in modern tragedy (16th-18th centuries), focusing on a group of Neo-Latin, French, Italian and English plays which represent the death of the Roman dictator Julius Caesar, as well as on Corneille’s Cinna. In order to provoke the tragic emotions, a fable must represent a character or a group of characters whose fall from happiness into mishap is a consequence of a morally or politically ambiguous “flaw”. This sequence is particularly tragic when the “flaw” is at least partially unintentional and results from a kind of necessity : tragedy thus manifests the importance of “moral luck”. The ambiguity of the tragic “flaw” may arise from different circumstances ; in the plays representing the death of Caesar it consists on the one hand in the antinomies which the characters must face, on the other hand in the fact that their motivations appear in some ways contrary to the arguments they use in order to justify themselves. Modern tragedy is profoundly extraneous to contemporary casuistry (as developed in the rhetorical theory of invention, in moral and political philosophy and in historical writing), in that it leaves moral and political “cases” unsolved. However, Cinna, the first happy-ending tragedy in the French theatre, shows how reconciliation and a morally and politically satisfying ending are possible despite the tragic antinomies.

Ce mémoire porte sur la crise d'octobre 1970, particulièrement sur l'instauration de l'état d'exception au Québec suite à deux enlèvements perpétrés par des membres du Front de Libération du Québec (FLQ). Par-delà la question de la lutte au terrorisme, l'état d'exception déployée durant les événements est analysé dans son lien avec la crise politique et sociale sous-jacente aux événements d'octobre. Ce mémoire vise ainsi à analyser la relation qui peut s'établir entre le recours aux mesures d'exception par le gouvernement fédéral et la crise de légitimité du pouvoir de l'Etat engendrée par le mouvement indépendantiste québécois.

Après une présentation des découvertes scientifiques de Monod en matière de biologie moléculaire, en particulier les gènes régulateurs dans l’opéron et l’allostérie, puis l’exposé de l’interprétation philosophique de Monod sur ces apports scientifiques, par la mise en avant des principes du hasard et de la nécessité, nous tentons de tirer au clair ce qui, chez Monod, relève du matérialisme scientifique proprement dit, car relevant d’un principe méthodologique de stricte objectivité, et ce qui relève de choix métaphysique. Cette distinction est fondamentale car il faut montrer que le matérialisme scientifique n’est pas exclusif de toute métaphysique. Il peut contribuer, au contraire, à manifester la pertinence d’un certain niveau d’analyse qui, loin d’exclure d’autres niveaux d’analyse, les permet. Ceci répond à l’exigence d’opérer les distinctions nécessaires pour mettre chaque investigation rationnelle à sa place, sans confusion ou empiétement des niveaux de recherche. / First, we give a presentation of Monod's scientific discoveries as regards molecular biology, particularly the regulator genes in operon and allostery. Then we will present Monod's philosophical interpretation concerning those scientific contributions by the setting in front of the principles of the chance and necessity. We try to draw with light what depends on strict scientific materialism because depending on a methodological principle of strict objectivity, and what depends of metaphysical choice. That distinction is fundamental because it has to be shown that the scientific materialism is not exclusive from any metaphysics. On the contrary, it can contribute to manifest the pertinence of a certain level of analysis which, far from excluding other levels of analysis, do allow them. In that way, we answer to the necessity of right distinctions in order to place each investigation at its right place without any confusion nor overlapping of the levels of research.

Ce travail étudie, dans ses aspects juridiques, le processus des ruptures de continuité constitutionnelle et des dépassements de ces ruptures, au cours de l'histoire de l'État hellénique moderne. Processus par lequel un régime en place disparaît et un autre apparaît. Processus dans lequel la légitimation précède la légalisation. Processus qui réserve un sort varié à l'ordre constitutionnel antérieur et qui s'achève par l'élaboration d'un ordre nouveau. Ce processus s'étend sur une période que l'on pourrait qualifier d' « intermédiaire». La durée de celle-ci peut varier, et il arrive qu'elle soit d'une certaine longueur. Cela fut parfois le cas en Grèce. Mais cette période a son « droit », qui trouve une place dans le droit constitutionnel général, malgré les particularités qui le singularisent. / This work studies, in its legal aspects, the process of breaches of constitutional continuity and the way out of them, in the course of the history of the modern Greek State. Process by which a regime in power disappears and another appears. Process in which legitimation precedes legalization. Process that reserves a varied fate to the former constitutional order and ends with the establishment of a new order. This process extends over a period that could be called "intermediate". Its duration varies, and it happens to be of a certain length. This was sometimes the case in Greece. But this period has its "law" that has a place in the general Constitutional Law in spite of its peculiarities that make it particular.