Ce mémoire s'intéresse à ce qu'on appelle communément la crise des autorités traditionnelles. Notre thèse principale est que Tocqueville est un auteur privilégié pour aborder ce problème. L'intérêt d'étudier Tocqueville sous cet angle naît du peu d'études qui lui ont été accordées autant chez les commentateurs qui réfléchissent à cette question que chez les spécialistes de son œuvre. Tocqueville, vivant au carrefour de l'Ancien monde et du Nouveau, pose un regard original sur la transformation sociale qui secoue l'Occident depuis plusieurs siècles, la révolution démocratique. Dans le premier chapitre, nous regarderons les thèses générales de la réflexion tocquevilienne. Cela signifie avant tout la compréhension du passage de l'état social inégalitaire à l'état social égalitaire. Puis, nous regarderons la structure politique que préconise Tocqueville pour la nouvelle société, soit la démocratie politique. Dans le deuxième chapitre, nous nous intéresserons à toutes les facettes du problème de l'autorité. Premièrement, nous y analyserons la transformation fondamentale qui se fait par la révolution démocratique dans le rapport de l'individu et de la société à l'autorité. Les sections suivantes feront ressortir les problèmes consécutifs à ce changement : le développement de l'hédonisme et de l'individualisme, l'ouverture à l'esprit révolutionnaire et, enfin, la création d'une incertitude propre aux Modernes. La dernière section portera sur les nouvelles autorités démocratiques, celles devant être créées et celle qui naîtra d'elle-même. Le troisième chapitre s'intéressera au rapport qu'entretient la pensée même de Tocqueville à l'autorité en général.

Ce travail décrit l’ajout des types quotients dans Typer, un langage avec des types dépendants. Les types quotients permettent aux programmeurs de construire de nouveaux types à base des types existants en redéfinissant la notion d’égalité du type de départ. Typiquement, cela repose sur des relations d’équivalence définies sur le type de base. Les termes qui sont équivalents selon la relation sont donc vus comme égaux dans le type quotient résultant. Par exemple, les nombres rationnels peuvent être définis comme le quotient des paires d’entiers par une relation d’équivalence basée sur le produit en croix. Pour accueillir l’ajout des types quotients dans Typer, on a redéfini et amélioré l’égalité intégré de Typer en s’inspirant de la théorie des types cubique qui a introduit le type d’intervalle et aussi les assistants de preuve qui l’implémentent. De ce fait, la nouvelle égalité de Typer est basé sur les fonctions qui ont comme argument notre nouvelle primitive d’intervalle. Une telle égalité est plus puissante et expressive, elle se prête bien à la construction des preuves liées aux types quotients. Dans ce travail, on s’intéresse également au côté pratique de l’utilisation des types quotients dans un langage tel que Typer, à la fois en termes d’efficacité d’exécution et de facilité d’utilisation pour les développeurs. Les types quotients ne sont pas offerts dans la plupart des langages avec des types dépendants principalement parce que leur utilisation nous entraîne à des obligations de preuves pénibles. Pour faciliter l’utilisation des types quotients, on a fourni une bibliothèque qui simplifie la manipulation des types quotients. On a profité de cette nouvelle addition au langage pour introduire de nouvelles primitives, telle que les nombres rationnels, la troncation propositionnelle, etc. Finalement, ce travail étudie également le développement des preuves en Typer. À notre connaissance, ceci est la première tentative d’écrire une quantité importante de preuves en Typer puisque le langage se veut un langage de programmation à usage général. On décrit notre expérience et les défis auxquels on a dû faire face en cours de route. En outre, on a introduit de nouvelles primitives pour faciliter le développement de preuves en Typer. / This work describes the introduction of quotient types to Typer, a dependently-typed programming language. Quotient types allow programmers to construct new types based on existing types by redefining the notion of equality of the base type. This is typically based on equivalence relations defined on the base type. Terms that are equivalent according to the relation are thus treated as equal in the resulting quotient type. For instance, rational numbers may be defined as the quotient of pairs of integers under an equivalence relation based on cross-multiplication. To better accommodate the introduction of quotient types to Typer, we revamped the built-in equality type by drawing inspiration from cubical type theory that features the interval type and proof assistants that implement it. As such, Typer’s new equality type is based on functions that have our new interval primitive as an argument. Such an equality type is more powerful and expressive, it notably lends itself well to the writing of proofs related to quotient types. In this work, we also investigate the practicality of the usage of quotient types in a language such as Typer, both in terms of run-time efficiency and developer-friendliness. Quotient types do not exist in most modern dependently typed languages, principally because their usage entails burdensome proof obligations. To facilitate the usage of quotient types, we provide a library that helps simplify the manipulation of quotient types. We also leverage this new addition to the language to introduce new built-in types, such as rational numbers, propositional truncation, etc. Finally, this work also explores the development of proofs in Typer, to our knowledge this is the first attempt to write a substantial amount of proofs using the language since the language is primarily intended to be a general-purpose programming language. We describe our experience and the challenges faced in the process. Additionally, we introduce several constructs to streamline proof development in Typer.

Le mémoire s'intitule "Le gel de l'avancement de l'échelon salarial chez les jeunes enseignants du Québec (1997-2009). Analyse critique d'une démarche, bilan, prospective." Une décennie : Un petit pas vers l'équité entre les générations... ". Il présente l'étude analytique d'une démarche entreprise par de jeunes enseignants auprès de la Commission des droits de la personne et des droits de la jeunesse du Québec, et dont l'objectif visait l'annulation de l'application, et des effets de celle-ci, du gel de l'avancement de l'échelon salarial subi par eux (1997-2000). Cette mesure salariale a été reconnue par cette instance comme une clause dite "orphelin" et constitue un exemple de discrimination fondée sur l'âge dans l'emploi. L'analyse dresse un portrait des étapes juridiques franchies et des jugements rendus par différents tribunaux. Elle démontre aussi en quoi les unes et les autres ont contribué à modifier et à influencer la dynamique des relations et des lois du travail en général, le droit appliqué spécifiquement en éducation, de même que l'administration scolaire. L'étude permet aussi d'évaluer dans quelle mesure la démarche a pu produire les résultats escomptés et contribué, plus largement, à un meilleur exercice des droits fondamentaux dans la recherche d'un équilibre entre les droits individuels et les droits collectifs, de même qu'au rétablissement d'une véritable équité intergénérationnelle.

Prenant pour objet les travaux en comité d'équité salariale, l'auteur s'est intéressé aux interactions qui ont cours dans les différents comités lors de la réalisation du programme d'équité salariale. Pour ce faire, l'auteur a eu recours à trois études de cas ethnographiques observant les parties à divers moments de la réalisation du programme dans les secteurs de l'enseignement, des municipalités et de la finance. L'observation directe des travaux d'équité salariale, les entrevues et l'analyse documentaire ont permis de qualifier la négociation qui a cours dans les comités et de documenter les différents niveaux d'interaction des parties qui sont nécessaires à la réalisation du programme d'équité salariale. Qui plus est, nos résultats indiquent certains effets réciproques entre les travaux du comité et certaines pratiques de gestion de l'entreprise dans laquelle se réalise l'exercice. Nous avons aussi contribué aux efforts de réintroduction du cadre analytique développé par John Rodgers Commons, un des pionniers du développement du champ disciplinaire des relations industrielles en Amérique du Nord. En plus des niveaux d'interactions, nous proposons une esquisse théorique institutionnaliste pragmatiste de la transaction de répartition en comité d'équité salariale. Cette thèse contribue donc au développement des connaissances en ce qui concerne spécifiquement les travaux en comité d'équité salariale dans les grandes entreprises syndiquées et pose certaines balises pour de plus amples recherches institutionnalistes en équité salariale et subsidiairement, en relations de travail.

L'empowerment est considéré comme un processus qui favorise le développement de pouvoirs par des personnes qui en sont dépourvues. Il constitue aussi un levier intéressant de réduction des inégalités entre les groupes sociaux. Il passe par une multitude de moyens et stratégies qui dépendent des réalités de vie des personnes concernées. Diverses recherches ont montré que l'économie sociale et solidaire (ÉSS) est un puissant levier par lequel les actions d'empowerment se concrétisent de manière durable puisqu'elle permet aux personnes en situation de vulnérabilité d'unir leurs forces et de faire les changements profonds nécessaires pour une justice sociale. Au Mali, les inégalités entre les hommes et les femmes sont importantes et elles s'amplifient depuis quelques années avec la pauvreté qui sévit dans les milieux de vie des populations. Pour réduire ces inégalités, le gouvernement appuyé par ses partenaires internationaux opte pour un empowerment des femmes, centré sur leur autonomisation économique. Pour ce faire, de nombreuses actions sont développées avec des organisations de femmes. Les centres d'autopromotion des femmes (CAFE) sont les moyens par lesquels l'empowerment des femmes des milieux ruraux maliens est soutenu, et ce, à travers leur autonomisation économique. Les CAFE réunissent les organisations des femmes qui relèvent du domaine de l'ÉSS notamment les associations et les coopératives et leur gestion est assuré par les regroupements que les responsables de ces organisations forment. Une recherche réalisée en 2017 a montré que les CAFE favorisent bien cette autonomisation économique et permettent aux femmes qui en sont membres de construire une certaine force collective. En revanche, les CAFE ne permettent pas aux femmes de développer des capacités de transformation des normes sociales qui donnent le pouvoir aux hommes et fait d'eux les dominants dans les sphères sociale, économique et politique. Notre thèse s'intéresse à cet apparent paradoxe en cherchant à répondre à la question suivante : empowerment des femmes rurales et économie sociale et solidaire : quels enjeux pour le développement de la capacité de transformation sociale au travers de centres d'autopromotion des femmes au Mali ? Pour aborder cette question, nous nous intéressons plus particulièrement à l'une des dimensions de l'empowerment : le « pouvoir intérieur ». Notre recherche s'est déroulée auprès des femmes de trois CAFE situés en milieu rural malien : Kita, Toubacoro et Dioïla. Elle prend appui sur une posture féministe postcoloniale qui met les femmes concernées et leurs points de vue au cœur de la recherche. Elle reconnait que les femmes ne sont pas une population homogène et que divers rapports de pouvoir existent entre elles. Par conséquent, elle utilise une approche intersectionnelle non seulement pour tenir compte de cette diversité de pouvoirs mais aussi pour rendre compte de l'interconnexion du sexisme et de l'âgisme dans les sphères sociale, économique et politique. En plus de la forte internalisation de la domination masculine par les femmes des CAFE, les résultats montrent qu'elles sont des actrices importantes de la perpétuation de la domination masculine. Les résultats montrent aussi que si le développement du « pouvoir intérieur » est indispensable pour l'empowerment des femmes, il ne demeure pas une priorité pour les CAFE et leurs organisations. / Empowerment is seen as a process that promotes the development of power by people who lack it. It is also an interesting lever for reducing inequalities between social strata. It goes through a multitude of means and strategies which depend on the realities of life of the people concerned. Various research has shown that the social and solidarity economy (SSE) is a powerful lever through which empowerment actions take shape in a sustainable manner since it allows people in vulnerable situations to join forces and make changes. profoundly necessary for social justice. In Mali, the inequalities between men and women are significant and they have been amplified in recent years with the poverty that has raged in the living environments of the populations. To reduce these inequalities, the government, supported by its international partners, opts for the empowerment of women, centered on their economic empowerment. To do this, many actions have been developed with women's organizations. Women's Self-Promotion Centers (CAFE) are the means by which the empowerment of rural Malian women is supported, through their economic empowerment. CAFE bring together women's organizations in the field of SSE, particularly associations and cooperatives, and their management is carried out by the groups formed by the heads of these organizations. Research carried out in 2017 showed that CAFE do well to promote this economic empowerment and allow women who are members to build a certain collective strength. In contrast, CAFE do not allow women to develop the capacity to transform social norms that empower men and make them dominant in the social, economic and political spheres. Our thesis focuses on this apparent paradox by seeking to answer the following question: empowerment of rural women and the social and solidarity economy: what are the challenges for the development of the capacity for social transformation through women's self-promotion centers in Mali? ? To address this question, we are particularly interested in one of the dimensions of empowerment: "power within". Our research was carried out with the women of three CAFE located in rural Mali: Kita, Toubacoro and Dioïla. It is based on a postcolonial feminist posture which places the women concerned and their points of view at the heart of research. She recognizes that women are not a homogeneous population and that various power relationships exist between them. Therefore, she uses an intersectional approach not only to account for this diversity of powers but also to account for the interconnectedness of sexism and ageism in the social, economic and political spheres. In addition to the strong internalization of male domination by CAFE women, the results show that they are important actors in the perpetuation of male domination. The results also show that while the development of "power within" is essential for the empowerment of women, it does not remain a priority for CAFE and their organizations.

L’objectif de ce mémoire est de montrer qu’il est nécessaire de complémenter les schèmes multiculturalistes existants de mesures destinées à promouvoir l’autonomie et l’égalité des individus vulnérables au sein des groupes culturels et religieux minoritaires. En effet, les politiques multiculturalistes sont justifiées, dans une société libérale, dans la mesure où elles permettent de compenser les inégalités imméritées liées à l’appartenance à une culture minoritaire. C’est de cette justification de l’aménagement de la diversité culturelle dont traite le premier chapitre de ce mémoire. Cependant, plusieurs féministes, dont les critiques sont exposées au deuxième chapitre, ont mis en lumière le fait que ces politiques peuvent, en pratique, contribuer à fragiliser encore la position des individus vulnérables au sein de ces minorités et donc à renforcer les inégalités au sein du groupe. Dans le troisième chapitre, à l’aide du concept de capabilités, compris comme définition opérationnelle et procédurale de l’autonomie relationnelle, un modèle pouvant servir de complément aux schèmes multiculturels existants est élaboré. Le fonctionnement concret que pourrait avoir ce modèle fait l’objet du quatrième chapitre. Le modèle des capabilités – qui sont ici conçues à la fois comme guide pour les politiques et comme critère pour trancher les cas particuliers – pourrait donc mener à un type d’aménagement de la diversité à la fois plus flexible, au niveau des pratiques qu’il serait possible d’accommoder, mais également plus exigeant, au niveau des mécanismes institutionnels à mettre en place. / This dissertation aims at complementing existing multicultural theories with measures promoting autonomy and equality among cultural and religious minorities’ most vulnerable members. In a liberal society, multicultural policies are justified inasmuch as they allow compensating for undeserved inequalities, particularly those stemming from the individuals’ belonging to a cultural minority. The first chapter addresses this justification of cultural diversity management. In practice, multicultural policies can however contribute to weaken even more the vulnerable individuals within minorities, hence reinforcing existing inequalities among the group. Indeed, feminist writers have brought to light a number of criticisms about these policies, which are exposed in the second chapter. In the third chapter, the capabilities concept, constructed as an operational and procedural definition of relational autonomy, is used to build a framework complementing existing multicultural theories. Potential practical applications of this model are then explored in the fourth chapter. The capabilities framework, construed both as a guide for policy-making and as a standard to resolve hard cases, could pave the way for a new kind of cultural diversity management techniques. This framework is more flexible towards cultural diversity, potentially allowing accommodations for more cultural practices, but it is also more stringent, requiring the implementation of institutional mechanisms addressing issues within minorities.

"Mémoire présenté à la Faculté des études supérieures en vue de l'obtention du grade de Maître en droit (LL.M)" / Prises à la lettre et strictement appliquées par les intégristes musulmans, certaines dispositions du Coran vont à l'encontre de l'égalité entre hommes et femmes. Pour sa part, Mahmoud Mohamed Taha s'est plutôt attaché à promouvoir cette égalité non pas malgré le Coran mais en raison même d'une compréhension renouvelée du Coran. Après avoir esquissé le contexte global des relations entre islam, modernité, et droits de la personne, ce mémoire évoque les grandes lignes du modernisme musulman dans le secteur du droit pour faire ressortir le caractère original et audacieux de l'approche réformiste proposée par Taha. Cette approche sera d'abord étudiée de façon globale dans ses principes de base et ensuite dans son application au cas spécifique de l'égalité entre hommes et femmes. Puis, un parallèle entre la pensée de John Locke et celle de Taha soulignera leur enracinement commun dans le jus naturale et servira de fil conducteur pour dégager, en conclusion, la portée actuelle de l'oeuvre de Taha. / When taken literally and strictly applied by Muslim fundamentalists, sorne Koranic provisions go against gender equality. As for him, Mahmoud Mohamed Taha has endeavoured to promote that equality not in spite of the Koran but rather precisely because of a renewed understanding of it. After outlining the global context of the relations between Islam, modemity, and human rights, this dissertation evokes the main features of Islamic modemism in the field of law in order to bring out the original and bold nature of Taha's reformist approach. This approach is first studied globally in its basic principles and then in its application to the case of gender equality. After that, a parallel between John Locke's and Taha's thought shall underline their common roots withinjus naturale and lead to a conclusion assessing the actual impact of Taha's work.

Les actionnaires sont au centre du gouvernement des entreprises. Bien qu'une certaine passivité leur soit parfois reprochée, simultanément, des craintes existent qu'une démocratie des actionnaires ne limite excessivement la gestion quotidienne des entreprises. Loin d'être incompatibles, ces deux remarques reflètent la diversité des actionnaires. En pratique, leurs attentes et leur comportement dépendent fortement de deux éléments : la part du capital ou des voix qu'ils détiennent de même que leur identité. Notre recherche porte sur la protection des actionnaires minoritaires dans le cadre d'opérations de prises de contrôle de sociétés publiques. Le sujet soulève une problématique d'une grande actualité dans le contexte canadien, contexte caractérisé par une concentration de l'actionnariat des sociétés publiques. Le sujet fait la conjonction de deux problèmes d'actualité. D'une part, la multiplication des prises de contrôle s'est accrue lors des dernières décennies et ce phénomène semble, plus que jamais, promis à un brillant avenir. D'autre part, le problème de la protection des actionnaires minoritaires se pose de façon toujours plus aiguë, dans le cadre des sociétés par actions de plus en plus importantes où leur rôle tend à s'amenuiser. / Shareholders are at the heart of corporate governance. While some reproach them a certain passivity, others, at the same time, fear that a shareholders' democracy could unduly limit the daily management of corporations. Far from being incompatible, these two statements reveal the wide diversity that surrounds shareholders. In practice, their expectations and their behavior strongly depend on two items: their share in capital or their share of votes, as well as their identity. Our thesis deals with the issue of minority shareholders' protection in the context of takeover operations involving public companies. This topic raises issues of great relevance and is particularly current in the Canadian context that is characterised by a shareholding concentration of public companies. Our topic brings together two current problems. On the one hand, the rise in takeover operations has, in the last decades, been significant and this phenomenon seems, more than ever, to be destined to a very bright future. On the other hand, the issue of minority shareholders' protection also arises, ever so sharply, in the context of growing shareholding companies where shareholders' role seems to be fading.

Ce mémoire examine le rôle de la diversité dans une conception de la justice. Je débute en considérant l’abstraction de la différence impliquée dans le raisonnement utilisé pour arriver à une conception de la justice. Par la suite j’évalue le rôle des différences des groupes sociaux dans l’application des principes de justice, en considérant si la justice exige des droits individuels ou si les groupes peuvent revendiquer des droits différenciés. Ce mémoire utilise la position originale de John Rawls pour évaluer la première question, et sa conception de la personne et des groupes sociaux pour examiner la deuxième. Je soutiens que nous pouvons et devrions utiliser l’abstraction de la position originale, tant que nous sommes conscients de ses limites. Bien que sa conception politique de la personne soit également utile pour la défense des droits individuels, sa conception du groupe social n’est pas appropriée pour les groupes culturels ou historiquement opprimés, car il repose trop lourdement sur la notion d’association volontaire. J’analyse l’argument de Will Kymlicka concernant les droits minoritaires et j’enrichis la théorie de Rawls en ajoutant l’inégalité entre groupes. Je termine en examinant les problèmes concernant les minorités à l’intérieur des groupes minoritaires et conclue que les droits minoritaires ne sont justifiées que lorsqu’ils sont compatibles avec les droits individuels, et non pas quand ils renforcent une autre inégalité. Par conséquent, même si l’abstraction au niveau théorique est justifiée, les droits des groupes minoritaires exigeront qu’on porte une attention aux différences entres groupes, ainsi qu’à l’intérieur de ceux-ci. / This thesis examines the role of diversity in a conception of justice. I begin by considering the abstraction from difference involved in the reasoning used to arrive at a conception of justice. I then evaluate the role of social group difference in the application of principles of justice, considering whether justice demands principles that are the same for all in the form of individual rights or whether groups can claim differentiated rights. This thesis uses John Rawls’s original position to evaluate the first question, and his account of the self and social group to discuss the second. I argue that we can and should use the abstraction of the original position, so long as we are aware of its limits. While Rawls’s political conception of the self is also useful for defending individual rights, his account of the social group is inappropriate for cultural or historically oppressed groups, as it relies too heavily on the notion of voluntary association. I follow Will Kymlicka’s argument for minority rights and extend Rawls's theory to consider inequality between groups. I close by considering concerns regarding minorities within minorities, and conclude that minority rights are only justified when they are consistent with individual rights, not when they reinforce a different inequality. Therefore, even though the abstraction at the theoretical level is justified, minority rights for groups will require attention to the differences between groups, as well as within them.

Dans cette thèse, nous partons des grands principes de justice pour démontrer la nécessité d’octroyer aux êtres sensibles nonhumains les droits moraux et légaux les plus fondamentaux. Dans un premier temps, nous nous penchons sur les principes sous-jacents aux droits fondamentaux de la personne : le principe d’égalité voulant que les cas similaires soient traités de manière similaire; la notion de droit fondamental, qui repose sur celle d’intérêt; le principe de l’égale considération des intérêts auquel mène le principe d’égalité; et, enfin, le concept d’intérêt, qui s’applique à tous les êtres sensibles. Cette première partie établit l’exigence d’accorder les droits les plus fondamentaux à tous les êtres possédant les intérêts que ces droits visent à protéger. Cela permet d’étudier trois droits particuliers et les intérêts qui les sous-tendent en examinant d’abord le droit à l'intégrité physique. Nous montrons que de nombreux animaux nonhumains sont des êtres sensibles, que tous les êtres sensibles ont, par définition, intérêt à ne pas souffrir et que, pour cette raison, ils devraient jouir du droit à l’intégrité physique. Le troisième chapitre est consacré au droit à la vie. Nous soutenons qu’il est raisonnable de supposer que tous les êtres sensibles, parce qu’ils peuvent jouir des bonnes choses de la vie, ont un certain intérêt à persévérer dans leur existence, intérêt qui, peu importe son intensité ou sa nature, doit être protégé par l’égal droit de vivre. Notre dernier chapitre se concentre sur le droit à la liberté. Nous montrons que cet intérêt est généralement interprété négativement et ne consiste qu’à pouvoir agir sans subir d’interférence. Nous soutenons que cette acception du concept de liberté nous force à reconnaître l’intérêt à être libre de tous les êtres sensibles et notre devoir de leur accorder un droit à la liberté. Nous ajoutons finalement que l’interprétation républicaine de la liberté nous incite à reconnaître à tous ces animaux un statut égal à celui des humains. Nous terminons cette réflexion en concluant que l'octroi des droits fondamentaux aux animaux sensibles implique que l’exploitation animale institutionalisée soit abandonnée et que les animaux conscients jouissent du statut de personne. / In this thesis, I use well-established principles of justice to demonstrate that there exists no valid moral reason to deny nonhuman sentient beings the most fundamental moral and legal rights. I begin by going over the principles that will inform my discussion of these basic rights. I examine the principle of equality, which requires that similar cases be treated similarly; the notion of fundamental right, which is based on the concept of interest; the principle of equal consideration of interests, which the principle of equality entails; and, finally, the concept of interest, which is applicable to all sentient beings. This first section establishes the necessity of attributing the most fundamental rights to all beings who possess the basic interests these rights are designed to protect. I then delve into an examination of the three most fundamental rights and the interests underlying these. First, I discuss the right to physical integrity, demonstrating that numerous nonhuman animals are sentient beings, and that all sentient beings, by definition, have an interest in not suffering. Second, I examine the right to life. I argue that it is reasonable to assume that every sentient being, because he or she can benefit from the good things in life, has a certain interest in his or her continued existence. This interest, regardless of its intensity or nature, deserves to be protected by an equal right to life. Third, I establish that the interest in being free is generally interpreted negatively; it simply consists of having the ability to act without interference. I argue that based on this conceptualization of liberty, all sentient beings have an interest in being free. I go on to explore the republican interpretation of freedom, suggesting that it provides further grounds for the recognition that nonuhuman sentient beings also have an interest in benefiting from the same moral and legal status as human beings. I conclude that granting the right to physical integrity, life and freedom to all sentient beings implies that we abandon all forms of institutionalized animal exploitation and that we give to all conscious beings the equal status of person.