Thèse numérisée par la Direction des bibliothèques de l’Université de Montréal / Cette thèse en science politique (administration publique) a pour but de comprendre les interactions entre fonctionnaires fédéraux et provinciaux en situation de chevauchements dans un secteur (la formation de la main-d’œuvre) qui a été chaudement disputé par les gouvernements fédéral et provinciaux, particulièrement au Québec. Nous examinons la littérature existante sur la question des chevauchements en système fédéral. En fait, cette question s'inscrit dans un débat plus large sur le fonctionnement du fédéralisme et le partage des pouvoirs dans les fédérations. La plupart des études recensées ne s'attardent pas au rôle joué par les fonctionnaires des deux paliers de gouvernement. Les études qui traitent de chevauchements considèrent que ceux-ci sont inefficaces et coûteux et donnent lieu à de la mauvaise gestion. Par contraste, les études qui s'intéressent aux fonctionnaires et à leurs interactions font un constat plus nuancé sur la double gestion. En nous inspirant de nos prédécesseurs, Dupré, Savoie et Haddow, nous avons choisi d'interviewer des fonctionnaires fédéraux et provinciaux impliqués dans des programmes de formation de la main-d’œuvre, au Québec et en Ontario. Nous avons combiné rapproche de l'analyse stratégique et la théorie néoinstitutionnelle comme cadre théorique afin de cerner les perceptions, les attitudes et aussi les objectifs et les valeurs des fonctionnaires que nous avons interviewés. Notre recherche nous a permis d'établir que les fonctionnaires fédéraux et provinciaux œuvrant dans la formation de la main-d’œuvre au Québec et en Ontario ont eu tendance à coopérer mais ont été fortement influencés par le contexte institutionnel. Le débat constitutionnel accompagné de la remise en question des initiatives fédérales dans la formation de la main-d’œuvre, ainsi que la lutte contre le déficit priorisé par la classe politique ont contribué à modifier les structures d'intervention gouvernementale au point d'inhiber la coopération entre les fonctionnaires. Toutefois, les fonctionnaires provinciaux, tant québécois qu'ontariens ont suffisamment fait état des problèmes reliés à l'harmonisation des interventions pour que nous puissions conclure que les chevauchements compliquent la gestion. Quant au secteur de la formation de la main-d’œuvre, le concept de partenariat a été mis à l'épreuve et s'est heurté à la méfiance de certains ministres. Quant aux fonctionnaires, les ajustements nécessaires en situation de partenariat avec des organismes non-gouvernementaux se sont avérés être la difficulté majeure, plus importante que les chevauchements.

Les grilles de lecture classiques sur la trajectoire sociopolitique du continent africain sont souvent pessimistes. Elles semblent avoir de beaux jours devant elles puisque l’histoire contemporaine montre une Afrique perpétuellement instable politiquement, traversée par des guerres civiles et des démocraties émergentes sous tension à l’approche des élections.Ce travail invite à une réflexion et une perspective scientifique alternatives, autour d’un pays comme le Bénin. Depuis son indépendance, il n’a pas connu la violence létale, facteur d’un état social « chaotique et pathologique » entraînant un gros volume de destructions et de catastrophes, pour les biens comme pour les individus. Cette thèse relie et articule plusieurs points : l’imaginaire collectif, la relation à l’autre, l’idée que les habitants ont de l’appartenance à un ensemble nommé Bénin, les symboles à l’actif du pays, le travail de socialisation à une communauté de sens et le processus de pacification. Les tensions d’un niveau infra-létal existent mais restent jusqu’à présent contenues. Elles sont les contingences de la construction d’une société politique et traversent certaines étapes de son histoire sociopolitique.Notre démarche théorique favorise une réflexion globale autour de l’interaction entre la double altérité ‒ on est toujours un "autre" pour "l'autre" ‒ et la question de la paix, principalement à l’intérieur d’un pays comme le Bénin. Les profils identitaires ne sont jamais les mêmes à travers le temps et l’espace. Mais au-delà des écarts différentiels, le fait qu’un espace favorise l’émergence des identités collectivement partagées rend probable tout processus de pacification. Dans la mise en œuvre de celui-ci, l’idée du Bénin devient ainsi plus forte que le Bénin lui-même, entité d’abord voire surtout substantielle. Les Béninois ne sont pas en paix parce qu’ils auraient nécessairement la même couleur de peau, la même histoire, une langue commune. Pour nous, même en l’absence de ces trois critères, la paix reste accessible. Pour le démontrer, trois années sur le « terrain » (2007-2010) ont constitué le temps fort de la recherche empirique. Nous avons mené une centaine d’entretiens et réalisé des focus group au sein des communautés où la question de l’identité partagée est mise à l’épreuve quotidiennement. Cette étude doctorale est ainsi un compte rendu des résultats obtenus et des analyses proposées. / Classical perspectives on the socio-political trajectory of the African continent are often pessimist. They will mostly remain so for some time to as contemporary history reveals a continent continually riddled with political instability and wracked by civil wars, whilst emerging democracies are subjected to tensions at the onset of elections. This work offers a reflection and an alternative scientific perspective by focusing on Benin. Since its Independence, Benin has not experienced lethal violence or pathological social chaos causing immense destruction and disaster. This thesis addresses and links several issues: a collective memory, relationships to other people, the idea that residents belong to a unity called Benin; the existence of symbols that benefit national consciousness; socialization aimed at achieving a sense of community; and a peace process. Tensions were at low lethality levels were present and still exist but have so far been limited. They characterize the contingent stages of a political society and its political history.Our theoretical approach privileges a general reflection on: the interaction between duality and otherness – there is always on “other” for an “other” – and the issue of peace; here (within a country), and elsewhere (abroad). Identity profiles are never the same across time and space. But beyond various differences, the fact that space promotes the emergence of collectively shared identities possibly contributes to the peace process. During the implementation of the peace process, the idea of Benin becomes stronger than Benin itself; an entity which is, first of all, substantive in nature. The Beninese are not in peace just because they have the same skin colour, the same history or a common language. Three years of field research (2007 – 2010) constituted the most important period of the empirical research that was used to demonstrate this. About a hundred interviews were conducted and focus group discussions were held within communities where the issue of shared identity was a daily problem. This doctoral study is therefore an account of results obtained and proposed analyses.

Dans cette thèse on a développé des algorithmes semi-implicites procédures partagées et monolithiques pour l'interaction entre un fluide gouverné par le modèle de Navier Stokes et une structure. Dans le premier chapitre, on présente un algorithme semi-implicite procédures partagées pour l'interaction entre un fluide et une structure gouvernée soit par les équations d'élasticité linéaire ou soit par le modèle de Saint-Venant Kirchhoff non linéaire. Dans le second chapitre, on propose un algorithme semi-implicite procédures partagées pour l'interaction entre un fluide et une structure de modèle linéaire et on montre un résultat de stabilité inconditionnelle en temps de l'algorithme. Un problème d'optimisation est résolu dans les deux algorithmes précédents, afin de satisfaire les conditions de continuité des vitesses et d'égalité des contraintes à l'interface. Durant les itérations de BFGS pour résoudre le problème d'optimisation, le maillage fluide reste fixe et la matrice fluide n'est factorisée qu'une seule fois, ce qui réduit l'effort de calcul. Dans le troisième chapitre, un algorithme semi-implicite monolithique pour l'interaction entre un fluide et une structure de modèle linéaire est proposé. L'algorithme utilise un maillage global pour le domaine fluide structure. La condition de continuité des vitesses à l'interface est automatiquement satisfaite et celle de l'égalité des contraintes n'apparaît pas explicitement dans la formulation faible. A chaque pas de temps on résout un système monolithique d'inconnues vitesse et pression définies sur le domaine global. Le temps CPU est réduit quand l'approche monolithique est utilisée à la place des procédures partagées. / Our aim was to develop some partitioned procedures and monolithic semi-implicit algorithms for solving the interaction between a fluid governed by Navier Stokes equations and a structure. In the first chapter, we propose a partitioned procedures semi-implicit algorithm for solving fluid-structure interaction problems, with a structure governed either by linear elasticity equations or by the non-linear Saint-Venant Kirchhoff model. In the second chapter, we present a partitioned procedures semi-implicit algorithm for solving fluid-structure interaction problem with a linear model for the structure and we prove an unconditional stability result of the algorithm. In the above algorithms, an optimization problem must be solved in order to get the continuity of the velocity as well as the continuity of the stress at the interface. During the iterations of BFGS for solving the optimization problem, the fluid mesh does not move and the fluid matrix is only factorized once, which reduces the computational effort. In the fast chapter, we present a monolithic semi-implicit algorithm for solving fluid-structure interaction problem with linear model for the structure. The algorithm uses one global mesh for the fluid-structure domain. The continuity of velocity at the interface is automatically satisfied and the continuity of stress does not appear explicitly in the global weak form due to the action and reaction principle. At each time step, we have to solve a monolithic system of unknowns velocity and pressure defined on the global fluid-structure domain. When the monolithic approach is used the CPU time is reduced compared to a particular partitioned procedures strategy.

Interrogeant les modalités d’insertion professionnelle de médecins allophones en migration, avec une connaissance partielle de la langue pratiquée sur le terrain – les services hospitaliers francophones en France, cette thèse propose un positionnement inversé : acquérir / s’approprier la langue dans les relations professionnelles et non pas apprendre la langue de manière décontextualisée, pour ensuite s’intégrer socialement. Une compétence professionnelle et sa reconnaissance sont susceptibles de faciliter l’accès à la langue, à son appropriation par l’insertion professionnelle et les relations qui s’y construisent. L’objectif de ce travail est de contribuer à faire évoluer les représentations des acteurs de la didactique des langues, des sciences de l’éducation, et des études médicales, afin d’assurer une prise en compte de ce que sont les individus (leur historicité et leur savoir) et de viser une meilleure articulation entre les acquis et les apprentissages (scolaires ou professionnels) à construire / Examining the conditions of insertion of allophone medical doctors in migration, with a very partial knowledge of the language used in the field – francophone hospitals in France, this study, suggests a reverse positioning : acquiring / appropriating language while practising in the professional context and not learning it in a decontextualised way, to achieve social integration. Professional competence and especially its recognition are factors that facilitate access to language and to its appropriation through professional integration. This study seeks to cause a change in the attitudes of those working in the field of Language Teaching, Educational Sciences, and Medical Studies, so that account should be taken of what constitutes individuals’profiles (their historicity and knowledge) in the search of a more productive articulation between achievements and learning experiences (academic or professional) to be constructed

La prédictibilité est un aspect important des systèmes temps-réel critiques. Garantir la fonctionnalité de ces systèmespasse par la prise en compte des contraintes temporelles. Les architectures mono-cœurs traditionnelles ne sont plussuffisantes pour répondre aux besoins croissants en performance de ces systèmes. De nouvelles architectures multi-cœurssont conçues pour offrir plus de performance mais introduisent d'autres défis. Dans cette thèse, nous nous intéressonsau problème d’accès aux ressources partagées dans un environnement multi-cœur.La première partie de ce travail propose une approche qui considère la modélisation de programme avec des formules desatisfiabilité modulo des théories (SMT). On utilise un solveur SMT pour trouverun chemin d’exécution qui maximise le temps d’exécution. On considère comme ressource partagée un bus utilisant unepolitique d’accès multiple à répartition dans le temps (TDMA). On explique comment la sémantique du programme analyséet le bus partagé peuvent être modélisés en SMT. Les résultats expérimentaux montrent une meilleure précision encomparaison à des approches simples et pessimistes.Dans la deuxième partie, nous proposons une analyse de temps de réponse de programmes à flot de données synchroness'exécutant sur un processeur pluri-cœur. Notre approche calcule l'ensemble des dates de début d'exécution et des tempsde réponse en respectant la contrainte de dépendance entre les tâches. Ce travail est appliqué au processeur pluri-cœurindustriel Kalray MPPA-256. Nous proposons un modèle mathématique de l'arbitre de bus implémenté sur le processeur. Deplus, l'analyse de l'interférence sur le bus est raffinée en prenant en compte : (i) les temps de réponseet les dates de début des tâches concurrentes, (ii) le modèle d'exécution, (iii) les bancsmémoires, (iv) le pipeline des accès à la mémoire. L'évaluation expérimentale est réalisé sur desexemples générés aléatoirement et sur un cas d'étude d'un contrôleur de vol. / Predictability is of paramount importance in real-time and safety-critical systems, where non-functional properties --such as the timing behavior -- have high impact on the system's correctness. As many safety-critical systems have agrowing performance demand, classical architectures, such as single-cores, are not sufficient anymore. One increasinglypopular solution is the use of multi-core systems, even in the real-time domain. Recent many-core architectures, such asthe Kalray MPPA, were designed to take advantage of the performance benefits of a multi-core architecture whileoffering certain predictability. It is still hard, however, to predict the execution time due to interferences on sharedresources (e.g., bus, memory, etc.).To tackle this challenge, Time Division Multiple Access (TDMA) buses are often advocated. In the first part of thisthesis, we are interested in the timing analysis of accesses to shared resources in such environments. Our approach usesSatisfiability Modulo Theory (SMT) to encode the semantics and the execution time of the analyzed program. To estimatethe delays of shared resource accesses, we propose an SMT model of a shared TDMA bus. An SMT-solver is used to find asolution that corresponds to the execution path with the maximal execution time. Using examples, we show how theworst-case execution time estimation is enhanced by combining the semantics and the shared bus analysis in SMT.In the second part, we introduce a response time analysis technique for Synchronous Data Flow programs. These are mappedto multiple parallel dependent tasks running on a compute cluster of the Kalray MPPA-256 many-core processor. Theanalysis we devise computes a set of response times and release dates that respect the constraints in the taskdependency graph. We derive a mathematical model of the multi-level bus arbitration policy used by the MPPA. Further,we refine the analysis to account for (i) release dates and response times of co-runners, (ii)task execution models, (iii) use of memory banks, (iv) memory accesses pipelining. Furtherimprovements to the precision of the analysis were achieved by considering only accesses that block the emitting core inthe interference analysis. Our experimental evaluation focuses on randomly generated benchmarks and an avionics casestudy.

Cette thèse s'intéresse à la modélisation et à l'analyse dessystèmes temps-réel distribués.Un système distribué est constitué de plusieurs composantsqui évoluent de manière partiellement indépendante. Lorsque des actionsexécutables par différentscomposants sont indépendantes, elles sont dites concurrentes.Dans ce cas, elles peuvent être exécutées dans n'importe quel ordre, sanss'influencer, et l'état atteint après ces actions ne dépend pas de leur ordred'exécution.Dans les systèmes temps-réel distribués, les contraintes de temps créent desdépendances complexes entre les composants et les événements qui ont lieu surces composants. Malgré l'omniprésence et l'aspect critique de ces systèmes,beaucoup de leurs propriétés restent encore à étudier.En particulier, la nature distribuée de ces systèmes est souvent laissée de côté.Notre travail s'appuie sur deux formalismesde modélisation: les réseaux de Petri temporels et les réseaux d'automatestemporisés, et est divisé en deux parties.Dans la première partie, nous mettons en évidence les différences entre lessystèmes temporisés centralisés et les systèmes temporisés distribués. Nouscomparons les formalismes principaux et leurs extensions, avec une approcheoriginale qui considère la concurrence.En particulier, nous montrons comment transformer un réseau de Petri temporelen un réseau d'automates temporisés qui a le même comportement distribué.Nous nous intéressons ensuite aux horloges partagées dans lesréseaux d'automates temporisés. Les horloges partagées sont problématiqueslorsque l'on envisage d'implanter ces modèles sur des architecturesdistribuées. Nous montrons comment se passer des horloges partagées, touten préservant le comportement distribué, lorsque cela est possible.Dans la seconde partie, nous nous attachons à formaliser les dépendancesentre les événements dans les représentations en ordre partieldes exécutions des réseaux de Petri (temporels ou non).Les réseaux d'occurrence sont une de ces représentations, et leur structuredonne directement les relations de causalité, conflit et concurrence entreles événements. Cependant, nous montrons que, même dans le cas non temporisé,certaines relations logiques entre les événements nepeuvent pas être directement décrites par ces relations structurelles.Après avoir formalisé les relations logiques en question, nous résolvons leproblème de synthèse suivant: étant donnée une formule logique qui décrit unensemble d'exécutions, construire un réseau d'occurrence associé,quand celui-ci existe.Nous étudions ensuite les relations logiques dans un cadre temporisé simplifié,et montrons que le temps crée des dépendances complexes entre les événements.Ces dépendances peuvent être utilisées pour définir des dépliages canoniques deréseaux de Petri temporels, dans ce cadre simplifié. / This thesis is concerned with the modeling and the analysis of distributedreal-time systems. In distributed systems, components evolve partlyindependently: concurrent actions may be performed in any order, withoutinfluencing each other and the state reached after these actions does notdepends on the order of execution. The time constraints in distributed real-timesystems create complex dependencies between the components and the events thatoccur. So far, distributed real-time systems have not been deeply studied, andin particular the distributed aspect of these systems is often left aside. Thisthesis explores distributed real-time systems. Our work on distributed real-timesystems is based on two formalisms: time Petri nets and networks of timedautomata, and is divided into two parts.In the first part, we highlight the differences between centralized anddistributed timed systems. We compare the main formalisms and their extensions,with a novel approach that focuses on the preservation of concurrency. Inparticular, we show how to translate a time Petri net into a network of timedautomata with the same distributed behavior. We then study a concurrency relatedproblem: shared clocks in networks of timed automata can be problematic when oneconsiders the implementation of a model on a multi-core architecture. We showhow to avoid shared clocks while preserving the distributed behavior, when thisis possible.In the second part, we focus on formalizing the dependencies between events inpartial order representations of the executions of Petri nets and time Petrinets. Occurrence nets is one of these partial order representations, and theirstructure directly provides the causality, conflict and concurrency relationsbetween events. However, we show that, even in the untimed case, some logicaldependencies between event occurrences are not directly described by thesestructural relations. After having formalized these logical dependencies, wesolve the following synthesis problem: from a formula that describes a set ofruns, we build an associated occurrence net. Then we study the logicalrelations in a simplified timed setting and show that time creates complexdependencies between event occurrences. These dependencies can be used to definea canonical unfolding, for this particular timed setting.

Adopté par l’article 2 de la loi n°2016-1087 de reconquête de la biodiversité, de la nature et des paysages du 8 aout 2016, le principe de solidarité écologique appelle « à prendre en compte, dans toute prise de décision publique ayant une incidence notable sur l’environnement des territoires concernés, les interactions des écosystèmes, des êtres vivants et des milieux naturels ou aménagés ». Ce principe général du droit de l’environnement inscrit à l’article L110-1 du code de l’environnement est destiné à conserver les interactions écosystémiques et les processus écologiques ainsi qu’à améliorer la gestion environnementale des territoires. La dualité de son objet en fait un principe d’une grande richesse, qui devrait concerner de nombreuses décisions. Divers fondements supranationaux, au sein de la jurisprudence et dans les textes internationaux et européens peuvent ainsi lui être attribués. Dans un contexte d’interdépendance écologique, l’évolution de la dimension internationale et européenne du principe reste essentielle pour juger de ses effets au regard de la conservation de la biodiversité. Au niveau du droit interne, son ancrage au cœur de l’équilibre de l’environnement lui apporte un rayonnement particulier. Il conforte le droit à un environnement équilibré et prolonge les principes constitutionnels de prévention et de développement durable. Face à la crise d’extinction mondiale de la biodiversité menaçant notre survie, le principe de solidarité écologique se présente comme cette ultime chance de la conserver. Deux grands ensembles de dispositifs permettent de mesurer la dynamique du principe de solidarité écologique : la trame verte et bleue et la gestion intégrée de la mer et du littoral. Ils constituent une base pour concevoir la solidarité écologique et représentent ainsi le commencement d’un droit nouveau. Le principe de solidarité écologique appelle à les renforcer et, de manière plus générale, à faire évoluer l’ensemble des décisions concernées par le principe. / Adopted by article 2 from act nr 2016-1087 concerning the reconquest of biodiversity, nature and landscape of August 8th 2016, the principle of ecological solidarity calls “for taking into consideration the interactions of ecosystems, living creatures and natural or developed environments in all public decisions having a notable impact on the environment of the territories concerned”.This general principle of environmental law inscribed in article L110 1 of the environmental code is designed to preserve the interactions of ecosystems and ecological processes as well as to improve the environmental management of the territories. The duality of its objective renders it a highly valuable principle which should be applied to numerous decisions. Various supranational foundations, within jurisprudence and in international and European laws, can thus be assigned to it. In the context of ecological interdependence the evolution of the international and European dimension of the principle remains essential in order to see the benefits concerning the safeguarding of biodiversity. It is greatly enhanced, as regards internal law, by the fact that it is at the very center of the environment's equilibrium. It justifies the right to a balanced environment and extends the constitutional principles of prevention and sustainable development. Confronted with the crisis of world-wide biodiversity extinction that threatens our survival, the principle of ecological solidarity emerges as the last chance to preserve it. Two major groups of systems allow us to measure the dynamics of the principle of ecological solidarity: the green and the blue line belt network and the Ocean and coastline Governance Framework. They constitute a basis on which to develop ecological solidarity and represent the beginnings of new legislation. The principle of ecological solidarity requires them to be reinforced and more generally to advance all decisions concerned by the principle.