La présente étude propose d'approcher la pratique journalistique de Jean Chauvin, auteur québécois des *Ateliers* publiés en 1928. L'ouvrage est profondément novateur pour son époque tant par sa forme que par son contenu. Encore aujourd'hui, il est une référence pour aborder la question des arts au Québec de 1880 à 1930. Personnage résolument moderne, Jean Chauvin côtoie les artistes, les écrivains, les musiciens et autres créateurs dans le but de promouvoir la culture de sa province. Pour se faire, il intègre des regroupements artistiques comme la Tribu des Casoars et devient directeur de *La Revue Populaire*. C'est là qu'il commence à interviewer des peintres et des sculpteurs et qu'il publie les premiers résultats de son enquête. La période d'écriture des Ateliers, de 1916 à 1928, est riche en bouleversements socioéconomiques. C'est une période d'effervescence culturelle et d'affirmation identitaire. Jean Chauvin affirme la présence d'un réseau artistique professionnel au Québec, capable de rompre avec la tradition européenne et de rivaliser avec les peintres ontariens. La visite des ateliers permet au public d'en prendre conscience et d'encourager la production picturale ou sculpturale de sa province. L'enjeu de cette recherche est de souligner l'apport de Jean Chauvin à la construction d'un discours critique sur les arts au Québec. Un discours que nous pouvons qualifier de « moderne » puisqu'il incarne la professionnalisation de la critique d'art et aborde la nouveauté artistique dans un contexte de modernisation sociétal.

Cette recherche a pour objectif général de rendre compte de l’expérience de l’intimité, de la famille à l’amitié, tel qu’elle est quotidiennement vécue dans la vie de différentes personnes dans mon réseau personnel. Elle tient compte du contexte postmoderne du vécu de l’intimité, caractérisé par des relations plus flexibles et une multiplication des modèles (Allan, 2008 ; Stacey, 1991). J’y problématise l’intimité sous l’angle des tensions qui émergent dans notre expérience quotidienne par rapport aux normes et aux idéaux d’intimité. M’inspirant de la pensée queer, j’aborde l’intimité d’un point de vue critique, à partir de plusieurs auteures (notamment Berlant, 2000 et Butler, 2002) qui remettent en question les normes d’une intimité durable, associée notamment à l’amour familial et un idéal communicationnel de dévoilement de soi. L’expérience personnelle constitue alors un lieu où des tensions s’expriment et peuvent être saisies, un lieu qui est un point de départ pour développer une critique nuancée. L’ethnographie que j’ai réalisée auprès de gens dans la vingtaine et la trentaine a mobilisé un ensemble de méthodes : observation, réflexivité, entrevues individuelles et de groupes avec treize personnes, méthodes visuelles (création de schémas et de dessins). Ancrée en communication, elle constitue une recherche transdisciplinaire qui mobilise notamment des études sociologiques et des textes critiques. Elle propose un portrait de l’intimité spécifique au Québec et à mon réseau personnel, constitué de petits groupes et de relations dyadiques. Ce réseau est majoritairement composé de jeunes adultes ouverts à certaines intimités non traditionnelles (comme les couples de même sexe) et vivant dans la région métropolitaine de Montréal. Mes analyses explorent d’abord les formes d’intimité caractérisant mon réseau, tant conventionnelles, comme le couple et la famille, que moins conventionnelles, comme le célibat. Ainsi, je me penche sur certaines normes d’intimité, comme celle du couple, en analysant comment elles s’accomplissent, produisent du sens et ont des effets inégaux sur différents sujets. Mes analyses lient des idéaux à des pratiques concrètes et matérielles, notamment l’investissement de l’intimité dans la maison et la propriété privée. Je me tourne également vers certaines formes d’intimité moins souvent abordées, principalement les petits groupes d’amis. J’aborde la communication de manière à décentrer le dévoilement de soi entre deux personnes, souvent perçu comme élément central à l’intimité (Jamieson, 1998), et à prendre en compte les dynamiques de groupe et leurs effets de pouvoir. Ciblant l’idéal de dévoilement, j’analyse en quoi il s’articule à des normes (de couple, familiales, des groupes d’amis) et côtoie différentes autres pratiques communicationnelles comme celles impliquant les médias mobiles et numériques. En guise de discussion finale, je reviens sur les grandes lignes du projet et je développe une réflexion sur les défis posés par la combinaison d’approches critiques et ethnographiques. En somme, la contribution de ma recherche consiste à analyser le vécu de l’intimité en regard de concepts issus d’études culturelles et critiques. / This thesis addresses contemporary transformations of intimacy, from family to friendship, as it is experienced in the everyday life of my personal network of relationships. It takes into account the flexible character and the multiplicity of arrangements of contemporary relationships (Allan, 2008; Stacey, 1991). I focus on some tensions in our intimate lives as a way to critically examine norms and ideals regarding intimacy. Inspired by queer theory, I address intimacy with a critical perspective drawing on authors such as Berlant (2000) and Butler (2002), who question the norms of lasting relationships that are associated with familial love and with the communicational ideal of self-disclosure. Personal experience is the site where these tensions appear and it is the starting point from which a nuanced critique can be developed. The ethnography I have conducted with people in their twenties and their thirties combined a series of methods: observation, reflexivity, individual and group interviews with thirteen persons, visual methods (creation of schemas and drawings). Grounded in communication studies, my research is trans-disciplinary and mobilises sociological studies and philosophical essays, among others. It portrays intimacy in Quebec, and more specifically in my personal network composed of small groups and dyads. This network is mainly comprised of young adults, open to non-traditional intimacies (such as same-sex couples) in the Montreal metropolitan area. My analyses explore the forms of intimacy that characterize my network, including both conventional (e.g. the couple, the family) and less conventional (e.g. celibacy) forms of intimacy. Thus, I analyze the ways in which the norms and ideals of intimacy, such as the couple, are performed, generate meaning and affect various people in different ways. My analyses link collective ideals to concrete and material practices, such as the investment of intimacy in the house and private property. I also turn to some forms of intimacy that are usually given less attention than the couple or the family, mainly small groups of friends. My approach to communication decenters self-disclosure between two people, which is generally perceived as a communication practice at the heart of intimacy (Jamieson, 1998). Instead of focussing on this practice, I analyse how this communication ideal is articulated to couple, family, and friendship norms, and combines to other practices, such as the use of mobile and digital media. In the final discussion, I summarize the main elements of my thesis and reflect upon some challenges raised by the articulation of critical and empirical studies. In sum, the contribution of this research lies in its analysis of lived realities and micro contexts, using concepts from critical and cultural theory.

Mémoire numérisé par la Division de la gestion de documents et des archives de l'Université de Montréal.

Mémoire numérisé par la Division de la gestion de documents et des archives de l'Université de Montréal.

Le développement d'un modèle thermodynamique prédictif PPR78, basé sur le concept de contributions de groupes, a été entrepris afin de pouvoir prédire avec précision, le comportement des fluides pétroliers. PPR78 utilise l’équation d’état de Peng et Robinson et les règles de mélange de Van der Waals avec un seul coefficient d’interactions binaires kij, dépendant de la température. Cette approche est rigoureusement équivalente à l’utilisation de règles de mélange à compacité constante avec un modèle d’énergie de Gibbs molaire d’excès, gE, de type Van Laar. Pour développer ce modèle, une étude approfondie des équilibres entre phases fluides des systèmes binaires a été réalisée en deux temps. Dans un premier, une étude phénoménologique permet d'éclairer sous un jour nouveau la classification proposée par Van Konynenburg et Scott qui décrit qualitativement les comportements de ces systèmes. Dans un second temps, quelques principes généraux de calcul des diagrammes d’équilibre de phases isothermes, isobares et globaux sont exposés. L’étude de la stabilité thermodynamique globale occupe une place essentielle au sein de ces calculs. Une fois ces étapes préliminaires franchies, l’extension du modèle aux groupes CO2, N2, H2S et sulfhydryle est réalisée. Une bonne précision du modèle est obtenue pour décrire les systèmes binaires impliquant ces quatre groupes. Enfin, le comportement des fluides pétroliers est souvent prédit avec une précision de l'ordre de l'erreur expérimentale par PPR78 / A predictive thermodynamic model, based on the group contribution concept, and called PPR78, has been developed in order to be able to predict, with high accuracy, the behaviour of petroleum fluids. PPR78 uses the Peng-Robinson equation of state with Van der Waals mixing rules and a temperature dependent binary interaction parameter kij. This method is the equivalent to the constant packing fraction mixing rules with a Van Laar excess Gibbs energy model (gE). To develop the model, an in-depth study on binary systems fluid phase equilibria, was carried out. It was divided into two parts. Firstly, a phenomenological study made a reappraisal of the Van Konynenburg and Scott classification possible. Secondly, some general rules for the calculation of isothermal, isobaric and global phase equilibrium diagrams were demonstrated. It is important to note that the study of the global thermodynamic stability is essential in the calculations. Once these preliminary steps were realized, the extension of the model to the CO2, N2, H2S and sulfhydryl groups was performed. The fluid phase behaviour of binary systems involving these four groups was accurately calculated by the PPR78 model. Finally, the properties of petroleum fluids were predicted by PPR78 with an accuracy close to the experimental uncertainty

La maturité de la télématique et des technologies de l’information et la communication (TIC), ainsi que l’avènement du big data dans le transport ont conduit à des développements foisonnants dans le domaine des systèmes de transports intelligents (ITS), aussi bien sur le plan des technologies de recueil que du traitement innovant de l’information. Il est désormais possible de connaître les conditions de circulation et les états de trafic sur la plupart des sections d’un réseau routier sans avoir recours à des infrastructures intrusives de collecte de données, de transmettre l’information résultante via des réseaux sans fil et de traiter rapidement toutes ces données multi-sources disponibles. La constitution de grandes bases de données a naturellement fait évoluer la pratique de gestion du trafic et plus particulièrement les méthodes de prévision. Ces méthodes ont connu un renouveau en s’inspirant des travaux produits en apprentissage statistique. Néanmoins, la façon d’appréhender le problème de la prévision est restée à une échelle locale. Pour chaque section de route, un modèle de prévision est adapté et optimisé. Notre travail de thèse présente un cadre de prévision du trafic routier qui aborde la question à l’échelle du réseau. L’étude menée au sein de ces travaux de thèse vise à exposer et évaluer cette nouvelle approche, dite globale, au regard d’approches usuelles, puis à analyser sa sensibilité vis-à-vis de divers facteurs. Après un positionnement par rapport à l’état de l’art en théorie du trafic, le cadre prédictif fondé sur des méthodes de prévision multi-variées par apprentissage est détaillé. Une version multidimensionnelle des k plus proches voisins, modèle parcimonieux et simple, est évaluée sur divers cas d’études. L’originalité réside dans l’exploitation de données issues de méthodes innovantes de collecte (e.g. Bluetooth, véhicules traceurs, véhicules connectés). Par la suite, les performances de l’approche initiale sont comparées à d’autres méthodes d’apprentissage. Un effort particulier est porté sur l’adaptation de méthodes à noyaux au cadre prédictif global. Les performances obtenues laissent entrevoir une typologie des méthodes en fonction des caractéristiques spatiotemporelles du réseau. Afin d’améliorer les performances en prévision et de réduire les temps de calcul, une méthode d’identification et de sélection des sections critiques du réseau est proposée. Les résultats prouvent qu’un sous-ensemble restreint de sections est en effet suffisant pour garantir des performances satisfaisantes en généralisation. Enfin, la résilience du cadre prédictif est évaluée au regard des événements non récurrents affectant le fonctionnement nominal du réseau, comme des incidents ou des conditions météorologiques dégradées. Les résultats soulignent l’impact de ces conditions non récurrentes sur la prévision temps-réel de la dynamique court-terme d’un réseau et permettent de dresser une feuille de route pour l’élaboration d’un cadre prédictif résilient et opérationnel. Cette nouvelle vision de la prévision s’inscrit dans les perspectives actuelles en termes d’applications sur les modules embarqués et les objectifs des gestionnaires d’infrastructures. / The maturity of information and communication technologies and the advent of Big Data have led to substantial developments in intelligent transportation systems (ITS) : from data collection to innovative processing solutions. Knowledge of current traffic states is available over most of the network range without the use of intrusive infrastructure-side collection devices, instead relying on wireless transmission of multi-source data. The increasing use of huge databases had a strong influence on traffic management, including forecasting methods. These approaches followed the recent trend towards innovative works on statistical learning. However, the prediction problem remains mainly focused on the local scale. The prediction for each road link relies on a dedicated, optimized and adapted prediction model. Our work introduces a traffic-forecasting framework able to tackle network scale problems. The study conducted in this thesis aims to present and evaluate this new “global” approach, in comparison to most-used existing works, and then to analyze its sensitivity to several factors. The traffic-forecasting framework, based on multi-variate learning methods, is detailed after a review of the literature on traffic flow theory. A multi-dimensional version of the k nearest-neighbors, a simple and sparse model, is evaluated through several use cases. The originality of the work stands on the processing approach, applied to data collected through new measurement process (e.g. Bluetooth, floating car data, connected vehicles). Then, the performance of our primary approach is compared to other learning-based methods. We propose an adaptation of kernel-based methods for the global prediction framework. The obtained results show that global approaches perform as well as usual approaches. The spatial and temporal specificities of the methods are highlighted according to the prediction accuracy. To improve the forecasting accuracy and reduce the computation time, we propose an identification and selection method targeting critical links. The results demonstrate that the use of a restricted subset of links is sufficient to ensure acceptable performances during validation tests. Finally, the prediction framework resilience is evaluated with respect to non-recurrent events as incidents or adverse weather conditions affecting the nominal network operations. The results highlight the impact of these non-recurrent conditions on real-time forecasting of short-term network dynamics. This enables the design of a further operational and resilient prediction framework. This perspective of forecasting matches the current applications relying on embedded systems and addressing the traffic network supervisor’s expectations.

De part ses nombreuses applications scientifiques et sociétales comme la radiographie protonique ou encore la protonthérapie, l’accélération d’ions par laser suscite un grand intérêt. Cette thèse s’inscrit dans ce cadre et présente une étude de l’interaction d’une impulsion laser d’intensité relativiste avec un plasma de densité modérée. Dans ce régime, le plasma est transparent à l’onde laser et les électrons oscillent à des vitesses relativistes dans le champ de l’onde incidente. Ces conditions sont favorables à un transfert efficace de l’énergie laser vers le plasma, et donc sont intéressantes pour l’accélération d’ions par laser. Ce régime permet également la création de solitons électromagnétiques et acoustiques dont les mécanismes de formation et les propriétés nécessitent une meilleur compréhension. Nous réalisons une étude détaillée de simulations Particle-In-Cell (réalisées avec le code OCEAN) de l’interaction d’une impulsion laser intense avec un plasma sous dense. Nous montrons que la diffusion Raman stimulée (SRS) dans le régime relativiste est le principal processus responsable de l’absorption de l’énergie laser par le plasma et qu’il est, en outre, très efficace puisqu’il permet de transférer près de 70 % de l’énergie de l’impulsion laser aux électrons. Cette instabilité apparaît dans des plasmas dont la densité est nettement supérieure à la densité quart-critique du fait de la diminution de la fréquence plasma électronique et se développe sur des temps très courts. Il permet ainsi un chauffage homogène des électrons tout le long de la propagation de l’impulsion laser à travers le plasma. Ces électrons participent à la détente du plasma, et créent sur ses bords raids un champ électrostatique permettant l’accélération des ions. Ces derniers gagnent 30 % de l’énergie laser initiale. Nous avons aussi développé un modèle simple qui permet de prédire et donc d’optimiser le taux de rétro-diffusion du plasma du fait du développement de l’instabilité SRS. Nous nous intéressons également à la séquence des processus permettant la formation des cavités électromagnétiques. Cette analyse souligne le rôle joué par l’instabilité modulationnelle ou de Benjamin-Feir sur le front de l’impulsion laser qui est divisée en un train de plusieurs solitons électromagnétiques. À l’aide d’une étude détaillée, nous montrons que ces solitons excitent des ondes plasmas dans leur sillage en se propageant dans le plasma, perdent de l’énergie et finissent par être piégés. Ils forment également des dépressions (cavités) des densités électroniques et ioniques du plasma. Ces cavités sont des pièges pour les champs électromagnétiques rayonnés par le plasma (par exemple du fait de l’instabilité SRS) et survivent grâce à un équilibre entre la pression de radiation des champs piégés et les pressions cinétiques électroniques à leurs bords. Ces cavités absorbent une part importante de l’énergie laser mais elles n’en conservent qu’une partie sous forme d’énergie électromagnétique piégée. Le reste de l’énergie permet l’expansion de la cavité, la génération de solitons acoustiques supersoniques et l’accélération de particules. / The laser-accelerated ions draw an increasing interest due to their potential applications and to their unique properties. This manuscript presents a study of the interaction between a relativistic intense laser pulse and a low density plasma. In this regime, the plasma is transparent to the laser pulse and electrons oscillate with relativistic velocities in the field of the incident wave. These conditions make the transfer of the laser pulse energy to the plasma efficient, and therefore are interesting for the ion acceleration. This regime generates also electromagnetic and acoustic solitons whose formation mechanisms and properties need to be better understood. We carry out a detailed analysis of Particle-In-Cell simulations (performed with the code OCEAN) of interaction of an intense laser pulse with a low density plasma.We show that the stimulated Raman scattering (SRS) is the main mechanism responsible for the absorption of laser energy in plasma. This process is very efficient : it leads to the transfer of 70 % of the laser pulse energy to electrons. This instability occurs in plasmas with a density larger than the quarter critical one due to the decrease of the electron plasma frequency and develops in a very short time scale. It leads to an homogeneous electron heating all along the distance of propagation of the laser pulse through the plasma. The ions are efficiently accelerated at the plasma edges and can get nearly 30%of the initial laser energy. This study is accompanied by a simple analytical model which is able to predict and so optimize the laser backscattering fraction due to the development of the SRS instability. We also present a sequence of stages which lead to the formation of electromagnetic cavities. This analysis highlights the role of the modulationnal or Benjamin-Feir instability in the front of the laser pulse, which is split in a train of electromagnetic solitons. Our detailed study shows that these solitons excite plasmas waves in their wake, lose energy and are finally trapped in the plasma. They lead to the formation of density depressions (cavities) which may trap the electromagnetic fields produced in the plasma (by the SRS instability, for example). These structures may survive for a long time thanks to an equilibrium of the trapped field radiation pressure and the electronic kinetic pressure at their borders. These cavities absorb an significant part of the laser energy but only a part of it is trapped inside. The remaining part is invested in the cavity expansion, generation of acoustic solitons and acceleration of charged particles.

Les épilepsies bénignes partielles idiopathiques de l'enfant sont associées à un pronostic favorable, car les crises sont rares et disparaissent à l'adolescence. La nature bénigne de ces syndromes est remise en question en raison de difficultés d'apprentissage et de déficits cognitifs subtils, fréquemment rapportés dans cette population. Nous étudions l’incidence des décharges épileptiques inter-critiques sur la cognition, et observons leurs influences sur l’organisation cérébrale et les fonctions cognitives. Nous proposons des épreuves informatisées, à des patients avec des pointes centro-temporales (EPCT) principalement localisées à l'un des deux hémisphères et occipitales de type Panayiotopoulos (SP), afin d'évaluer des compétences verbales, visuo-spatiales, visuo-attentionnelles, ainsi que trois processus d’imagerie mentale visuelle jamais étudiés dans ces syndromes. Les données comportementales renforcent l’idée d’une spécificité des perturbations selon la latéralisation hémisphérique des pointes inter-critiques et confirment leur incidence sur l’organisation de l’asymétrie hémisphérique fonctionnelle associée aux fonctions étudiées. Par ailleurs, nous montrons que le SP a une incidence particulièrement négative sur les processus d'imagerie mentale visuelle, compétences centrales pour la réussite scolaire de l’enfant et l’enrichissement de son imaginaire. Nos résultats sont en adéquation avec la remise en question actuelle de la nature bénigne de ces épilepsies sur le plan cognitif. Comparer les déficits et l’asymétrie hémisphérique fonctionnelle selon la localisation principale des pointes procure de nouveaux arguments pour un impact spécifique des manifestations inter-critiques, car seuls les mécanismes cognitifs sous-tendus par les régions concernées sont perturbés. Cela apporte des éléments d’explications sur les difficultés d'apprentissages signalés chez ces enfants, et incite à proposer des aménagements pédagogiques. / Benign idiopathic partial epilepsies of children are associated with a favorable prognosis because of rare seizure and usually recovery during adolescence. The benign nature of these syndromes is questioned because of learning difficulties and subtle cognitive deficits, frequently reported in this population. We study the incidence of the epileptic discharges on the cognition, and observe their influences on brain organization and cognitive functions. We propose computerized tests to patients with centrotemporal spikes (BECT) mainly localized in one of both hemispheres and occipital discharges, Panayiotopoulos syndrome (PS), to estimate verbal, visuo-spatial and visuo-attentional skills, as well as three visual imagery processes still never studied in these syndromes. Behavioural data strengthen the idea of a specific disturbances according to the hemispheric lateralization of the discharges and confirm their incidence on the organization of the functional hemispheric asymmetry associated with the studied functions. Furthermore, we show that PS has a particularly negative impact on the visual imagery process, important skills in the child's academic success and enrichment of his imagination. Our results are consistent with the current questioning of the benign nature of epilepsy on the cognitive level. Compare the deficits and the functional hemispheric asymmetry according to the main localization of discharges gets new arguments for a specific impact of the epileptiform activity, because only the cognitive mechanisms underlain by the concerned regions are disrupted. This provides evidence to explain the learning difficulties identified in these children, and encourages them to provide educational facilities.

Ce travail arpente le domaine de ce qu’Albert Thibaudet nommait « la critique des artistes » pour montrer que, au cours de la seconde moitié du XXe siècle, ce genre de critique a constitué un véritable laboratoire permettant de sortir des impasses auxquelles avait conduit la vision autotélique de l’œuvre proposée par la critique formaliste et par la néo-avant-garde. Dans la première partie de l’étude on s’interroge sur l’évolution de la critique formaliste, en envisageant le tournant linguistique des années 1960 comme l’aboutissement naturel d’une révolution culturelle qui a eu lieu à la fin du XIXe siècle. En menant une analyse comparée entre la France et l’Italie, on observe les deux critiques formalistes en-dehors de leur rapport de filiation, et on brosse un modèle transnational qui montre qu’elles partagent la même conception de la littérature postulée par la néo-avant-garde. La deuxième partie du travail est consacrée à l’analyse d’une tendance relevable dans la critique des écrivains à partir de l’après-guerre, où une étude purement intrinsèque de l’œuvre d’art est mise en discussion. On propose une analyse comparée de la critique littéraire de Georges Perec, Michel Tournier, Philippe Muray, Tommaso Landolfi, Pier Paolo Pasolini et Pier Vittorio Tondelli, afin de souligner que leur pratique critique ne s’est pas limitée à une déclaration personnelle de poétique, mais elle a ouvert une voie alternative à l’exaspération des positions théoriques formalistes, en anticipant ou en prônant le dépassement d’une vision autoréférentielle de l’œuvre qui a caractérisé la littérature de la fin du XXe siècle aussi bien en France qu’en Italie. / My dissertation covers the field of what Albert Thibaudet called “the critique of artists” in order to show that, throughout the second half of the twentieth century, this form of criticism has given readers a different perspective on literature in comparison to that of the formalists and the neo-avant-garde. In the first part of my study, I examine the evolution of formalist criticism in the twentieth century, considering the linguistic turn of the 1960s as the natural outcome of a cultural revolution which took place at the end of the nineteenth century. By conducting a comparative study between France and Italy, I attempt to outline a transnational model which shows that the two formalist critiques share the same understanding of the literature postulated by the neo-avant-garde. The second part of my thesis is devoted to the study of one of the main tendencies in the critique of the writers since the Second World War, a tendency that called into question a purely intrinsic study of the work of art. Here, I propose a comparative study of the literary critique of Georges Perec, Michel Tournier, Philippe Muray, Tommaso Landolfi, Pier Paolo Pasolini and Pier Vittorio Tondelli, in order to underline that their critical practice has not limited itself to a personal declaration of their poetic views, but it has truly opened up an alternative approach to formalist theoretical positions. They refused to speak of literature as a secluded world, and by doing so they anticipated one of the most important features of the literature of the end of the twentieth century, both in France and in Italy.

Les travaux présentés dans ce manuscrit portent sur la conduite de systèmes complexes critiques. Ils s'inscrivent dans le cadre du projet CONNEXION (Investissements d'Avenir, BGLE2) qui réunit les principaux acteurs de la filière nucléaire française autour de la conception des systèmes de contrôle-commande des centrales et de leur exploitation. Dans le domaine de la conduite, les actions développées par le projet concernent la phase d'ingénierie avec pour objectif d'intégrer le point de vue de l'exploitant au plus tôt dans la validation des architectures de contrôle de commande, et la phase d'exploitation avec pour objectif de fournir une aide à la préparation et à l'exécution des procédures de conduite. Dans ce contexte, la contribution présentée dans ce mémoire porte sur la génération et la vérification de séquences d'actions de conduite répondant à un objectif donné et pouvant être opérées en toute sécurité sur le procédé. L'approche proposée repose la vérification d'une propriété d'atteignabilité sur un réseau d'automates temporisés modélisant le comportement des architectures. L'originalité réside dans la définition d’un cadre formel de modélisation sous la forme de patrons favorisant la réutilisabilité des modèles ainsi que dans la proposition d'algorithmes d'abstraction et de recherche d'atteignabilité itératifs exploitant la hiérarchisation intrinsèque des architectures afin de permettre le passage à l'échelle de l'approche proposée. La contribution a été éprouvée sur la plate-forme d'expérimentation CISPI du CRAN puis sur un cas d'étude à échelle industrielle proposé dans le cadre du projet CONNEXION / The works presented in this manuscript deals with critical complex systems operation. They are part of the CONNEXION project (Investissements d'Avenir, BGLE2), which involves the main actors in the French nuclear industry around the design of control systems for power plants and their operation. In the operation field, the actions developed by the project concern the engineering phase with the aim of integrating the operator's point of view as soon as possible in the validation of control architectures, and the operation phase with the aim of providing assistance in the preparation and execution of operation procedures. In this context, the contribution presented in this manuscript deals with the generation and verification of action sequences that meet a given objective and that can be safely operated on the process. The proposed approach relies on verifying a reachability property on a network of timed automata modelling the behavior of architectures. The originality is in the definition of a formal modelling framework using patterns promoting the reusability of models, as well as in the proposition of abstraction and reachability iterative analysis algorithms exploiting the intrinsic hierarchization of architectures in order to scale-up of the proposed approach. The contribution was evaluated on the CISPI experimental platform of the CRAN, and on an industrial scale case study proposed within the framework of the CONNEXION project