Texte remanié de: Thèse de doctorat--Histoire--Bordeaux 3, 2001. Titre de soutenance : Le personnel politique du Libournais de Napoléon Bonaparte à Albert Lebrun : étude prosopographique des parlementaires, conseillers généraux, conseillers d'arrondissement et maires de l'arrondissement de Libourne (Gironde) de 1800 à 1940. / En appendice, notices des hommes politiques du Libournais de 1800 à 1940. Bibliogr. p. 527-532. Index.

Diss.--Universität Bern, 2001. / Bibliogr. p. [213]-225.

Texte remanié de: Habilitationsschrift--Heidelberg Universität, 1989. / Bibliogr. p. 389-399.

Diss.--Fakultät für Sozialwissenschaten--Universität der Bundeswehr München. / Bibliogr. p. 299-318. Notes bibliogr.

Dans cette thèse, nous nous intéressons à la spécification et à l’analyse modulaires de politiques de sécurité flexibles basées sur des règles. Nous introduisons l’utilisation du formalisme de réécriture stratégique dans ce domaine, afin que notre cadre hérite des techniques, des théorèmes, et des outils de la théorie de réécriture. Ceci nous permet d’énoncer facilement et de vérifier des propriétés importantes des politiques de sécurité telles que l’absence des conflits. En outre, nous développons des méthodes basées sur la réécriture de termes pour vérifier des propriétés plus élaborées des politiques. Ces propriétés sont la sûreté dans le contrôle d’accès et la détection des flux d’information dans des politiques obligatoires. Par ailleurs, nous montrons que les stratégies de réécriture sont importantes pour préserver des propriétés des politiques par composition. Les langages de stratégies disponibles dans des systèmes comme Tom, Stratego, Maude, ASF+SDF et Elan, nous permettent de définir plusieurs genres de combinateurs de politiques. Enfin, nous fournissons également une méthodologie pour imposer à des applications existantes, de respecter des politiques basées sur la réécriture via la programmation par aspects. Les politiques sont tissées dans le code existant, ce qui génère des programmes mettant en oeuvre des moniteurs de référence. La réutilisation des politiques et des programmes est améliorée car ils peuvent être maintenus indépendamment. / In this thesis we address the modular specification and analysis of flexible, rule-based policies. We introduce the use of the strategic rewriting formalism in this domain, such that our framework inherits techniques, theorems, and tools from the rewriting theory. This allows us to easily state and verify important policy properties such as the absence of conflicts, for instance. Moreover, we develop rewrite-based methods to verify elaborate policy properties such as the safety problem in access control and the detection of information flows in mandatory policies. We show that strategies are important to preserve policy properties under composition. The rich strategy languages available in systems like Tom, Stratego, Maude, ASF+SDF and Elan allows us to define several kinds of policy combiners. Finally, in this thesis we provide a systematic methodology to enforce rewrite-based policies on existing applications through aspect-oriented programming. Policies are weaved into the existing code, resulting in programs that implement a reference monitor for the given policy. Reuse is improved since policies and programs can be maintained independently from each other.

Texte remanié de: Thèse de doctorat--Droit pénal--Paris 2, 2005. / Bibliogr. p. 289-298. Index.

Texte remanié de: Tesis doct.--Derecho público--Universidad de Sevilla, 2000. / Bibliogr. p. 267-277. Notes bibliogr.

Dissertation--Philosophische Fakultät III--Berlin--Humboldt-Universität, 2003. / Bibliogr. p. 137-156.

La construction des agglomérations : Logiques politiques et dynamiques institutionnelles. Une comparaison franco-québécoise. Cette recherche doctorale porte sur la construction politique des agglomérations. A partir des expériences des fusions municipales québécoises impulsées par la réforme dite Harel, et des nouvelles communautés d'agglomération françaises instaurées par la loi Chevènement, on examine la manière dont les systèmes politiques locaux s'approprient les processus de transformation impulsés par le palier national. Ces expériences de mise en adéquation d'un territoire urbain fonctionnel et d'une formalisation juridico-politique se font à travers la notion d?agglomération. Le but de cette recherche est d'apporter un éclairage sociopolitique sur l'affirmation des agglomérations par-delà le découpage des municipalités traditionnelles. L'émergence de ce nouveau territoire, questionne à la fois les modes de coopération dont il relève, sa propre structuration et la transformation de la production d'une action publique territorialisée (par qui? comment? et pourquoi?). L'objectif est double : comprendre comment des systèmes supra locaux déjà formalisés réagissent à l'obligation de transformation de leurs structures. Mais aussi, à travers ce processus de transformation institutionnelle, mettre à jour les liens qui unissent : la politique (politic), l'action publique (policy) et le territoire. La question centrale est donc : quels sont les effets politiques du passage de l'échelon municipal à celui de l'agglomération? Pour y répondre, on a réalisé deux études de cas portant respectivement sur la création de la communauté d'agglomération Rennes Métropole (France) et celle de Ville de Saguenay (Québec). Après avoir identifié des périodes dites de transition institutionnelle, trois angles ont été privilégiés : l'institutionnalisation du territoire de l'agglomération, le métier d'élu local au prisme des transformations du cadre institutionnel, et les formes de légitimation de la nouvelle institution. L'émergence de l'agglomération non plus comme catégorie urbaine mais comme catégorie politique, révèle la mise à jour d'un territoire inédit résultat du travail politique. Ce territoire se singularise par son ouverture et par le fait qu'il se surimpose sans se substituer aux découpages municipaux. Au cours des transitions institutionnelles, les élus locaux sont conduit à mobiliser et à développer certains savoir et savoir-faire, dans un contexte concurrentiel. L'institutionnalisation des agglomérations apporte une concentration, et une hiérarchisation accrue des mandats locaux au détriment des organes de la démocratie d'assemblée. Parallèlement, les registres de légitimation des élus valorisent la figure de l'intermédiaire. Finalement, la mise en légitimité des agglomérations s'est avérée fort contrastée dans les deux pays, reflétant les idéaux-types municipaux français et canadiens. La naturalisation de ce territoire relève d'une légitimité d'existence au Québec, alors qu'elle passe par une démarche politique en France. Par delà la question des agglomérations, ce travail est aussi l'occasion d'une réflexion sur les instruments de l'action publique et sur la thématique du changement.

L'un des postulats qui sous-tend cette recherche qualitative est que le caractère absolu, exclusif et indivisible de la souveraineté politique n'est plus justifiable dans un contexte où des revendications conflictuelles en regard de la souveraineté abondent. L'objectif poursuivi par ce travail consiste à explorer une conceptualisation de la souveraineté qui sied mieux à la multiplication des sites de gouvernance et à la diffusion de l'autorité publique. C'est ce qui explique le choix de scruter la théorie politique d'Althusius, d'abord comprise comme un système de souveraineté partagée. Celui qui a parfois été désigné comme « le plus profond penseur politique entre Bodin et Hobbes »' organise la diversité dans un projet fédéral ascendant et pluraliste. Ce modèle de souveraineté n'abdique pas devant la diversité mais recherche plutôt des façons harmonieuses et politiques de l'organiser. Bien que pré-moderne, il fournit des notions conceptuelles susceptibles de contribuer à réduire les tensions entre les particularismes et les universalismes à une époque où les revendications normatives à l'autorité se multiplient à des échelons autres qu'étatiques. Si Bodin a pensé assimiler les factions dans un ordre politique hiérarchique et unitaire, Althusius s'est plutôt évertué à protéger la diversité dans un ordre constitutionnel horizontal et subsidiaire. C'est à travers ce prisme théorique que cette étude se propose d'étudier les dévolutions britanniques. L'hypothèse qui sera défendue est que le transfert de pouvoirs politiques vers les nouveaux parlements régionaux traduit un processus dynamique qui peut être interprété grâce au fédéralisme ascendant d'Althusius. L'objectif est d'étayer l'hypothèse de ce rapprochement grâce à l'analyse des principaux concepts qui organisent la théorie d'Althusius : la co-souveraineté, la politique entendue comme un processus de construction communautaire et la subsidiarité.