Nous proposons une revue de la littérature approfondie sur la pharmacologie des inhibiteurs de l'HMG-CoA réductase et les résultats de nos études sur leur utilisation dans l'artérite à cellules géantes. Nous avons montré que l'exposition aux statines n'est pas associée au risque de survenue d'artérite à cellules géantes dans la population générale. Toutefois, une exposition aux statines jusqu'à 20 mois pourrait favoriser un sevrage plus rapide en corticoïdes. L'utilisation des statines au cours de l'artérite à cellules géantes ne doit pas être définitivement exclu. D'autant plus que nous avons également montré que les patients, diagnostiqués pour une artérite à cellules géantes, les plus âgés ou connus pour avoir des comorbidités cardiovasculaires présentent un risque élevé d'hospitalisation pour évènement cardiovasculaire majeur après la phase initiale de la maladie et doivent être étroitement surveillés en ce sens. Nous montrons qu'il existe un besoin non satisfait en terme de prévention cardiovasculaire dans l'artérite à cellules géantes. Les statines semblent efficaces pour prévenir les événements cardiovasculaires majeurs dans cette population. / We propose a comprehensive review on HMG-CoA reductase inhibitors pharmacology and results of our studies on their use in giant cell arteritis. We showed that statins exposure was not associated with giant cell arteritis occurrence in the general population. However, exposure to statins up to 20 months may favor a quicker corticosteroid tapering. Based on those results statin impact on giant cell arteritis course should not be definitively ruled out. We also showed that older giant cell arteritis patients and those suffering from cardiovascular comorbidities present a high risk of cardiovascular hospitalization occurrence after the initial phase of the disease and should be closely monitored to prevent subsequent cardiovascular disease. This proves that there is an unmet need of cardiovascular prevention in giant cell arteritis patients. Statins seems highly efficient to prevent major cardiovascular events in this population.

L’étude vise à caractériser les indicateurs relatifs aux évènements hydroclimatiques extrêmes dans le bassin-versant de l'Ouémé à l'exutoire de Bonou. Pour atteindre cet objectif, les données climatologiques (pluies journalières, températures journalières, évapotranspiration potentielle journalières), les données hydrométriques (débits journaliers), les données de réanalyses (pression atmosphériques, humidité relative, vitesse du vent, Indices de Mousson West Africain), la température de surface océanique sur la côte de Cotonou et les données cartographiques relatives aux occupations du sol des années 1986, 2000 et 2015 sont utilisées. L’analyse de la variabilité hydroclimatique a révélé que le secteur d’étude a connu sur la période de 1951-2015, deux ruptures de stationnarité (1968 et 1987) qui ont divisé la série en trois sous-périodes. La variabilité pluviométrique révèle qu’il une régression de 18 % (au sud), de 16 % (au centre) et de 15,8 % (au nord) entre la première sous-période (1951-1968) et la deuxième sous-période (1969-1987), alors que la dernière sous-période (1988-2015) est marquée par une reprise pluviométrique de 15 % (au sud), de 16,3 % (au centre) et de 15,7 % (au nord) par rapport à la sous-période d’avant. Ce qui n’est pas sans conséquences sur la dynamique hydrologique du secteur d’étude. Ainsi, il est observé une régression de 49,27 % des débits moyens annuels entre les sous-périodes 1951-1968 et 1969-1987 et une augmentation de 65 % entre les sous-périodes 1969-1987 et 1988-2015. Sur la dernière sous-période (1988-2015), les résultats révèlent aussi une augmentation des indicateurs des évènements hydroclimatiques extrêmes susceptibles d’occasionner les inondations à Bonou. Les pluies maximales journalières ont une occurrence de 2 ans, 5 ans, 10 ans pour les événements pluvieux forts ; 20 ans, pour les événements pluvieux très forts ; 50 ans et + pour les événements pluvieux extrêmement forts dans le secteur d’étude. Les débits maximaux en 24 heures augmentent en même temps que les périodes de retour. Les débits maximaux de 50ème quantile surviennent chaque deux ans, les débits maximaux correspondants aux évènements hydrologiquement forts, très forts, surviennent tous les 10 ans et les débits extrêmement forts ont une occurrence centennale. Les conditions atmosphériques, océaniques, de la surface continentale, la vitesse du vent, l’humidité relative, les facteurs géographiques sont autant de facteurs qui interagissent dans la répartition spatio-temporelle de la pluie du secteur d’étude. La pluviométrie du bassin est également influencée par le flux de mousson (nord secteur d’étude) auquel s’associent les lignes de grains de sud-est, responsables des pluies orageuses et d’averses qui génèrent des inondations dans le bassin. De même, le contexte climatique actuel et la dynamique de l’occupation des terres constituent des déterminants qui amplifient la manifestation des inondations dans le secteur d’étude. La recherche indique que le modèle conceptuel pluie-débit GR4J, surestime les débits observés en période de basse eau et les sous-estime en période de hautes eaux. Les critères d’efficacité et de performance NSE, RMSE et KGE, mis en évidence et calculés sur les débits de hautes eaux ont donné des résultats meilleurs en calage qu’en validation. Mieux les valeurs du KGE varient de 83 à 85 % en calage et de 56 à 68 % en validation, ce qui confère au modèle GR4J, l’efficacité, la performance à reproduire les débits extrêmes de crues dans le bassin. Le GR4J peut donc être servir comme outil d’aide à la décision pour l’actualisation des normes hydrologiques dans le secteur d’étude. Dans la perspective de mieux étudier les évènements climatiques extrêmes futurs, cette recherche a évalué des données de projection de sorties des modèles climatiques régionaux issues du Programme CORDEX africain et qui pourraient être utilisées pour les projections hydrologiques des travaux futurs dans le secteur d’étude. / This research aims to characterize the indicators relating to extreme hydroclimatic events in Ouémé Watershed at Bonou’s outlet. To achieve this objective, climatological data (daily rain, daily temperatures, potential daily evapotranspiration), hydrometric data (daily flows), reanalysis data (atmospheric pressure, relative humidity, wind speed, West African Monsoon Indices), the ocean surface temperature on the Cotonou coast and land use mapping data of 1986, 2000, 2015 are used. The analysis of the hydroclimatic variability revealed that during the 1951-2015 period, the study area is marked by two breaks stationarity (1968 and 1987) which divided the series into three sub-periods. The rainfall variability reveals a regression of 18 % (in the south), 16 % (in the center) and 15.8 % (in the north) between the first sub-period (1951-1968) and the second sub-period (1969-1987), while the last sub-period (1988-2015) is marked by a rainfall recovery of 15 % (in the south), 16.3 % (in the center) and 15.7 % (in north) relative to the previous sub-period (1969-1987). This is not without consequences on the hydrological dynamics of the study area. In this sense, it is noted that there is a regression of 49.27% of the average annual flows between the 1951-1968 and 1969-1987 sub-periods and a 65 % increase between the 1969-1987 and the 1969-1987 sub-periods. 1988-2015. In the last sub-period (1988-2015), the results also reveal an increase in the indicators of extreme hydroclimatic events likely to cause floods Ouémé Watershed at Bonou’s outlet. The results shows that daily maximum rainfall has an occurrence of 2 years, 5 years, 10 years for strong rainfall events; 20 years, for very heavy rain events, 50 years and over for extremely heavy rain events in the study area. The maximum flow rates in 24 hours at the sametime as the return periods. The maximum flow rates of 50th quantiles occur every two years (02 years), the maximum flows corresponding to the hydrologically strong events, very strong occur every 10 years and the extremely high flows have an occurrence centennial. The conditions of atmospheric, oceanic, continental surface, wind speed, relative humidity, and geographic factors are all elements that interact in the spatio-temporal distribution of rainfall in the study area. The Rainfall of the basin is also influenced by the monsoon flow (north of the study area), to which the southeastern grain lines are associated and are responsible for the stormy rains and showers that generate flooding in the area. In addition, the current climatic context and land-use dynamics are determinants that amplify the occurrence of floods in the study area. The reasearch indicates that the rain-flow conceptual model, of the Rural Engineering with four parameters and the daily time step (GR4J), overestimates the flows observed during the low water period and the sub-peaks. The efficiency and performance criteria NSE, RMSE and KGE, highlighted and calculated on high water flow rates, gave better results in calibration than in validation. Better KGE values range from 83 to 85 % calibration and from 56 to 68 % validation, which gives the GR4J model the efficiency and performance to reproduce extreme flows of floods in the study area. The GR4J can therefore be used as a decision to support tool for updating hydrological standards in the study area. In order to future study about extreme climatic events, this research assessed output projection data from regional climate models from the African CORDEX Program that could be used for hydrological projections in future work in Ouémé Watershed at Bonou’s outlet.

Quelque soient les applications développées dans le cadre des systèmes à évènements discrets, l'analyse et la représentation du comportement de la partie opérative par un modèle formel est nécessaire. L'analyse bibliographique montre que, suivant les applications et les auteurs, la modélisation de la partie opérative prend des formes très différentes suivant les objectifs à atteindre. Le modèle utilisé est généralement proposé empiriquement et il est supposé faire partie du travail préliminaire aux travaux présentés. Bien que située à la base de tous les travaux, la modélisation en tant que telle, ne fait pas beaucoup l'objet de travaux de recherche. Nous nous sommes intéressés dans ce mémoire à l'obtention d'un modèle de partie opérative selon deux approches : la première consiste à mettre à l'épreuve formellement un modèle de partie opérative de bas niveau pour tester si tous les changements de commandes sont considérés. La confiance dans le modèle de partie opérative empirique est augmentée en vérifiant partiellement certaines propriétés sur celui-ci. La seconde approche s'intéresse à la construction du modèle de partie opérative par analyse de la composition en constituants physiques de la partie opérative. Chaque composant est modélisé indépendamment suivant un niveau de précision plus ou moins important avant que le modèle de partie opérative ne soit assemblé pour être utilisé dans des applications. D'abord basés sur les outils de représentation classique de la théorie des langages, les résultats de la modélisation de la partie opérative présentés dans ce mémoire sont ensuite appliqués à la supervision industrielle d'un atelier flexible d'emballage et de conditionnement. Cette modélisation montre ses limites dans la prise en compte du temps et l'aspect continu du comportement de la partie opérative. La démarche de modélisation est ensuite étendue aux Réseaux de Petri hybrides pour pouvoir représenter le comportement discret et continu de la partie opérative et leurs interactions. Cette approche hybride permet enfin d'apporter un cadre formel pour la simulation de parties opératives réalistes intégrée dans le logiciel ITS_PLC Professional Edition.

Les événements distribués, se déroulant sur plusieurs jours et/ou sur plusieurs lieux, tels que les conventions, festivals ou croisières, sont de plus en plus populaires ces dernières années et attirant des milliers de participants. Les programmes de ces événements sont généralement très denses, avec un grand nombre d'activités se déroulant en parallèle. Ainsi, choisir les activités à entreprendre est devenu un véritable défi pour les participants. Les systèmes de recommandation peuvent constituer une solution privilégiée dans ce genre d'environnement. De nombreux travaux en recommandation se sont concentrés sur la recommandation personnalisée d'objets spatiaux (points d'intérêts immuables dans le temps ou événements éphémères) indépendants les uns des autres. Récemment, la communauté scientifique s'est intéressée à la recommandation de séquences de points d'intérêts, exploitant des motifs comportementaux des utilisateurs et incorporant des contraintes spatio-temporelles pour recommander un itinéraire de points d'intérêts. Néanmoins, très peu de travaux se sont intéressés à la problématique de la recommandation de séquence d'activités, problème plus difficile du fait du caractère éphémère des objets à recommander. Dans cette thèse, nous proposons tout d'abord une formalisation du problème de la recommandation de séquences d'activités. Dans ce cadre, nous proposons et discutons une classification des types d'influences pouvant avoir un impact sur l'estimation de l'intérêt des utilisateurs dans les activités. Ensuite, nous proposons ANASTASIA, une approche de recommandation personnalisée de séquences d'activités lors des événements distribués. Notre approche est basée sur trois composants clés : (1) l'estimation de l'intérêt d'un utilisateur pour une activité, prenant en compte différentes influences, (2) l'intégration de motifs comportementaux d'utilisateurs basés sur leurs historiques d'activités et (3) la construction d'un planning ou séquence d'activités prenant en compte les contraintes spatio-temporelles de l'utilisateur et des activités. Nous explorons ainsi des méthodes issus de l'apprentissage de séquences et de l'optimisation discrète pour résoudre le problème. Enfin, nous démontrons le manque de jeu de données librement accessibles pour l'évaluation des algorithmes de recommandation d'événements et de séquences d'événements. Nous pallions à ce problème en proposant deux jeux de données, librement accessibles, que nous avons construits au cours de la thèse: Fantasy_db et DEvIR. Fantasy_db comporte des données de participation à des événements lors d'une croisière, recueillies lors d'une étude utilisateur, tandis que DEvIR réunit des données de participation au Comic Con de San Diego, convention majeure dans le domaine. / Multi-day events such as conventions, festivals, cruise trips, to which we refer to as distributed events, have become very popular in recent years, attracting hundreds or thousands of participants. Their programs are usually very dense, making it challenging for the attendees to make a decision which events to join. Recommender systems appear as a common solution in such an environment. While many existing solutions deal with personalised recommendation of single items, recent research focuses on the recommendation of consecutive items that exploits user's behavioural patterns and relations between entities, and handles geographical and temporal constraints. In this thesis, we first formulate the problem of recommendation of activity sequences, classify and discuss the types of influence that have an impact on the estimation of the user's interest in items. Second, we propose an approach (ANASTASIA) to solve this problem, which aims at providing an integrated support for users to create a personalised itinerary of activities. ANASTASIA brings together three components, namely: (1) estimation of the user’s interest in single items, (2) use of sequential influence on activity performance, and (3) building of an itinerary that takes into account spatio-temporal constraints. Thus, the proposed solution makes use of the methods based on sequence learning and discrete optimisation. Moreover, stating the lack of publicly available datasets that could be used for the evaluation of event and itinerary recommendation algorithms, we have created two datasets, namely: (1) event attendance on board of a cruise (Fantasy_db) based on a conducted user study, and (2) event attendance at a major comic book convention (DEvIR). This allows to perform evaluation of recommendation methods, and contributes to the reproducibility of results.

De nos jours, la mise au point de logiciels ou de systèmes fiables est de plus en plus difficile. Les nouvelles technologies impliquent de plus en plus d'interactions entre composants complexes, dont l'analyse et la compréhension deviennent de plus en plus délicates. Pour pallier ce problème, les domaines de la vérification et de la validation ont connu un bond significatif avec la mise au point de nouvelles méthodes, réparties en deux grandes familles : la vérification formelle et la simulation. Longtemps considérées comme à l'opposée l'une de l'autre, les recherches récentes essaient de rapprocher ces deux grandes familles de méthodologies. Dans ce cadre, les travaux de cette thèse proposent une nouvelle approche pour intégrer la simulation dites à évènements discrets aux méthodes formelles. L'objectif est d'améliorer les méthodes formelles existantes, en les combinant à la simulation, afin de leur permettre de détecter des erreurs qu'elles ne pouvaient déceler avant, notamment sur des systèmes temporisés. Cette approche nous a conduit à la mise au point d'un nouveau langage formel, le DEv-PROMELA. Ce nouveau langage, créé à partir du PROMELA et du formalisme DEVS, est à mi-chemin entre un langage de spécifications formelles vérifiables et un formalisme de simulation. En combinant alors un model-checking traditionnel et une simulation à évènements discrets sur le modèle exprimé dans ce nouveau langage, il est alors possible de détecter et de comprendre des dysfonctionnements qu'un model-checking seul ou qu'une simulation seule n'auraient pas permis de trouver. Ce résultat est notamment illustré à travers les différents exemples étudiés dans ces travaux. / Nowadays, making reliable software and systems is become harder. New technologies imply more and more interactions between complex components, whose the analysis and the understanding are become arduous.To overcome this problem, the domains of verification and validation have known a significant progress, with the emergence of new automatic methods that ensure reliability of systems. Among all these techniques, we can find two great families of tools : the formal methods and the simulation. For a long time, these two families have been considered as opposite to each other. However, recent work tries to reduce the border between them. In this context, this thesis proposes a new approach in order to integrate discrete-event simulation in formal methods. The main objective is to improve existing model-checking tools by combining them with simulation, in order to allow them detecting errors that they were not previously able to find, and especially on timed systems. This approach led us to develop a new formal language, called DEv-PROMELA. This new language, which relies on the PROMELA and on the DEVS formalism, is like both a verifiable specifications language and a simulation formalism. By combining a traditional model-checking and a discrete-event simulation on models expressed in DEv-PROMELA, it is therefore possible to detect and to understand dysfunctions which could not be found by using only a formal checking or only a simulation. This result is illustrated through the different examples which are treated in this work.

Méthodes et principaux résultats. Dans une revue systématique des études sur les facteurs déclenchants des infarctus cérébraux, nous n'avons identifié qu'une seule étude, négative, consacrée aux événements de vie. Nous avons montré, dans une étude prospective portant sur 247 patients admis pour un infarctus cérébral, qu'une exposition à au moins 1 évènement de vie était plus fréquente dans le mois précédant l'infarctus cérébral que dans les 5 périodes témoins (OR=2,96 ; IC à 95% 2,19-4,00). L'exposition à des évènements de vie était aussi un facteur prédictif des dépressions survenant dans les 6 mois suivant un infarctus cérébral. Les autres facteurs prédictifs de dépression post-AVC étaient un score de Rankin > 2, un antécédent de dépression, une lésion caudée et/ou lenticulaire gauche, le sexe féminin et des pleurs pathologiques. Conclusion et perspectives. Ce travail de thèse apporte des arguments en faveur d'un rôle des évènements de vie d'une part, dans la survenue à court terme d'un infarctus cérébral, d'autre part dans la survenue d'une dépression dans les 6 mois suivant un AVC. Il souligne aussi les difficultés spécifiques de l'étude des événements de vie concernant leur définition, l'évaluation de leur sévérité, les biais de rappel et la définition de la période à risque. Nos résultats doivent être confirmés et précisés avant d'évaluer le bénéfice d'une stratégie préventive.

Ces travaux contribuent à définir une nouvelle méthodologie de caractérisation et de prévision de la sensibilité des composants de puissance de type VDMOS vis à vis de l'environnement radiatif naturel. Cette méthodologie est basée sur le test laser d'une part et sur le développement d'un logiciel de prédiction nommé MC DASIE d'autre part. La méthode de caractérisation par laser de MOS de puissance est validée à partir de la comparaison des résultats obtenus avec des accélérateurs de particules. En outre, des cartographies laser de sensibilités sont présentées et l'intérêt du laser comme outil complémentaire des accélérateurs est mis en lumière. Le développement d'une extension du logiciel de prédiction MC DASIE aux MOS de puissance permet de prédire leur sensibilité dans un environnement atmosphérique. A cette fin, des simulations TCAD sont réalisées ; elles permettent une meilleure compréhension du phénomène de Burnout ainsi que la définition de critères de déclenchement et du volume d'interaction.

L’étude des phénomènes de la diffusion d’information à grand échelle est un domaine récent. La diffusion d’information est définie comme le processus de communication par lequel une idée ou une information se propage dans une population et qui peut impacter le comportement des individus. Les institutions, tout comme les entreprises, cherchent à comprendre et à prévoir l’impact de la propagation d’information sur les individus. Une approche de modélisation et simulation permet de mieux comprendre ce processus social et de répondre à ces questions. La modélisation et la simulation à base d’agents offre une approche puissante pour modéliser un tel processus social. Toutefois, les modèles actuels simplifient fortement les facteurs culturels et les informations représentées dans le modèle ainsi que les différents liens interconnectant les individus. Ces éléments sont centraux et déterminants pour le processus de propagation. Afin d'améliorer les modèles de propagation, nous explorons dans cette thèse une représentation de la population plus réaliste. Nous proposons une architecture de modélisation et simulation permettant de simuler les phénomènes de propagation au sein des réseaux sociaux multiplexes et dynamiques basée sur le formalisme DEVS. / The study of information dissemination phenomena of large-scale is a new field. Diffusion of information is defined as the communication process by which an idea or information spreads within a social system and that can impact the behaviour of individuals. Institutions and firms search to understand and predict the impact of information propagation on individuals. Agent-based modelling is a powerful approach for studying such a collective process. However, existing models oversimplify adopters' cultural attributes, different type of link and information content, despite the evidence of their central role in diffusion process. In this thesis, we challenge the feasibility and utility of a more realistic representation of population. We use the DEVS formalism, extended by DS-DEVS and PDEVS in order to simulate the propagation phenomena within a multi-layer social network (MSN).

Les Soins Primaires constituent le premier niveau de contact des patients avec le système de santé, assurant une réponse à 90% des patients dans 90 % des cas. Les évènements indésirables associés aux soins (EIAS) y sont fréquents, réduisant la qualité et la sécurité des soins. Ce travail traite de la sécurité du patient en ville. Dans une première partie, il explore la terminologie et l'épidémiologie relatives aux EIAS en ville (à travers les études ECOGEN et ESPRIT). Dans une deuxième partie, la notion de culture de sécurité est abordée, ainsi que son évaluation auprès de professionnels ou d'étudiants en médecine ; un travail de revue de la littérature internationale et la traduction d'un outil sont présentés. Dans une troisième partie, 3 exemples d'éléments de gestion des risques déployés en soins primaires sont présentés : la mise en œuvre des revues de morbi-mortalité en ambulatoire, celle d'un système de déclaration d'EIAS auprès de médecins généralistes et enfin une grille d'analyse systémique dédiée à l'ambulatoire (CADYA) / Primary care is for patients the first level of contact with the healthcare system, providing answers in 90% of the health-related issues. Patient safety incidents (PSI) are common, reducing quality and safety of care. This work deals with patient safety in primary care. In a first part, this work considers the terminology and epidemiology related to PSI in primary care (through ECOGEN and ESPRIT studies). In a second part, the concept of patient safety culture is discussed, as well as its assessment with professionals or medical students. An international literature review and the translation of a survey for medical students are exposed. In a third part, three examples of risk management elements deployed in primary care are introduced: morbidity and mortality reviews, a PSI reporting system for general practitioners, and a tool for root cause analysis dedicated to primary care (CADYA)

Méthodes et principaux résultats. Dans une revue systématique des études sur les facteurs déclenchants des infarctus cérébraux, nous n’avons identifié qu’une seule étude, négative, consacrée aux événements de vie. Nous avons montré, dans une étude prospective portant sur 247 patients admis pour un infarctus cérébral, qu’une exposition à au moins 1 évènement de vie était plus fréquente dans le mois précédant l’infarctus cérébral que dans les 5 périodes témoins (OR=2,96 ; IC à 95% 2,19-4,00). L’exposition à des évènements de vie était aussi un facteur prédictif des dépressions survenant dans les 6 mois suivant un infarctus cérébral. Les autres facteurs prédictifs de dépression post-AVC étaient un score de Rankin > 2, un antécédent de dépression, une lésion caudée et/ou lenticulaire gauche, le sexe féminin et des pleurs pathologiques. Conclusion et perspectives. Ce travail de thèse apporte des arguments en faveur d’un rôle des évènements de vie d’une part, dans la survenue à court terme d’un infarctus cérébral, d’autre part dans la survenue d’une dépression dans les 6 mois suivant un AVC. Il souligne aussi les difficultés spécifiques de l’étude des événements de vie concernant leur définition, l’évaluation de leur sévérité, les biais de rappel et la définition de la période à risque. Nos résultats doivent être confirmés et précisés avant d’évaluer le bénéfice d’une stratégie préventive. / Methods and main results. In our systematic review of potential triggers of ischemic stroke, the only study that examined stressful life events didn’t show any association with stroke onset. In a prospective study of 247 consecutive patients admitted for ischemic stroke, exposure to at least one stressful life event was significantly more common during the first month preceding stroke onset than during the five control periods (OR=2.96 ; 95% CI 2.19-4.00). Stressful life events exposure also predicted depression occurring within six months after ischemic stroke onset. The other predictors of post-stroke depression were a modified Rankin score > 2, a prior history of depression, a left caudate and/or lenticular lesion, the female sex and pathologic crying.Conclusion and perspectives. Our results support the role of stressful life events as triggers of ischemic stroke and predictors of post-stroke depression. Our research also highlights the difficulty of studying stressful life events, due to potential influence of memory biases and lack of precise definitions of stressful life events, severe vs. minor events and hazard period durations. These preliminary results should be confirmed in order to assess benefits of preventive strategies.