Partant des concepts de la théorie des systèmes hiérarchises, on définit un langage et son interpréteur permettant de décrire formellement et d'expérimenter des systèmes à architecture hiérarchisée. On introduit des dispositifs évolués de simulation du temps et on montre que les notions de hiérarchie apportent une dimension nouvelle aux langages et techniques de simulation.

Cette thèse a été réalisée en collaboration avec l'établissement bancaire LCL-Le Crédit Lyonnais. Elle s'inscrit dans le domaine des entrepôts de données. Ces derniers constituent un élément fondamental de l'architecture décisionnelle, sur lesquels reposent des outils permettant de répondre à des besoins d'analyse. Or, l'émergence de nouveaux besoins d'analyse individuels fait apparaître la nécessité d'une personnalisation des analyses. Pour permettre cette personnalisation, nous proposons une solution basée sur une évolution du schéma de l'entrepôt guidée par les utilisateurs. Il s'agit en effet de recueillir les connaissances de l'utilisateur et de les intégrer dans l'entrepôt de données afin de créer de nouveaux axes d'analyse. Cette solution s'appuie sur la définition d'un modèle formel d'entrepôt de données évolutif, basé sur des règles "si-alors", que nous appelons règles d'agrégation, qui permettent de représenter les connaissances utilisateurs. Notre modèle d'entrepôt évolutif est soutenu par une architecture qui place l'utilisateur au cœur du processus d'évolution du schéma de l'entrepôt. Nous nous sommes par ailleurs intéressés à l'évaluation de la performance de notre modèle d'entrepôt de données évolutif. L'évaluation de performances se base généralement sur une charge (ensemble de requêtes). Dans le contexte évolutif dans lequel nous nous plaçons, nous proposons alors une méthode de mise à jour incrémentale d'une charge donnée en répercutant l'évolution de schéma subie par l'entrepôt. Pour valider nos différentes contributions, nous avons développé la plateforme WEDriK (data Warehouse Evolution Driven by Knowledge).

La hiérarchie des normes est une notion commune du langage juridique. Les conventions, à l’instar de la Constitution à l’égard de la loi, peuvent-elle entretenir entre elles des relations hiérarchiques ? Trois éléments feraient obstacle à cette hypothèse. L’effet relatif des conventions, l’identité de nature juridique de ces actes et, enfin, le fait que les conventions ne soient pas des règles de Droit mais des actes d’exécution du droit.Lever un à un ces obstacles qui ne sont pas rédhibitoires et démontrer que le contrat est une règle de Droit, autorise alors à admettre théoriquement cette hypothèse. L’étude du droit positif permet ensuite de confirmer que des conventions peuvent entretenir des rapports hiérarchiques. Tel est le cas du contrat de société à l’égard des conventions de la société contractante ou bien encore du mandat à l’égard du contrat projeté.Il est alors possible d’étudier les conditions dans lesquelles un lien de nature hiérarchique peut apparaître. Les conditions préalables à cette mise en ordre supposent une pluralité d’actes et la nature conventionnelle de ceux-ci. Les « éléments constitutifs » du lien hiérarchique supposent eux que la convention qui occupe la place de norme supérieure soit impérative à l’égard des parties à la seconde convention / The hierarchy of norms is a common notion of juridical language. Can contracts, like the Constitution regarding law, organize into a hierarchy? Three elements would put an obstacle in the way of this assumption. The relative effect of contracts, the juridical identity of theses acts and, finally, the fact that contracts are not rules of law but acts of law enforcement.Raising these obstacles one by one, obstacles that are not totally unacceptable, and demonstrating that the contract is a rule of law, allows then to theoretically admit this possibility. The study of substantive law confirms afterwards that cont can be organized into a hierarchy. This is the case of the society contract regarding the conventions of the contracting society, and of the mandate with the contract that is planned.It is then possible to study the conditions under which a hierarchical link can appear. The prerequisites for this hierarchical organization require a plurality of acts and their contractual nature. The "making up elements" of the hierarchical link are based on the assumption that the contract that holds the higher norm is with regard to the parties of the second contract

Thèse numérisée par la Division de la gestion de documents et des archives de l'Université de Montréal.

Nous avons étudié dans cette thèse une approche discrète de la synthèse de contrôleurs pour les systèmes hybrides permettant la manipulation de dynamiques non-linéaires : les états sont regroupés dans une partition finie au prix d'une sur-approximation non déterministe de la relation de transition. Nous avons développé des algorithmes permettant de réduire l'explosion du nombre d'états due à la discrétisation en exploitant des propriétés des systèmes ODE. Ces algorithmes sont basés sur une approche hiérarchique du problème de la synthèse en le résolvant pour des sous problèmes et en utilisant ces résultats pour réduire l'espace d'états global. Nous avons aussi combiné des objectifs de vivacité et de sécurité pour s'approcher d'une stabilisation. Des résultats implémentés sur un prototype viennent montrer l'intérêt de cette approche.Pour la vérification, nous avons étudié le problème du model checking d'automates temporisés basé sur la résolution SAT. Nous avons exploré des solutions alternatives pour le codage des réductions SAT basées sur des exécutions parallèles de transitions indépendantes. Alors qu'une telle optimisation a déjà été étudiée pour les systèmes discrets, une approche intuitive pour les automates temporisés serait de considérer que des transitions en parallèle ont lieu au même instant (synchrones). Toutefois il est possible de relâcher cette condition et nous avons montré trois sémantiques différentes pour les séquences temporisées avec des transitions parallèles. Nous montrons la correction des sémantiques et décrivons des résultats expérimentaux réalisés avec notre prototype. / We consider a discretization based approach to controller synthesis of hybrid systems that allows to handle non-linear dynamics. In such an approach, states are grouped together in a finite index partition at the price of a non-deterministic over approximation of the transition relation. The main contribution of this work is a technique to reduce the state explosion generated by the discretization: exploiting structural properties of ODE systems, we propose a hierarchical approach to the synthesis problem by solving it first for sub problems and using the results for state space reduction in the full problem. A secondary contribution concerns combined safety and liveness control objectives that approximate stabilization. Results implemented on a prototype show the benefit of this approach. For the verification, we study the model checking problem of timed automata based on SAT solving. Our work investigates alternative possibilities for coding the SAT reductions that are based on parallel executions of independent transitions. While such an optimization has been studied for discrete systems, its transposition to timed automata poses the question of what it means for timed transitions to be executed “in parallel”. The most obvious interpretation is that the transitions in parallel take place at the same time (synchronously). However, it is possible to relax this condition. On the whole, we define and analyse three different semantics of timed sequences with parallel transitions. We prove the correctness of the proposed semantics and report experimental results with a prototype implementation.

Comme procureur général près la Cour de cassation, Dupin ne s’est pas contenté de proposer un avis sur les pourvois en cassation pour contravention à la loi, mais il a travaillé, en collaboration avec la Chancellerie à la surveillance des tribunaux de l’ordre judiciaire. Le procureur général se montre si préoccupé des pourvois pour excès de pouvoir et dans l’intérêt de la loi qu’il propose à la Cour de cassation une interprétation nouvelle de leur nature et de leurs conditions qui ont presque toujours été adoptées. Dans le cadre de ses conclusions partie jointe, son influence sur la jurisprudence de la cour suprême est déterminante, car son interprétation en droit a été suivie d’une très forte majorité d’arrêts conformes, tant en droit civil qu’en droit pénal. La doctrine de Dupin est intéressante d’abord par la formulation de son positivisme dans une oeuvre qui éclaire d’un jour nouveau la lente conceptualisation de la hiérarchie des normes à l’époque de la Restauration et de la Monarchie de Juillet. Le second intérêt de sa doctrine réside ensuite dans ses prises de positions en faveur d’une autorité judiciaire souvent contestée. L’évolution des idées de Dupin est cependant singulière, car après avoir mené un combat contre ce qu’il percevait comme une justice d’exception, il a fini par accepter un dualisme juridictionnel. Son apport concret à l’indépendance de l’ordre judiciaire a été tout de même très important, puisqu’il a fortement contribué à imposer l’inamovibilité des magistrats contre deux révolutions, à maintenir les juridictions militaires et coloniales sous le contrôle de la Cour de cassation et à leur imposer progressivement le respect des règles de droit commun. / As « procureur général près la Cour de cassation », Dupin has never been satisfied with a simple opinion ont the « pourvoi en cassation » for « contravention à la loi », but he also worked with the « Chancellerie » to oversee the judiciary courts. The « procureur général » shows such concern for the « pourvoi pour excès de pouvoir » and « dans l’intérêt de la loi », that he proposes to the « Cour de cassation » some new interpretations on their nature and conditions. For the « conclusions partie jointe », his influence on the « jurisprudence » of the supreme court is very important, for his interpretation of the law is followed by many decisions of the « Cour de cassation », as in civil law and criminal law. The opinion of Dupin is very interesting, first for the way he defined the « positivisme » on his work, wich sheds some new light on the conceptualization of the « hiérarchie des normes » at the time of the Restauration and the Monarchie de juillet. Then, the interest of his opinion lies in its positions in favor of a much contested judiciary power. The evolution of those ideas however, is much singular, for after leading a battle against what was, in his personal opinion, a « justice d’exception », he finally accepted the « dualisme juridictionnel ». His contribution to the independance of the judiciary power was also absolutly crucial, for he fought personnaly to maintain the « inamovibilité » of the judges wich was endangered by the time of the 1830 and 1848 revolutions, and also the military and colonial courts under the control of the « Cour de cassation ».

Les systèmes de calcul actuels sont généralement des grappes de machines composés de nombreux processeurs à l'architecture fortement hiérarchique. Leur exploitation constitue le défi majeur des implémentations de modèles de programmation tels MPI ou OpenMP. Une pratique courante consiste à mélanger ces deux modèles pour bénéficier des avantages de chacun. Cependant ces modèles n'ont pas été pensés pour fonctionner conjointement ce qui pose des problèmes de performances. Les travaux de cette thèse visent à assister le développeur dans la programmation d'application de type hybride. Il s'appuient sur une analyse de la hiérarchie architecturale du système de calcul pour dimensionner les ressources d'exécution (processus et threads). Plutôt qu'une approche hybride classique, créant un processus MPI multithreadé par noeud, nous évaluons de façon automatique des solutions alternatives, avec plusieurs processus multithreadés par noeud, mieux adaptées aux machines de calcul modernes. / Modern computing servers usually consist in clusters of computers with several multi-core CPUs featuring a highly hierarchical hardware design. The major challenge of the programming models implementations is to efficiently take benefit from these servers. Combining two type of models, like MPI and OpenMP, is a current trend to reach this point. However these programming models haven't been designed to work together and that leads to performance issues. In this thesis, we propose to assist the programmer who develop hybrid applications. We lean on an analysis of the computing system architecture in order to set the number of processes and threads. Rather than a classical hybrid approach, that is to say creating one multithreaded MPI process per node, we automatically evaluate alternative solutions, with several multithreaded processes per node, better fitted to modern computing systems.

Chargés de mettre en œuvre la loi pénale contre les personnes soupçonnées d’infractions, les procureurs bénéficient traditionnellement d’un large pouvoir d’appréciation qui est en général encadré par la loi et par des instructions hiérarchiques que les procureurs doivent suivre lorsqu’ils prennent leurs décisions. Avec une analyse fondée sur des observations et des entretiens dans les systèmes français et anglo-gallois, cette étude comparative vise à comprendre comment les systèmes de justice pénale étudiés s’efforcent de combiner les nécessités du contrôle des autorités de poursuites dans des sociétés démocratiques modernes avec la souplesse et la réactivité nécessaires à l’application de la loi résultant de la marge d’appréciation laissée aux procureurs. Il existe actuellement peu d’études empiriques et systématiques du processus de décision des autorités de poursuites. Cette thèse montre qu’aucun des systèmes observés ne parvient à un équilibre satisfaisant entre le degré de responsabilité et le pouvoir de décision des procureurs. En France, bien que le contrôle démocratique et hiérarchique des procureurs soit bien développé en théorie, il reste limité en pratique, en raison en raison de la primauté du principe d’individualisation dans la culture juridique et du statut professionnel des procureurs comme magistrats indépendants. En Angleterre et au Pays de Galles, les procureurs font partie d’une structure particulièrement bureaucratique et centralisée qui impose une stricte uniformité des décisions de poursuites aux dépens du pouvoir de décision et de l’autonomie des procureurs dont le rôle se limite à des tâches simples et répétitives en raison de la segmentation de la procédure de poursuites. Cette structure autoritaire de contrôle, conjuguée à un équilibre historique des pouvoirs en faveur de la police, semble empêcher les procureurs de prendre des décisions qui pourraient être mal vues par leur hiérarchie ou la police. Enfin, le manque de ressources et une recherche constante d’efficacité dans chacun des systèmes juridiques étudiés ont produit une bureaucratisation de la procédure pénale, certaines tâches étant déléguées à du personnel peu qualifié et les affaires mineures étant expédiées le plus rapidement possible selon un traitement standardisé. / Tasked with enforcing the criminal law against suspected offenders, public prosecutors have traditionally enjoyed broad discretion, which is usually structured by legal and policy guidelines defining rules prosecutors should follow when making their decisions. Basing its analysis upon direct observations and interviews in the two jurisdictions under study, this comparative thesis endeavours to understand how the French and Anglo-Welsh criminal justice systems attempt to combine the necessities of accountability for public prosecution services in modern democratic societies with the flexibility and reactivity needed in the application of the law provided by prosecutorial discretion. There have been few systematic, empirical accounts of the decision-making process of these national prosecution services.This thesis argues that neither system observed achieves a satisfactory balance between accountability and discretion for public prosecutors. In France, although democratic and hierarchical accountability channels are well developed in theory, oversight is weak due to the primacy of the concept of ‘adaptation’ in the legal culture and the strong professional ethos of procureurs as independent judicial officers. In England and Wales, public prosecutors are part of a highly bureaucratic and centralised structure which strictly enforces consistency in prosecutorial decisions at the expense of much discretion and autonomy for individual prosecutors whose responsibility is limited to narrow and repetitive tasks due to the segmentation of the prosecution process. This overbearing accountability structure, coupled with a historical balance of power in favour of the police, appears to prevent prosecutors from making decisions perceived as unpopular with their hierarchy or the police. Finally, pressure on resources and a drive for efficiency in both jurisdictions have resulted in the bureaucratisation of the criminal justice process with part of the prosecution workload being delegated to unqualified staff and minor cases being processed as quickly as possible into a one-size-fits-all system.

Cette thèse propose d’étudier l’évolution des hiérarchies des villes et de la croissance urbaine en s’appuyant sur le cas du Maroc. Le Maroc a connu ces dernières décennies un processus d’urbanisation soutenu, tant dans les grandes villes que dans les petites et moyennes villes. D’où la nécessité de procéder à une structuration démographique urbaine primatiale qui exige une coordination entre certaines politiques économiques nationales et les politiques d’aménagement menées par les grandes métropoles afin de faire preuve d’une réelle efficacité. Une politique d’aménagement résolument tournée jusqu’ici vers la gestion de la pression urbaine dans les grandes métropoles. Ce qui a conduit par conséquent à une polarisation des activités dans quelques régions du territoire. Ainsi, cette thèse se structure autour de trois chapitres. Le premier chapitre examine la loi rang-taille et l’apport des économistes et des géographes dans ce processus. Le second chapitre analyse les trois approches théoriques qui traitent la question de la croissance urbaine notamment les théories de la croissance aléatoire, de la croissance déterministe et l’intersection de ces deux approches dites d’hybrides. Enfin, le dernier chapitre est basé sur une étude empirique à l’échelle régionale afin de recenser les déterminants de la croissance urbaine des régions marocaine. Le travail engagé dans cette thèse s’appuie sur des bases de données originales fournies par le Haut-Commissariat au Plan permettant de recenser la taille des agglomérations marocaines et utilise un ensemble d’instruments statistiques et économétriques. Les différents résultats obtenus s’inscrivent dans le prolongement de différentes études effectuées en sciences régionales. Ces résultats indiquent que les hiérarchies urbaines marocaines sont appelées à changer dans les décennies à venir, mais également que la croissance économique des régions du Maroc n’affecte pas immédiatement la croissance de la population urbaine. / This thesis proposes to study the evolution of city hierarchies and urban growth based on the case of Morocco. This country has experienced in recent decades a sustained urbanization process, both in large cities and small and medium-sized cities. Hence the need to proceed to a primatial urban demographic structure that requires coordination between certain national economic policies and planning policies carried out by major cities to be truly effective. A development policy resolutely turned so far towards the management of urban pressure in major cities. This led to a polarization of activities in some regions of the territory. Thus, this thesis is divided into three chapters. The first chapter examines the rank-size law and the contribution of economists and geographers in this process. The second chapter analyzes the three theoretical approaches that deal with the issue of urban growth, in particular theories of random growth, deterministic growth and the intersection of these two approaches, called hybrid. Finally, the last chapter is based on an empirical study at the regional level to identify the determinants of urban growth in Moroccan regions. The work undertaken in this thesis is based on original databases provided by the Office of the “Haut-Commissariat au Plan” to identify the size of Moroccan agglomerations and uses a set of statistical and econometric instruments. The various results obtained are a continuation of various studies carried out in regional sciences. These results indicate that Moroccan urban hierarchies are destined to change in the decades to come, but also that the economic growth of the regions of Morocco does not immediately affect the growth of the urban population.

A travers cette thèse, notre objectif de départ a été de comprendre en quoi l'atteinte des objectifs sociaux des PPP dépend des mesures prises par les gestionnaires publics dans le cadre de l'exercice de leurs rôles et responsabilités en matière de contrôle.C'est pourquoi il a été question pour nous de comprendre comment les pouvoirs publics au travers des dispositifs institutionnels et contractuels ont exercé ce rôle de contrôle sur le partenaire privé. Sur la base d'une telle orientation, il a été souscrit aux méthodes qualitatives notamment à l'étude de cas pour appréhender le contrôle dans les PPP. Sur l'institutionnalisation des axes comme la prise en compte de toutes les parties prenantes, les différences d'objectifs, les rôles et responsabilités, l'absence de hiérarchie ont été tour à tour analysés. Ce qui a permis d'en faire des préalables des PPP. S'agissant de la contractualisation, il a fallu s'intéresser aux modèles de contrôle qui étaient basés sur la nécessité d'apporter des corrections au système, et sur ceux qui créent les conditions d'imputabilité. En conclusion de ce point, il apparaitra que les contrats devraient s'appuyer sur des éléments de performance. Enfin, sur le traitement des divergences entre partenaires les différences d'objectifs, de valeurs et de caractéristiques, l'opportunisme des partenaires surtout privés, la nécessité d'une alliance et d'une coopération, le pragmatisme des partenaires ont été mis en avant. Autrement dit dans les PPP, il est nécessaire de procéder au management de telles divergences. / Through this PhD thesis, our initial objective was to understand the control exercised by the government on their private partners in the Public-Private Partnerships. This was necessitated by the differences in objectives of the partner institutions and their different characteristics.This is why it has been the question for us to understand how the authorities through the institutional and contractual arrangements exercised this role of control over the private partner.On the basis of such an approach, it was subscribed to qualitative methods including case study to understand the control on the PPP.On the institutionalization, axis such as the inclusion of all the stakeholders, the differences in objectives, the roles and responsibilities, the lack of hierarchy were alternately analyzed. This allowing to make them prerequisites to PPPs.With respect to contracting, we had to look at the control models which were based on the need to correct the system and on those which create the conditions of accountability. To conclude this point, it will appear that contracts should be based on elements of performance.Finally, on the treatment of the differences between partners, the differences in goals, values and characteristics, the opportunism of partners especially the private ones, the need for an alliance and cooperation, the pragmatism of partners have been highlighted. In other words in the PPP, it is necessary to manage such differences.