Campylobacter est la principale cause de gastro-entérite bactérienne d’origine alimentaire à travers le monde. Chez les consommateurs, les campylobactérioses d’origine alimentaire sont en grande majorité dues au contact et à la consommation de produits de volaille, le poulet à griller étant particulièrement mis en cause. La contamination de la carcasse se fait souvent lors de l’abattage des oiseaux. Bien que plusieurs données concernant la distribution de Campylobacter à l’abattoir soient disponibles dans certains pays, aucune étude récente visant à décrire la présence et la distribution de ce pathogène, tout au long de la chaîne d’abattage, n'a été réalisée au niveau des établissements d'abattage canadiens. Notre hypothèse était que l’on pouvait identifier des étapes clés d’intervention pour contrôler la contamination par Campylobacter sur les carcasses de volaille à l’abattoir en étudiant la présence de ce pathogène sur les produits de viande et dans l’environnement de production. Il y avait deux objectifs principaux dans cette étude. Premièrement, nous voulions décrire la distribution de Campylobacter lors des différentes étapes de production dans deux établissements de transformation québécois. Deuxièmement, nous voulions déterminer si les moyens de gestion du risque mis en place au moment de l’étude étaient suffisants pour prévenir la contamination du produit de viande destiné au consommateur. Pour répondre à ces objectifs, un oiseau par lot d’élevage a été échantillonné par rinçât de carcasse pour chaque étape suivante de la transformation (n=4) : avant l'abattage, tout juste après la saignée, au transfert entre les chaînes d'abattage et d'éviscération, après l'éviscération et après l’étape du refroidissement dans deux abattoirs québécois. Cette procédure fut répétée pour un total de 379 échantillons de rinçâts de carcasses de poulets de chair qui ont été collectés à l’occasion de multiples visites à l’abattoir et ce, de février à juillet 2017. Un total de 217 échantillons environnementaux pouvant être impliqués dans la contamination croisée des oiseaux ont aussi été récupéré pendant les diverses visites. Les échantillons ont été dilués dans de l'eau peptonée et une identification de Campylobacter par PCR a été faite à l’aide d’amorces spécifiques au gène codant pour l’ARN ribosomal 16S. Les résultats obtenus pour la période étudiée indiquent que la positivité des carcasses de poulets de chair à Campylobacter est significativement plus élevée pour les échantillons effectués l’été comparé au printemps. En revanche, la présence de la bactérie dans l’environnement des abattoirs étudiés apparaît plus élevée durant l’hiver. Puisque la présence de la bactérie sur les carcasses de poulets a diminué tout au long de la chaîne de production, qu’aucune carcasse positive n’a été retrouvée après un refroidissement à l’air et que la positivité des carcasses suite au refroidissement à l’eau était aussi très basse, nos résultats suggèrent, malgré certains enjeux associés à la sensibilité de la méthode d’identification des échantillons positifs, que les mesures actuelles de gestion du risque sont efficaces pour contrôler Campylobacter dans les deux abattoirs québécois suivis. / Campylobacter is responsible of the highest number of bacterial gastroenteritis worldwide. Most diseases in humans attributed to meat can be associated to consumption of or contact with poultry derived products; broiler chicken being involved in the majority of cases. The contamination of carcasses often occurs during the slaughter process. While many studies from various countries reported the distribution of Campylobacter among various critical steps of the slaughter process, none has been published, to our knowledge, in Canada regarding the presence and distribution of this bacterium within the abattoir. Our hypothesis was that it would be possible to identify key steps to control the contamination of carcasses by this bacterium by studying the presence and distribution of Campylobacter on carcasses and within the environment during the slaughter process. This study had two objectives. The first objective was to describe the distribution of Campylobacter within two selected slaughterhouses in Quebec in order to understand which processing step(s) play(s) a critical role in carcasses contamination. In the second objective, we aimed to verify if actual management procedures applied in these abattoirs were efficient in preventing consumer’s exposition. To meet these goals, four birds by production lot, one at each of the following steps (after bleeding, at transfer between killing and evisceration chain, after evisceration and after the cooling process) were sampled for a total of 379 birds from February 2017 to July 2017 in two slaughterhouses located in the province of Quebec. Furthermore, 217 environmental samples were collected during these visits in various sites possibly in contact with birds. Samples were suspended in peptone water and submitted to a PCR assay, using a specific 16S ribosomal probe, for detection of Campylobacter. Overall, for the year of the study, we observed a significantly higher number of positive carcasses in summer compared to spring, while the environmental samples were more often positive in winter compared with summer. Furthermore, our results indicated that the number of positive carcasses decreased over the various processing steps, being either negative (air chilling) or low (water chilling) after the cooling process. Although we experienced some issues associated with the sensitivity of the procedure we used in this study to recover Campylobacter, taken together, these results suggest that the actual management procedures of Campylobacter in studied slaughterhouses are efficient.

La présente thèse porte sur les fonctions propres du laplacien et d’opérateurs de Schrödinger en dimension quelconque. Plus précisément, pour une variété (M,g) de dimension d et une fonction V : M → R, on considère les solutions de l’équation suivante: (∆_g + V ) f_λ = λ f_λ . On appelle l’opérateur ∆_g + V un opérateur de Schrödinger et V le potentiel. Le cas le plus simple et le plus étudié est le laplacien (on pose V ≡ 0 sur M ). Si M est compacte et sans bord, alors il existe une suite 0 = λ_0 < λ_1 ≤ λ_2 -> +∞ qui forme le spectre de ∆_g et une suite de fonctions propres f_n qui satisfont à ∆_g f_n = λ_n f_n . Cette propriété est aussi respectée pour beaucoup de potentiels et de variétés. Premièrement, nous avons étudié le nombre de domaines nodaux des fonctions propres quand la valeur propre tend vers l’infini. Les domaines nodaux d’une fonction f sur M sont les composantes connexes de l’ensemble M \f^{−1} (0). Ils nous permettent de mesurer le caractère oscillatoire de f en comptant le nombre de fois où f change de signe. L’objectif principal de la thèse était de généraliser le théorème de Pleijel [52] sur le nombre de domaines nodaux des fonctions propres du laplacien à d’autre opérateurs de Schrödinger. Dans l’article [2], nous avons montré que la borne du théorème de Pleijel s’applique aussi à l’oscillateur harmonique quantique dans R^d . De plus, nous avons remarqué que cette borne pouvait être améliorée en fonction de la forme quadratique qui définit le potentiel. Ensuite, dans l’article [3], nous avons généralisé le résultat obtenu dans [2] à une large classe de potentiels radiaux, incluant des potentiels qui tendent vers zéro à l’infini ou ayant une singularité à l’origine. Cela inclut le potentiel de Coulomb, qui modélise un atome d’hydrogène isolé dans l’espace. Pour ces potentiels, nous considérons les valeurs propres strictement inférieures au spectre essentiel. Nous avons aussi étudié les points critiques des fonctions propres du laplacien. Jusqu’à tout récemment, il y avait seulement une borne inférieure sur le nombre de points critiques pour certaines variétés [36], mais il n’y avait pas de borne supérieure connue. En 2019, Buhovsky, Logunov et Sodin ont construit une métrique sur T^2 et une suite de fonctions propres du laplacien qui ont toutes une infinité de points critiques. Dans l’article [4], nous utilisons une nouvelle méthode pour construire des métriques sur T^2 et S^2 et des fonctions propres pour ces métriques qui ont une infinité de points critiques. De plus, nous montrons que ces métriques peuvent être arbitrairement proches de la métrique plate sur T^2 et de la métrique standard sur S^2 . Ces métriques donnent aussi des contre-exemples à la conjecture de Courant-Hermann sur le nombre de domaines nodaux des combinaisons linéaires de fonctions propres du laplacien. / The theme of this thesis is the study of the eigenfunctions of the Laplacian and Schrödinger operators. Let (M,g) be a manifold and V : M → R. We are looking at solutions of the following equation: (∆_g + V ) f_λ = λ f_λ . The operator ∆_g + V is called a Schrödinger operator and V is called the potential. The simplest and most studied example is the Laplacian (we put V ≡ 0 on M ). If M is compact and without boundary, then there exists a sequence 0 = λ_0 < λ_1 ≤ λ_2 -> +∞ that makes the spectrum of ∆_g and a sequence of eigenfunctions f_n such that ∆_g f_n = λ_n f_n . This decomposition also holds for various potentials and manifolds. Firstly, we studied the nodal domains of the eigenfunctions as the eigenvalues tend to infinity. The nodal domains of a function f on M are the connected components of M \f^{−1} (0). They can be used to understand the oscillatory character of eigenfunctions by counting the number of times that f changes sign. The principal goal of this thesis was to generalize Pleijel’s nodal domain theorem [52] to other Schrödinger operators. In the article [2], we showed that the upper bound in Pleijel’s theorem also holds for the quantum harmonic oscillator. Furthermore, this bound can be improved depending on the quadratic form that defines the potential. Afterwards, in the article [3], we generalized the result from [2] to a large class of radial potentials, including ones that tend to zero at infinity. These include the Coulomb potential, which modelizes the hydrogen atom in free space. We also studied the number of critical points of Laplace eigenfunctions. Until recently, there were only known lower bounds for certain manifolds [36], but no upper bound was known. In 2019, Buhovsky, Logunov and Sodin [18] constructed a metric on T^2 and a sequence of Laplace eigenfunctions which all have infinitely many critical points. In our article [4], we used a different method to create metrics on T^2 and S^2 and Laplace eigenfunctions for these metrics that have infinitely many critical points. Furthermore, these metrics can be taken arbitrarily close to the flat metric on T^2 and the round metric on S^2. These constructions also provide strong counterexamples to the Courant-Hermann conjecture on the number of nodal domains of linear combinations of Laplace eigenfunctions.

Les logiciels critiques nécessitent l’obtention d’une évaluation de conformité aux normesen vigueur avant leur mise en service. Cette évaluation est obtenue après un long travaild’analyse effectué par les évaluateurs de logiciels critiques. Ces derniers peuvent être aidéspar des outils utilisés de manière interactive pour construire des modèles, en faisant appel àdes analyses de flots d’information. Des outils comme SPARK-Ada existent pour des sous-ensembles du langage Ada utilisés pour le développement de logiciels critiques. Cependant,des langages émergents comme ceux de la famille ML ne disposent pas de tels outils adaptés.La construction d’outils similaires pour les langages ML demande une attention particulièresur certaines spécificités comme les fonctions d’ordre supérieur ou le filtrage par motifs. Cetravail présente une analyse de flot d’information pour de tels langages, spécialement conçuepour répondre aux besoins des évaluateurs. Cette analyse statique prend la forme d’uneinterprétation abstraite de la sémantique opérationnelle préalablement enrichie par desinformations de dépendances. Elle est prouvée correcte vis-à-vis d’une définition formellede la notion de dépendance, à l’aide de l’assistant à la preuve Coq. Ce travail constitue unebase théorique solide utilisable pour construire un outil efficace pour l’analyse de toléranceaux pannes. / Critical software needs to obtain an assessment before commissioning in order to ensure compliance tostandards. This assessment is given after a long task of software analysis performed by assessors. Theymay be helped by tools, used interactively, to build models using information-flow analysis. Tools likeSPARK-Ada exist for Ada subsets used for critical software. But some emergent languages such as thoseof the ML family lack such adapted tools. Providing similar tools for ML languages requires specialattention on specific features such as higher-order functions and pattern-matching. This work presentsan information-flow analysis for such a language specifically designed according to the needs of assessors.This analysis is built as an abstract interpretation of the operational semantics enriched with dependencyinformation. It is proved correct according to a formal definition of the notion of dependency using theCoq proof assistant. This work gives a strong theoretical basis for building an efficient tool for faulttolerance analysis.

Depuis des décennies, les dépôts atmosphériques azotés sont connus pour agir de manière sévère sur le fonctionnement des écosystèmes forestiers. Ils influent en effet la biogéochimie du sol, l’équilibre des éléments nutritifs et, en conséquence, la croissance des espèces végétales, la biodiversité végétale de sous-étage et plus globalement la santé des forêts. Dans le cadre de la convention internationale de Genève visant à limiter la pollution atmosphérique transfrontalière à longue distance, le concept de « Charges Critiques », défini à la fin des années 1980, a été retenu comme outil permettant d’évaluer la sensibilité d’un écosystème aux contaminants. Il permet d’estimer la quantité maximale de polluants atmosphériques acceptable par l’écosystème avant apparition de conséquences néfastes à son fonctionnement. De plus, en raison de l’impact des changements globaux sur les processus biogéochimiques régissant le fonctionnement des écosystèmes, l’influence des dépôts atmosphériques et du changement climatique doit être considéré de manière simultanée pour évaluer l’évolution de l’état des écosystèmes au cours du temps. Dès lors l’enjeu majeur est de pouvoir prédire l’effet combiné de ces facteurs sur les écosystèmes forestiers français. C’est l’objectif de ce travail de thèse. Des modèles dynamiques couplés biogéochimiques – écologiques, tels que les modèles ForSAFE-VEG ou PROPS, ou écologiques (basés sur la base de données EcoPlant) ont été développés ou adaptés à ces fins, et appliqués à différentes échelles locale, régionale et nationale, selon différents scénarios de dépôts et climatiques. L’application et la calibration du modèle couplé ForSAFE-VEG sur des placettes forestières permanentes du réseau RENECOFOR ont permis de prédire l’évolution de la composition biogéochimique de la solution du sol et en cascade de la composition floristique de trois sites, sous différents scénarios de dépôts atmosphériques et de changement climatique. Les principales évolutions des sites sont liées à leurs caractéristiques stationnelles. Si le changement climatique joue un rôle prédominant sur la réponse des espèces, les écosystèmes oligotrophes restent sensibles aux dépôts de N. A court terme, l’effet combiné des dépôts et du changement climatique sur le long terme est modulé par les effets de la gestion forestière. L’extrapolation du modèle couplé à plus large échelle nécessite une continuité dans la disponibilité des données d’entrée et de calibration de la réponse des espèces. Les données et scénarios de changement climatiques ont été complétés et actualisés à l’aide du modèle SAFRAN et des nouveaux scénarios RCP régionalisés. La calibration de la réponse des espèces végétales à l’échelle de la France a été réalisée à partir des mesures de la base de données phytoécologiques EcoPlant, par le développement de modèles de distribution d’espèces (SDM), en intégrant simultanément des variables climatiques, édaphiques, d’énergie et de nutrition. Le couplage entre le modèle ForSAFE et les SDM assure une modélisation robuste à l’échelle du territoire de la réponse des écosystèmes forestiers dans le temps, calibrée pour les conditions pédoclimatiques françaises. La modélisation des charges critiques d’acidité, d’eutrophisation et de biodiversité sur l’ensemble des sites RENECOFOR et la totalité des écosystèmes forestiers français montre des sensibilités variées aux dépôts de soufre et d’azote en fonction des écosystèmes, avec parmi les plus sensibles les Landes, la Sologne et le Massif Central. Des indices de qualité des habitats (HSi) ont été calculés à l’échelle de tous les écosystèmes par le modèle PROPS et les SDM. La sélection des espèces représentatives reste primordiale car elle conditionne la valeur finale de HSi. Ce paramètre est l’un des plus sensibles à prendre en compte dans la modélisation. Il est à mettre en relation avec les objectifs de protection des écosystèmes voulus par les gestionnaires. / For decades, it has been known that atmospheric nitrogen depositions have a severe impact on the operations of forest ecosystems. Indeed, they affect the soil biogeochemistry, the balance of the nutritive elements and consequently the plant species growth, the biodiversity of the understory vegetation and more globally the forest health. As part of the Geneva Agreement to limit the long-range transboundary air pollution, the concept of "critical loads", defined towards the end of the 1980s, was adopted as a tool to enable the assessment of the sensitivity of the ecosystems to contaminants. It can be used to estimate the maximal amount of atmospheric contaminants which can be accepted by the ecosystem before significant harmful effects on specified sensitive biological indicators appear. In addition, because of the impact of global warming on biogeochemical processes regulating the functioning of ecosystems, the influence of atmospheric depositions and climate change must be considered simultaneously to evaluate the evolution of ecosystem conditions over time. Since then, the major issue has been to be able to predict the combined effect of these factors on the French forest ecosystems. This is the aim of this PhD work. Coupled dynamic biochemical-ecological models, such as ForSAFE-VEG or PROPS models, or ecological (based on EcoPlant database) were developed or adapted for this purpose and applied to different local, regional and national scales against different deposition and climatic scenarios. The application and calibration of the coupled model ForSAFE-VEG on permanent forest plots from the RENECOFOR network enabled prediction of the evolution of the soil solution biogeochemical composition, as well as monitoring of the floristic composition of three sites, under different scenarios of atmospheric deposition and climate change. The principal site evolutions are related to their stational characteristics. If the climate change plays a primary role on a species’ response, the oligotrophic ecosystems remain sensitive to nitrogen depositions. On a short term basis, the combined effect of the deposits and long term climate change is modulated by forest management. The extrapolation of the coupled model on a larger scale requires continuity in the availability of input data and calibration of the species’ response. The data and climate changes scenarios were completed and updated with the SAFRAN model and new regionalised RCP scenarios. The calibration of the response of plant species throughout France was carried out using measurements of the phytoecological database EcoPlant, via development of species distribution models (SDM). The coupling between ForSAFE and the SDM ensures a robust global modelling of the forest ecosystems’ response over time, calibrated for the French pedoclimatic conditions. The modelling of the acidic, eutrophication and biodiversity critical loads, on all the RENECOFOR sites and French forest ecosystems, shows the various sensitivities to sulphur and nitrogen depositions depending on the ecosystem. Ecosystems located in the Landes, Sologne and Massif Central appear to be amongst the most sensitive ones. The Habitats Suitability Index (HSI) was calculated throughout all the ecosystems via PROPS models and the SDM. The selection of representative species remains pivotal as the final HSI value is conditional, depending on this factor. This parameter is one of the most sensitive factors to take into account with the model. It must be linked with forest managers' objectives for the protection of the ecosystems.

Les infrastructures critiques (CIs) sont essentielles au fonctionnement de la société moderne. Leur sécurité et leur fiabilité sont les principales préoccupations. La complexité des CIs exige des approches d'analyse de système capables de voir le problème de plusieurs points de vue. La présente thèse porte sur l'intégration de la perspective de contrôle dans l'analyse de sécurité et de fiabilité des éléments de configuration. L'intégration est d'abord abordée par examiner les propriétés de contrôle d'un microgrid d'alimentation électrique. Un schéma basé sur la simulation est développé pour l'analyse sous différentes perspectives : le service d'approvisionnement, la contrôlabilité et la topologie. Un cadre basé sur la commande prédictive (MPC) est proposé pour analyser le microrgrid dans divers scenarios de défaillance. Ensuite, un cadre multi-perspectif est développé pour analyser les CIs considérant le service d'approvisionnement, la contrôlabilité et la topologie. Ce cadre permet d'identifier le rôle des éléments de CIs et de quantifier les conséquences de scénarios de défaillances, par rapport aux différents perspectives considérées. Afin de présenter le cadre d'analyse, un réseau de transport de gaz réel à travers plusieurs pays de l'Union européenne est considéré comme une étude de cas. En fin, un cadre d'optimisation a trois objectifs est proposé pour la conception de CI : la topologie du réseau et l'allocation des capacités de liaison sont optimisées minimisant la demande non fournie et la complexité structurelle du système, et en même temps maximisant la contrôlabilité du système. Une investigation approfondie sur les multiples objectifs considérés est effectuée pour tirer des informations utiles pour la conception du système. Les résultats de cette thèse démontrent l'importance de développer du cadre d'analyse des CIs considérant de plusieurs perspectives pertinentes pour la conception, l'opération et la protection des CIs. / Critical infrastructures (CIs) provide essential goods and service for modern society. Their safety and reliability are primary concerns. The complexity of CIs calls for approaches of system analysis capable of viewing the problem from multiple perspectives. The focus of the present thesis is on the integration of the control perspective into the safety and reliability analysis of CIs. The integration is first approached by investigating the control properties of a small network system, i.e., an electric power microgrid. A simulation-based scheme is developed for the analysis from different perspectives: supply service, controllability and topology. An optimization-based model predictive control framework is proposed to analyze the microgrid under various failure scenarios. Then, a multi-perspective framework is developed to analyze CIs with respect to supply service, controllability and topology. This framework enables identifying the role of the CI elements and quantifying the consequences of scenarios of multiple failures, with respect to the different perspectives considered. To demonstrate the analysis framework, a benchmark network representative of a real gas transmission network across several countries of the European Union (EU) is considered as case study. At last, a multi-objective optimization framework is proposed for complex CIs design: design of network topology and allocation of link capacities are performed in an optimal way to minimize the non-supplied demand and the structural complexity of the system, while at the same time to maximize the system controllability. Investigation on the multiple objectives considered is performed to retrieve useful insights for system design. The findings of this thesis demonstrate the importance of developing frameworks of analysis of CIs that allow considering different perspectives relevant for CIs design, operation and protection.

Depuis l'introduction au début des années 2000 du standard ARINC 661 (définissant les interfaces graphiques dans les cockpits), les avions modernes, tels que l'A380, l'A350 ou le B787, intègrent des systèmes interactifs permettant à l'équipage d'interagir avec des applications interactives. Ces applications sont affichées sur des écrans à travers l'utilisation d'un dispositif similaire à un clavier et une souris. Pour des raisons d'exigences de sûreté de fonctionnement, l'utilisation de ces systèmes est limitée, à l'heure actuelle, à la commande et au contrôle de fonctions avioniques non critiques. Cependant, l'utilisation de ces systèmes dans les cockpits d'avions civils apporte de nombreux avantages (tels qu'une amélioration de l'évolutivité du cockpit) qui amènent les industriels à chercher comment l'étendre à la commande et le contrôle de systèmes avioniques critiques. Dans cette optique, nous proposons une approche duale et homogène de prévention et de tolérance aux fautes pour concevoir et développer des systèmes interactifs tolérants aux fautes. Celle-ci repose, dans un premier temps, sur une approche à base de modèles permettant de décrire de manière complète et non ambiguë les composants logiciels des systèmes interactifs et de prévenir les fautes logicielles de développement. Dans un second temps, elle repose sur une approche de tolérance aux fautes naturelles et certaines fautes logicielles résiduelles en opération, grâce à la mise en œuvre d'une solution architecturale fondée sur le principe des composants autotestables. Les contributions de la thèse sont illustrées sur une étude de cas de taille industrielle : une application interactive inspirée du système de commande et contrôle de l'autopilote de l'A380. / Since the introduction of the ARINC 661 standard (that defines graphical interfaces in the cockpits) in the early 2000, modern aircrafts such as the A380, the A350 or the B787 possess interactive systems. The crew interacts, through physical devices similar to keyboard and mouse, with interactive applications displayed on screens. For dependability reasons, only non-critical avionics systems are managed using such interactive systems. However, their use brings several advantages (such as a better upgradability), leading aircraft manufacturers to generalize the use of such interactive systems to the management of critical avionics functions. To reach this goal, we propose a dual and homogeneous fault prevention and fault tolerance approach. Firstly, we propose a model-based approach to describe in a complete and unambiguous way interactive software components to prevent as much as possible development software faults. Secondly, we propose a fault tolerant approach to deal with operational natural faults and some residual software faults. This is achieved through the implementation of a fault tolerant architecture based on the principle of self-checking components. Our approach is illustrated on a real size case study: an interactive application based on the command and control system of the A380 autopilot.

This dissertation explores the political potential of dance and dance performances in public protests whereby dancing bodies are capable of performing politics through actions and movements within the boundaries established by existing power structures. Building upon the insights of political theorist Jacques Rancière, dance theorist André Lepecki, and affect theorist Brian Massumi, this study reveals the micro-political value of dancing in the form of dissensus and as an affective and aesthetic practice in politics. Dissensus, as articulated by Rancière, refers to the collision between the prevailing order and opposing viewpoints that disrupts "the distribution of the sensible" (or common sensual perception) in society. In this sense, this study suggests that the subversive affective intensities of dancing in the form of dissensus not only transgress politics as what is articulated in words, but also, transindividually, spread to other bodies and thus potentially compel them to act and think differently. Within this theoretical framework, this study argues that dissensual dancing not only expresses via the body political messages and alternative ways of living and becoming in motion, but also enables bodies to disrupt the predominant, normative, representational, and choreographic structures of power that control them in certain ways. Following the insights of critical theorists Gilles Deleuze, Brian Massumi, Judith Butler, François Debrix, and Nigel Thrift, this dissertation methodologically problematizes the idea of a singular mode of knowledge and the operation of normative frames that limit our apprehension of different worlds and lives. Thus, it adopts a more-than-representational mode of thinking, coupled with affect theory to work towards a pluralistic methodological perspective that avoids simplistic dichotomies stemming from established linguistic constructs and structures of meaning. In doing so, this study offers an alternative mode of intelligibility about precarious and resistant dancing bodies in the context of dissensual flamenco performances. Within the context of flo6x8's protests in Spain (between 2010 and 2019), this study explores how these dance performances affectively destabilized the ways people perceived and understood flamenco as an art form and challenged the physical embodiments and social norms associated with it. By putting the flamenco body at the center of this exploration, the dissertation argues that flo6x8's dissensual dance performances are not only dialectical or antagonistic, in other words, designed to be positioned against relations of economic oppression. Rather, choreographically and affectively, they also unsettle the very categories of historical, social, cultural, and normative understanding and representation of flamenco as an art and of flamenco bodies. / Doctor of Philosophy / This dissertation explores the political potential of dance and dance performances in public protests whereby dancing bodies are capable of performing politics through actions and movements within the boundaries established by existing power structures. Building upon the insights of political theorist Jacques Rancière, dance theorist André Lepecki, and affect theorist Brian Massumi, it reveals the micropolitical value of and subversive intensities in dance performances that are deployed as forms of political protest. This study further suggests that these subversive intensities extend beyond politics as articulated in words to affect non-linguistic modes of perception for the performers and the viewers. It argues that the protest dance performances not only enable dancing bodies to convey their political messages in motion or through movement, but that they also allow bodies to articulate their agency beyond dominant structures of power and authority that seek to represent and control them in certain ways. Drawing on the thought of critical theorists Gilles Deleuze, Brian Massumi, Judith Butler, François Debrix, and Nigel Thrift, this dissertation methodologically challenges the notion of a single, fixed way of understanding the social and political world. By adopting a pluralist methodological perspective, this study moves beyond oversimplified categories and binaries, which often result from established discourses and representations. In doing so, it offers an alternative mode of understanding about precarious and resistant dancing bodies in the context of politically resistant flamenco performances. Specifically, by looking at the protest performances of the flo6x8 flamenco protest collective in Spain (between 2010-2019), this study examines how this group's protest dance performances disrupt conventional perceptions of flamenco as an art form and challenge the social and normative expectations associated with flamenco and flamenco dancing bodies. By putting the body in flamenco at the center of this exploration, this dissertation suggests that flo6x8's performances not only protest current forms of economic oppression, but also affectively confront historical, cultural, and normative representations of flamenco and bodies, thus offering alternative expressions that can transcend the representational boundaries of the flamenco tradition.

Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal. / Le modèle étapiste est le plus couramment utilisé pour représenter le déroulement des programmes en promotion de la santé. Le type idéal de ce modèle repose sur la succession de quatre étapes dont l'ordre est immuable et qui surviennent d'un seul tenant: planification, implantation, évaluation et pérennisation. Cependant, ce modèle est décevant sur le plan théorique et trompeur sur le plan pratique, notamment concernant la pérennisation. En promotion de la santé, la pérennisation constitue une notion générale pour étudier la continuation des programmes. Ce travail conceptualise la pérennisation et il examine en particulier le processus primaire ou fondamental de la pérennisation, lequel consiste en une routinisation des programmes dans les organisations qui conduit à des activités routinisées. Il propose un moyen d'apprécier la présence ou l'absence de ces activités à tout moment. Il propose également que la routinisation constitue un processus concomitant de l'implantation. Les résultats empiriques de ce travail soutiennent ces deux propositions. Pour examiner la première, nous avons étudié en 2000 les activités qui découlaient d'un projet pilote dans cinq centres locaux de services communautaires (CLSC). Les résultats suggèrent que les activités issues du projet étaient routinisées dans trois des cinq centres. Pour examiner la seconde, nous avons étudié les événements qui ont jalonné le déroulement des activités relatives au projet pilote entre 1987 et 1997. Les résultats suggèrent que ces activités étaient routinisées en 2000 lorsque le processus de routinisation incluait des événements spécifiques de la routinisation, notamment la stabilisation des ressources, et ce dès les premières années de d'implantation des programmes. Ensemble, ces résultats permettent de raffiner notre conceptualisation de la pérennisation des programmes en promotion de la santé. Selon une théorie du temps, tout ceci indique deux configurations, deux type idéaux diachroniques, qui nous conduisent vers un nouveau modèle théorique de ce déroulement. Ce modèle rend compte des écrits empiriques sur la pérennisation des programmes en promotion de la santé. Finalement, ce travail suggère des nouvelles questions pour évaluer ces programmes, et il indique une nouvelle approche longitudinale pour étudier les processus organisationnels qui conduisent ces programmes à se pérenniser.

L’agriculture verticale permet de contrôler presque totalement les conditions pour croître des plantes, qu’il s’agisse des conditions météorologiques, des nutriments nécessaires à la croissance des plantes ou même de la lutte contre les parasites. Il est donc possible de trouver et de définir des paramètres susceptibles d’augmenter le rendement et la qualité des récoltes et de minimiser la consommation d’énergie dans la mesure du possible. À cette fin, ce mémoire présente des algorithmes d’optimisation tels qu’une version améliorée du recuit simulé qui peut être utilisée pour trouver et donner des lignes directrices pour les paramètres de l’agriculture verticale. Nous présentons égalementune contribution sur la façon dont les algorithmes de contrôle, p. ex. l’apprentissage par renforcement profond avec les méthodes critiques d’acteurs, peuvent être améliorés grâce à une exploration plus efficace en prenant en compte de l’incertitude épistémique lors de la sélection des actions. cette contribution peut profiter aux systèmes de contrôle conçus pour l’agriculture verticale. Nous montrons que notre travail est capable de surpasser certains algorithmes utilisés pour l’optimisation et le contrôle continu. / Vertical farming provides a way to have almost total control over agriculture, whether it be controlling weather conditions, nutrients necessary for plant growth, or even pest control. As such, it is possible to find and set parameters that can increase crop yield, and quality, and minimize energy consumption where possible. To that end, this thesis presents optimization algorithms such as an enhanced version of Simulated Annealing that can be used to find and give guidelines for those parameters. We also present work on how real-time control algorithms such as Actor-Critic methods can be made to perform better through more efficient exploration by taking into account epistemic uncertainty during action selection which can also benefit control systems made for vertical farming. We show that our work is able to outperform some algorithms used for optimization and continuous control.

À en croire la récente floraison de travaux et d’articles à ce sujet, la politique industrielle fait son grand retour dans les économies développées depuis une dizaine d’années. Mais cette fois-ci, contrairement à d’autres occurrences historiques de ce phénomène, les politiques industrielles mobilisées semblent sous-tendues par des considérations géopolitiques. Plus que la performance économique et la compétitivité, l’objectif de sécurité nationale apparaît de façon croissante comme motivation des mesures économiques. Dans le contexte européen, cette nouvelle approche s’incarne dans le concept d’autonomie stratégique ouverte, qui tente de réconcilier deux visions : d’une part, la reconnaissance d’un ordre mondial changeant et plus menaçant qu’avant ; d’autre part, un attachement historique de l’Europe à l’ouverture des marchés. Une des questions qui demeurent en suspens est celle de la concrétisation de ce concept dans des mesures politiques à l’échelle européenne. Le présent mémoire vise à contribuer à la réflexion sur ce point, en analysant le cas de la législation naissante sur les chaînes d’approvisionnement en matériaux critiques. Le cadre d’analyse de l’institutionnalisme discursif permet de comparer les discours sur l’autonomie stratégique et sur les matériaux critiques. Il met en lumière des complémentarités et résonances, mais également des incohérences : les cadrages, les récits et types d’arguments utilisés pour justifier les deux discours ne sont en effet pas les mêmes. / A recent spate of works and articles has identified a return of industrial policy in developed economies over the past decade. This evolution seems to be underpinned by geopolitical considerations, as national security is increasingly stated as a motivation for economic measures – more so than welfare and competitiveness. In a European context, this new approach is embodied by the concept of open strategic autonomy, which may be seen as an attempt to reconcile two visions: on the one hand, the recognition of a changing world order that is more threatening than before; on the other, Europe's historical attachment to open markets. One of the questions that remain unanswered is how this concept is translated into policy measures. This thesis aims to help answer this question by analyzing the case of emerging legislation on critical raw materials supply chains. By using the analytical framework of discursive institutionalism, this work compares discourses on strategic autonomy and critical materials. It highlights the similarities and echoes, but also inconsistencies of these two sets of ideas, as the framings, narratives and types of arguments used to justify the two discourses vary.