Bédéiste, cinéaste, scénariste et illustrateur, Enki Bilal est un artiste contemporain de nationalité franco-yougoslave. De 1998 à 2007, celui-ci s’inspire des guerres qui déchirent sa Yougoslavie natale pour rédiger la Tétralogie du Monstre, un cycle de bande dessinée futuriste qui traduit une vision du monde propre aux années 1990-2000. Marquant une rupture dans le parcours de Bilal, cette œuvre propose une projection fictionnelle d’événements correspondant au postmodernisme social anticipé par Jean-François Lyotard et décrit par Jean Baudrillard. Avec cette thèse, nous démontrons comment l’auteur, en s’intéressant aux différents enjeux propres à ces deux décennies, s’engage dans un dialogue avec les grands penseurs de la postmodernité et cherche à représenter les différentes idées de « morts » – fin des grands récits – qui sont au cœur de leurs discours. À l’aide des notions de postmoderne, de posthistoire et de posthumain, nous avons analysé la question de la mort des idéologies politico-religieuses, la mort de la science et la mort de l’art dans l’œuvre de Bilal.

Bédéiste, cinéaste, scénariste et illustrateur, Enki Bilal est un artiste contemporain de nationalité franco-yougoslave. De 1998 à 2007, celui-ci s’inspire des guerres qui déchirent sa Yougoslavie natale pour rédiger la Tétralogie du Monstre, un cycle de bande dessinée futuriste qui traduit une vision du monde propre aux années 1990-2000. Marquant une rupture dans le parcours de Bilal, cette œuvre propose une projection fictionnelle d’événements correspondant au postmodernisme social anticipé par Jean-François Lyotard et décrit par Jean Baudrillard. Avec cette thèse, nous démontrons comment l’auteur, en s’intéressant aux différents enjeux propres à ces deux décennies, s’engage dans un dialogue avec les grands penseurs de la postmodernité et cherche à représenter les différentes idées de « morts » – fin des grands récits – qui sont au cœur de leurs discours. À l’aide des notions de postmoderne, de posthistoire et de posthumain, nous avons analysé la question de la mort des idéologies politico-religieuses, la mort de la science et la mort de l’art dans l’œuvre de Bilal.

LNT est un langage formel de spécification récent, basé sur les algèbres de processus, où plusieurs processus concurrents et asynchrones peuvent interagir par rendez-vous multiple, c'est-à-dire à deux ou plus, avec échange de données. La boite à outils CADP (Construction and Analysis of Distributed Processes) offre plusieurs techniques relatives à l'exploration d'espace d'états, comme le model checking, pour vérifier formellement une spécification LNT. Cette thèse présente une méthode de génération d'implémentation distribuée à partir d'un modèle formel LNT décrivant une composition parallèle de processus. En s'appuyant sur CADP, nous avons mis au point le nouvel outil DLC (Distributed LNT Compiler), capable de générer, à partir d'une spécification LNT, une implémentation distribuée en C qui peut ensuite être déployée sur plusieurs machines distinctes reliées par un réseau. Pour implémenter de manière correcte et efficace les rendez-vous multiples avec échange de données entre processus distants, nous avons élaboré un protocole de synchronisation qui regroupe différentes approches proposées par le passé. Nous avons mis au point une méthode de vérification de ce type de protocole qui, en utilisant LNT et CADP, permet de détecter des boucles infinies ou des interblocages dus au protocole, et de vérifier que le protocole réalise des rendez-vous cohérents par rapport à une spécification donnée. Cette méthode nous a permis d'identifier de possibles interblocages dans un protocole de la littérature, et de vérifier le bon comportement de notre propre protocole. Nous avons aussi développé un mécanisme qui permet, en embarquant au sein d'une implémentation des procédures C librement définies par l'utilisateur, de mettre en place des interactions entre une implémentation générée et d'autres systèmes de son environnement. Enfin, nous avons appliqué DLC au nouvel algorithme de consensus Raft, qui nous sert de cas d'étude, notamment pour mesurer les performances d'une implémentation générée par DLC. / LNT is a recent formal specification language, based on process algebras, where several concurrent asynchronous processes can interact by multiway rendezvous (i.e., involving two or more processes), with data exchange. The CADP (Construction and Analysis of Distributed Processes) toolbox offers several techniques related to state space exploration, like model checking, to formally verify an LNT specification. This thesis introduces a distributed implementation generation method, starting from an LNT formal model of a parallel composition of processes. Taking advantage of CADP, we developed the new DLC (Distributed LNT Compiler) tool, which is able to generate, from an LNT specification, a distributed implementation in C that can be deployed on several distinct machines linked by a network. In order to handle multiway rendezvous with data exchange between distant processes in a correct and efficient manner, we designed a synchronization protocol that gathers different approaches suggested in the past. We set up a verification method for this kind of protocol, which, using LNT and CADP, can detect livelocks or deadlocks due to the protocol, and also check that the protocol leads to valid interactions with respect to a given specification. This method allowed us to identify possible deadlocks in a protocol from the literature, and to verify the good behavior of our own protocol. We also designed a mechanism that enables the final user, by embedding user-defined C procedures into the implementation, to set up interactions between the generated implementation and other systems in the environment. Finally, we used the new consensus algorithm Raft as a case study, in particular to measure the performances of an implementation generated by DLC.

Bédéiste, cinéaste, scénariste et illustrateur, Enki Bilal est un artiste contemporain de nationalité franco-yougoslave. De 1998 à 2007, celui-ci s’inspire des guerres qui déchirent sa Yougoslavie natale pour rédiger la Tétralogie du Monstre, un cycle de bande dessinée futuriste qui traduit une vision du monde propre aux années 1990-2000. Marquant une rupture dans le parcours de Bilal, cette œuvre propose une projection fictionnelle d’événements correspondant au postmodernisme social anticipé par Jean-François Lyotard et décrit par Jean Baudrillard. Avec cette thèse, nous démontrons comment l’auteur, en s’intéressant aux différents enjeux propres à ces deux décennies, s’engage dans un dialogue avec les grands penseurs de la postmodernité et cherche à représenter les différentes idées de « morts » – fin des grands récits – qui sont au cœur de leurs discours. À l’aide des notions de postmoderne, de posthistoire et de posthumain, nous avons analysé la question de la mort des idéologies politico-religieuses, la mort de la science et la mort de l’art dans l’œuvre de Bilal.

Introduction. L'Accès adapté est une méthode efficace de gestion des rendez-vous qui se déploie actuellement dans les Groupes de médecine de famille (GMF) et Groupes de médecine de famille universitaire (GMF-U) de la province de Québec. Ce système exige des réceptionnistes le développement de nouvelles compétences, particulièrement le questionnement des patients au sujet de leur état de santé et l'attribution des rendez-vous dans les délais appropriés par conséquent. Objectif. Cette étude exploratoire vise à décrire les effets d'un programme de formation en Accès adapté s'adressant aux réceptionnistes en GMF et GMF-U. Méthodologie. Une étude de cas multiples à visée exploratoire a été réalisée. Cinq participants ont suivi la formation. Ces participants ont été appelés à répondre à un prétest ainsi que deux post-tests à la suite de la formation. Les outils de collecte ont pris la forme de questionnaires ainsi qu'une analyse d'enregistrement d'appels dans lesquels des rendez-vous auprès de médecins enseignants sont attribués à des patients. Des analyses descriptives exploratoires ainsi que des analyses de contenu ont été utilisées afin de comparer les résultats d'une instance de mesure à l'autre. Résultats. Le programme de formation a été évalué positivement par les participants. Des différences à la hausse sont observées à travers les différents critères d'évaluation du processus d'implantation de l'Accès adapté. Cependant, la formation n'a pas été en mesure d'augmenter le niveau de confiance des participants envers leurs propres capacités à utiliser les principes de l'Accès adapté. Les résultats aux questionnaires ainsi que les données obtenues à travers les enregistrements d'appels laissent à croire que des difficultés reliées à l'implantation variable de l'Accès adapté, notamment le déséquilibre entre l'offre de soins et la demande, limitent le travail optimal en Accès adapté. Discussion. Cette étude a permis de décrire les effets d'un programme de formation en Accès adapté auprès des réceptionnistes en GMF et GMF-U, dans le but de déployer la formation à travers la province afin de faciliter la transition vers cette nouvelle approche. L'étude a également permis d'agrandir le corps de connaissances sur l'Accès adapté, une solution attrayante au problème d'accès et de continuité des soins en première ligne. / Introduction. Advanced access scheduling is an effective appointment management system which is currently being spread out among many Family Medicine Groups (FMG) and University Family Medicine Groups (U-FMG) across the province of Quebec. This system involves the development of new skills for receptionists, notably the ability of questioning patients about their health issues and offering appointments in consequently appropriate times. Objective. This exploratory study aims to describe the effects of Advanced access training modules intended for FMG and U-FMG receptionists, mostly relating to the understanding of the philosophy behind Advanced access and the self-confidence required to apply the newfound skills in everyday work. Methods. A mixed-method, holistic multiple cases research design was used. Five participants partook in the training program. They were asked to answer a pretest and two post-tests following the training program. Questionnaires and call recordings between participants and patients were the main data collection tools. Exploratory and descriptive quantitative analysis and thematic analysis were used to compare results from one data collection point to the other. Results. The training program was positively evaluated by the participants. Some upward differences were observed throughout the evaluation of the effects of training modules on Advanced access. However, the modules were not able to enhance the self-confidence level towards the participants' own abilities to use Advanced access. The results obtained via the questionnaires and the call recordings suggest that issues related to the variable level of implementation of Advanced access across clinicians, such as the demand and supply imbalance in terms of care, hinder receptionists' full use of Advanced access. Discussion. This study described the effects of an Advanced access training program intended for FMG and FMG-U receptionists, to then implement such program across the province as to facilitate the transition to this new approach. This study also helped to grow the body of knowledge on Advanced access, an attractive solution to the access and continuity of care issues which are currently experienced in primary care.

La métropole est polychronique. L'isolement d'un de ses rythmes permet de nuancer les théories de la modernité liquide et de la ville en continu. À travers l'étude de trois événements festifs métropolitains à Paris et Bruxelles, nous proposons une lecture de l'histoire urbaine par ses temps partagés, une description des mécanismes par lesquels les rythmes sociaux émergent et une analyse de leur rôle social et spatial. Réinterrogé par le concept de rendez-vous collectifs, les rythmes urbains sont une co-production entre un urbanisme temporaire et une urbanité événementielle. Ces deux éléments explique le double rôle spatial et social des rythmes événementiels. Les institutions municipales instrumentalisent l'urbanisme temporaire pour signifier le temps, organiser le rassemblement et produire du lieu. L'urbanité événementielle est le résultat des interprétations individuelles des événements comme signe temporel qui produit du lien social et un sens commun des lieux. La répétition de la rencontre entre l'urbanisme temporaire et l'urbanité événementielle provient d'une part, de la décision politique de d'instrumentaliser le rendez-vous dans l'organisation urbaine, d'autre part de la synchronisation des individus qui organisent leurs temps pour participer au rassemblement. La rationalité qui anime les participants est motivée par la valorisation des interactions de face-à-face et la production de liens sociaux associatifs, dans une société interrogée par la différenciation et la désynchronisation des modes de vie. L'individu ne se passe pas de rassemblements rituels, dans des lieux et selon des temporalités saisonnières. Ces rythmes collectifs sont adaptés à la métropole, à la complexification de ses territoires, à l'hybridation de ses représentations culturelles et à l'individualisation de ses temporalités. Au-delà, le concept de rythme est une théorie de morphologie sociale qui rend compte du fonctionnement des sociétés de façon multiscalaire et dynamique. Elle s'inscrit dans les théories sociologiques intermédiaires qui lient l'individu et le collectif, l'habitant et les institutions, la morphologie spatiale et temporelle de groupements humains de toutes tailles. Le fait métropolitain, influençant et influencé par l'individu et le global, constitue une échelle mésociale heuristique / The city is polychronic. We qualify liquid modernity theory and the twenty-four hour city model by isolating one of its rhythms. Based on a diachronic study of three festive urban events in Paris and Brussels, we propose a new reading of urban history through planned gatherings, a description of the mechanisms by which social rhythms emerge and the role they play in building urban space and society. The planned gathering concept is applied to urban social rhythms, which are seen as the product of an interaction between temporary urbanism and event sociability. Institutions instrumentalise temporary urbanism to signify units of social time, and implicitly plan gatherings by producing a conducive physical place. Event sociability is the collective result of individual interpretations of this sign, which produce social ties and create a corresponding social place. These places become periodic through political decisions to reproduce the sign, as w ell as individuals' efforts to organize and synchronize their time to participate. The resultant planned gatherings are in turn instrumentalized to organize the metropolis. In a society whose groups are increasingly differentiated and desynchronized, face-to-face interaction and the production of discretionary social ties are highly valued. Individuals apply value rationality and thus continue to participate in ritual, seasonal gatherings at fixed places and times. Despite historical continuities, these rhythms are specifically modern in that they have adapted to the contemporary city's territorial complexity, cultural hybridization, and idividualized temporality. Using the semantic duality of rhythm (flowing / periodic) we outline a more general theory of social morphology which provides a multiscale, dynamic account of societies, covering interactions between the individual and the collective, inhabitants and institutions, the spatial and temporal patterns in human groups of varying size. The mesosocial metropolitan scale is situated between the indivual and the global

Dans cette thèse, nous nous intéressons aux modèles de calcul dans les réseaux d'objets à capacité restreinte, tels que les réseaux de capteurs sans fil. Nous nous focalisons sur les protocoles de population proposés par Angluin et al. Dans ce modèle, les objets sont représentés par des agents à états finis, passivement mobiles, communiquant entre paires et formant un réseau asynchrone et anonyme. Nous présentons deux études comparatives qui nous permettent par la suite de proposer une approche établissant le lien des protocoles de population avec deux autres modèles : le modèle des tâches avec les systèmes de réécritures de graphes, et le modèle asynchrone et anonyme d'échange de messages. Nous passons ensuite au problème d'ordonnancement dans les protocoles de population. Nous proposons un nouvel ordonnanceur probabiliste, 1-central, basé sur les rendez-vous randomisés et appelé HS Scheduler. Contrairement aux autres ordonnanceurs,il permet à plus d'une paire de communiquer à la fois. Nous prouvons qu'il est équitable avec probabilité 1. Nous analysons par la suite les termes Nous analysons par la suite les temps de stabilisation de certains protocoles s'exécutant sous le Random Scheduler ou le HS Scheduleret sur différentes topologies du graphe d'interaction. Nous prouvons que le HS Scheduler est équivalent en temps au Random Scheduler quand le graphe d'interaction est complet mais qu'il permet une stabilisation plus rapide quand le graphe est aléatoire. Par la suite,nous proposons un autre ordonnanceur qui prend en considération les états des agents et permet d'introduire la terminaison à certains protocoles : le Prorotol Aware HS Scheduler.Nous prouvons qu'il est équitable avec probabilité 1. Nous faisons l'analyse des temps de stabilisation de certains protocoles s'exécutant sous cet ordonnanceur en considérant différentes topologies du graphe d'interaction. Finalement, nous implémentons et simulons sur ViSiDiA l'ensemble des scénarios étudiés et validons nos résultats théoriques. / In this work, we consider computing models for networks of tiny objects suchas wireless sensor networks. We focus on the population protocols, a pairwise computationalmodel introduced by Angluin et al. where the tiny objects are represented byanonymous, passively mobile, finite state agents forming asynchronous networks. Weestablish two comparative studies between the population protocol model (and its extensions)and the two following ones: tasks with graph relabeling systems, and anonymousasynchronous message passing. These studies aim to establish possible mappings betweenthe population protocols and these two models. We then focus on the scheduling of thepairwise interactions in population protocols. We propose the HS Scheduler, a new probabilistic1-central scheduler based on randomized handshakes. Compared to the existingschedulers, this scheduler allows to more than one pair of agents to communicate simultaneously.We prove that this scheduler is fair with probability 1. We thereafter presentanalyses of the complexity of the stabilization time of some protocols running under thescheduling of the Random Scheduler and the HS Scheduler, and over different topologiesof the interaction graph. We prove that these two schedulers are time equivalent withComputing Models for Networks of Tiny Objects iiirespect to these protocols when the interaction graph is complete, however computationsunder the HS Scheduler stabilize faster when the interaction graph is random. We then introducethe Protocol Aware HS Scheduler, a slightly modifed version of the HS Schedulerthat takes into account the states of the agents and allows termination in some protocols.We also prove that this scheduler is fair with probability 1. We present analyses of thetime complexity of some protocols running under the scheduling of the Protocol AwareHS Scheduler and over dfferent structures of the interaction graph. We implement thedifferent scenarios in ViSiDiA, and validate through simulations our theoretical results.

Dans un premier temps, nous présentons des modèles permettant de décrire des systèmes de processus communicants, synchronisés par rendez-vous, ainsi que les différentes théories qui traitent le problème de la comparaison observationnelle. Nous abordons ensuite le problème à partir du langage FP2. Nous proposons une démarche qui permet de faire totalement abstraction des événements internes des processus et d'exprimer le comportement de communication des processus en n'utilisant que les événements de communication avec l'environnement. Enfin, une notion de contexte est définie et étudiée

La réalisation des missions spatiales repose de plus en plus souvent sur la coopération entre différents engins spatiaux. Parmi les opérations de proximité, ! le rendez-vous orbital est une pratique aussi ancienne que la ! conquête spatiale, qui continue de générer de nombreux travaux de recherche. Cependant, les motivations et les objectifs des récentes missions de rendez-vous orbital ont largement évolués. En effet, les besoins d'une autonomie accrue, d'une sécurité améliorée, d'une plus grande flexibilité et d'une réduction des coûts, constituent autant d'incitations au développement de nouvelles méthodes de guidage et contrôle. La satisfaction de contraintes très variées, dues à des considérations de sécurité ou à des limitations technologiques incontournables des actionneurs ou des capteurs, contribuent à la richesse du problème posé. Dans ce contexte, le développement de nouveaux algorithmes de commande constitue un vrai défi scientifique que cette thèse tente de relever. Les travaux de cette thèse sont basées sur l'analyse structurelle des expressions décrivant le mouvement relatif entre deux véhicules en orbite. Sur la base d'un modèle simplifié, une nou! velle paramétrisation du mouvement relatif est proposée. Celle-ci, particulièrement adaptée à la caractérisation des trajectoires périodiques, offre la possibilité d'une prise en compte de contraintes d'état très variées. Un lien formel est mis en évidence entre les paramètres définissant les trajectoires contraintes et le cône des matrices semi définies positives. Ces résultats sont exploités dans le développement des algorithmes de design de trajectoires pour des opérations de proximité, sous hypothèse de poussée impulsionnelle. Ces algorithmes ont, entre autre, la propriété de permettre la satisfaction des contraintes sur la trajectoire de manière continue dans le temps, tout en utilisant les outils numériques de la programmation convexe. Le problème spécifique de la robustesse des manœuvres aux incertitudes de la chaîne de mesure est aussi abordé dans ce manuscrit. Des approches de type commande prédictive sont mises en place afin de garantir aux opérations une p! récision souhaitée en présence de perturbations.

No description available.