Le développement de systèmes logiciels implique l'intégration de différents langages pour modéliser l'organisation et le comportement des composants d'une application. De plus, s'il existe des modèles de processus décrivant les différentes activités pour passer d'une spécification à une réalisation, il n'existe pas de processus général expliquant comment relier de façon rationnelle langages et activités. Par ailleurs, l'Ingénierie Dirigée par les Modèles propose des concepts et des outils pour spécifier et combiner différents langages; ceci en introduisant les concepts de méta­modèles comme moyen pour spécifier des langages, et de transformation de modèles pour les mettre en relation. Un exemple de métamodèle est donné par le standard SPEM (Software Process Engineering Metamodel) dédié à la modélisation de processus de développement logiciel.Dans ce contexte, la thèse propose de tirer profit des éléments précédents pour élaborer des processus de développements spécifiques et orientés modèles conformes à un schéma conceptuel dérivé du schéma de SPEM dans lequel des activités d'un processus peuvent exploiter des métamodèles et des transformations. Un guide méthodologique pour aborder l'ingénierie de processus spécifiques complète le schéma proposé. Les intérêts de la proposition résident alors dans une meilleure capitalisation des connaissances pour un domaine ainsi qu'une réduction des efforts de développement. Finalement, la thèse propose d'élaborer de tels processus spécifiques pour des applications logicielles relevant du domaine des Systèmes à Évènements Discrets.

En premier lieu, nous proposons, étudions et optimisons différentes politiques de maintenance pour des systèmes réparables à dégradation markovienne ou semi-markovienne, dont les durées de réparation suivent des lois générales. <br /> Nous nous intéressons ensuite au remplacement préventif de composants devenus obsolescents, du fait de l'apparition de nouveaux composants plus performants. Le problème est ici de déterminer la stratégie optimale de remplacement des anciens composants par les nouveaux. Les résultats obtenus conduisent à des stratégies très différentes selon que les composants ont des taux de panne constants ou non.<br /> Les travaux suivants sont consacrés à l'évaluation numérique de différentes quantités fiabilistes, les unes liées à des sommes de variables aléatoires indépendantes, du type fonction de renouvellement par exemple, les autres liées à des systèmes markoviens ou semi-markoviens. Pour chacune de ces quantités, nous proposons des bornes simples et aisément calculables, dont la précision peut être ajustée en fonction d'un pas de temps. La convergence des bornes est par ailleurs démontrée, et des algorithmes de calcul proposés.<br /> Nous nous intéressons ensuite à des systèmes hybrides, issus de la fiabilité dynamique, dont l'évolution est modélisée à l'aide d'un processus de Markov déterministe par morceaux (PDMP). Pour de tels systèmes, les quantités fiabilistes usuelles ne sont généralement pas atteignables analytiquement et doivent être calculées numériquement. Ces quantités s'exprimant à l'aide des lois marginales du PDMP (les lois à t fixé), nous nous attachons plus spécifiquement à leur évaluation. Pour ce faire, nous commençons par les caractériser comme unique solution d'un système d'équations intégro-différentielles. Puis, partant de ces équations, nous proposons deux schémas de type volumes finis pour les évaluer, l'un explicite, l'autre implicite, dont nous démontrons la convergence. Nous étudions ensuite un cas-test issu de l'industrie gazière, que nous modélisons à l'aide d'un PDMP, et pour lequel nous calculons différentes quantités fiabilistes, d'une part par méthodes de volumes finis, d'autre part par simulations de Monte-Carlo. Nous nous intéressons aussi à des études de sensibilité : les caractéristiques d'un PDMP sont supposées dépendre d'une famille de paramètres et le problème est de comparer l'influence qu'ont ces différents paramètres sur un critère donné, à horizon fini ou infini. Cette étude est faite au travers des dérivées du critère d'étude par rapport aux paramètres, dont nous démontrons l'existence et que nous calculons.<br /> Enfin, nous présentons rapidement les travaux effectués par Margot Desgrouas lors de sa thèse consacrée au comportement asymptotique des PDMP, et nous donnons un aperçu de quelques travaux en cours et autres projets.

Pour V un processus aléatoire càd-làg, on appelle diffusion dans le milieu aléatoire V la solution formelle de l’équation différentielle stochastique \[ dX_t = - \frac1{2} V'(X_t) dt + dB_t, \] où B est un mouvement brownien indépendant de V . Le temps local au temps t et à la position x dela diffusion, noté LX(t, x), donne une mesure de la quantité de temps passé par la diffusion au point x, avant l’instant t. Dans cette thèse nous considérons le cas où le milieu V est un processus de Lévyspectralement négatif convergeant presque sûrement vers −∞, et nous nous intéressons au comportementasymptotique lorsque t tend vers l’infini de $\mathcal{L}_X^*(t) := \sup_{\mathbb{R}} \mathcal{L}_X(t, .)$ le supremum du temps local de ladiffusion, ainsi qu’à la localisation du point le plus visité par la diffusion. Nous déterminons notammentla convergence en loi et le comportement presque sûr du supremum du temps local. Cette étude révèleque le comportement asymptotique du supremum du temps local est fortement lié aux propriétés desfonctionnelles exponentielles des processus de Lévy conditionnés à rester positifs et cela nous amène àétudier ces dernières. Si V est un processus de Lévy, V ↑ désigne le processus V conditionné à rester positif.La fonctionnelle exponentielle de V ↑ est la variable aléatoire $\int_0^{+ \infty} e^{- V^{\uparrow} (t)}dt$ . Nous étudions en particulier sa finitude, son auto-décomposabilité, l’existence de moments exponentiels, sa queue en 0, l’existence et larégularité de sa densité. / For V a random càd-làg process, we call diffusion in the random medium V the formal solution of thestochastic differential equation \[ dX_t = - \frac1{2} V'(X_t) dt + dB_t, \] where B is a brownian motion independent of V . The local time at time t and at the position x of thediffusion, denoted by LX(t, x), gives a measure of the amount of time spent by the diffusion at point x,before instant t. In this thesis we consider the case where the medium V is a spectrally negative Lévyprocess converging almost surely toward −∞, and we are interested in the asymptotic behavior, whent goes to infinity, of $\mathcal{L}_X^*(t) := \sup_{\mathbb{R}} \mathcal{L}_X(t, .)$ the supremum of the local time of the diffusion. We arealso interested in the localization of the point most visited by the diffusion. We notably establish theconvergence in distribution and the almost sure behavior of the supremum of the local time. This studyreveals that the asymptotic behavior of the supremum of the local time is deeply linked to the propertiesof the exponential functionals of Lévy processes conditioned to stay positive and this brings us to studythem. If V is a Lévy process, V ↑ denotes the process V conditioned to stay positive. The exponentialfunctional of V ↑ is the random variable $\int_0^{+ \infty} e^{- V^{\uparrow} (t)}dt$ . For this object, we study in particular finiteness,

L’objet de cette recherche, le processus de réélaboration de l’expérience, est défini à partir d’une conception de l’expérience liant vécu, élaboration et communication de l’expérience. L’approche de ce processus repose sur l’hypothèse théorique selon laquelle le discours n’est pas un simple véhicule : il réalise en les transformant des processus psychiques qui surviennent dans la situation de communication. Il en résulte que cette recherche, à visée compréhensive, est orientée par une hypothèse qui dirige la saisie du travail de réélaboration vers la forme même que prend le dire. En conséquence de quoi le traitement du corpus, constitué à partir d’interviews semi-directives (auprès de deux professeures des écoles), relève d’une analyse du discours orientée par un ensemble cohérent d’indicateurs formels linguistiques. Les résultats obtenus, qui concernent les processus de généralisation, d’objectivation et de subjectivation, montrent que des généralités énoncées réalisent un travail de réélaboration à partir d’une position subjective, toujours singulière, appelant une prise de conscience réflexive en collaboration avec un formateur à l’écoute. / The object of this research work, the process of reelaboration of experience, is defined from a conception of experience that links personal experience, elaboration and communication of experience. The approach of this process relies on the theoretical hypothesis that speech is not a mere vehicle : it creates while transforming it, this psychic process that occurs within situations of communication. It comes from it that this work, which is meant to be comprehensive, is orientated by a hypothesis that leads the understanding of the work of reelaboration towards the very shape of talking. As a consequence, the analysis of the corpus, made of semi-directive interviews (of two school teachers), is based on an analysis of speech relying on a coherent collection of formal linguistic indicators. The results that we got about the processes of generalization, objectivation and subjectivation show that the generalities stated in this work lead to a process of reelaboration from a subjective and always singular position, which leads to a reflexive awakening, with the collaboration of a trainer who pays close attention.

L’avènement de l’IDM (Ingénierie Dirigée par les Modèles) a suscité beaucoup d’intérêt de la part des organisations qui de fait commencent à transformer leur processus de développement traditionnel en un processus de développement dirigé par les modèles, appelé aussi processus IDM.Au moment où ces processus commencent à émerger, nous notons l’absence d’un langage dédié pour les modéliser et les mettre en œuvre. Le standard SPEM 2.0 propose des concepts génériques qui sont supposés être capables de décrire tout type de processus logiciel. Cependant, les concepts de SPEM ne capturent pas la nature exacte des processus IDM. D’autre part, une autre insuffisance majeure de SPEM réside dans le fait qu’il n’intègre pas les concepts relatifs à la mise en œuvre des processus.L’objectif de cette thèse est triple : (1) proposer une extension de SPEM dans laquelle les concepts centraux des processus IDM sont réifiés ; (2) proposer un langage dédié à la modélisation comportementale des processus IDM ; (3) proposer une architecture conceptuelle d’un environnement logiciel d’aide à la modélisation et à la mise en œuvre des processus IDM.Pour valider notre approche, un prototype a été développé sous l’environnement TOPCASED. Ce prototype fournit d’une part un éditeur graphique pour la modélisation structurelle et comportementale des processus IDM et d’autre part un environnement de mise en œuvre s’appuyant sur les modèles comportementaux des processus. Nous avons également appliqué notre approche à une étude de cas significatif: le processus UWE (UML-based Web Engineering), qui est un processus IDM dédié au développement d’applications web. / With the emergence of MDE, many organizations have been starting to transform their traditional software development processes into model-driven processes. Kleppe and al. define a model-driven software development as “a process of developing software using different models on different levels of abstraction with (automated) transformations between these models”.While model-driven development processes – called MDE processes – have started to appear, a tool-supported Process Modeling Language (PML) for describing and enacting such processes is still lacking. The concepts of SPEM 2.0 are quite generic since they are supposed to allow describing any kind of software. However, SPEM 2.0 concepts do not succeed in capturing the exact nature of most activities and artifacts of model-driven development. In addition, another major weakness of SPEM 2.0 is the lack of concepts for process enactment.The objective of this thesis is threefold: (1) provide an extension of SPEM that reifies the MDE concepts; (2) provide a language dedicated to behavioral modeling of MDE processes; (3) provide a conceptual architecture of a PSEE (Process-centered Software Engineering Environment) that guides process designer at modeling phase and developers at enactment time.To validate our approach, a prototype of this PSEE is developed under the TOPCASED environment. This prototype provides a graphical editor for structural and behavioral modeling of MDE processes, and a process enactment engine based on process behavior models. We have also applied our approach to a significant case study: the UWE (UML-based Web Engineering) process, which is a MDE process dedicated to web applications development.

Le volume des données relatives à l'exécution des processus métiers augmente de manière significative dans l'entreprise. Beaucoup de sources de données comprennent les événements liés à l'exécution des mêmes processus dans différents systèmes ou applications. La corrélation des événements est la tâche de l'analyse d'un référentiel de journaux d'événements afin de trouver l'ensemble des événements qui appartiennent à la même trace d'exécution du processus métier. Il s'agit d'une étape clé dans la découverte des processus à partir de journaux d'événements d'exécution. La corrélation des événements est une tâche de calcul intensif dans le sens où elle nécessite une analyse approfondie des relations entre les événements dans des dépôts très grande et qui évolue de plus en plus, et l'exploration de différentes relations possibles entre ces événements. Dans cette thèse, nous présentons une technique d'analyse de données évolutives pour soutenir d'une manière efficace la corrélation des événements pour les fouilles des processus métiers. Nous proposons une approche en deux étapes pour calculer les conditions de corrélation et héritier entraîné des instances de processus de journaux d'événements en utilisant la plateforme MapReduce. Les résultats expérimentaux montrent que l'algorithme s'adapte parfaitement à de grands ensembles de données. / The volume of data related to business process execution is increasing significantly in the enterprise. Many of data sources include events related to the execution of the same processes in various systems or applications. Event correlation is the task of analyzing a repository of event logs in order to find out the set of events that belong to the same business process execution instance. This is a key step in the discovery of business processes from event execution logs. Event correlation is a computationally-intensive task in the sense that it requires a deep analysis of very large and growing repositories of event logs, and exploration of various possible relationships among the events. In this dissertation, we present a scalable data analysis technique to support efficient event correlation for mining business processes. We propose a two-stages approach to compute correlation conditions and their entailed process instances from event logs using MapReduce framework. The experimental results show that the algorithm scales well to large datasets.

La présente thèse couvre deux principaux thèmes de recherche qui seront présentés dans deux parties et précédés par un prolegomenon commun. Dans ce dernier nous introduisons les concepts essentiels et nous exploitons aussi le lien entre les deux parties.<p><p>Dans la première partie, le principal objet d’intérêt est la soi-disant fonctionnelle exponentielle de processus de Lévy. La loi de cette variable aléatoire joue un rôle primordial dans de nombreux domaines divers tant sur le plan théorique que dans des domaines appliqués. Doney dérive une factorisation de la loi arc-sinus en termes de suprema de processus stables indépendants et de même index. Une factorisation similaire de la loi arc-sinus en termes de derniers temps de passage au niveau 1 de processus de Bessel peut aussi être établie en utilisant un résultat dû à Getoor. Des factorisations semblables d’une variable de Pareto en termes des mêmes objets peut également être obtenue. Le but de cette partie est de donner une preuve unifiée et une généralisation de ces factorisations qui semblent n’avoir aucun lien à première vue. Même s’il semble n’y avoir aucune connexion entre le supremum d’un processus stable et le dernier temps de passage d’un processus de Bessel, il peut être montré que ces variables aleatoires sont liées à des fonctionnelles exponentielles de processus de Lévy spécifiques. Notre contribution principale dans cette partie et aussi au niveau de caractérisations de la loi de la fonctionnelle exponentielle sont des factorisations de la loi arc-sinus et de variables de Pareto généralisées. Notre preuve s’appuie sur une factorisation de Wiener-Hopf récente de Patie et Savov.<p>Dans la deuxième partie, motivée par le fait que la dérivée fractionnaire de Caputo et d’autres opérateurs fractionnaires classiques coïncident avec le générateur de processus de Markov auto-similaires positifs particuliers, nous introduisons des opérateurs généralisés de Caputo et nous étudions certaines propriétés. Nous nous intéressons particulièrement aux conditions sous lesquelles ces opérateurs coïncident avec les générateurs infinitésimaux de processus de Markov auto-similaires positifs généraux. Dans ce cas, nous étudions les fonctions invariantes de ces opérateurs qui admettent une représentation en termes de séries entières. Nous précisons que cette classe de fonctions contient les fonctions de Bessel modifiées, les fonctions de Mittag-Leffler ainsi que plusieurs fonctions hypergéométriques. Nous proposons une étude unifiant et en profondeur de cette classe de fonctions. / Doctorat en Sciences / info:eu-repo/semantics/nonPublished

De plus en plus les organisations adoptent les systèmes d'informations sensibles aux processus basés sur Cloud en tant qu'un environnement pour gérer et exécuter des processus dans le Cloud dans l'objectif de partager et de déployer leurs applications de manière optimale. Cela est particulièrement vrai pour les grandes organisations ayant des succursales opérant dans des différentes régions avec des processus considérablement similaires. Telles organisations doivent soutenir de nombreuses variantes du même processus en raison de la culture locale de leurs succursales, de leurs règlements, etc. Cependant, le développement d'une nouvelle variante de processus à partir de zéro est sujet à l'erreur et peut prendre beaucoup du temps. Motivés par le paradigme "la conception par la réutilisation", les succursales peuvent collaborer pour développer de nouvelles variantes de processus en apprenant de leurs processus similaires. Ces processus sont souvent hétérogènes, ce qui empêche une interopérabilité facile et dynamique entre les différentes succursales. Une variante de processus est un ajustement d'un modèle de processus afin de s'adapter d'une façon flexible aux besoins spécifiques. De nombreuses recherches dans les universités et les industries visent à faciliter la conception des variantes de processus. Plusieurs approches ont été développées pour aider les concepteurs de processus en recherchant des modèles de processus métier similaires ou en utilisant des modèles de référence. Cependant, ces approches sont lourdes, longues et sujettes à des erreurs. De même, telles approches recommandent des modèles de processus pas pratiques pour les concepteurs de processus qui ont besoin d'ajuster une partie spécifique d'un modèle de processus. En fait, les concepteurs de processus peuvent mieux développer des variantes de processus ayant une approche qui recommande un ensemble bien défini d'activités à partir d'un modèle de processus défini comme un fragment de processus. Les grandes organisations multi-sites exécutent les variantes de processus BP dans l'environnement Cloud pour optimiser le déploiement et partager les ressources communes. Cependant, ces ressources Cloud peuvent être décrites en utilisant des différents standards de description des ressources Cloud ce qui empêche l'interopérabilité entre les différentes succursales. Dans cette thèse, nous abordons les limites citées ci-dessus en proposant une approche basée sur les ontologies pour peupler sémantiquement une base de connaissance commune de processus et de ressources Cloud, ce qui permet une interopérabilité entre les succursales de l'organisation. Nous construisons notre base de connaissance en étendant les ontologies existantes. Ensuite, nous proposons une approche pour exploiter cette base de connaissances afin de supporter le développement des variantes BP. De plus, nous adoptons un algorithme génétique pour allouer d'une manière optimale les ressources Cloud aux BPs. Pour valider notre approche, nous développons deux preuves de concepts et effectuons des expériences sur des ensembles de données réels. Les résultats expérimentaux montrent que notre approche est réalisable et précise dans des cas d'utilisation réels / More and more organizations are adopting cloud-based Process-Aware Information Systems (PAIS) to manage and execute processes in the cloud as an environment to optimally share and deploy their applications. This is especially true for large organizations having branches operating in different regions with a considerable amount of similar processes. Such organizations need to support many variants of the same process due to their branches' local culture, regulations, etc. However, developing new process variant from scratch is error-prone and time consuming. Motivated by the "Design by Reuse" paradigm, branches may collaborate to develop new process variants by learning from their similar processes. These processes are often heterogeneous which prevents an easy and dynamic interoperability between different branches. A process variant is an adjustment of a process model in order to flexibly adapt to specific needs. Many researches in both academics and industry are aiming to facilitate the design of process variants. Several approaches have been developed to assist process designers by searching for similar business process models or using reference models. However, these approaches are cumbersome, time-consuming and error-prone. Likewise, such approaches recommend entire process models which are not handy for process designers who need to adjust a specific part of a process model. In fact, process designers can better develop process variants having an approach that recommends a well-selected set of activities from a process model, referred to as process fragment. Large organizations with multiple branches execute BP variants in the cloud as environment to optimally deploy and share common resources. However, these cloud resources may be described using different cloud resources description standards which prevent the interoperability between different branches. In this thesis, we address the above shortcomings by proposing an ontology-based approach to semantically populate a common knowledge base of processes and cloud resources and thus enable interoperability between organization's branches. We construct our knowledge base built by extending existing ontologies. We thereafter propose an approach to mine such knowledge base to assist the development of BP variants. Furthermore, we adopt a genetic algorithm to optimally allocate cloud resources to BPs. To validate our approach, we develop two proof of concepts and perform experiments on real datasets. Experimental results show that our approach is feasible and accurate in real use-cases

L'adoption de la Loi sur les Agences de développement des réseaux locaux, en 2003, a mené à la création des Centres de Santé et Services Sociaux (CSSS); les CSSS regroupent à la fois un Centre Local de Services Communautaires (CLSC), un Centre d'Hébergement et de Soins de Longue Durée (CHSLD) et un Centre Hospitalier (CH). L'intégration de ces organisations au sein d'un même établissement suppose des changements significatifs dans les orientations d'établissement, les structures organisationnelles et les pratiques professionnelles. Afin de relever les défis inhérents à ces fusions, les comités de gestion doivent élaborer une vision partagée de ce qu'elles souhaitent véhiculer au sein du nouvel établissement, et ce, tout en tenant compte des particularités propres à chacun des milieux fusionnés. L'élaboration d'une vision partagée nécessite des processus de déconstruction et de reconstruction mentale soutenu par un environnement suffisamment sécuritaire et soutenant permettant aux individus de remettre en question leurs constructions. Les objectifs de cette étude sont doubles : d'une part, générer des connaissances sur les composantes de l'environnement soutenant l'élaboration d'une vision partagée et, d'autre part, explorer l'apport d'une méthode inspirée de la recherche évaluative de 4e génération de Guba et Lincoln pour assister un comité de gestion dans l'élaboration d'une telle vision. Les données sont recueillies à partir de deux cycles d'entrevues individuelles réalisés auprès de six (6) gestionnaires travaillant au sein d'un comité de gestion et deux discussions de groupes. Elles sont analysées à partir des procédés de l'analyse de contenu appelées « analyse thématique en continu » et « analyse à partir des catégories conceptualisantes ». L'analyse permet d'identifier trois composantes de l'environnement qualifiées de soutenantes dans le cadre de ce projet : la délimitation des éléments de négociation, la réaction diligente et la mobilisation dans la liberté de création et de dégager en sept (7) points l'apport de la méthode : l'occasion de s'arrêter, l'espace de dialogue sécuritaire, la neutralisation des émotions, la mise à niveau des connaissances, la gestion des interfaces, l'opportunité de prendre sa place et l'alimentation de la curiosité.

Le gène ShcA encode pour 3 isoformes de la protéine adaptatrice Shc, soit p46, p52 et p66Shc. La plupart des études faites sur Shc ont été réalisées dans le contexte de l'isoforme p52Shc. Un des premiers rôles attribués à p52Shc a été sa capacité d'activer la voie de signalisation MAPK en aval des récepteurs tyrosine kinase. Par la suite, plusieurs rôles ont été attribués à p52Shc, dont l'induction de la prolifération cellulaire, la migration, l'angiogenèse et la croissance sans ancrage à la matrice extracellulaire. Tous ces processus biologiques sont impliqués dans l'initiation et la progression du cancer. Pendant longtemps on croyait que les 3 isoformes de Shc avaient les mêmes fonctions. Cependant en 1997, un rôle distinct a été découvert pour p66Shc. Cet isoforme est antagoniste à p52Shc, c'est-à-dire qu'il inhibe la voie MAPK, la prolifération ainsi que la migration cellulaire. De plus, p66Shc aurait un rôle pro-apoptotique suite à des stress cellulaires, dont le stress oxydatif. Ces observations suggèrent que p66Shc agirait comme suppresseur de tumeur. Nous nous sommes donc penchés sur son rôle au niveau de la carcinogenèse colorectale. Nos travaux nous ont d'abord permis de caractériser le statut des isoformes de Shc au niveau des cellules de cancer colorectal humain. On a observé une diminution de l'expression de p66Shc par rapport aux cellules normales ainsi qu'une augmentation de la phosphorylation de p52Shc dans les cellules cancéreuses humaines avec un potentiel plus agressif. Cependant, la réexpression de p66Shc dans les cellules DLD-1 possédant des niveaux non détectables de p66Shc, n'affecte pas la prolifération, la croissance sans ancrage à la matrice extracellulaire et ni l'apoptose suite à un stress oxydatif. Par la suite, les résultats obtenus par des analyses moléculaires nous ont permis de déterminer que la réexpression de p66Shc diminue la phosphorylation de p52Shc sur ses résidus tyrosines ainsi que l'interaction entre Grb2 et p52Shc. Toutefois, la réexpression de p66Shc n'a aucun impact sur l'activation de ERK. De plus, nos analyses in vivo ont démontré une diminution de la capacité des cellules DLD-1 réexprimant p66Shc à former des tumeurs chez les souris nues injectées de façon sous-cutanée, par rapport aux DLD-1 contrôles. Ce qui suggère que p66Shc joue un rôle en tant que suppresseur de tumeur in vivo. En conclusion, nos résultats indiquent que la réexpression de p66Shc dans la lignée cellulaire humaine de cancer colorectal, soit les DLD-1, n'a pas d'impact sur l'activation de ERK et ni sur les différents processus biologiques en aval des voies MAPK. Mais le fait que p66Shc inhibe la phosphorylation de p52Shc ainsi que l'interaction entre Grb2 et p52Shc in vitro , et qu'in vivo p66Shc agirait comme suppresseur de tumeur, indique qu'il existe un rôle pour p66Shc dans le cancer colorectal. Cependant, les mécanismes sur son implication restent encore à être élucidés.