Les scénarios hydrologiques requis pour les études d'impacts hydrologiques nécessitent de disposer de scénarios météorologiques non biaisés et qui soient de surcroît adaptés aux échelles spatiales et temporelles des hydro-systèmes considérés. Les scénarios météorologiques obtenus en sortie brute des modèles de climat et/ou des modèles de prévision numérique du temps sont de ce fait non appropriées. Les sorties de ces modèles sont par suite souvent adaptées à l'aide de Méthodes de Descente d'Echelle Statistique (MDES). Depuis les années 2000, les MDES ont beaucoup été utilisées pour la génération de scénarios météorologiques en un site. En revanche, la génération de scénarios spatiaux couvrant de larges territoires est une tâche plus difficile, en particulier lorsque l'on souhaite respecter la cohérence spatiale des précipitations à prédire. Parmi les MDES usuelles, les approches basées sur la recherche de situations analogues passées permettent de satisfaire cette contrainte. Dans cette thèse, nous évaluons la capacité d'un Modèle Analog (MA) – où l'analogie porte sur les géopotentiels 1 000 et 500 hPa – pour la génération de scénarios de précipitation spatialement cohérents pour le territoire Français métropolitain. Dans un premier temps, la transposition spatiale du modèle MA est évaluée : le modèle s'avère utilisable pour la génération de scénarios spatiaux cohérents sur des territoires couvrant plusieurs dizaines de milliers de kilomètres carrés dès lors qu'aucune barrière climatique n'est rencontrée. Dans un second temps, nous évaluons la sensibilité des performances de prédiction à l'agrégation spatiale de la variable à prédire. L'augmentation de performance avec l'agrégation s'explique alors par la diminution de la variabilité du prédictand, pour autant que les variables de grande échelle considérées soient de bons prédicteurs pour la région considérée. Dans une dernière étude, nous explorons la possibilité d'améliorer la performance locale du modèle analogue par l'ajout de prédicteurs locaux. Le modèle combiné qui en résulte permet d'accroître sensiblement les performances de prédiction par l'adaptation du lien d'échelle sur la base d'un jeu de prédicteurs additionnels. Il apparaît de plus que la pertinence de ces prédicteurs dépend de la situation de grande échelle rencontrée ainsi que de la région considérée. / Hydrological scenarios required for the impact studies need to have unbiased meteorological scenarios adapted to the space and time scales of the considered hydro-systems. Hence, meteorological scenarios obtained from global climate models and/or numerical weather prediction models are not really appropriated. Outputs of these models have to be post-processed, which is often carried out thanks to Statistical Downscaling Methods (SDMs). Since the 2000's, SDMs are widely used for the generation of scenarios at a single site. The generation of relevant precipitation fields over large regions or hydro-systems is conversely not straightforward, in particular when the spatial consistency has to be satisfied. One strategy to fulfill this constraint is to use a SDM based on the search of past analog situations. In this PhD, we evaluate the ability of an Analog Model (AM) – where the analogy is applied to the geopotential heights 1000 and 500 hPa – for the generation of spatially coherent precipitation scenarios over the French metropolitan territory. In a first part, the spatial transferability of an AM is evaluated: the model appears to be usable for the generation of spatial coherent scenarios over territories covering several tens of thousands squared kilometers if no climatological barrier is met in between. In a second part, we evaluate the sensitivity of the prediction performance to the spatial aggregation of the predictand. The performance increases with the aggregation level as long as the large scale variables are good predictors of precipitation for the region under consideration. This performance increase has to be related to the decrease of the predictand variability. We finally explore the possibility of improving the local performance of the AM using additional local scale predictors. For each prediction day, the prediction is obtained from a parametric regression model, for which predictors and parameters are estimated from the analog dates. The resulting combined model noticeably allows increasing the prediction performance by adapting the downscaling link for each prediction day. The selected predictors for a given prediction depend on the large scale situation and on the considered region.

Le contexte sociétal du travail et de la formation professionnelle évolue : logiques de projet plutôt que de métier, individualisation des parcours, pertes des repères identitaires traditionnels, etc. Le développement des formations par apprentissage est l’une des réponses apportées par l’enseignement supérieur aux problématiques posées. Les spécificités de l’alternance génèrent un besoin d’accompagnement, alors que cette fonction est peu développée. Assurer la professionnalisation des enseignants nécessite de mieux caractériser cette activité d’accompagnement afin de pouvoir former les acteurs. Peu de publications décrivent la façon dont sont conduits les entretiens d’accompagnement. Cette thèse vise à contribuer à cette connaissance en s’appuyant sur les cadres de la didactique professionnelle et de la maîtrise des situations dynamiques. La collecte et l’analyse des données a été organisée autour « d’entretiens sur autodebrief » dans lesquels les accompagnateurs pointent ce en quoi leur compétence a particulièrement été sollicitée lors d’un entretien. Cette méthode a principalement permis d’analyser l’activité de quatre accompagnateurs, en référence à 17 entretiens avec 16 accompagnés au sein d’un grand organisme de formation d’ingénieurs par apprentissage. Les résultats montrent que la conduite de l’entretien d’accompagnement peut être appréhendée comme la maîtrise par l’accompagnateur de la situation dynamique d’entretien. Cette dernière peut être caractérisée à son tour comme ayant pour but d’aider l’accompagné à la maîtrise des situations dynamiques liées à son projet de formation (dont celles du métier préparé). La conduite des entretiens observés peut se décrire en cinq sous-activités : introduction, diagnostic, invitation à une adaptation, pilotage et conclusion. Elle est organisée autour de deux concepts majeurs que sont la cohérence et l’adaptation. Elle mobilise une figure de l’accompagné type ainsi que des schémas opératifs et une bibliothèque d’invariants qui peut être synthétisée dans des repères génériques pour la conduite d’un entretien. / The societal context of work and vocational training is evolving. Training is more individualized, orientated towards missions and projects, rather than focused on traditional roles, professions or jobs. The development of block release training (apprenticeships) is one of the responses of higher education to the issues raised. The specificities of the alternation generate a need for support for the apprentice; however, this function is underdeveloped. To ensure the professionalization of teachers, this training activity needs to be better defined. Few publications describe how accompaniment interviews should be conducted. This thesis aims to contribute to this knowledge by relying on two frameworks: science of professional education and dynamic situations mastery. The collection and analysis of data were organized around “autodebrief interviews” during which the accompanists identified the specific skills they needed during an interview. This method mainly allowed the analysis of the activity of four accompanists, with reference to 17 interviews with 16 apprentices within a large higher education organization of engineering by apprenticeship. The results show that the conduct of the accompanying interviews can be seen as the accompanists having control of the dynamic situation of the interview. This last can be characterized as designed to help the accompanied to control the dynamic situations related to their training project (which are specific to their profession). The observed interviews can be broken down into five sub-activities: introduction, diagnosis, invitation to an adjustment, control and conclusion. It is organized around two major concepts: coherence and adaptation. It mobilizes the profile of the accompanied, operative patterns and a library of invariants which can be synthesized by generic markers for the conduct of an interview.

Dans le dernier siècle, nombreux sciences ont enrichi leur syntaxe pour pouvoir modeler des interactions. Entre eux on peut compter l'informatique, la physique quantique, et aussi la biologie et l’économie : toutes ces sciences sont des exemples de domaines qui ont besoin d'une syntaxe et d'une sémantique soit pour la concurrence que pour la séquentialité.Les diagrammes des cordes sont bien adapté à cet effet. Dans leur syntaxe on peut retrouver deux compositions : une composition parallèle et une composition séquentielle, qui peuvent interagir à travers une loi d'interchange. Si on considère cette loi comme une égalité, les diagrammes de cordes sont une syntaxe pour les catégories monoidales strictes, avec une représentation graphique plus intuitive que les formules algébriques traditionnelles.Dans cette thèse, on étude cette syntaxe de dimension 2 et sa sémantique. On considéré la réécriture des diagrammes et on donne des applications de cet méthode :- une preuve détaillée du théorème de cohérence de MacLanes pour les catégories monoidales symétriques basée sur un système de réécriture convergent donnée en arXiv:1606.01722;;- une interprétation des dérivations de preuves avec les diagrammes de preuve pour le fragment MELL de la logique linéaire, qui capture l’équivalence de preuves. On peut vérifier la séquentialité en temps linéaire, c'est à dire vérifier si un diagramme corresponds à une preuve. Cette interprétation est une extension de celle pour le fragment MLL donnée en arXiv:1606.09016 en donnant aussi un résultat de élimination du coupure. / In the last century, several sciences enriched their syntax in order to model interactions.Not only computer science and quantum physics, but also biology and economicsare examples of fields requiring syntax and semantics for concurrency as wellas for sequentiality.String diagrams are suitable for that purpose. In that syntax, we have two compositions:the parallel one and the sequential one, which may interact by the interchangerule. If we consider this rule as an equality, string diagrams are a syntax for strictmonoidal categories, with a more intuitive graphical representation than traditionalalgebraic formulas.In this thesis, we study this 2-dimensional syntax and its semantics. We considerdiagram rewriting and we give two applications of those methods:• a detailed proof of Mac Lane’s coherence theorem for symmetric monoidal categoriesbased on convergent diagram rewriting, which is given in arXiv:1606.01722;• an interpretation of proof derivations by string diagrams for the MELL fragmentof linear logic, which captures proof equivalence. We get a linear sequentializabilitytest to verify if a diagram corresponds to a proof . This interpretationextends the one for the MLL fragment given in arXiv:1606.09016,providing also a cut-elimination result.

Les expériences de physique quantique ont atteint un niveau de contrôle permettant de préparer avec précision l'état quantique de nombreux systèmes physiques. Cela a mené à la naissance de l'optique quantique électronique, un sujet émergent qui vise à préparer, manipuler et caractériser l'état de courants électriques contenant quelques excitations électroniques se propageant dans un conducteur quantique ballistique. Ceci est un défi conséquent qui se heurte à la difficulté de caractériser un état quantique à N corps.Le sujet de cette thèse sera le développement de méthodes de traitement du signal quantique permettant d'accéder à une connaissance partielle d'un tel état pour des courants électriques quantiques. Une première méthode consiste à les analyser à nombre d'excitations fixé au travers des cohérences électroniques. Pour cela, nous élaborons une analyse de la cohérence à un électron en termes d'atomes de signaux électroniques. En combinant cela au protocole de tomographie par interférometrie HOM, nous présentons la première autopsie, fonction d'onde par fonction d'onde, d'un courant électrique quantique.Une autre approche consiste à examiner des indicateurs sondant directement l'état à N corps. Nous étudions le rayonnement émis par un conducteur quantique ainsi que la décohérence électronique d'une excitation à un électron. Ensuite nous analysons la distribution de probabilité de la chaleur dissipée par un système quantique mésoscopique. Dans ce cadre, nous développons une théorie de l'effet Joule en régime quantique et à explorons comment celle-ci pourrait permettre de sonder l'état à N corps / Quantum physics experiments have reached a level of precision and control that allows quantum state engineering for many systems. This has led to the birth of electron quantum optics, an emerging field which aims at generating, manipulating and characterizing quantum electrical currents built from few-electron excitations propagating within ballistic quantum conductors. This is challenging since it is generically impossible in practice to fully characterize the many-body state of a beam containing indistinguishable electrons. The thesis presents new quantum signal processing approaches for accessing, at least partially, to the quantum many-body state of quantum electrical currents.A first approach is to access such a state at few-particle levels through electronic coherences. We will thus present a new representation of single-electron coherence in terms of electronic "atoms of signal". Combining this signal processing algorithm to HOM tomography enables us to present the first autopsy, wavefunction by wavefunction, of an experimental electrical quantum current. Another method is to look for indicators giving information directly at the many-body level. We will investigate the radiation emitted by a quantum conductor and address the problem of decoherence of a general single-electron excitation. Finally, we will look at the heat deposited by a mesoscopic quantum system, leading to a quantum version of Joule heating and discuss how it gives an insight on the many-body state of the electron fluid

Lors de deux dernières décennies, la nano-structuration a permis une augmentation conséquente des performances thermoélectriques. Bien qu’à l’ origine le silicium (Si) ait une faible efficacité thermoélectrique, son efficacité sous forme de nanostructure, et notamment de nanofils, a provoqué un regain d’intérêt envers la conduction thermique au sein de ces nanostructures de Si. Bien que la conductivité thermique y ait été réduite de deux ordres de grandeur, les mécanismes de conduction thermique y demeurent flous. Une meilleure compréhension de ces mécanismes permettrait non seulement d’augmenter l’efficacité thermoélectrique mais aussi d’ouvrir la voie à un contrôle des phonons thermiques, de manière similaire à ce qui se fait pour les photons. L’objectif de ce travail de thèse était donc de développer une plateforme de caractérisation, d’étudier le transport thermique au sein de différentes nanostructures de Si et enfin de mettre en exergue la contribution du transport cohérent de phonons à la conduction thermique. Dans un premier temps, nous avons développé un système de mesure allant de pair avec une procédure de fabrication en salle blanche. La fabrication se déroule sur le site de l’institut de Sciences Industrielles et combine des manipulations chimiques, de la lithographie électronique, de la gravure plasma et du dépôt métallique. Le système de mesure est base sur la thermoreflectance : un changement de réflectivité d’un métal a une longueur d’onde particulière traduit un changement de température proportionnel. Nous avons dans un premier temps étudié le transport thermique au sein de simples membranes suspendues, suivi par des nanofils, le tout étant en accord avec les valeurs obtenues dans la littérature. Le transport thermique au sein des nanofils est bien diffus, à l’exception de fils de moins de 4 μm de long a la température de 4 K ou un régime partiellement balistique apparait. Une étude similaire au sein de structures périodiques 1D a démontré l’impact de la géométrie et l’aspect partiellement spéculaire des réflexions de phonons a basse température. Une étude sur des cristaux phononiques (PnCs) 2D a ensuite montré que même si la conduction est dominée par le rapport surface sur vole (S/V), la distance inter-trous devient cruciale lorsqu’elle est suffisamment petite. Enfin, il nous a été possible d’observer dans des PnCs 2D un ajustement de la conductivité thermique base entièrement sur la nature ondulatoire des phonons, réalisant par-là l’objectif de ce travail. / In the last two decades, nano-structuration has allowed thermoelectric efficiency to rise dramatically. Silicon (Si), originally a poor thermoelectric material, when scaled down, to form nanowires for example, has seen its efficiency improve enough to be accompanied by a renewed interest towards thermal transport in Si nanostructures. Although it is already possible to reduce thermal conductivity in Si nanostructures by nearly two orders of magnitude, thermal transport mechanisms remain unclear. A better understanding of these mechanisms could not only help to improve thermoelectric efficiency but also open up the path towards high-frequency thermal phonon control in similar ways that have been achieved with photons. The objective of this work was thus to develop a characterization platform, study thermal transport in various Si nanostructures, and ultimately highlight the contribution of the coherent phonon transport to thermal conductivity. First, we developed an optical characterization system alongside the fabrication process. Fabrication of the structures is realized on-site in clean rooms, using a combination of wet processes, electron-beam lithography, plasma etching and metal deposition. The characterization system is based on the thermoreflectance principle: the change in reflectivity of a metal at a certain wavelength is linked to its change in temperature. Based on this, we built a system specifically designed to measure suspended nanostructures. Then we studied the thermal properties of various kinds of nanostructures. Suspended unpatterned thin films served as a reference and were shown to be in good agreement with the literature as well as Si nanowires, in which thermal transport has been confirmed to be diffusive. Only at very low temperature and for short nanowires does a partially ballistic transport regime appear. While studying 1D periodic fishbone nanostructures, it was found that thermal conductivity could be adjusted by varying the shape which in turn impacts surface scattering. Furthermore, low temperature measurements confirmed once more the specularity of phonon scattering at the surfaces. Shifting the study towards 2D phononic crystals (PnCs), it was found that although thermal conductivity is mostly dominated by the surface-to-volume (S/V) ratio for most structures, when the limiting dimension, i.e. the inter-hole spacing, becomes small enough, thermal conductivity depends solely on this parameter, being independent of the S/V ratio. Lastly, we were able to observe, at low temperature in 2D PnCs, i.e. arrays of holes, thermal conduction tuning based on the wave nature of phonons, thus achieving the objective of this work.

La présente étude vise à étudier les difficultés liées à l’emploi de certains marqueurs argumentatifs: mais, et, d’ailleurs, par ailleurs, pourtant et d’autre part, par les apprenants soudanais universitaires de FLE. Elle aborde plus précisément la problématique de l’utilisation des connecteurs argumentatifs par ces apprenants pendant leur production d’un texte argumentatif. Les données sont collectées à travers des productions écrites des apprenants en quatrième année du Département de français de la Faculté des langues de l’Université du Soudan de Science et de Technologie. L’analyse de leur écrit a pour objectif de connaître l’origine de ces difficultés en vue de proposer des solutions pour les surmonter. Le résultat obtenu a démontré que les apprenants rencontrent de sérieuses difficultés dans l’usage des connecteurs à l'écrit. Ces difficultés sont observables au niveau de la phrase composée mais aussi à celui de l'ensemble du texte dont elles affectent la cohésion et la cohérence. Pour remédier à ces problèmes, le chercheur a proposé, pour chaque connecteur étudié, un certain nombre de séquences didactiques susceptibles d'entraîner les étudiants à la maîtrise de leur emploi. La thèse donne des résultats de la mise en œuvre de ces séquences auprès des apprenants et montre qu'elles constituent une solution efficace en vue de l’acquisition de cette dimension essentielle de la technique argumentative à l'écrit. / This current study attempts to identify the difficulties related to the usage of certain argumentative markers: mais, et, d’ailleurs, par ailleurs, pourtant and d’autre part”, by the Sudanese students of French as a foreign language. It examines more precisely the problem regarding the usage of argumentative connectors by these students when producing anargumentative text. Data were collected through writing production of the 4th year students at the French language department, college of languages – Sudan university of Sciences and Technology. Analyzing their written production aimed to know the origin of these difficulties so as to provide remedy to them. The study results showed that learners have serious problems when using connectors in their production. This is noticeable not only at the complex sentence level but at the text as well, affecting its coherence and cohesion. Inorder to solve this problem, the researcher proposed for each connecter a number of didactic sequences susceptible to enable the students to master their usage. This thesis presents results regarding the application of the sequences on the students. It also demonstrates that these proposed sequences constitute an effective solution for the acquisition of this essential dimension of the argumentative writing technique.

Les avancées technologiques ont ouvert la voie à des approches de biopsie optique innovantes. Elles permettent à l'inverse des méthodes physiques de profiter des avantages d'une procédure mini-invasive, temps réels et répétitive. Le système de tomographie par cohérence optique (OCT) (la technique de biopsie optique utilisée dans cette thèse) propose des approches qui naviguent dans le corps humain grâce à des sondes endoscopiques robotisées. Toutefois, leur contrôle une fois à l’intérieur du corps devient difficile, surtout si l’objectif est de suivre l’évolution d'une zone cible, en faisant un travail de repositionnement dans le temps. L'asservissement visuel est un outil de choix pour le contrôle et le positionnement directement par l'image. Néanmoins, la richesse des informations présentes dans les images autorisent l'utilisation de plusieurs types d'information visuelle. Dans ce contexte, nous proposons l'utilisation de primitives visuelles innovantes fondées sur les ondelettes. Ainsi, deux approches d'asservissements visuels fondées sur les ondelettes ont été développées. La première approche est un asservissement visuel 2D pose fondé sur les ondelettes spectrales continues qui assure une convergence sur un espace plus important avec une bonne robustesse au bruit et une commande découplée. La deuxième est un asservissement visuel 2D direct fondé sur les ondelettes multirésolution, principalement pour faire du positionnement aux petits déplacements. Par ailleurs, la deuxième méthode couvre les 6 DDL quand la première se limite aux 3 DDL dans les images CCD. De plus, ces deux approches ont prouvé leurs aptitudes à faire du positionnement des coupes OCT. Mais encore, nous avons proposé une méthode de positionnement partitionnée que nous pouvons qualifier d'hybride, car elle exploite deux modalités d'images (OCT - CCD) pour assurer un positionnement sur SE(3) d'un échantillon. De même, nous avons proposé une méthode d'étalonnage des images de coupe et de volume OCT, liée aux distorsions générées par le chemin optique parcouru par le faisceau laser OCT. Finalement, ces travaux ouvrent la voie vers des applications dans le positionnement des volumes OCT, la compensation de mouvement physiologique et le suivi d'outils par des images OCT. / The technological advances have facilitated the optical biopsy approaches, unlike physical methods to take advantage of a minimally invasive, real time and repetitive procedure. The optical coherence tomography system is one of the optical biopsy techniques used in this thesis to prospect in the human body with robotized OCT endoscopic probes. Nevertheless, their control once inside the body becomes difficult, especially if the goal is following changes in the target area. The visual servoing is an ideal tool for the control and positioning of the robot. However, the amount of information present in the images allows the use of several types of visual features. In this thesis, we propose to use an innovative visual servoing feature based on wavelets. This representation developed as the evolution of the Fourier transform for non-stationary signals provides a time-frequency representation of the signal with a better extraction of the relevant information. Indeed, two visual servoing approaches based on wavelets were developed. The first approach is a 2D pose visual servoing based on spectral continuous wavelets, which ensures convergence over a larger area and decoupled control. The second is a direct 2D visual servoing based on multiresolution wavelets, mainly for small displacements positioning. However, the latter covers the 6 DOF when the previous one is limited to 3 DDL with a CCD camera. Both approaches have proven their ability to make the positioning of B-Scan OCT images. After that, we have proposed a method of partitioned positioning, that we can qualify by hybrid because it uses two image modalities to ensure SE(3) positioning of a sample. On the other side, we proposed a calibration method of B-Scan and 3D-Scan OCT images, due to the distortions generated by the optical path of the laser beam in OCT. Finally, these thesis is a beginning work for applications in positioning of 3D-Scan OCT, physiological motion compensation and monitoring tools by OCT images.

L’objectif de cette thèse est d’explorer les effets persuasifs de la formulation des communications de santé et les processus psychologiques qui les sous-tendent sur l’intention de suivre une recommandation de santé. Ainsi, nous nous proposons d’expliquer les raisons de l’influence persuasive de la présentation d’un individu modèle dans des campagnes de promotion de la santé. Nous avons mené 9 études expérimentales (1221 participants au total) dont les résultats mettent en exergue des schémas d’explication de l’impact de l’exposition à un individu modèle en tant que stratégie sociale de motivation. Nos données défendent la thèse selon laquelle les individus modèles positifs ou négatifs activent une orientation motivationnelle respectivement en promotion ou en prévention, qui fait varier l’effet du cadrage d’un message de santé : un modèle est plus motivant lorsqu’il est cohérent avec l’orientation motivationnelle cadrée dans un message. Un Autrui positif engendre une hausse de l’intention des individus à suivre une recommandation de santé dès lors qu’elle est préconisée avec un message cadré en promotion, se focalisant sur l’accomplissement. A contrario, un Autrui négatif engendre une hausse de l’intention des individus lorsque le comportement cible est recommandé avec un message cadré en prévention, se focalisant sur la protection. Nous définissons ce phénomène cohérence motivationnelle par individu modèle, et nous expliquons ses effets à l’aide de deux modèles causaux. Le premier modèle démontre que l’effet de la cohérence motivationnelle sur l’intention de suivre une recommandation de prévention (i.e. adopter une alimentation équilibrée) est médiatisé par les dimensions d’efficacité et d’auto-efficacité comportementale. Le deuxième modèle, expliquant l’effet de la cohérence motivationnelle sur l’intention de suivre une recommandation de dépistage (i.e. faire le test de dépistage du cholestérol), démontre que cet effet est médiatisé par les dimensions d’auto-efficacité comportementale et d’auto-efficacité de la gestion des conséquences. En se positionnant dans le cadre des recherches sur l’influence sociale et la persuasion, cette thèse apporte des réflexions théoriques concernant le rôle de l’exposition à un Autrui en tant que force motivationnelle, et ainsi la régulation sociale du fonctionnement cognitif amenant les personnes à s’engager dans des comportements d’amélioration de la santé. / The goal of the present research is to explore the persuasive effect of the framing of health communications on the intention to follow the promoted recommendation, and to understand the psychological processes underlying such effects. More precisely, we aim to explain the persuasive effect of presenting a role model in health-promotional campaigns. We carried out 9 experimental studies (for a total of 1221 participants), which led to an explanatory model of the impact of exposure to role models as a social source of motivation. Our findings show that positive or negative role models temporarily prime the individuals’ regulatory focus on respectively promotion or prevention, altering the effects of message framing: a role model is more motivating when it fits the regulatory framing of the message. A positive role model, which primes a promotion focus, increases individuals’ intention to engage in health behaviours when these are recommended by a promotion-framed message focusing on accomplishment. Correspondingly, a negative model, which primes a prevention focus, motivates individuals when the health behaviours are recommended in a prevention-framed message focusing on safety. We name this phenomenon regulatory fit by vicarious experience, and we explain its effects by validating two causal models. We show that the effect of regulatory fit by vicarious experience on the intention to engage in a preventive behaviour (i.e. a healthy diet) is mediated by the perceived response-efficacy and behavioural self-efficacy (first causal model). On the other hand, its effect on the intention to engage in a detection behaviour (i.e. a cholesterol screening) is mediated by the perceived behavioural self-efficacy and coping self-efficacy (second causal model). Rooted in the field of social influence and persuasion, the present research offers theoretical and innovative insights into the role of exposure to a role model as a motivational force, as well as the social regulation of the cognitive processes leading individuals to engage in health behaviours.

Dans cette thèse, nous examinons différents cadres pour la théorie générale des opérades cycliques de Getzler et Kapranov. Comme le suggère le titre, nous établissons des fondements théoriques de natures syntaxiques, algébriques et catégorifiées pour la notion d’opérade cyclique. Dans le traitement syntaxique, nous proposons un langage formel à la manière du lambda-calcul, appelé mu-syntaxe, en tant que représentation légère de la structure <<entries-only >> d’opérades cycliques. Contrairement à la caractérisation originale des opérades cycliques, appelée la caractérisation <<exchangeable-output>> , selon laquelle les opérations d’une opérade cyclique ont des entrées et une sortie qui peut être << échangée >> avec une entrée, les opérades cycliques <<entries-only >> sont présentées comme des généralisations d’opérades pour lesquelles une opération n’a plus des entrées et une sortie, mais seulement des entrées (c’est-à-dire pour lesquelles la sortie est <<au même niveau>> que les entrées). Grâce aux méthodes de réécriture derrière le formalisme, nous donnons une preuve pas-à-pas complète de l’équivalence entre les définitions biaisées et non biaisées des opérades cycliques.Guidés par le principe du microcosme de Baez et Dolan et par les définitions algébriques des opérades de Kelly et Fiore, dans l’approche algébrique, nous définissons les opérades cycliques à l’intérieur de la catégorie des espèces de structures de Joyal. De cette façon, la caractérisation originale << exchangeable-output>> de Getzler et Kapranov, et la caractérisation alternative <<entries-only>> des opérades cycliques de Markl, sont toutes les deux incarnées comme monoïdes dans une catégorie monoïdale des espèces de structures. En s’appuyant sur un résultat de Lamarche sur la descente pour les espèces, nous utilisons ces définitions monoïdales pour prouver l’équivalence entre les points de vue <<exchangeable-output >> et << entries-only>> pour les opérades cycliques.Enfin, nous établissons une notion d’opérade cyclique catégorifiée pour les opérades cycliques avec symétries, définies dans la catégorie des ensembles en termes de générateurs et relations. Les catégorifications que nous introduisons sont obtenues en remplaçant des ensembles d’opérations de la même arité par des catégories, en relâchant certains axiomes de la structure, comme l’associativité et la commutativité, en isomorphismes, tout en laissant l’équivariance stricte, et en formulant des conditions de cohérence pour ces isomorphismes. Le théorème de cohérence que nous prouvons a la forme << tous les diagrammes d’isomorphismes canoniques commutent >>. Pour les opérades cycliques <<entries-only>> , notre preuve a un caractère syntaxique et s’appuie sur la cohérence des opérades non symétriques catégorifiées, établie par Došen et Petrić. Nous prouvons la cohérence des opérades cycliques <<exchangeable-output >>, en relevant au cadre catégorifié l’équivalence entre les définitions <<entries-only>> et <<exchangeable-output>> , mise en place précédemment dans l’approche algébrique. / In this thesis, we examine different frameworks for the general theory of cyclic operads of Getzler and Kapranov. As suggested by the title, we set up theoretical grounds of syntactic, algebraic and categorified nature for the notion of a cyclic operad.In the syntactic treatment, we propose a lambda-calculus-style formal language, called mu-syntax, as a lightweight representation of the entries-only cyclic operad structure. As opposed to the original exchangeable-output characterisation of cyclic operads, according to which the operations of a cyclic operad have inputs and an output that can be “exchanged” with one of the inputs, the entries-only cyclic operads have only entries (i.e. the output is put on the same level as the inputs). By employing the rewriting methods behind the formalism, we give a complete step-by-step proof of the equivalence between the unbiased and biased definitions of cyclic operads.Guided by the microcosm principle of Baez and Dolan and by the algebraic definitions of operads of Kelly and Fiore, in the algebraic approach we define cyclic operads internally to the category of Joyal’s species of structures. In this way, both the original exchangeable-output characterisation of Getzler and Kapranov, and the alternative entries-only characterisation of cyclic operads of Markl are epitomised as “monoid-like” objects in “monoidal-like” categories of species. Relying on a result of Lamarche on descent for species, we use these “monoid-like” definitions to prove the equivalence between the exchangeable-output and entries-only points of view on cyclic operads.Finally, we establish a notion of categorified cyclic operad for set-based cyclic operads with symmetries, defined in terms of generators and relations. The categorifications we introduce are obtained by replacing sets of operations of the same arity with categories, by relaxing certain defining axioms, like associativity and commutativity, to isomorphisms, while leaving the equivariance strict, and by formulating coherence conditions for these isomorphisms. The coherence theorem that we prove has the form “all diagrams of canonical isomorphisms commute”.For entries-only categorified cyclic operads, our proof is of syntactic nature and relies on the coherence of categorified operads established by Došen and Petrić. We prove the coherence of exchangeable-output categorified cyclic operads by “lifting to the categorified setting” theequivalence between entries-only and exchangeable-output cyclic operads, set up previously in the algebraic approach.

Le développement de produits complexes demande la maintenance d'un grand nombre de documents interdépendants exprimés dans différents formats. Malheureusement, aujourd'hui, aucun outil et aucune méthodologie ne nous permettent pas de maintenir la cohérence et de propager systématiquement les changements entre ces documents. D'après les observations faites dans l'entreprise STMicroelectronics, lorsqu'un document est modifié, les développeurs doivent propager manuellement la modification à l'ensemble des documents impactés. Pour diverses raisons, ces changements peuvent ne pas être correctement appliqués, voir même ne pas être appliqués du tout. Les documents divergent alors peu à peu, impactant dramatiquement le temps de développement pour réaligner tous les documents. Nous proposons une méthodologie aidant les développeurs à maintenir systématiquement la cohérence entre les documents, basée sur le concept de description d'architecture introduit par l'ISO42010. Premièrement, un modèle est défini pour décrire formellement et complètement des correspondances (liens existants) entre des documents. Ce modèle est défini pour être indépendant des formats de documents, du cycle de développement et des méthodes de travail de l'entreprise. Deuxièmement, ces correspondances sont analysées afin d'aider les développeurs à maintenir la cohérence des documents en les informant lorsqu'un document est modifié. Un prototype mettant en œuvre l’approche proposée a été développé afin d’évaluer la méthodologie. 18 sujets se sont portés volontaires afin d’évaluer l'approche. Ces sujets ont été soumis à deux tests (avec et sans notre méthodologie) impliquant la correction d’incohérences ajoutées dans un ensemble de documents. Ces tests nous ont permis de dégager deux variables : le nombre d’incohérences corrigées et le temps moyen pour corriger les incohérences. Selon notre étude, l’utilisation de notre approche permet de corriger 5,5% d’incohérences en plus en un temps 3,3% plus faible. / The development of highly complex products requires the maintenance of a huge set of inter-dependent documents, in various formats. Unfortunately, no tool or methodology is available today to systematically maintain consistency between all these documents. Therefore, according to observations made in STMicroelectronics, when a document changes, stakeholders must manually propagate the changes to the impacted set of dependent documents. For various reasons, they may not well propagate the change, or even may not propagate it at all. Related documents thereby diverge more and more over time. It dramatically impacts productivity to realign documents and make the very wide-ranging corpus of documents consistent. This paper proposes a methodology to help stakeholders to systematically maintain consistency between documents, based on the Architecture Description concept introduced by ISO42010. First, a model is defined to describe formally and completely correspondences between Architecture Description Elements of documents. This model is designed to be independent of documents formats, selected system development lifecycle and the working methods of the industry. Second, these correspondences are analyzed in case of document modification in order to help stakeholders maintaining global corpus consistency. A prototype has been developed, which implements the proposed approach, to evaluate the methodology. 18 subjects volunteered to evaluate the approach. These subjects made two tests (with and without our methodology) involving the correction of inconsistencies added in a set of documents. These tests allowed us to identify two variables: the number of inconsistencies corrected and the average time to correct the inconsistencies. According to our study, the use of the approach helps to correct 5.5% more inconsistencies in a time 3.3% lower.