Notre recherche est focalisée sur le rôle du contrôleur de gestion dans les compagnies d’assurance d’un pays appartenant à une région de perturbations économiques et politiques continues tel que le Liban.Ainsi, notre thèse vise à saisir les conditions dans lesquelles les sociétés d’assurance libanaises choisissent leurs pratiques de contrôle de gestion, et plus précisément à déterminer les différents facteurs de contingence qui peuvent influer sur la fonction contrôle de gestion des compagnies d’assurance au Liban. L’emploi de deux méthodologies a permis d’obtenir un éclairage approfondi des pratiques de contrôle de gestion dans les sociétés d’assurance au Liban. L’étude exploratoire menée auprès de sept compagnies d’assurance a mis en exergue l’existence de deux types de fonction contrôle de gestion, qui se distinguent par leur autonomie relative vis-à-vis de la direction générale de l’entreprise.Plus particulièrement, le rôle du contrôleur de gestion dépend de sa position dans la structure, et sa marge d’autorité varie selon son rattachement hiérarchique.Une typologie plus large est réalisée ensuite par une étude quantitative approfondie à l’aide d’un questionnaire, menée auprès de seize compagnies d’assurance libanaises. L’étude quantitative a apporté un éclairage plus précis en mettant en exergue l’existence de trois types du système de contrôle de gestion dans les sociétés d’assurance libanaises : le système de contrôle de gestion organisationnel, le système de contrôle de gestion partagé, et le système d’information général. L’adoption d’un de ces trois types diffère selon des facteurs de contingence comme la taille, l’internationalisation de la société, la nature de l’actionnariat…, mais aussi la conception de la fonction de contrôle de gestion par la gouvernance de l’organisation / Our research focuses on the role of the management controller in insurance companies in a country belonging to a region of continuous economic and political disturbances such as Lebanon.Thus, our thesis aims to capture the conditions under which Lebanese insurance companies choose their management control practice, and more specifically to determine the different contingency factors that can influence the management control function of insurance companies in Lebanon.The use of two methodologies has provided an insight into management control practices in insurance companies in Lebanon.The exploratory study conducted within seven insurance companies highlighted the existence of two types of management control functions, which are distinguished by their relative autonomy vis-à-vis of the company general management.More particularly, the role of the management controller depends on his position within the structure, and his authority margin varies according to his hierarchical connection.A broader typology is then carried out by a thorough quantitative study using a survey conducted among sixteen Lebanese insurance companies.The quantitative study shed more light on the existence of three types of management control systems in Lebanese insurance companies: the organizational management control system, the shared management control system, and the general information system. The adoption of one of these three types differs according to several contingency factors such as the company’s size, the internationalization of the company, the nature of the shareholding ..., and also according to the conception of the management control function designated by the governance of the organization

La RSE qui est concept ancien a connu un regain de légitimité ces dernières années avec les injonctions du développement durable. En effet la RSE doit traduire les dimensions du développement durable à l’échelle des entreprises. Il s’agit pour les organisations de gérer les dimensions économiques, sociales et environnementales. Le pilotage de ces trois dimensions doit procurer à l’entreprise une performance globale. Le concept de performance globale pose un défi managérial au sein des organisations et particulièrement au contrôle de gestion en termes de dimensions à piloter. Des outils de pilotage notamment les tableaux de bord prospectifs ont été mis en place pour apporter des réponses mais il semble que les réponses apportées soient insuffisantes. Les allers-retours entre le terrain et la littérature nous ont amené à positionner notre question de recherche sur le rôle du contrôleur de gestion. Cette approche nous a permis de dégager des propositions significatives sur l’implication du contrôleur de gestion dans le pilotage de la performance globale à l’issue de notre deuxième phase terrain. Au regard de nos résultats, le contrôleur de gestion facilite le pilotage de la performance globale. Cependant certains facteurs organisationnels doivent être réunis pour créer une implication forte du contrôleur de gestion dans le pilotage de la performance globale. / CSR, which is an old concept, has experienced a renewal of legitimacy in recent years with the injunctions of sustainable development. CSR must reflect the dimensions of sustainable development at the corporate level. It's about organizations managing the economic, social and environmental dimensions. The management of these three dimensions must provide the company with global performance. The concept of global performance poses a managerial challenge within organizations and particularly to management control in terms of dimensions to be piloted. Piloting tools, particularly the balanced scorecards, have been put in place to provide answers, but it seems that the answers provided are insufficient. The back and forth between the field and the literature led us to position our research question on the role of the controller. This approach allowed us to draw significant proposals on the involvement of the management controller in the management of global performance at the end of our second field phase. In view of our results, the management controller facilitates the management of global performance. However, certain organizational factors must be brought together to create a strong involvement of the management controller in steering overall performance.

Les logiciels dépendent de bibliothèques tierces pour réduire les coûts liés à leur développement et à leur maintenance. Elles proposent un ensemble de fonctionnalités robustes dont les développeurs peuvent tirer parti depuis une interface de programmation. Cependant, cette forte dépendance entre un logiciel et ses bibliothèques oblige les développeurs à reconsidérer leur rôle lorsque le logiciel évolue. Dans cette thèse, nous identifions plusieurs problématiques impliquant les bibliothèques tierces dans un contexte de maintenance logicielle. Plus particulièrement, une bibliothèque peut ne plus répondre aux besoins d’un logiciel et doit être remplacée par une nouvelle.Nous nommons cette opération une migration de bibliothèque.Nous soulevons dans ce contexte trois points qui caractérisent les difficultés rencontrées par les développeurs. Vers quelle bibliothèque migrer ? Comment appliquer la migration ? Avec l’aide de quels développeurs ? Cette thèse discute de solutions et apporte des contributions autour de ces problèmes. Nous présentons plusieurs approches et les évaluons lors de différents cas d’étude. L’analyse de l’évolution logicielle sera notre support de travail, dont la méthodologie est basée sur l’observation des changements de logiciels. Nous décrivons les limites actuelles de nos contribu-tions et ouvrons des perspectives futures pour enrichir l’état de l’art dans ce domaine / Software depend on third-party libraries to reduce development and maintenance costs. Developers have access to robust functionalities through an application programming interface designed by these libraries. However, due to the strong relationship with these libraries, developers have to reconsider their position when the software evolves. In this thesis, we identify several re-search problems involving these third-party libraries in a context of software maintenance. More specifically, a library may not satisfy the software new requirements and has to be replaced by anew one. We call this operation a library migration.We leverage three points that characterize the impediments met by developers in this situation.To which library should they migrate ? How to migrate their software ? Who can help them in this case ? This thesis suggests answers and exposes several contributions to these problems. We define three approaches that are evaluated through several case studies. To achieve this work, weuse a methodology based on software evolution analysis to observe and understand how software change. We describe numerous perspectives to overcome the current limitations of our solutions.

Le détecteur Virgo est constitué d'un interféromètre de Michelson avec des cavités Fabry-Perot de 3 km de long dans les bras et utilise la technique du recyclage de la puissance. Il a pour but la détection directe des ondes gravitationnelles émises par des sources astrophysiques. Le système d'injection Virgo est constitué essentiellement d'une cavité triangulaire de 144 m appelée le mode cleaner, son rôle est de filtrer et de contrôler le faisceau d'entrée. Le miroir suspendu de la cavité est très léger (360 g) ce qui peut le rendre sensible à la pression des photons. J'ai développé des programmes de simulations pour une cavité triangulaire avec tous les contrôles identiques au mode cleaner de Virgo réel. Ces programmes peuvent être utilisés pour d'autres études. Une partie de la thèse est consacrée à<br />voir les effets de la pression de radiation sur le verrouillage longitudinal de la cavité, les effets du ressort optique angulaire etc. Dans une autre partie de la thèse j'observe les effets de la pression de radiation dans les bras de Virgo et l'existence des effets du ressort optique sur les degrés angulaires qui n'empêchent pas le bon fonctionnement de l'alignement. Enfin, je décris ma participation dans la recette de Virgo, qui consiste essentiellement à travailler sur les contrôles du système d'injection et leurs optimisations.

Dans cette thèse, un système personnalisé de stadification automatique du sommeil est proposé, combinant fusion symbolique et système de contrôle rétroactif. La fusion symbolique est inspirée par le processus décisionnel mis en œuvre par les cliniciens experts du sommeil lors la reconnaissance visuelle des stades de sommeil. Il commence par l'extraction de paramètres numériques à partir des signaux polysomnographiques bruts. L'interprétation symbolique de haut niveau se fait par l'intermédiaire de l'extraction de caractéristiques à partir des paramètres numériques. Enfin, la décision est générée en utilisant des règles inspirées par les recommandations internationales en médecine du sommeil. Les symboles et les valeurs des caractéristiques dépendent d'un ensemble de seuils, dont la détermination est une question clé. Dans cette thèse, deux algorithmes de recherche différents, Differential Evolution et Cross Entropy ont été étudiés pour calculer la valeur de ces seuils automatiquement. La variabilité individuelle a souvent été ignorée dans les systèmes automatiques de stadification du sommeil existants. Cependant, elle a été démontrée dans plusieurs travaux de recherche vis à vis de nombreux aspects du sommeil (comme les enregistrements polysomnographiques, les habitudes de sommeil, l'architecture du sommeil, la durée du sommeil, les événements liés au sommeil, etc.). Afin d'améliorer l'efficacité des classificateurs des stades de sommeil, un système automatisé de sommeil automatique adapté aux différentes personnes et tenant compte de la variabilité individuelle a été exploré et évalué. / In this thesis, a personalized automatic sleep staging system is proposed by combining symbolic fusion and feedback system control technique. Symbolic fusion is inspired by the decision-making process of clinical sleep staging. It starts from the extraction of digital parameters from raw polysomnography signals and it goes up to a high-level symbolic interpretation through a features extraction process. At last, the decision is generated using rules inspired by international guidelines in sleep medicine. Meanwhile, the symbols and the features computations depend on a set of thresholds, whose determination is a key issue. In this thesis, two different search algorithms, Differential Evolution and Cross Entropy, were studied to compute these thresholds automatically.Individual variability was often ignored in existing automatic sleep staging systems. However, an individual variability was observed in many aspects of sleep research (such as polysomnography recordings, sleep patterns, sleep architecture, sleep duration, sleep events, etc.). In order to improve the effectiveness of the sleep stages classifiers, a personalized automatic sleep staging system that can be adapted the different persons and take individual variability into consideration was explored and evaluated.The perspectives of this work are based on evaluating the complexity and the performances of these algorithms in terms of latencies and hardware resource requirements, in order to target a personalized automated embedded sleep staging system.

Cette thèse est divisée en trois parties. Dans la première partie, nous commençons par décrire des résultats très connus en théorie du contrôle géométrique tels que le théorème de Chow-Rashevsky, la condition de rang de Kalman, l'application Entrée-Sortie et le test linéaire. De plus, nous définissons et nous étudions brièvement la contrôlabilité locale au voisinage d'un contrôle de référence au premier et au second ordre. Dans la deuxième partie, nous donnons une preuve élémentaire du lemme de Franks linéaire pour les flots géodésiques qui utilise des techniques basiques de théorie du contrôle géométrique. Dans la dernière partie, étant donnée une variété Riemanienne compacte, nous prouvons un lemme de Franks uniforme au second ordre pour les flots géodésiques et on applique le résultat à la théorie de la persistance. Dans cette partie, nous introduisons avec plus de détails les notions de contrôlabilité locale au premier et au second ordre. En effet, nous donnons un résultat de contrôlabilité au second ordre dont la preuve est longue et technique. / This thesis is devided into three parts. In the first part we begin by describing some well known results in geometric control theory such as the Chow Rashevsky Theorem, the Kalman rank condition, the End-Point Mapping and the linear test. Moreover, we define and study briefly local controllability around a reference control at first and second order. In the second part we provide an elementary proof of the Franks lemma for geodesic flows using basic tools of geometric control theory. In the last part, given a compact Riemannian manifold, we prove a uniform Franks' lemma at second order for geodesic flows and apply the result in persistence theory. In this part we introduce with more details notions of local controllability at first and second order. In fact, we provide a second order controllability result whose proof is long and technical.

Cette thèse analyse l’évolution et la variété des systèmes de contrôle de gestion (SCG) dans le contexte de transition post-soviétique et détermine les facteurs qui expliquent l’existence, l’étendue et l’usage des SCG. Des études de cas longitudinales sur deux anciennes entreprises soviétiques d’État (perspective historique) permettent de déterminer les principales caractéristiques des SCG dans le cadre du système économique centralisé et d’expliquer les transformations induites par la transition vers l’économie de marché dans une perspective de l’ancien institutionnalisme économique. Une étude de cas multiple (huit entreprises) évalue l’état actuel du contrôle de gestion et constate une diversité des SCG. En mobilisant les théories institutionnelles et de la contingence, huit facteurs potentiels d’influence des SCG sont identifiés (3 institutionnels et 5 contingents) et analysés ensuite à l’aide de l’analyse quali-quantitative comparée, méthode qui permet de traiter un petit nombre de cas. Les résultats mettent en exergue l’influence des pressions coercitives sur l’existence d’un système de contrôle formel, des pressions normatives sur son usage instrumental et de la décentralisation sur la nature stratégique de ce système. Cette analyse permet de proposer une typologie des SCG en contexte post-soviétique. / This thesis analyzes the evolution and the diversity of management control systems (MCS) in the post-Soviet transition context and determines the factors that explain the existence, extent and use of MCS. Longitudinal case studies of two former Soviet state enterprises (historical perspective) allow to determine the main features of MCS in the context of the centralized economic system and to explain the transformations induced by the transition to a market economy through the old economic institutionalism approach. A multiple case study (8 companies) assesses the current state of management control and notes a diversity of MCS. By mobilizing the institutional and contingency theories, eight potential influence factors are identified (3 institutional and 5 contingent) and then analyzed using the Qualitative Comparative Analysis, a method that allows the treatment of small number of cases. The results highlight the influence of coercive pressures on the existence of a formal control system, of normative pressures on its instrumental use and of decentralization on the strategic dimension of this system. This analysis allows to propose a typology of MCS in a post-Soviet context.

Le traitement des cancers par radiothérapie externe met en .uvre un environnement complexe. L'irradiation doit être le plus possible limitée au volume tumoral, en évitant au maximum les tissus et organes sains avoisinants. L'utilisation de logiciels dosimétriques en trois dimensions permet d'adapter exactement la balistique d'irradiation à la forme de la tumeur. Le patient est replacé à chaque séance de son traitement dans la même position pour permettre de reproduire avec précision la balistique d'irradiation. Un système de contention assure son immobilisation, un appareil de contrôle permet de vérifier sa position, et un collimateur multi-lames adapte la forme du faisceau d'irradiation au profil de la tumeur. La radiothérapie externe traditionnelle devient la radiothérapie conformationnelle Cette étude présente une procédure de repositionnement du patient par mise en correspondance d'informations issues de différentes sources d'imagerie médicale. En début de séance, des images de contrôle sont acquises par un système adapté au type et à la localisation de la tumeur. Les informations fournies par les images de contrôle sont fusionnées avec des informations de référence corrrespondant à la position attendue du patient. Le décalage entre les deux informations donne l'erreur d'installation en translation et en rotation. Une correction est calculée et appliquée à l'environnement de traitement (position et orientation du patient, position et orientation de la source d'irradiation). Le système de contrôle permet de déterminer directement ou indirectement la position précise du volume tumoral. L'échographie, associé à un localisateur optique tridimensionnel, permet de déterminer la position d'un organe comme la prostate, qui peut changer de place en fonction des réplétions vésicale et rectale. Le capteur de surface est utilisé pour localiser les tumeurs de la face ou du cerveau, par rapport à la position du visage, l'acquisition et le traitement de l'information ne prennent que quelques minutes. L'imageur par rayons X s'applique à la localisation de structures osseuses.

Motivée par les besoins du domaine spatial en termes de diagnostic embarqué et d’autonomie, cette thèse s’intéresse aux problèmes de diagnostic, de diagnosticabilité et de diagnostic actif des systèmes hybrides. Un formalisme hybride est proposé pour représenter les deux dynamiques, continues et discrètes, du système. En s’appuyant sur ce modèle, une approche de diagnostic passif est proposée en mariant les techniques des systèmes à événements discrets et des systèmes continus. Un cadre formel pour la diagnosticabilité des systèmes hybrides a également été établi proposant des définitions et des critères pour la diagnosticabilité hybride. Suite à un diagnostic passif ambigu, le diagnostic actif est nécessaire afin de désambiguïser l’état du système. Cette thèse propose donc une approche de diagnostic actif, qui partant d’un état de croyance incertain, fait appel aux propriétés de diagnosticabilité du système pour déterminer la configuration où les fautes peuvent être discriminées. Une nouvelle machine à états finis appelée diagnostiqueur actif est introduite permettant de formaliser le diagnostic actif comme un problème de planification conditionnelle. Un algorithme d’exploration de graphes ET-OU est proposé pour calculer les plans de diagnostic actif. Finalement, l’approche de diagnostic a été testée sur le Système de Contrôle d’Attitude (SCA) d’un satellite de Thales Alenia Space. Le module de diagnostic a été intégré dans la boucle fermée de commande. Des scénarios de faute ont été testés donnant des résultats très satisfaisants. / Motivated by the requirements of the space domain in terms of on-board diagnosis and autonomy, this thesis addresses the problems of diagnosis, diagnosability and active diagnosis of hybrid systems. Supported by a hybrid modeling framework, a passive approach for model-based diagnosis mixing discrete-event and continuous techniques is proposed. The same hybrid model is used to define the diagnosability property for hybrid systems and diagnosability criteria are derived. When the diagnosis provided by the passive diagnosis approach is ambiguous, active diagnosis is needed. This work provides a method for performing such active diagnosis. Starting with an ambiguous belief state, the method calls for diagnosability analysis results to determine a new system configuration in which fault candidates can be discriminated. Based on a new finite state machine called the diagnoser, the active diagnosis is formulated as a conditional planning problem and an AND-OR graph exploration algorithm is proposed to determine active diagnosis plans. Finally, the diagnosis approach is tested on the Attitude Control System (ACS) of a satellite simulator provided by Thales Alenia Space. The diagnosis module is successfully tested on several fault scenarios and the obtained results are reported.

Et si les propriétés sensori-motrices de la parole modelaient le langage ? Cette hypothèse a propulsé le langage dans le monde de la complexité et de la cognition en-corporée. Nous introduisons ici différents types d'arguments montrant le rôle de la motricité de la parole dans la genèse du langage. Motricité orofaciale, d'abord, avec l'idée que les propriétés de la coordination inter-articulateurs contraindraient la morphogenèse du langage. Motricité orofaciale et brachiomanuelle, ensuite, avec l'hypothèse que le langage émergerait de la coordination main-bouche portant l'acte de pointage par la voix et par la main. Dans ce cadre, nos expériences analysent les mouvements enregistrés chez des locuteurs du français dans différentes tâches afin d'établir les propriétés des coordinations mâchoire-langue-lèvres dans la parole, puis mâchoire-main dans le pointage. Ces recherches s'intègrent au cadre de recherche global et récent proposant d'étudier le langage comme un système-complexe.