Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

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.

Cet écrit propose une analyse du critère de proportionnalité en matière de responsabilité criminelle sous l'angle de certains moyens de défense qu'une personne peut opposer à une accusation criminelle, plus particulièrement la légitime défense, la défense des biens, la provocation, la nécessité et la contrainte. Ce critère joue un rôle central en droit pénal car il constitue un élément significatif de toutes les causes objectives d'exonération de la responsabilité pénale. S'il est considéré comme disproportionné par une cour de justice, un acte commis en riposte peut, dans beaucoup de cas, mener à la culpabilité d'une personne accusée. Toutefois, l'importance, l'acception et la portée accordées à la proportionnalité au sein de ces moyens de défense en droit pénal canadien ne seraient pas uniformes et identiques. Par exemple, même s'il aurait été légitime de s'attendre à une certaine similarité entre la légitime défense et la défense des biens quant au rôle donné à la proportionnalité, considérant le fait que ces deux moyens de défense ont fait l'objet de la même réforme législative, leur évolution a plutôt été asymétrique à cet égard. La proportionnalité ne constituerait pas un concept juridique stable, mais, vu son caractère malléable, elle servirait en fait d'outil conceptuel, parfois dispensable, ayant des balises qui, le cas échéant, pourraient elles-mêmes fluctuer, dans une certaine mesure et de manière inconstante. De plus, la proportionnalité jouerait un rôle surdimensionné pour ce qui est de la défense de nécessité comparativement à d'autres moyens de défense. À l'opposé, il y aurait eu aussi, pour ce même moyen de défense, un émoussement du rôle de la proportionnalité qui aurait conduit à l'élargissement de son champ d'application. Il en est de même d'ailleurs pour la légitime défense, laquelle prévoirait également deux concepts distincts de proportionnalité. L'accès à la défense de contrainte pour une personne accusée est, à l'inverse, restreinte par la mise à l'écart de certaines infractions criminelles de ce moyen de défense à l'article 17 du Code criminel du Canada. Cela pourrait s'expliquer par le fait que ces infractions aient pu être considérées par le législateur comme étant foncièrement disproportionnées. Par ailleurs, bien que la défense de provocation en droit pénal canadien ne prévoie pas expressément de proportionnalité parmi ses conditions d'ouverture, l'analyse menée indique que la proportionnalité pourrait tout de même y exister éventuellement. La jurisprudence canadienne, mais aussi la comparaison avec le droit, la jurisprudence et la doctrine de plusieurs autres pays, majoritairement de common law, offrent un apport incontestable à l'étude de la façon dont la proportionnalité est appliquée et interprétée au Canada et dans d'autres juridictions. La jurisprudence et la doctrine françaises sont aussi utilisées en dépit du fait que la France ne soit pas un pays de common law. / This paper proposes an analysis of the criterion of proportionality when criminal responsibility is involved. It is examined, more specifically, in light of certain defences, namely self-defence, defence of property, provocation, necessity and duress. This criterion plays a central role in criminal law because it constitutes a significant element that exonerates criminal liability. When an act committed in response is considered to be disproportionate by a court of law, the accused who committed it may, in many cases, be found guilty. However, the importance, meaning and scope given to proportionality in the context of these defenses in Canadian criminal law does not seem to be uniform and identical. For instance, even if it would have been fair to expect a certain similarity between self-defence and the defence of property with respect to the role given to proportionality, mostly because these two defences have been subject to the same legislative reform, their respective evolution in that regard has rather been asymmetrical. Proportionality would not be a stable legal concept. Because it is a malleable concept, its meaning and scope of application may be inclined, to a certain extent, to shift back and forth uncertainly and inconsistently. In addition, proportionality would play a more predominant role for the defense of necessity than it does for some other defences. On the other hand, there would also have been a reduction of the importance of the role of proportionality for the latter defence. This would have broadened its scope of application. The same holds true for self-defence, which would also include two different concepts of proportionality. Conversely, the availability of the defence of duress is restricted by the exclusion of certain criminal offences that are listed under section 17 of the Criminal Code of Canada. These exclusions prevent the availability of that defence. The existence of these exclusions may perhaps be explained by the fact that these criminal offences may have been deemed by the Parliament to be fundamentally disproportionate. Further, even if the defence of provocation in Canadian criminal law does not expressly provide for a criterion of proportionality as one of its requirements, our analysis led us to conclude that proportionality could still eventually exist in it. Canadian jurisprudence as well as the laws, the jurisprudence and the doctrine of several other countries, mostly common law jurisdictions, offered an undeniable contribution to the study of proportionality as it is applied and interpreted in Canada and in other jurisdictions. Although France is not a common law country, the jurisprudence and the doctrine of France were also relied upon.

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.