Nous introduisons des codes de Gray et des algorithmes efficaces de génération exhaustivepour trois classes de mots: (1) suites à croissance restreinte, (2) mots évitant un facteurspécifié, (3) permutations à motif exclus. Pour les deux premières classes, nos codes de Gray (et les algorithmes de génération qui en découlent) sont basés sur des relations d'ordre obtenues par la spécialisation de l'ordre du code de Gray réfléchi. Pour la troisième classe, les codes de Gray et les algorithmes de génération correspondants sont basés sur l'ordre induit par l'algorithme de Steinhaus-Johnson-Trotter pour la génération des permutations.Concernant les suites à croissance restreinte, nous définissons un code de Gray et donnonsun algorithme de génération exhaustive pour ce code. En particulier, nous considéronsles suites sous-excédantes et ascendantes, les fonctions à croissance restreinte et les mots `escalier'.Les relations d'ordre considérées sont RGC et Co-RGC, qui sont des relations partitionnantles listes selon, respectivement, le préfixe et le suffixe. De plus, nous explorons la possibilité pour l'obtention des codes de Gray pour les suites ascendantes restreintes.Pour les mots de q-aires à facteur interdit nous donnons deux codes de Gray et les algorithmes degénération correspondants. Les relations d'ordre considérées sont RGC, pour q pair, et Dual RGC pour q impair. Parmi les notions utilisées, citons la périodicité zéro et un algorithme classique derecherche de motif du à Knuth, Morris et Pratt. Comme application, nous considéronsles ensembles `cross-bifix-free'.Finalement, des résultats similaires sont obtenus pour certaines classes de permutations à motifinterdit. Plus précisément, nous montrons que la restriction ducode de Gray de Steinhaus-Johnson-Trotter aux ensembles de permutations évitant certains motifsreste un code de Gray (moins restrictif). Parmi les techniques utilisées, nous mentionnonsla fonction de succession et une bijection classique entre permutations et tableaux d'inversions,et donnons quelques conséquences en théorie des graphes. / We consider Gray codes and efficient exhaustive generating algorithms for the sets belonging to three major classes of restricted words, that are: (1) restricted growth sequences, (2) factor avoiding q-ary words, and (3) pattern avoiding permutations. For the first two classes, our Gray codes (and thus, our generating algorithms) are based on order relations obtained by specializing known order relations; namely Reflected Gray Code (RGC) order and its variations, and we call them Reflected Gray Code based orders. The Gray code and the generating algorithm for the third class are based on Steinhaus-Johnson-Trotter order, that is, order relation induced by Steinhaus-Johnson-Trotter Gray code for permutations. In the first results, we define Gray codes and give efficient generating algorithms for the class of restricted growth sequences that satisfy our prescribed properties. In particular, we focus on four mainstream subclasses: subexcedant and ascent sequences, restricted growth functions and staircase words. The results are given in two parts: by using original RGC order and Co-RGC order, which generates prefix (and suffix, respectively) partitioned Gray codes; and we give comparison between the two results. In addition, we investigate the Graycodeness of the restricted ascent sequences.In the second results, we define Gray codes and give an efficient generating algorithm for the class of factor avoiding q-ary words. Among the involved tools, we make use of original RGC order for even q and Dual RGC order for odd q, the zero periodicity property, and word matching techniques adapted from that of Knuth-Morris-Pratt. We give the implementation of these results to define Gray code and generating algorithm for cross-bifix-free sets.In the third results, we define Gray codes and give efficient generating algorithms for the class of pattern avoiding permutations. In particular, we show that the Steinhaus-Johnson-Trotter Gray code for permutations, when restricted by avoiding some set of patterns, still remains a (possibly less restricted) Gray code. The main ingredients we are using in the investigation of the Graycodeness are: succession functions, the classical bijection from inversion tables to permutations, and the list of inversion tables with respect to RGC order. We give additional results on graph theoretic consequences.

Cette enquête a pour objectif d’exposer le développement du journalisme palestinien et les conditions actuelles du travail des journalistes palestiniens. Plusieurs questions ont motivé cette recherche. Est-il possible de faire du journalisme dans un contexte marqué par la violence physique et psychologique ? Est-il possible pour un journaliste palestinien de faire un travail « objectif » et professionnel dans un tel contexte ? Les journalistes palestiniens rencontrent-ils plus de difficultés pour réaliser leur travail ? Quel type d‘institutions sont chargées de la protection des journalistes dans les Territoires palestiniens ? Quel est le cadre légal du journalisme palestinien ? Quelles sont les formations suivies par les Palestiniens pour devenir journaliste ? Il existe une « tradition journalistique » dans la région et spécifiquement palestinienne, qui est encore mal comprise. Cet héritage est le résultat de l’histoire de la région et des conditions politiques, économiques et sociales. La lutte pour un État indépendant explique la récurrence des journalistes palestiniens dans l’engagement politique. Par ailleurs, les jeunes générations de journalistes demandent un niveau de « professionnalisation » et de « professionnalisme » de leurs anciens collègues en se détachant de la sphère politique. L’investigation cherche à clarifier la « tradition journalistique palestinienne » et ses éléments pour comprendre pourquoi malgré le militantisme derrière cet héritage, les journalistes palestiniens peuvent faire un travail professionnel. Les journalistes palestiniens sont légitimes porte-paroles de leur société. / The purpose of this investigation is to show the historic development of Palestinian journalism and the working conditions of Palestinian journalists nowadays. Several questions have motivated this research. Is it possible to be a journalist in a context physically and psychologically limited by violence? Is it possible for a Palestinian journalist to be “objective” and to work professionally in such a context? Do Palestinian journalists encounter more difficulties to accomplish their job? What kinds of institutions are responsible for the protection of journalists in the Occupied Territories? Which is the legal framework of Palestinian journalism? What training and courses does a Palestinian must follow in order to become a journalist? There is a specific “Palestinian journalistic tradition” that is part of the journalistic tradition of the region, which is still poorly understood. This legacy is a product of the region’s history and the political, economic and social conditions. The struggle for an independent state explains the recurrence of political activism among Palestinian journalists. Furthermore, the younger generations of journalists demand a higher level of professionalization and professionalism of their former colleagues, as they move away from the political sphere. This investigation seeks to clarify the “Palestinian journalistic tradition” and its elements to understand why, despite the activism behind this legacy, Palestinian journalists are able to work professionally. Palestinian journalists are genuine spokesmen of their society.

Comme dans tout cancer, l'association entre myélome multiple et maladie thrombo-embolique veineuse est bien établie. Son incidence au cours du myélome est en moyenne de 10 à 20%. Elle semble plus élevée en cas de myélome de novo et lors de l’utilisation de traitements immunomodulateurs comme le thalidomide. Pourtant, la part de surcroît du risque de thrombose dû à ce traitement n’est pas encore très bien définie. Tout d’abord, nous avons réalisé un bilan de ces pathologies afin de délimiter le champ d’étude grâce à une revue de la littérature. Nous avons ensuite évalué l’incidence de la maladie thrombo-embolique veineuse, identifié les facteurs de risque thrombotique et évalué le classement en groupe de risque des patients présentant un myélome et traités par immunomodulateur grâce à une étude observationnelle, multicentrique, prospective, de la prise en charge des myélomes par les hématologues en France. Par la suite, nous avons réalisé l’analyse médico-économique du seul essai randomisé réalisé à ce jour sur la thrombophylaxie chez les malades présentant un myélome multiple traités par thalidomide en première ligne. Cette étude montre un gain de qualité de vie associé à des économies majeures lors de la prévention de la thrombose par aspirine plutôt que par héparine. Enfin nous avons réalisé 2 études médicales utilisant la génération de thrombine, test biologique de recherche. La première a été effectuée afin d’essayer de prédire les patients qui vont présenter une thrombose. La deuxième a pour but de rechercher l’existence d’une résistance à l’héparine aux doses habituelles utilisées dans cette pathologie / The association between multiple myeloma and venous thromboembolic disease is well established. This incidence in myeloma is on average from 10 to 20%. It appears to be higher in newly diagnosed myeloma and immunomodulatory drugs such as thalidomide might significantly increase the risk. However, the risk of thrombosis due to these treatments is not yet well defined. First, we performed a review of these diseases in order to delimit the field of this study through a literature review. Then, we evaluated the incidence of venous thromboembolic disease in patients with myeloma and treated with immunomodulatory, identified the thrombotic risk factors and evaluated the thrombotic risk assessment based on the physicians choice, through an observational, multicenter, prospective French study. Moreover, we performed the medico-economic analysis of the only randomized trial conducted to date on the thrombophylaxis in patients with multiple myeloma treated with thalidomide in the first line of chemotherapy. This analysis showed a gain in quality of life associated with significant cost savings in the prevention of thrombosis by aspirin rather than heparin. Finally we performed two medical studies using thrombin generation test, a global assay that measures the overall tendency of a plasma sample to form thrombin. The first study was conducted to predict patients who will have thrombosis. The second is performed to know if a heparin resistance with the usual doses in this pathology, exists

Un système embarqué est un système électronique et informatique autonome dédié à une tâche précise. Dans le secteur de l’automobile, le nombre de systèmes embarqués dans les voitures a considérablement augmenté au cours de ces dernières années et va certainement continuer à augmenter. Ces systèmes sont dédiés entre autres, à la sécurité, au confort de conduite,et à l’assistance à la conduite. Cette croissance des systèmes est associée avec une croissance en taille des logiciels qui les contrôlent. En conséquence, leur gestion(système et logiciel) devient de plus en plus complexe et problématique. Par ailleurs, la concurrence dans le secteur automobile est très féroce et les temps de mise sur le marché sont de plus en plus courts. Ainsi, pour garantir le bon fonctionnement des systèmes en général et du logiciel en particulier, étant donné leur complexité,et aussi les délais courts de mise sur le marché des produits automobiles, de nouvelles méthodes de développement doivent être considérées. Ainsi, de nombreuses méthodes de développement, incluant de nouveaux standards (de développement) et approches automatiques ont émergé au cours de ces dernières années. Dans le cas particulier de la vérification et validation de logiciel, une des activités critiques qui a connu une avancée significative est la génération de cas de test, avec l’avènement d’approches automatiques.Malgré cela, ces approches peinent souvent à s’imposer en milieu industriel. Une des raisons est que celles ci sont souvent peu adaptées ou peu utilisées dans un contexte industriel.Dans ce contexte, cette thèse vise à proposer une approche de vérification et de validation de logiciels embarqués, basée sur la génération automatique de cas de test. Pour cela, nous avons mis en place une approche permettant de représenter sous forme de modèles abstraits les spécifications d’un logiciel, puis de générer à partir de ces modèles un ensemble de cas de test en considérant en particulier le critère de couverture MC/DC. / An embedded system is a system that performs a specific task and has a computer embedded inside. In the automotive sector, the amount of embedded systems in the vehicle has risen dramatically in recent years and is set to increase. They deal essentially with safety, comfort, and driving assistance. Furthermore, the increase in number and complexity of the systems is associated with a growth in software. As a consequence, their management (system and software) have become more and more complex and problematic. Also, the competition and time-to-market in the automotive industry are very tough. Thus, to guarantee the efficiency and reliability of the embedded systems in the vehicle in general and the software in particular, in view of the complexity as well as the competition and time-to-market law, new development methods should be considered. Therefore, new development methods including new standards, and automatic approaches have emerged over the last years. In the particular case of embedded software verification and validation, one of the most critical activities that has experienced a significant progress is test case generation with the advent of automatic approaches. Despite this, these approaches are not widely used or are not well adapted in industrial context. In that context, our goal in this PhD. thesis is to propose a new verification and validation approach, based on automatic test case generation of embedded embedded. Thus, we have set up an approach that automatically generates test cases, with respect to the MC/DC criterion, from abstract models of the software specifications expressed in the form of state-transition models.

L'humanité a longtemps été passionnée par la création de machines intellectuelles qui peuvent librement intéragir avec nous dans notre langue. Tous les systèmes modernes qui communiquent directement avec l'utilisateur partagent une caractéristique commune: ils ont un système de dialogue à la base. Aujourd'hui pratiquement tous les composants d'un système de dialogue ont adopté des méthodes statistiques et les utilisent largement comme leurs modèles de base. Jusqu'à récemment la génération de langage naturel (GLN) utilisait pour la plupart des patrons/modèles codés manuellement, qui représentaient des phrases types mappées à des réalisations sémantiques particulières. C'était le cas jusqu'à ce que les approches statistiques aient envahi la communauté de recherche en systèmes de dialogue. Dans cette thèse, nous suivons cette ligne de recherche et présentons une nouvelle approche à la génération de la langue naturelle. Au cours de notre travail, nous nous concentrons sur deux aspects importants du développement des systèmes de génération: construire un générateur performant et diversifier sa production. Deux idées principales que nous défendons ici sont les suivantes: d'abord, la tâche de GLN peut être vue comme la traduction entre une langue naturelle et une représentation formelle de sens, et en second lieu, l'extension du corpus qui impliquait traditionnellement des paraphrases définies manuellement et des règles spécialisées peut être effectuée automatiquement en utilisant des méthodes automatiques d'extraction des synonymes et des paraphrases bien connues et largement utilisées. En ce qui concerne notre première idée, nous étudions la possibilité d'utiliser le cadre de la traduction automatique basé sur des modèles ngrams; nous explorons également le potentiel de l'apprentissage discriminant (notamment les champs aléatoires markoviens) appliqué à la GLN; nous construisons un système de génération qui permet l'inclusion et la combinaison des différents modèles et qui utilise un cadre de décodage efficace (automate à état fini). En ce qui concerne le second objectif, qui est l'extension du corpus, nous proposons d'élargir la taille du vocabulaire et le nombre de l'ensemble des structures syntaxiques disponibles via l'intégration des synonymes et des paraphrases. À notre connaissance, il n'y a pas eu de tentatives d'augmenter la taille du vocabulaire d'un système de GLN en incorporant les synonymes. À ce jour, la plupart d'études sur l'extension du corpus visent les paraphrases et recourent au crowdsourcing pour les obtenir, ce qui nécessite une validation supplémentaire effectuée par les développeurs du système. Nous montrons que l'extension du corpus au moyen d'extraction automatique de paraphrases et la validation automatique sont tout aussi efficaces, étant en même temps moins coûteux en termes de temps de développement et de ressources. Au cours d'expériences intermédiaires nos modèles ont montré une meilleure performance que celle obtenue par le modèle de référence basé sur les syntagmes et se sont révélés d'être plus robustes, pour le traitement des combinaisons inconnues de concepts, que le générateur à base des règles. L'évaluation humaine finale a prouvé que les modèles représent une alternative solide au générateur à base des règles / The humanity has long been passionate about creating intellectual machines that can freely communicate with us in our language. Most modern systems communicating directly with the user share one common feature: they have a dialog system (DS) at their base. As of today almost all DS components embraced statistical methods and widely use them as their core models. Until recently Natural Language Generation (NLG) component of a dialog system used primarily hand-coded generation templates, which represented model phrases in a natural language mapped to a particular semantic content. Today data-driven models are making their way into the NLG domain. In this thesis, we follow along this new line of research and present several novel data-driven approaches to natural language generation. In our work we focus on two important aspects of NLG systems development: building an efficient generator and diversifying its output. Two key ideas that we defend here are the following: first, the task of NLG can be regarded as the translation between a natural language and a formal meaning representation, and therefore, can be performed using statistical machine translation techniques, and second, corpus extension and diversification which traditionally involved manual paraphrasing and rule crafting can be performed automatically using well-known and widely used synonym and paraphrase extraction methods. Concerning our first idea, we investigate the possibility of using NGRAM translation framework and explore the potential of discriminative learning, notably Conditional Random Fields (CRF) models, as applied to NLG; we build a generation pipeline which allows for inclusion and combination of different generation models (NGRAM and CRF) and which uses an efficient decoding framework (finite-state transducers' best path search). Regarding the second objective, namely corpus extension, we propose to enlarge the system's vocabulary and the set of available syntactic structures via integrating automatically obtained synonyms and paraphrases into the training corpus. To our knowledge, there have been no attempts to increase the size of the system vocabulary by incorporating synonyms. To date most studies on corpus extension focused on paraphrasing and resorted to crowd-sourcing in order to obtain paraphrases, which then required additional manual validation often performed by system developers. We prove that automatic corpus extension by means of paraphrase extraction and validation is just as effective as crowd-sourcing, being at the same time less costly in terms of development time and resources. During intermediate experiments our generation models showed a significantly better performance than the phrase-based baseline model and appeared to be more robust in handling unknown combinations of concepts than the current in-house rule-based generator. The final human evaluation confirmed that our data-driven NLG models is a viable alternative to rule-based generators.

Introduction: L’obésité est un facteur connu d’hypercoagulabilité in vitro et in vivo. Cependant peu d’études se sont intéressées aux facteurs de risque d’hypercoagulabilité biologique chez le patient obèse morbide, à sa variation après chirurgie bariatrique (CB) ainsi qu’aux facteurs de risques de maladie thromboembolique veineuse (MTEV) postopératoire après CB. Matériel et Méthodes: Tous les patients destinés à une CB entre le 1er Septembre 2014 et le 31 Janvier 2016 au CHU de Brest étaient éligibles pour notre étude de cohorte locale et ont bénéficié d’un large bilan sanguin préopératoire et à 12 mois postopératoires, incluant des tests de génération de thrombine (GT) avec mesure du potentiel endogène de thrombine (ETP), une méthode validée globale d’évaluation de la coagulation. En parallèle, nous avons extrait de la base du SNIIRAM de l’assurance maladie, tous les patients opérés d’une CB entre le 1er Janvier 2012 et le 30 Septembre 2014 et déterminer la fréquence d’une MTEV dans les 90 jours suivants la CB. Résultats: Cent-deux patients étaient inclus dans notre étude de cohorte brestoise. Les facteurs de risque (OR (95% IC)) de présenter un ETP dans le 4ème quartile de distribution étaient : taux de cholestérol total augmenté (Pas=1mmol/l) (2,6 (1,2-5,4);P =0,01) et taux de fibrinogène augmenté (Pas=1 g/l) (2,2; (1,1-4,5);P = 0,03). A un an post-opératoire (%perte de poids: 33.1±8.3), on retrouvait une baisse significative de l’ETP (%) (111 (96-129) vs. 84 (72-102) ; P<0.001), du taux de fibrinogène (g/l) (4,2±0,8 vs. 3,6±0,8 ; P<0.001) et une baisse non significative du taux de cholestérol total (mmol/l) (4,8±0,8 vs. 4,6±1,0; P=0,08). Apres extraction à partir du SNIIRAM, 110.824 patients étaient inclus. Le taux de MTEV dans les 90 jours était de 0,51%. Les principaux facteurs de risque de MTEV retrouvés en analyse multivariée étaient (P<0.001): un antécédent de MTEV (6,41 (4,50-9,14)), des complications post-opératoires (9,23 (7,30-11,68)), une défaillance cardiaque (2,45 (1,48-4,06), une chirurgie par laparotomie (2,38 (1,59-3,45)), un IMC ≥ 50 kg/m² (1,67 (1,28-2,18)), une sleeve gastrectomy (2,02 (1,39-2,93)) et une procédure de deuxième intention (1,37 (1,10-1,72)). Conclusion : Sur une étude de cohorte de plus de 110.000 patients, nous identifions un taux faible de MTEV dans les 90 jours post-opératoires après CB dépendant de facteurs de risque individuels et liés à la chirurgie. De surcroit nous identifions une baisse de la GT à 1 an post-opératoire en parallèle à une perte de poids massive et à une diminution de l’état inflammatoire. / Introduction: Obese patients are known to be in an in vitro and in an in vivo hypercoagulable state relative to normal-weight patients. Studies focusing exclusively on morbidly obese patients are lacking. Our study aimed to identify markers of enhanced coagulability, to compare its evolution one year after bariatric surgery (BS) and to determine risk factors of venous thromboembolism (VTE) within 90 postoperative days. Methods: All patients scheduled for bariatric surgery (BS) between September 1, 2014 and January 31, 2016 in Brest University Hospital were eligible for our prospective local study. In vitro coagulation was assessed using thrombin generation (TG) tests (Endogenous thrombin potential (ETP)). Data on all patients undergoing BS in France from 1st January 2012 to 30 September 2014 were also extracted from the database of the French national health care (SNIIRAM) to determine the rate of VTE in the 90 days after surgery. Results: One hundred and two patients were included in our study assessing TG. Risk factors for enhanced TG (ETP in the 4th quartile) were increased total cholesterol level (Step=1mmol/l) (2.6 (1.2-5.4); P =0.01) and increased fibrinogen level (Step=1g/l) (2.2 (1.1-4.5); P=0.03). At 12 postoperative months, we found a significant lower ETP (%) (111 (96-129) vs. 84 (72-102 P<0.001)), fibrinogen level (g/l) (4.2±0.8 vs. 3.6±0.8; P<0.001)) and a non-significant trend for lower total cholesterol level (mmol/l) (4.8±0.8 vs. 4.6±1.0; P=0.08). After extraction of the SNIIRAM database, 110,824 patients were included with a rate of VTE of 0.51% (90 post-operative days). Main risk factors for postoperative VTE were (p<0.001): history of VTE (6.41 (4.50-9.14)), postoperative complications (9.23 (7.30-11.68)), heart failure (2.45 (1.48-4.06), open approach (2.38 (1.59-3.45)), BMI ≥ 50 kg/m² (1.67 (1.28-2.18)), sleeve gastrectomy (2.02 (1.39-2.93)) and redo procedure (1.37 (1.10-1.72)). Conclusions: Our study highlights the role of total cholesterol and blood inflammatory marker levels in enhancing TG in morbidly obese patients and shows a decrease of TG at 12 months after BS. The risk of postoperative VTE after BS is low depending on the individual risk level.

Cette thèse vise à appliquer la théorie de la régulation en fonction des objectifs à l’analyse du comportement innovant au travail. Après avoir examiné l’état de l’art de la littérature sur l’innovation (premier chapitre), nous avons mené trois études empiriques sur des échantillons différents. Dans la première étude (deuxième chapitre), nous avons supposé et montré que la génération proactive des objectifs – incluant les processus de projection et de planification – était positivement liée au comportement innovant, et que l’engagement affectif, en interagissant avec la flexibilité du rôle ou avec le soutien du leader à l’innovation, modérait positivement cette relation. Dans la deuxième étude (troisième chapitre), nous avons proposé et montré que la planification médiatisait la relation entre la projection et l’innovation, et que l’habilitation psychologique et le soutien du leader à l’innovation modéraient positivement la relation entre la projection et la planification. Enfin, dans la troisième étude (quatrième chapitre), nous avons supposé et démontré que l’orientation d’apprentissage, le climat d’équipe pour l’innovation, et la variété dans la tâche stimulaient la performance innovante indirectement, à travers la médiation de la projection et de la planification, et que l’orientation d’apprentissage renforçait la relation entre la planification et l’innovation. Les implications théoriques et pratiques de nos études sont traitées dans la discussion générale. / The present dissertation aims at applying goal regulation theory to the study of innovative work behaviour. After reviewing the state-of-the-art of innovation literature (first chapter), we conducted three empirical studies on distinct samples. In the first study (second chapter), we hypothesized and found that proactive goal generation – which includes envisioning and planning processes – was positively related to innovative behaviour, and that affective commitment, interacting with production ownership or, alternatively, with leader support for innovation, strengthened this relationship. In the second study (third chapter), we proposed and showed that planning mediated the link between envisioning and innovation, and that psychological empowerment and team support for innovation positively moderated the relationship between envisioning and planning. Finally, in the third study (fourth chapter), we theorized and demonstrated that learning goal orientation, psychological climate for innovation, and task variety enhanced innovative performance indirectly through the mediation of envisioning and planning, and that learning goal orientation amplified the relationship between planning and innovation. Theoretical and practical implications of our works are addressed in the general discussion.

La molécule SO2 est connue depuis longtemps dans la pour son spectre d'absorption compliqué résultant de forts couplages entre les états électroniques impliqués. Cette longue histoire a récemment été complétée par de nouvelles études spectroscopiques résolues en temps; la spectroscopie de photoémission (TRPES) et la génération d'harmoniques d'ordre élevé. De nouvelles questions ont ainsi émergées, concernant le rôle des différents états électroniques excités, les différents couplages et leur temps caractéristiques. Pour répondre à ces questions, nous avons considéré, dans un premier temps, l'état électronique fondamental et les deux premiers états singulets excités. Ceux-ci interagissent par l'intermédiaire de couplage non-adiabatic, conduisant à la complexité du spectre d'absorption. Nos résultats se sont avérés particulièrement précis, en particulier pour la description des bandes de Cléments, donnant lieu à leur première description et interprétation théorique. Le couplage spin-orbite et les états triplets ont été introduits dans la description du système et l'analyse de la dynamique a permis de comprendre les différents mécanismes de conversion intersystème. Trois résultats majeurs sont obtenus, (i) le rôle prédominant d'un état 3B2, (ii) la présence d'interférences quantiques lors du processus et (iii) une nouvelle interprétation de la bande dite " interdite ", émanant des état triplets. Les spectroscopies TRPES et HHG ont été utilisées pour sonder la dynamique moléculaire dans ces états. Grâce à des simulations ab-initio nous montrons que la méthode TRPES permet l'étude la dynamique pour tous les états alors que la HHG n'est sensible qu'à la conversion intersystème. / The SO2 molecule is long known in the literature for its complex UV absorption spectrum, which is caused by a variety of strong couplings between the electronic states involved. This long and rich history was augmented recently by new time-dependent spectroscopic methods, namely, Time-Resolved Photoelectron Spectroscopy (TRPES) and High-order Harmonic Generation (HHG). Additional open questions emerged immediately, e.g., what was the role of the different known electronic states, which were the relevant couplings and also the timescales of the different relevant processes.To resolve these issues theoretically, we start by considering the electronic ground state and the two lowest singlet excited states. The latter interact through non-adiabatic couplings leading to a complex photoabsorption spectrum. Our results were accurate, especially concerning the Clements bands, and provide a comprehensive description of the photoabsorption spectrum. When including the spin-orbit coupling, relevant for the weak long-wavelength absorption system, the three-states model turns into a 12 coupled-states system. Analysis of the different couplings gives insight into the different mechanisms of the intersystem crossing. Three main points are shown: (i) the preponderant role of a 3B2 state, (ii) the possibility of quantum interferences during the process and (iii) a new interpretation of the forbidden band.The TRPES and the HHG spectroscopies have been used to probe the time-dependent dynamics in all these states. With the aid of first-principles simulations we show that the TRPES method is sensitive to the dynamics in the manifold, while HHG is sensitive only to the intersystem crossing.

Le cadre générale de cette thèse est l'analyse quantitative des objets issus de la théorie des langages rationnels. On adapte des techniques d'analyse d'algorithmes (complexité en moyenne, complexité générique, génération aléatoire, ...) à des objets et à des algorithmes qui font intervenir des classes particulières d'automates. Dans une première partie nous étudions la complexité de l'algorithme de minimisation de Brzozowski. Bien qu'ayant une mauvaise complexité dans le pire des cas, cet algorithme a la réputation d'être efficace en pratique. En utilisant les propriétés typiques des applications et des permutations aléatoires, nous montrons que la complexité générique de l'algorithme de Brzozowski appliqué à un automate déterministe croît plus vite que tout polynôme en n, où n est le nombre d'états de l'automate. Dans une seconde partie nous nous intéressons à la génération aléatoire d'automates acycliques. Ces automates sont ceux qui reconnaissent les ensembles finis de mots et sont de ce fait utilisés dans de nombreuses applications, notamment en traitement automatique des langues. Nous proposons deux générateurs aléatoires. Le premier utilise le modèle des chaînes de Markov, et le second utilise la "méthode récursive", qui tire partie des décompositions combinatoires des objets pour faire de la génération. La première méthode est souple mais difficile à calibrer, la seconde s'avère plutôt efficace. Une fois implantée, cette dernière nous a notamment permis d'observer les propriétés typiques des grands automates acycliques aléatoires / The general context of this thesis is the quantitative analysis of objects coming from rational language theory. We adapt techniques from the field of analysis of algorithms (average-case complexity, generic complexity, random generation...) to objects and algorithms that involve particular classes of automata. In a first part we study the complexity of Brzozowski's minimisation algorithm. Although the worst-case complexity of this algorithm is bad, it is known to be efficient in practice. Using typical properties of random mappings and random permutations, we show that the generic complexityof Brzozowski's algorithm grows faster than any polynomial in n, where n is the number of states of the automaton. In a second part, we study the random generation of acyclic automata. These automata recognize the finite sets of words, and for this reason they are widely use in applications, especially in natural language processing. We present two random generators, one using a model of Markov chain, the other a ``recursive method", based on a cominatorics decomposition of structures. The first method can be applied in many situations cases but is very difficult to calibrate, the second method is more efficient. Once implemented, this second method allows to observe typical properties of acyclic automata of large size

Cette thèse s’est attaquée sous diverses formes au test automatique des services Web : une première partie est consacrée au test fonctionnel à travers le test de robustesse. La seconde partie étend les travaux précédents pour le test de propriétés non fonctionnelles, telles que les propriétés de testabilité et de sécurité. Nous avons abordé ces problématiques à la fois d’un point de vue théorique et pratique. Nous avons pour cela proposé une nouvelle méthode de test automatique de robustesse des services Web non composés, à savoir les services Web persistants (stateful) et ceux non persistants. Cette méthode consiste à évaluer la robustesse d’un service Web par rapport aux opérations déclarées dans sa description WSDL, en examinant les réponses reçues lorsque ces opérations sont invoquées avec des aléas et en prenant en compte l’environnement SOAP. Les services Web persistants sont modélisés grâce aux systèmes symboliques. Notre méthode de test de robustesse dédiée aux services Web persistants consiste à compléter la spécification du service Web afin de décrire l’ensemble des comportements corrects et incorrects. Puis, en utilisant cette spécification complétée, les services Web sont testés en y intégrant des aléas. Un verdict est ensuite rendu. Nous avons aussi réalisé une étude sur la testabilité des services Web composés avec le langage BPEL. Nous avons décrit précisément les problèmes liés à l’observabilité qui réduisent la faisabilité du test de services Web. Par conséquent, nous avons évalué des facteurs de la testabilité et proposé des solutions afin d’améliorer cette dernière. Pour cela, nous avons proposé une approche permettant, en premier lieu, de transformer la spécification ABPEL en STS. Cette transformation consiste à convertir successivement et de façon récursive chaque activité structurée en un graphe de sous-activités. Ensuite, nous avons proposé des algorithmes d’améliorations permettant de réduire ces problèmes de testabilité. Finalement, nous avons présenté une méthode de test de sécurité des services Web persistants. Cette dernière consiste à évaluer quelques propriétés de sécurité, tel que l’authentification, l’autorisation et la disponibilité, grâce à un ensemble de règles. Ces règles ont été crée, avec le langage formel Nomad. Cette méthodologie de test consiste d’abord à transformer ces règles en objectifs de test en se basant sur la description WSDL, ensuite à compléter, en parallèle, la spécification du service Web persistant et enfin à effectuer le produit synchronisé afin de générer les cas de test. / This PhD thesis focuses on diverse forms of automated Web services testing : on the one hand, is dedicated to functional testing through robustness testing. On the other hand, is extends previous works on the non-functional properties testing, such as the testability and security properties. We have been exploring these issues both from a theoretical and practical perspective. We proposed a robustness testing method which generates and executes test cases automatically from WSDL descriptions. We analyze the Web service over hazards to find those which may be used for testing. We show that few hazards can be really handled and then we improve the robustness issue detection by separating the SOAP processor behavior from the Web service one. Stateful Web services are modeled with Symbolic Systems. A second method dedicated to stateful Web services consists in completing the Web service specification to describe correct and incorrect behaviors. By using this completed specification, the Web services are tested with relevant hazards and a verdict is returned. We study the BPEL testability on a well-known testability criterion called observability. To evaluate, we have chosen to transform ABPEL specifications into STS to apply existing methods. Then, from STS testability issues, we deduce some patterns of ABPEL testability degradation. These latter help to finally propose testability enhancement methods of ABPEL specifications. Finally, we proposed a security testing method for stateful Web Services. We define some specific security rules with the Nomad language. Afterwards, we construct test cases from a symbolic specification and test purposes derived from the previous rules. Moreover, to validate our proposal, we have applied our testing approach on real size case studies.