La programmation par contraintes offre des langages et des outils permettant de résoudre des problèmes à forte combinatoire et à la complexité élevée tels que ceux qui existent en vérification de programmes. Dans cette thèse nous résolvons deux familles de problèmes de la vérification de programmes. Dans chaque cas de figure nous commençons par une étude formelle du problème avant de proposer des modèles en contraintes puis de réaliser des expérimentations. La première contribution concerne un langage réactif synchrone représentable par une algèbre de diagramme de blocs. Les programmes utilisent des flux infinis et modélisent des systèmes temps réel. Nous proposons un modèle en contraintes muni d’une nouvelle contrainte globale ainsi que ses algorithmes de filtrage inspirés de l’interprétation abstraite. Cette contrainte permet de calculer des sur-approximations des valeurs des flux des diagrammes de blocs. Nous évaluons notre processus de vérification sur le langage FAUST, qui est un langage dédié à la génération de flux audio. La seconde contribution concerne les systèmes probabilistes représentés par des chaînes de Markov à intervalles paramétrés, un formalisme de spécification qui étend les chaînes de Markov. Nous proposons des modèles en contraintes pour vérifier des propriétés qualitatives et quantitatives. Nos modèles dans le cas qualitatif améliorent l’état de l’art tandis que ceux dans le cas quantitatif sont les premiers proposés à ce jour. Nous avons implémenté nos modèles en contraintes en problèmes de programmation linéaire en nombres entiers et en problèmes de satisfaction modulo des théories. Les expériences sont réalisées à partir d’un jeu d’essais de la bibliothèque PRISM. / Constraint programming offers efficient languages andtools for solving combinatorial and computationally hard problems such as the ones proposed in program verification. In this thesis, we tackle two families of program verification problems using constraint programming.In both contexts, we first propose a formal evaluation of our contributions before realizing some experiments.The first contribution is about a synchronous reactive language, represented by a block-diagram algebra. Such programs operate on infinite streams and model real-time processes. We propose a constraint model together with a new global constraint. Our new filtering algorithm is inspired from Abstract Interpretation. It computes over-approximations of the infinite stream values computed by the block-diagrams. We evaluated our verification process on the FAUST language (a language for processing real-time audio streams) and we tested it on examples from the FAUST standard library. The second contribution considers probabilistic processes represented by Parametric Interval Markov Chains, a specification formalism that extends Markov Chains. We propose constraint models for checking qualitative and quantitative reachability properties. Our models for the qualitative case improve the state of the art models, while for the quantitative case our models are the first ones. We implemented and evaluated our verification constraint models as mixed integer linear programs and satisfiability modulo theory programs. Experiments have been realized on a PRISM based benchmark.

The objective of the cellular manufacturing is to simplify the management of the<p>manufacturing industries. In regrouping the production of different parts into clusters,<p>the management of the manufacturing is reduced to manage different small<p>entities. One of the most important problems in the cellular manufacturing is the<p>design of these entities called cells. These cells represent a cluster of machines that<p>can be dedicated to the production of one or several parts. The ideal design of a<p>cellular manufacturing is to make these cells totally independent from one another,<p>i.e. that each part is dedicated to only one cell (i.e. if it can be achieved completely<p>inside this cell). The reality is a little more complex. Once the cells are created,<p>there exists still some traffic between them. This traffic corresponds to a transfer of<p>a part between two machines belonging to different cells. The final objective is to<p>reduce this traffic between the cells (called inter-cellular traffic).<p>Different methods exist to produce these cells and dedicated them to parts. To<p>create independent cells, the choice can be done between different ways to produce<p>each part. Two interdependent problems must be solved:<p>• the allocation of each operation on a machine: each part is defined by one or<p>several sequences of operations and each of them can be achieved by a set of<p>machines. A final sequence of machines must be chosen to produce each part.<p>• the grouping of each machine in cells producing traffic inside and outside the<p>cells.<p>In function of the solution to the first problem, different clusters will be created to<p>minimise the inter-cellular traffic.<p>In this thesis, an original method based on the grouping genetic algorithm (Gga)<p>is proposed to solve simultaneously these two interdependent problems. The efficiency<p>of the method is highlighted compared to the methods based on two integrated algorithms<p>or heuristics. Indeed, to form these cells of machines with the allocation<p>of operations on the machines, the used methods permitting to solve large scale<p>problems are generally composed by two nested algorithms. The main one calls the<p>secondary one to complete the first part of the solution. The application domain goes<p>beyond the manufacturing industry and can for example be applied to the design of<p>the electronic systems as explained in the future research.<p> / Doctorat en Sciences de l'ingénieur / info:eu-repo/semantics/nonPublished

Suivant le domaine où on les sollicite, les solutions d’un système de contraintes géométriques (SCG) peuvent être : – formelles et exactes : elles prennent par exemple la forme d’un plan de construction produisant toutes les solutions, obtenu en appliquant des règles dérivées de lemmes de géométrie. Beaucoup de SCG, surtout en 3D, résistent à cette approche ; – numériques et approchées : elles sont les solutions d’un système d’équations construit à partir des contraintes et trouvées grâce à des méthodes numériques efficaces quand elles ne recherchent qu’une solution. De par la nature des problèmes traités, chercher toutes les solutions conduit à une complexité exponentielle. Les méthodes par continuation, ou homotopie, permettent d’obtenir toutes les solutions d’un système d’équations polynomiales. Leur application à des SCG est coûteuse et difficilement sujette aux raisonnements permis par l’origine géométrique du problème car elles opèrent hors de l’espace des figures géométriques. Notre travail a pour objet la spécialisation d’une méthode par continuation à des SCG. La géométrie simplifie et justifie sa mise en œuvre dans l’espace des figures, ou des raisonnements géométriques sont possibles. On aborde également les cas ou l’ensemble de solutions d’un problème contient des éléments isolés et des continuums. Des solutions proches d’une esquisse fournie par un utilisateur sont d’abord trouvées. La recherche d’autres solutions, malgré sa complexité exponentielle, est rendue envisageable par une approche itérative. Une nouvelle méthode de décomposition est proposée pour maîtriser le coût de la résolution. / Depending on the required application field, the solutions of a geometric constraints system (GCS) are either : – symbolic and exact such as construction plans, providing all the solutions, obtained by applying geometric rules. Many problems, mostly in a 3D context, resist to this approach ; – or numerical and approximated : they are the solutions of a system of equations built from the constraints, provided by generical numerical methods that are efficient when only one solution is sought. However, searching all the solutions leads to an exponential computation cost, due to the nature of problems. Continuation methods, also called homotopic methods, find all the solutions of a polynomial system. Using them to solve systems of equations associated to systems of constraints is nevertheless costly. Moreover, combining them with geometric reasoning is a challenge, because they act in a projective complex space and not in the realizations space. The aim of this work is to specialize a continuation method to GCS. Geometry is exploited to simplify and justify its adaptation in the space of realizations, so allowing geometric reasoning. Cases where the connected components of the solution space of a problem have heterogeneous dimensions are addressed. The method discussed here provides in a first step solutions that are similar to a sketch drawn by the user. Then a procedure is proposed to search new solutions. Its iterative nature seems to make the exponential complexity of this task bearable. A new decomposition method is proposed, that restrains the resolution cost.

Les nouveaux capteurs satellitaires permettent l'acquisition d'images d'un très haut niveau de détail à des cadences élevées, produisant ainsi une importante masse de données. Le traitement manuel de ces données étant devenu impossible, de nouveaux outils sont nécessaires afin de les traiter automatiquement. Des algorithmes de segmentation efficaces sont nécessaires pour extraire des objets d'intérêt de ces images. Cependant les segments produits ne correspondent pas aux objets d'intérêt, rendant difficile l'utilisation de connaissances expertes.Dans le cadre de cette thèse nous proposons de changer le niveau d'interprétation d'une image afin de voir les objets d'intérêt pour l'expert comme des objets composés par des segments. Pour cela, nous avons mis en place un processus d'apprentissage multi-niveaux dans le but d'apprendre ces règles de composition. Une règle de composition ainsi apprise peut ensuite être utilisée pour extraire les objets d'intérêt correspondant. Dans un second temps, nous proposons d'utiliser l'algorithme d'apprentissage de règles de composition comme première étape d'une approche montante-descendante. Cette chaîne de traitement a pour objectif d'améliorer la classification à partir des informations contextuelles et de connaissances expertes. Des objets composés de plus haut niveau sémantique sont extraits à partir de règles apprises ou fournies par l'expert, et cette nouvelle information est utilisée pour mettre à jour la classification des objets aux niveaux inférieurs. L'ensemble de ces travaux ont été testés et validés sur des images Pléiades représentant la ville de Strasbourg. Les résultats obtenus montrent l'efficacité de l'apprentissage de règles de composition pour faire le lien entre connaissance experte et segmentation, ainsi que l'intérêt de l'utilisation d'informations contextuelles dans l'analyse d'images de télédétection à très haute résolution spatiale. / The new remote sensors allow the acquisition of very high spatial resolution images at high speeds, thus producing alarge volume of data. Manual processing of these data has become impossible, new tools are needed to process them automatically. Effective segmentation algorithms are required to extract objects of interest of these images. However, the produced segments do not match to objects of interest, making it difficult to use expert knowledge.In this thesis we propose to change the level of interpretation of an image in order to see the objects of interest of the expert as objects composed of segments. For this purpose, we have implemented a multi-level learning process in order to learn composition rules. Such a composition rule can then be used to extract corresponding objects of interest.In a second step, we propose to use the composition rules learning algorithm as a first step of a bottom-up top-down approach. This processing chain aims at improving the classification from contextual knowledge and expert information.Composed objects of higher semantic level are extracted from learned rules or rules provided by the expert, and this new information is used to update the classification of objects at lower levels.The proposed method has been tested and validated on Pléiades images representing the city of Strasbourg. The results show the effectiveness of the composition rules learning algorithm to make the link between expert knowledge and segmentation, as well as the interest of the use of contextual information in the analysis of remotely sensed very high spatial resolution images.

En chirurgie mini-invasive guidée par l’image, une planification préopératoire précise des trajectoires des outils chirurgicaux est un facteur clé pour une intervention réussie. Cependant, une planification efficace est une tâche difficile, qui peut être considérablement améliorée en considérant différents facteurs contributifs tels que les déformations biomécaniques intra-opératoires, ou en introduisant de nouvelles techniques d'optimisation. Dans ce travail, nous nous concentrons sur deux aspects. Le premier aspect porte sur l'intégration de la déformation intra-opératoire dans le processus de planification de trajectoire. Nos méthodes combinent des techniques d'optimisation géométrique à base de simulations biomécaniques. Elles sont caractérisées par un certain niveau de généralité, et ont été expérimentées sur deux types d’interventions chirurgicales: les procédures percutanées pour l'ablation de tumeurs hépatiques, et la stimulation cérébrale profonde en neurochirurgie. Deuxièmement, nous étudions, mettons en œuvre, et comparons plusieurs approches d'optimisation en utilisant des méthodes qualitatives et quantitatives, et nous présentons une méthode efficace d'optimisation évolutionnaire multicritères à base de Pareto qui permet de trouver des solutions optimales qui ne sont pas accessibles par les méthodes existantes. / In image-guided minimally invasive surgery, a precise preoperative planning of the surgical tools trajectory is a key factor to a successful intervention. However, an efficient planning is a challenging task, which can be significantly improved when considering different contributing factors such as biomechanical intra-operative deformations, or novel optimization techniques. In this work, we focus on two aspects. The first aspect addresses integrating intra-operative deformation to the path planning process. Our methods combine geometric-based optimization techniques with physics-based simulations. They are characterized with a certain level of generality, and are experimented on two different surgical procedures: percutaneous procedures for hepatic tumor ablation, and in neurosurgery for Deep Brain Stimulation (DBS). Secondly, we investigate, implement, and compare many optimization approaches using qualitative and quantitative methods, and present an efficient evolutionary Pareto-based multi-criteria optimization method which can find optimal solutions that are not reachable via the current state of the art methods.

Cette thèse se propose d’analyser la trajectoires de femmes ayant participé au conflit armé péruvien entre 1980 et 2000. La perspective de genre prime ici sur les divisions politiques et idéologiques ayant opposé les différents acteurs du conflit. Elle permet de proposer une nouvelle approche du phénomène de violence armée mais aussi des questions liées aux problématiques de résolution de conflit et de réconciliation. Ce travail montre comment la difficile réintégration des femmes à la société civile après le conflit s’accompagne d’un phénomène de violence de genre qui peut être envisagé comme le prolongement de la violence armée mais aussi comme un instrument de pouvoir institutionnalisé au sein de la société péruvienne. Cette recherche s’appuie sur un travail de terrain approfondi, réalisé principalement à la prison de haute sécurité de Chorrillos à Lima, mais aussi dans le département d’Ayacucho. Elle met en avant l’évolution des diverses dynamiques d’interdépendance entre les sphères privées et publique, et leur enjeu dans la renormalisation des rapports sociaux après un conflit armé. / This investigation analyzes the participation of women in Peruvian armed conflict between 1980 and 2000 as well as their reintegration to civil life. The gender perspective exceeds political and ideological divisions of actors who got confronted during conflict. It helps to show a new approach of armed violence phenomenon as well as topics of conflict resolution. This work demonstrates how the difficult reintegration of female ex combatants to civil society comes with a gender violence which can be interpreted as an extension of armed violence as well as a reflect of the power institutionalized in Peruvian society. This investigation leans on a long field work most of it realized in maximum security prison in Lima. It emphasizes the evolution of interdependence between private and public spheres, which control is identified as a stake for the renormalization of social gender relationships after an armed conflict.

Les horloges à réseau optique montrent des performances impressionnantes et sont en train de soulever la question de la redéfinition de la seconde. Dans ces systèmes, un laser ultra-stable est utilisé en tant qu’oscillateur local pour sonder des transitions optiques très étroites d’atomes neutres piégés dans un réseau optique. La stabilité ultime de ces dispositifs, déterminée par le nombre d’atomes interrogés à chaque cycle et évaluée à quelques 10−17/sqrt(tau) (où tau est le temps d’intégration), n’est actuellement pas atteinte et est limitée à quelques 10−16/sqrt(tau) par les fluctuations de phase du laser sonde. Si l’amélioration des cavités ultra-stables sur lesquels sont stabilisés les lasers sonde est largement étudiée, le LNE-SYRTE a opté pour une approche plus récente, dans laquelle la référence de fréquence utilisée est un trou brûlé spectral creusé dans un cristal dopé terres rares refroidi à température cryogénique (environ 4 K). Une stabilité court terme de quelques 10−18 pourrait alors être atteinte. Cette thèse décrit la construction de l’expérience et montre ensuite les résultats d’une étude spectroscopique à haute résolution sur des trous brûlés spectraux étroits (FWHM = 3.3 kHz) creusés dans le cristal Eu3+ : Y2SiO5. L’influence du cryostat à cycle fermé sur la stabilité des trous brûlés spectraux est notamment mise en évidence et diminuée. Enfin, une méthode d’asservissement originale basée sur une détection hétérodyne d’un trou brûlé spectral et un asservissement numérique via un FPGA qui permet de verrouiller le laser sur le sommet du trou brûlé spectral étroit est décrit et montre une stabilité court terme de quelques 10−14, ce qui est un premier résultat encourageant pour la suite du projet. / Optical lattice clocks show impressive performances and are begining to raise the question of the redefinition of the SI second. In these systems, an ultra-stable laser is used as local oscillator to probe very narrow optical transitions of neutral atoms trapped in an optical lattice. The ultime stability of these systems, determined by the number of atoms interrogated at each clock cycle, evaluated at a few 10−17/sqrt(tau) (where tau is the integration time), is currently not reached and is limited to a few 10−16/sqrt(tau) by the phase fluctuations of the probe laser. If the enhancement of the ultra-stable cavities, on which are currently stabilized the probe lasers, is widely studied, LNE-SYRTE has adopted a more recent approach where the frequency reference is a spectral hole burned in rare earth doped crystal cooled down at cryogenic temperature (around 4 K). A short term stability of a few 10−18 could be achieved. This thesis describes the construction of the experiment and present the results of a high resolution spectroscopy of narrow spectral holes (FWHM = 3.3 kHz) burned in the crystal Eu3+ : Y2SiO5. The influence of the closed cycle cryostat on the behaviour of the spectral holes is hightlighted and reduced. Finally, an original locking scheme based on a heterodyne detection of a spectral hole and a numerical lock program using FPGA in order to stabilize the laser frequency on the top of the narrow spectral hole is described and shows a short term stability of a few 10−14, which is a first promising result for the future of the project.

Près de 30% des patients ayant survécus à un AVC, développent une dépression (DPAVC) dont le retentissement sur la qualité de vie peut être majeur. Sa physiopathologie est encore méconnue et les critères diagnostiques ne sont pas clairement définis. Notre objectif est d'identifier des facteurs précoces neuropsychologiques et de neuroimagerie prédictifs d'une dépression 3 mois après l’AVC.Cinquante-cinq patients présentant un premier AVC, sans antécédent neurologique ou psychiatrique ont été inclus. Dix jours après l’AVC, la sévérité des symptômes dépressifs et anxieux a été évaluée d’une part, par les échelles standard d’Hamilton et d’autre part, en vie quotidienne durant 7 jours, par la méthode d’échantillonnage des expériences (ESM). Au même temps, un examen d’IRM multimodale a été réalisé (IRM fonctionnelle de repos, DTI et 3D T1) afin d'évaluer les modifications anatomo-fonctionnelles de l’organisation cérébrale. Trois mois après l’AVC, une mesure standard de la sévérité des symptômes dépressifs et anxieux est à nouveau effectuée. A partir de ces données nous avons exploré la relation existant entre 1/ la sévérité des symptômes dépressifs et les données IRM 2/ la sévérité des symptômes dépressifs et les données ESM 3/ la sévérité des symptômes dépressifs mesurée par ESM et les modifications anatomo-fonctionnelles cérébrales. Nous avons mis en évidence une modification de la connectivité fonctionnelle entre les régions postérieures du réseau en "default mode", de la même façon que dans les dépressions majeure et vasculaire ; et entre le cortex temporal moyen et ce réseau. A la phase aigue de l’AVC, 2 profils symptomatologiques se distinguent : le premier est caractérisé par une grande fatigue et une forte anhédonie, le deuxième est définit par de la tristesse, une forte anxiété, des pensées négatives et une forte réactivité émotionnelle. Ce dernier est associé au risque de DPAVC à 3 mois. Enfin, nous avons montré que les modifications fonctionnelles du DMN prédictives de l’AVC étaient associées à la réactivité émotionnelle, alors que le volume de substance grise du cervelet était corrélé à la fréquence des pensées positives et négatives.En conclusion, la physiopathologie de la DPAVC présenterait des similitudes avec celle de la dépression majeure et de la dépression vasculaire, mais aussi des différences comme l’engagement du cortex temporal moyen au sein du réseau en « default mode ». De plus, cette étude suggère qu'à côté de l'implication de la lésion cérébro-vasculaire, des critères de vulnérabilité psychobiologiques antérieurs à l’AVC influenceraient la survenue d’une dépression. / 30% of stroke survivors will experience Post-Stroke Depression (PSD) that is associated to a poor quality of life. PSD is still under-diagnosed due to the absence of clear diagnostic criteria and its pathophysiology remains unknown. The aim of this study was to identify early imaging and psychiatric risk factors of depression 3 months after stroke. Patients with a first ischemic stroke, without any neurologic and psychiatric history were included. Daily-life symptoms were evaluated using ESM 10 days after stroke. Brain MRI acquisition was performed at 10 days after stroke including DWI, FLAIR/T2, resting state fMRI and anatomical sequences. We explored the association between 1/ the severity of depressive symptoms and MRI data 2/ the severity of depressive symptoms and ESM data 3/ the severity of depressive symptoms measured by ESM and MRI data.Results revealed a modification of the functional connectivity between posterior structures of the DMN (Default Mode Network) and between the middle temporal cortex and the DMN. In the acute phase, depressed patients presented either high fatigue and anhedonia or another profile including high anxiety, negative thoughts and emotional reactivity which is associated to the risk of depression 3 months after stroke. Moreover, we demonstrated that functional connectivity modifications within the DMN and the cerebellum grey matter were respectively associated to emotional reactivity and the frequency of positive and negative thoughts.In conclusion, modifications of the DMN were implicated in the physiopathology of PSD in the same way that major or vascular depression, with a specificity represented by the new contribution of the middle temporal cortex within the DMN. Furthermore, this study suggests that more than a stroke lesion, anterior psychobiological vulnerabilities of an individual patient could mediate PSD occurrence.

L'environnement numérique et les échanges électroniques accélèrent et participent à la mondialisation et à la globalisation de l'économie, et par là multiplient la dimension internationale dans les litiges, tout en générant sans cesse de nouveaux problèmes juridiques. Des modes électroniques de règlement des litiges apparaissent afin de faire face à ce nouveau monde dont l'arbitrage électronique. Ce moyen de règlement, même s'il est techniquement praticable, juridiquement soulève nombre de questions : d'une part, l'arbitrage classique exige de nombreuses conditions de forme et de fond que l'arbitrage électronique par sa nature même ne peut totalement satisfaire ; d'autre part, la procédure arbitrale totalement dématérialisée présente des difficultés biens distinctes. Afin de surmonter ces difficultés, il faut présenter les textes juridiques régissant les procédures arbitrales traditionnelles et les confronter aux procédures arbitrales électroniques. De cette confrontation se dégageront les particularités de l'arbitrage électronique comme mode alternatif de règlement des litiges du commerce international en général, et électronique en particulier. / The digital environment and electronic exchanges contribute and accelerate globalization, and thus multiplies the international dimension in litigation, while constantly generating new legal problems. Electronic arbitration is a form of alternative dispute resolution. Even if it is technically feasible, it raises many legal issues. On the one hand, the classic arbitration requires many forms conditions that the electronic arbitration cannot totally satisfy. On the other hand, the fully dematerialized arbitration presents distinct properties.To overcome these difficulties, we should present the legal texts governing the classic arbitration and compare it with the electronic arbitration procedures. This allows us to identify the features of electronic arbitration as an alternative dispute resolution of the international commercial disputes and especially electronics.

Notre thèse s’inscrit dans la lignée d’un premier travail de recherche durant lequel nous avions mis en évidence le recours par les préventeurs à l’accommodation de certaines consignes au cours des visites de sécurité. Ce résultat a suscité de nouveaux questionnements quant aux conséquences de ce phénomène sur leur santé mais aussi sur les performances du système de management de la sécurité. Notre travail de thèse s’est ainsi centré sur la caractérisation des difficultés rencontrées par les préventeurs lors des séquences de résolution de problèmes initiées par la mise en évidence d’écarts à la prescription au cours de la visite de sécurité mais aussi sur l’identification des déterminants méthodologiques qui en sont à l’origine. Trois méthodes ont été utilisées : des relevés des traces de l’activité à l’aide de la méthode de l’agenda, des observations ouvertes de l’activité d’un échantillon préventeurs en entreprise et des observations systématiques des phases de visites de sécurité couplées à des techniques de verbalisations. Les principaux résultats de cette thèse sont que : (i) les préventeurs en entreprise ne consacrent que très peu de temps aux visites de sécurité, (ii) ce phénomène de "désertion" du terrain ne peut être uniquement expliqué par le poids des tâches administratives, (iii) le contexte temporel dans lequel sont réalisées les visites de sécurité et l’absence d’artefact support pour les échanges ne favorisent pas le développement du phénomène de synchronisation cognitive puisque tous les écarts ne sont pas levés par des solutions explicitement approuvées par l’ensemble des interlocuteurs, (iv) les préventeurs développent des stratégies de défense pour réduire les effets de ce manque de performance sur leur santé, (v) les modifications du contexte temporel et l’intégration de l’artefact vidéo facilitant les échanges permettent d’améliorer les performances en matière de résolution de problèmes et de développer dans quelques mesures la santé des préventeurs; les solutions produites sont alors plus nombreuses ou plus complexes, les échanges plus riches et les contraintes mieux gérées. Les résultats de cette thèse permettent à la fois de poursuivre la caractérisation du travail des préventeurs en entreprise, de rendre compte des effets de l’autoconfrontation sur les interviewers mais aussi de proposer une méthode de conception d’artefact basée sur l’approche instrumentale qui facilite l’appropriation. / Our thesis is in line with a first research work in which we highlighted the use by OSH to accommodation of some instructions during safety inspections. This has raised new questions about the consequences of this phenomenon on the health of the OSH but also on the performance of the safety management system. Our thesis then focused on the characterization of the difficulties encountered by OSH during problem solving sequences initiated by the detection of deviations from the prescription safety during the visit, but also on identifying methodological determinants that are at the origin. Three methods were used: statement traces of the activity using the method of the agenda, open observations of the activity of a sample of OSH enterprises and systematic observations visit phases security coupled with verbalisation techniques. The main results of this thesis are: (i) OSH in companies only spend very little time for safety inspections, (ii) the phenomenon of "desertion" of the land can’t be solely explained by the weight of administrative tasks (iii) the temporal context in which are carried out safety inspections and the lack of media artifact exchanges, do not favor the development of cognitive synchronization phenomenon, since all differences are not explicitly approved by surveying the solutions of all interlocutors, (iv) OSH develop defense strategies reducing the effects of this lack of performance on their health, (v) changes in the temporal context and the integration of video artifacts facilitating trade, allows improved performance in terms of deviations lifted; the solutions produced are then more numerous and more complex, exchanges are richer and constraints are better managed. The results of this thesis allow both to continue with the characterization of the work of OHS in companies, to account for the effects of self-confrontation on interviewers but also to offer an artifact design method based on the instrumental approach which facilitates ownership.