La présente thèse a pour objet d'étudier la contribution de la région dans le développement régional. En s'appuyant sur une argumentation financière et juridique, et en faisant appel à des approches historique, comparative et prospective, cette thèse étudie le développement en tant que fonction principale de la collectivité territoriale régionale. Le rôle peut-être résumé dans la primauté régionale en matière de développement économique, consacrée par le législateur à travers la reconnaissance à la région du rôle de coordination et de chef de file. Ces configurations sont pour autant entravées par un contexte financier qui rend le rôle de la région particulièrement complexe. / This thesis is intended to study the contribution of the region to regional development. Based on the financial and legal analysis, referring to historical, comparative and perspective approaches, the thesis examines the development as a major function of administrative territorial structures. The nature of this function can be summarized in the regional primacy in economic development, dedicated by the legislature through the recognition of the role of regional coordination and leadership. In the meantime, these configurations are hampered by a financial context which makes the region's function of a particularly complex nature.

La segmentation d'image constitue une étape importante dans le traitement d'image et de nombreuses questions restent ouvertes. Il a été montré récemment, dans le cas d'une segmentation à deux régions homogènes, que l'utilisation de contours actifs polygonaux fondés sur la minimisation d'un critère issu de la théorie de l'information permet d'aboutir à un algorithme ultra-rapide qui ne nécessite ni paramètre à régler dans le critère d'optimisation, ni connaissance a priori sur les fluctuations des niveaux de gris. Cette technique de segmentation rapide et non supervisée devient alors un outil élémentaire de traitement.L'objectif de cette thèse est de montrer les apports de cette brique élémentaire pour la conception de nouvelles techniques de segmentation plus complexes, permettant de dépasser un certain nombre de limites et en particulier :- d'être robuste à la présence dans les images de fortes inhomogénéités ;- de segmenter des objets non connexes par contour actif polygonal sans complexifier les stratégies d'optimisation ;- de segmenter des images multi-régions tout en estimant de façon non supervisée le nombre de régions homogènes présentes dans l'image.Nous avons pu aboutir à des techniques de segmentation non supervisées fondées sur l'optimisation de critères sans paramètre à régler et ne nécessitant aucune information sur le type de bruit présent dans l'image. De plus, nous avons montré qu'il était possible de concevoir des algorithmes basés sur l'utilisation de cette brique élémentaire, permettant d'aboutir à des techniques de segmentation rapides et dont la complexité de réalisation est faible dès lors que l'on possède une telle brique élémentaire. / Image segmentation is an important step in many image processing systems and many problems remain unsolved. It has recently been shown that when the image is composed of two homogeneous regions, polygonal active contour techniques based on the minimization of a criterion derived from information theory allow achieving an ultra-fast algorithm which requires neither parameter to tune in the optimized criterion, nor a priori knowledge on the gray level fluctuations. This algorithm can then be used as a fast and unsupervised processing module. The objective of this thesis is therefore to show how this ultra-fast and unsupervised algorithm can be used as a module in the conception of more complex segmentation techniques, allowing to overcome several limits and particularly:- to be robust to the presence of strong inhomogeneity in the image which is often inherent in the acquisition process, such as non-uniform illumination, attenuation, etc.;- to be able to segment disconnected objects by polygonal active contour without complicating the optimization strategy;- to segment multi-region images while estimating in an unsupervised way the number of homogeneous regions in the image.For each of these three problems, unsupervised segmentation techniques based on the optimization of Minimum Description Length criteria have been obtained, which do not require the tuning of parameter by user or a priori information on the kind of noise in the image. Moreover, it has been shown that fast segmentation techniques can be achieved using this segmentation module, while keeping reduced implementation complexity.

La vérification déductive de programmes consiste à annoter des programmes par une spécification, c'est-à-dire un ensemble de formules logiques décrivant le comportement du programme, et à prouver que les programmes vérifient bien leur spécification. Des outils tels que la plate-forme Why prennent en entrée un programme et sa spécification et calculent des formules logiques telles que, si elles sont prouvées, le programme vérifie sa spécification. Ces formules logiques peuvent être prouvées automatiquement ou à l'aide d'assistants de preuve.Lorsqu'un programme est écrit dans un langage supportant les alias de pointeurs, c'est-à-dire si plusieurs variables peuvent désigner la même case mémoire, alors le raisonnement sur le programme devient particulièrement ardu. Il est nécessaire de spécifier quels pointeurs peuvent être égaux ou non. Les invariants des structures de données, en particulier, sont plus difficiles à vérifier.Cette thèse propose un système de type permettant de structurer la mémoire de façon modulaire afin de contrôler les alias de pointeurs et les invariants de données. Il est basé sur les notions de région et de permission. Les programmes sont ensuite interprétés vers Why de telle façon que les pointeurs soient séparés au mieux, facilitant ainsi le raisonnement. Cette thèse propose aussi un mécanisme d'inférence permettant d'alléger le travail d'annotation des opérations de régions introduites par le langage. Un modèle est introduit pour décrire la sémantique du langage et prouver sa sûreté. En particulier, il est prouvé que si le type d'un pointeur affirme que celui-ci vérifie son invariant, alors cet invariant est effectivement vérifié dans le modèle. Cette thèse a fait l'objet d'une implémentation sous la forme d'un outil nommé Capucine. Plusieurs exemples ont été écrits pour illustrer le langage, et ont été vérifié à l'aide de Capucine. / Deductive verification consists in annotating programs by a specification, i.e. logic formulas which describe the behavior of the program, and prove that programs verify their specification. Tools such as the Why platform take a program and its specification as input and compute logic formulas such that, if they are valid, the program verifies its specification. These logic formulas can be proven automatically or using proof assistants.When a program is written in a language supporting pointer aliasing, i.e. if several variables may denote the same memory cell, then reasoning about the program becomes particularly tricky. It is necessary to specify which pointers may or may not be equal. Invariants of data structures, in particular, are harder to maintain.This thesis proposes a type system which allows to structure the heap in a modular fashion in order to control pointer aliases and data invariants. It is based on the notions of region and permission. Programs are then translated to Why such that pointers are separated as best as possible, to facilitate reasoning. This thesis also proposes an inference mechanism to alleviate the need to write region operations introduced by the language. A model is introduced to describe the semantics of the language and prove its safety. In particular, it is proven that if the type of a pointer tells that its invariant holds, then this invariant indeed holds in the model. This work has been implemented as a tool named Capucine. Several examples have been written to illustrate the language, and where verified using Capucine.

No description available.

In Burkina Faso, evidence-based knowledge on mental health disorders, their prevalence and the characteristics of people living with these disorders is scarce. Without these data, the government can not properly allocate sufficient human and financial ressources to mental health services. The available information in the country was collected in urban settings, where most mental health services are concentrated. Therefore, information on mental health prevalence outside of urban settings is limited. A single preliminary study demontrated a substancial presence of mental health symptoms in rural settings, especially in an indigent population. The present study therefore aimed to evaluate the prevalence of three types of mental health symptoms (anxiodepressive, somatic, psychotic) in indigents living in a rural setting in Burkina Faso. Furthermore, it aimed to identify the sociodemographic, physical and psychological determinants pertaining to each type of symptoms. The participants of this study (n = 1314) belong to four health districts of the country. Data were gathered about their physical and mental health by local, trained interviwers. / Au Burkina Faso, les informations sanitaires sur l’état de santé mentale des indigents vivant en région rurale est presque inexistante. Ce manque de données probantes a des impacts négatifs sur les services offerts dans ce domaine et ce, particulièrement sur les groupes vulnérables. Objectifs : Parmi une population indigente vivant en région rurale au Burkina Faso, le but de cette recherche est d’évaluer la prévalence de trois types de symptômes de santé mentale, soit les symptômes anxiodépressifs, somatiques et psychotiques. Ensuite, les déterminants individuels, physiques et psychologiques reliés à chaque type de symptômes seront identifiés. Méthode : Au cours d’entrevues guidées par des enquêteurs formés, les indigents (n = 1314) provenant de quatre districts sanitaires ont rempli un questionnaire qui évaluait leur état de santé physique et mentale. Des données sociodémographiques ont également été recueillies lors de ces entrevues. Résultats : Les symptômes se regroupent sous trois types distincts : anxiodépressifs, somatiques et psychotiques. Un total de 1234 (n = 93,9%) participants ont répondu avoir ressenti au moins un symptôme anxiodépressif dans le dernier mois. Les déterminants liés à ce type de symptômes sont les suivants : le district sanitaire, l’âge, l’état de santé, le besoin en nourriture, un événement dramatique survenu dans la dernière année, le fonctionnement global, le sentiment d’exclusion, les symptômes somatiques et les comportements stigmatisés. Au moins un symptôme somatique a été ressenti dans le dernier mois par 1087 (n = 82,7%) répondants. Ce type de symptômes est en lien avec les déterminants suivants : le district sanitaire, la cohabitation, un problème de santé, l’état de santé perçu, le manque de moyens financiers pour obtenir des soins de santé, le fonctionnement global, le sentiment d’exclusion et les comportements stigmatisés. Finalement, 256 (n = 19,5%) indigents ont répondu avoir vécu au moins un symptôme psychotique au cours de leur vie. Les déterminants en lien avec ces symptômes sont ceux-ci : le district sanitaire, le sentiment d’exclusion et les comportements stigmatisés. Conclusion : Les résultats montrent que la prévalence de symptômes de troubles de santé mentale est élevée chez les indigents interrogés et que ceux-ci se sentent exclus de leur communauté. Pour assurer l’équité d’accès aux soins de santé, les indigents atteints de symptômes de santé mentale doivent bénéficier d’un processus spécifique de prise en charge. Cette problématique doit être encadrée par des politiques de santé et des ressources sont nécessaires pour répondre au besoin présent dans cette population.

Victimes, trafiquants, clandestins, délinquants, « narcos », aventuriers, sans-papiers, illégaux, héros, irréguliers, passeurs, frontières, naufrages, enlèvements, morts, « eldorado », « American dream ». La liste est longue pour décrire le phénomène migratoire qui touche aujourd’hui le Maroc et le Mexique. Depuis quelques années, ces deux pays attirent l’attention des gouvernements, des journalistes et des chercheurs, car ils sont désormais désignés pays de transit et de destination pour les migrants irréguliers en provenance de la région subsaharienne pour le Maroc et de l’Amérique centrale pour le Mexique. Ils se sont transformés en pays stratégiques, en zones tampons au niveau géopolitique, notamment en ce qui concerne les questions de sécurité, de gouvernance des flux migratoires et de protection des frontières des pays du Nord. En réponse à l’ampleur des flux migratoires, nous assistons à un processus de sécuritisation de la migration se manifestant fondamentalement, dans le cas de notre étude, par le renforcement du contrôle des frontières européennes et américaines et par l’externalisation de ces frontières bien au-delà de leurs limites territoriales. Une de principales conséquences de ce processus est l’augmentation des coûts économiques et humains de la migration pour traverser ces frontières créant ainsi une population de migrants qui s’installent à long terme au Maroc et au Mexique. Alors que la recherche actuelle porte principalement sur les politiques nationales et multilatérales et sur les dispositifs de sécurité et de contrôle, cette étude a pour objectif principal de comprendre les facteurs qui façonnent et influencent l’évolution du projet migratoire pendant l’attente au Maroc et au Mexique, dans un contexte de sécuritisation et d’externalisation des frontières. L’analyse repose sur une étude ethnographique ayant comporté trois périodes de collecte de données. La première période s’est déroulée au Mexique pendant le mois d’août 2013, la deuxième au Maroc entre les mois de janvier et juillet 2015 et la troisième au Mexique entre les mois d’août et décembre 2015. Au total nous avons réalisé 45 entretiens au Mexique et 30 au Maroc, en plus des données collectées à travers des observations réalisées sur le terrain. À partir de trois niveaux d’analyse (macro, méso et micro), les résultats montrent que la sécuritisation et l’externalisation des frontières précarisent davantage les migrants en mettant leur trajectoire en attente, dans une sorte d’immobilité dans la mobilité. Toutefois, pendant l’attente, les projets migratoires continuent à évoluer grâce à plusieurs facteurs qui permettent aux migrants d’entretenir leur projet de passer un jour en Europe ou aux États-Unis

Des Collèges d’enseignement général et professionnel (cégeps) situés à l’extérieur de Montréal et de la Capitale-Nationale établissent, depuis 2003, des ententes spécifiques avec les institutions régionales de l’Île de La Réunion. L’objectif est de permettre à des jeunes Réunionnais de compléter une formation professionnelle de trois ans dans l’un des cégeps participants au terme de laquelle ces jeunes peuvent faire une transition vers le statut de résident permanent. L’entente de coopération de mobilité étudiante entre le Québec et La Réunion mise sur la probabilité que ces jeunes fassent le choix de prolonger leur expérience de migration au-delà de la formation professionnelle et décident de s’établir à long terme dans leur ville d’accueil ou dans une ville de la même région administrative. L’analyse de seize entrevues semi-dirigées réalisées avec des jeunes étudiants Réunionnais étant demeurés au Québec montrent l’importance du type de projet personnel de mobilité au départ de la Réunion, des représentations de la ville d’accueil pour les études ou pour y vivre sa vie et des relations qui s’y forment dans la compréhension de l’établissement à long terme ou non de ces jeunes en région.Le projet de formation professionnelle ou de voyage d’études de sept des participants s’est transformé au fil de l’expérience en projet d’insertion professionnelle au Québec lié, dans certains cas, à un projet de vie de couple. Le projet d’un participant seul rapportant son expérience vécue ni positivement ni négativement ne reflétait aucune anticipation déterminée, se laissant la possibilité de migrer à long terme, de retourner à La Réunion ou de migrer ailleurs dans le monde selon les situations à venir. Pour les huit autres participants, l’expérience de migration au Québec se poursuivait ou allait se poursuivre au-delà de l’entente formelle, telle qu’anticipée. Si l’entente de coopération s’inscrit dans l’objectif d’une régionalisation de l’immigration au Québec, les parcours des participants sont orientés par des projets qui, bien souvent, vont à l’encontre des souhaits qu’ils restent dans la ville d’accueil après leurs études.

Thèse ou mémoire avec insertion d'articles. / Cette thèse s'inscrit dans une perspective de développement local tout en mettant l'entrepreneuriat local au cœur de la croissance économique endogène. Ainsi, l'objectif de cette thèse est d'étudier les trajectoires de développement des entreprises, en région non métropolitaine, afin de déterminer le rôle des caractéristiques individuelles et locales dans le choix de localisation et la performance (croissance et survie) des nouvelles entreprises. Pour ce faire, des microdonnées d'établissements d'entreprises (2008 à 2014) ont été utilisées. Le paysage économique de chaque établissement est défini dans un rayon de 1 250 mètres dans la région non métropolitaine du Bas-Saint-Laurent dans la province du Québec. Les résultats du modèle logit multinomial (chapitre 1) révèlent que les décisions de localisation des établissements d'entreprises dans le secteur primaire sont liées à la présence des avantages provenant de l'existence des ressources naturelles ainsi qu'aux avantages associés à la présence de grands espaces (comme dans les villes rurales). Les nouveaux établissements dans le secteur de la fabrication recherchent principalement une colocalisation (spécialisation) avec une légère préférence de localisation dans des villes de petites tailles. Finalement, la décision de localisation des établissements du secteur des services est fortement dépendante de la demande intermédiaire et de la distance aux principaux marchés. Les résultats du chapitre 2, montrent d'une part, à travers un modèle probit de correction du biais de sélection, que les caractéristiques individuelles et locales influencent la survie des établissements. D'autre part, à travers un modèle qui corrige pour un possible biais de sélection (modèle SDM-Spatial Durbin Model), les résultats montrent que c'est durant une période de récession que le milieu fait la différence pour la croissance de l'emploi des nouveaux établissements. En plus d'être influencée par les caractéristiques individuelles, la spécialisation industrielle relative au secteur du commerce et du transport et la variété reliée se présentent comme des facteurs favorables à la croissance des établissements pendant la période de récession. L'étude de la survie des entreprises est approfondie dans le chapitre 3 en considérant au choc structurel à savoir de l'entrée des méga-détaillants. L'impact de l'arrivée de Walmart sur la survie des nouveaux et petits commerces de détail est donc réalisé dans deux villes non métropolitaines (Rimouski et Salaberry-de-Valleyfield) et couvre la période de 1996 à 2007. Les résultats de l'analyse de la différence-en-différences (DD) menée à travers un modèle semi-paramétrique de Cox à hasard proportionnel révèlent que l'entrée de Walmart diminue le risque de fermeture des nouveaux et petits commerces de détail. Cependant, cet effet n'est pas toujours constant au fil du temps et semble en partie lié au lieu d'implantation. Les caractéristiques locales, telles que la diversification et la dynamique entrepreneuriale locale, confirment, dans une certaine mesure, l'effet négatif de la concurrence locale sur la survie des nouveaux et petits commerces de détail. Sur le plan des politiques de développement économique local, les résultats démontrent qu'en région non métropolitaine, il existe un sentier de dépendance entrepreneuriale dans certains secteurs. Chaque localité peut posséder un avantage comparatif et les initiatives gouvernementales doivent permettre de les promouvoir. Par ailleurs, en région non métropolitaine, la recherche de la pérennité peut primer sur la recherche d'une croissance soutenue de l'emploi pour les nouvelles entreprises. Les politiques de développement du gouvernement central doivent être adaptées aux contextes locaux. Les entrepreneurs sont capables de s'adapter aux réalités changeantes pour en tirer profit, et ce particulièrement en milieu non métropolitain. / This thesis is part of a local development point of view while putting local entrepreneurship at the heart of endogenous economic growth. Thus, the aim of this thesis is to study the growth trajectory of businesses, in a nonmetropolitan area, in order to determine the role of individual and local characteristics in the location decisions and the performance (growth and survival) of new businesses. To do so, spatial establishment-level, micro-data, pooled over time (2008 to 2014) was used. The economic landscape of each establishment is described within a radius of 1,250 metres in the nonmetropolitan area of the Lower St. Lawrence region in the province of Quebec. The results of the multinomial logit model (Chapter 1) reveal that the location decisions for new primary sector businesses are related to the presence of benefits a rising from the existence of natural resources, as well as those benefits associated with having large spaces (such as in the case of rural cities). New manufacturing sector businesses are mainly looking for a co-location (specialisation) pattern, with a slight preference to locate in small-sized cities. Finally, the location decisions of service-sector firms are strongly dependent on intermediate demand and on the distance to major markets. The results of Chapter 2 show, on the one hand, through a probit model of selection bias correction, that individual and local characteristics influence the survival of establishments. On the other hand, through a model that corrects for a potential selection bias (SDM-Spatial Durbin Model), the results show that it is during a recession period that the local environment makes the difference in the employment growth in new establishments. In addition to being influenced by individual characteristics, industrial specialisation in the trade and transport sector and the related variety are favourable factors for the growth of establishments during the recession period. The study of business survival is expanded upon in Chapter 3 by considering a structural shock, namely the entry of mega-retailers. The impact of the arrival of Walmart on the survival of new and small retail businesses is therefore carried out in two non-metropolitan cities (Rimouski and Salaberry-de-Valleyfield) and covers the years 1996-2007. The results of the difference-in-differences (DID) analysis, conducted through a semi-parametric Cox proportional hazards model, reveal that the entry of Walmart decreases the risk of closure of the new and small retail businesses. However, this effect is not always consistent over time and appears to be partly related to the location. Local characteristics, especially the diversification and local entrepreneurial dynamics, in some cases confirm the negative effect of the local competition on the survival of new and small retail businesses. In terms of local economic development policies, the results show that in non-metropolitan regions, there is a path of entrepreneurial dependence in some sectors. Each area can have a comparative advantage and the government initiatives must make it possible to promote them. Moreover, in non-metropolitan regions, looking for sustainability can be more important than trying to achieve high employment growth for new businesses. Central government development policies need to be adapted to local contexts. Entrepreneurs can adapt to changes and take advantage of them, especially in non-metropolitan areas.

L’exploitation minière souterraine dans les régions froides du monde nécessite le chauffage de l’air frais de ventilation et des bâtiments de surface. L’air vicié est habituellement rejeté dans l'atmosphère à des températures beaucoup plus élevées que l'air ambiant. Un logiciel informatique a été développé afin d'évaluer la faisabilité de récupérer la chaleur de l'air vicié des mines. Le logiciel estime la quantité de chaleur d’air vicié récupérable dans une mine souterraine. Il déterminera ensuite les économies annuelles potentiels d'énergie et un coût capital du système pour obtenir le retour sur l’investissement initial. Le logiciel considère un circuit de glycol en boucle fermée avec des échangeurs de chaleur à tubes et ailettes situées à l'extrémité des installations de ventilations à la surface (à l’entrée et l’échappement d’air). Différents concepts des systèmes de récupération de chaleur sont énoncés. La plupart des sources de chaleurs habituelles trouvées sur un site minier sont répertoriés. Quelques concepts innovateurs qui exploitent le froid de l'hiver comme un atout pour refroidir l'air d'entrée sont exposés. Mots clés : Sources de chaleurs, air vicié, récupération de chaleur, faisabilité, chauffage, refroidissement / Underground mining in cold regions of the world requires heating of surface buildings and intake fresh air. Exhaust return air is usually discharged to the atmosphere at much higher temperatures than the ambient air. A computer software application has been developed in order to evaluate the feasibility of recovering heat from return exhaust air. The software approximates the amount of heat that can be recovered on surface from the exhaust ventilation shaft of an underground mine. It will then determine the annual energy cost savings and a capital cost of the system. This software considers a closed-loop glycol circuit with tube and fins heat exchangers located at the extremity of the exhaust and intake shaft surface installations. Different concepts of the heat recovery system are as well described. Most common heat sources that can be found on mine sites are listed. Several innovative designs that exploit cold winter weather as an asset to cool mine intake air are explained. Key words: heat sources, return air, heat recovery, feasibility, heating, cooling

Le développement économique et social du gouvernorat de Sidi Bouzid dépend du secteur des agricultures irriguées. Cependant, ce secteur est confronté à de nombreux obstacles dus à la surexploitation des ressources hydrauliques. Plusieurs politiques n’ont pas réussi à bien gérer cette ressource clé. Par conséquent, un processus de suivi a été mis en œuvre en menant des enquêtes pendant les trois années de récolte (2003, 2007 et 2011) sur des fermes qui utilisent des puits de surface. Une approche non paramétrique a été utilisée pour mesurer l’efficience technique, allocative, d’échelle et globale ainsi que la recherche de l’efficacité d’usage d’eau. Les résultats du modèle ont montré que les exploitations sont plus techniquement efficaces et que la disponibilité de l’eau constitue une véritable contrainte pour la gestion du système de culture.