Les travaux développés dans ce manuscrit de thèse concernent la proposition et la mise au point d’une nouvelle architecture optique basée sur la modulation de cohérence (MC) d’une source à spectre large dédiée aux calculs arithmétiques et au traitement des signaux. La modulation de cohérence de lumière est une technique particulière de codage optique qui autorise, entre autres, le multiplexage des signaux à travers une seule porteuse. Les signaux à traiter sont codés en MC par le biais de paires modulateur de lumière/lame de phase placées en série et éclairées par un seul faisceau de lumière polarisée. Cette technique est basée sur l’introduction d’un retard optique supérieur à la longueur de cohérence de la source utilisée. La validation expérimentale de l’approche proposée pour la réalisation d’opérations arithmétiques, telles que la somme et la soustraction, a été effectuée par le biais de signaux temporels. Différentes formes et fréquences des signaux ont été testées et ont parfaitement validé l’approche. L’impact du cross-talk des signaux et de la divergence du faisceau gaussien sur la qualité des opérations effectuées a été étudié. Ces effets se traduisent par un bruit de modulation d’intensité affectant le résultat des opérations effectuées. Dans ce travail, nous avons proposé des solutions permettant de minimiser son impact. L’originalité de la technique proposée est qu’elle permet la réalisation d’opérations multiples entre plusieurs signaux. Des tests ont été réalisés sur des images à deux et plusieurs niveaux de gris. Les résultats obtenus ont été évalués par les figures de mérite incluant le rapport signal sur bruit (SNR, signal to noise ratio), le rapport signal/bruit crête à crête (PSNR, peak signal to noise ratio) et l’erreur quadratique moyenne (MSE, mean squared error). Enfin, nous avons appliqué la technique à la cryptographie par contenu. Nous avons démontré la performance et la robustesse de la technique. Comme perspectives de ce travail, nous envisageons exploiter d’avantage la technique dans le domaine de la cryptographie (ie: utilisation d’une phase aléatoire pour le codage des images). De plus, une extension de l’étude à la compression des images sera utile. Une autre perspective de ce travail de recherche est l’étude de l’impact de l’incohérence spatiale sur le codage et le décodage des signaux / In this thesis, we study and developed the use of coherence multiplexing (also called path-difference, by analogy with WDM optical communications) to achieve simultaneous coding and decoding of analogue signals. The coherence modulation of light consists in encoding a signal on a light beam as an optical path-difference larger than its coherence length. This opens the way to the use of broadband sources in systems that thought to be restricted to quasi-monochromatic light. The different signals to be processed are encoded by using an Electro-optic Modulator and a birefringent plate placed between two polarizers. First, we have shown how the coherence multiplexing process can be exploited to achieve parallel real-time all optical signal addition and subtraction. Then, we have studied the impact of the crosstalk, due to the imperfection of the opto-geometrical parameters of the elements in the architecture, in the quality of the obtained results. The second part of the work consists of the validation of the technique to image signals. Thus, we have tested both image with binary and several gray levels. Also, we have confirmed that the method can be used for simple and multiplex encoding module. After that, we have evaluated the performance of the processor as a function of the continuous optical path-difference ratio in terms of Signal to Noise Ratio (SNR), Mean Square Error (MSE) and Peak to peak Signal to Noise Ratio (PSNR). Finally, we have tested the coherence multiplexing method to the encryption method based on merging together multiple-images. Therefore, we have evaluated the performance and the robustness of the method

Cette thèse traite de l’étude et du développement d’un système d’optique adaptative pour la tomographie par cohérence optique plein champ (AO-FFOCT en anglais) appliquée à l’imagerie haute résolution de la rétine. L’analyse de l’effet des aberrations géométriques sur les performances en FFOCT a montré que pour une illumination spatialement incohérente, la résolution transverse est insensible aux aberrations et ne fait que diminuer le niveau du signal. Comme ce sont des aberrations de bas ordres comme la myopie et l’astigmatisme qui prédominent pour l’œil humain, une méthode d’optique adaptative avec une configuration sans conjugaison qui utilise une correction de front d’onde en transmission est suggérée, puis appliquée à la correction de ces ordres afin de simplifier le système d’AO-FFOCT. Des corrections de front d’onde sont effectuées sans analyseur de surface d’onde, en utilisant le niveau du signal de FFOCT comme métrique. Des expériences avec des échantillons diffusants et un œil artificiel sont menées pour démontrer la faisabilité d’un système d’AO-FFOCT conçu pour la correction d’aberration. Afin de résoudre les problèmes posés par les mouvements oculaires et de compenser en temps réel la différence de chemin optique entre les deux bras de l’interféromètre, l’instrument de FFOCT est couplé à un système d’OCT spectral. Avec cette combinaison de systèmes, l’imagerie FFOCT in vivo cellulaire de la rétine à haute résolution a été réalisée pour la première fois sur l’œil humain. / This thesis follows the study and development of an adaptive optics full-field optical coherence tomography (AO-FFOCT) system, aiming for high resolution en face human retinal imaging. During the quantification of the effects of geometrical aberrations on the FFOCT system performance, it is shown that, with spatially incoherent illumination, the lateral resolution of FFOCT is insensitive to aberrations, which only cause the FFOCT signal reduction. Since low order aberrations like myopia and astigmatism dominate in human eye, a non-conjugate AO configuration by using transmissive wavefront corrector is suggested and applied for low order aberrations correction to simplify the AO-FFOCT system. Wavefront corrections are done with a wavefront sensorless method by using FFOCT signal level as the metric. Experiments with scattering samples and artificial eye model are conducted to demonstrate the feasibility of the customized AO-FFOCT system for aberration correction. In order to resolve the eye motion effects and employ real-time matching of the optical path lengths of the two interferometric arms in FFOCT, a system combination of traditional spectral-domain OCT (SDOCT) with FFOCT is adopted. With this combined system, high resolution FFOCT cellular retinal imaging is achieved in human eye in vivo for the first time.

Les corrélations de photons sont à la base d'un certain nombre d'expériences et d'applications (spectroscopie de corrélation de photons, profilométrie haute résolution, cryptographie quantique, téléportation). L'évaluation de ces propriétés de corrélation revêt dès lors une importance toute particulière et correspond à la thématique dans laquelle s'inscrit ce travail de thèse de Doctorat. Tout d'abord, les concepts de compteur de photons par absorption à deux photons ont été (ré)évalués expérimentalement dans différents semiconducteurs et nous ont conduits à établir les bases d'un modèle quantique du comptage à deux photons. Par la suite, l'absorption à deux photons dans les semiconducteurs est appliquée dans une nouvelle technique qui permet la mesure du degré de cohérence d'ordre deux de sources optiques continues de faibles puissances (0,1 µW au minimum) avec une bande passante allant de 1,1 à 1,7 µm et une résolution de l'ordre de la femtoseconde. Expérimentalement, le montage est conceptuellement proche d'un interféromètre de Hanbury Brown et Twiss où, dans notre cas, les deux sous-faisceaux décalés dans le temps sont recombinés sur un compteur à deux photons. Grâce à la très large bande passante à deux photons, les corrélations de sources larges spectralement sont caractérisées au moyen de ce montage qui permet la mesure du degré de cohérence d'ordre deux de sources chaotiques aussi bien que d'un générateur paramétrique à la dégénérescence ou hors de la dégénérescence. Pour la première fois, le phénomène de bunching des photons issus d'un corps noir a été vérifié par une mesure directe. Pour ce qui est de la lumière paramétrique, après avoir développé une source de photons jumeaux, nous avons démontré que notre montage expérimental était à même de mesurer les coïncidences exactes des photons issus d'une même paire aussi bien que les coïncidences accidentelles entre photons de paires différentes en contrôlant les phénomènes de dispersion chromatiques à l'aide d'une paire de prismes. Enfin, deux modèles théoriques originaux de corrélation de photons jumeaux ont été développés, basées sur les approches quantique et classique, et sont en excellent accord avec l'ensemble de nos résultats expérimentaux.

Cette thèse est consacrée au contrôle de la dynamique de systèmes quantiques par interaction avec des impulsions laser. Ces impulsions laser sont déterminées par la méthode du contrôle optimale qui peut être formulé dans l'espace de Hilbert pour les fonction d'ondes et dans l'espace de Liouville pour les matrices densité. Cette dernière approche est nécessaire pour étudier la dissipation et la décohérence. La première application concerne la localisation d'un paquet d'ondes dans l'un ou l'autre des puits d'une surface de potentiel à deux dimensions où trois bassins sont connectés par une région de biffurcation. Le modèle moléculaire correspond à l'isomérisation de H3CO en H2COH. La seconde application porte sur un modèle d'isomérisation du rétinal où seul la coordonnée de torsion est prise en compte. Les applications sur la portes logiques ont été réalisées en encodant l'information dans des niveaux vibrationnels d'un double puits à deux dimensions. Des champs permettant de simuler des transformations unitaires telles que la porte NOT, la porte CNOT et la porte HADAMARD ont été optimisés. Ces champs ont été concaténés pour simuler les quatre étapes de l'algorithme de Deutsch sur un système à deux qubits. L'influence de l'environnement a été prise en compte. Ces simulations montrent qu'il est concevable d'utiliser des degrés de liberté moléculaires avec des impulsions laser optimisées pour aller vers la calcul quantique.

Capturer le CO2 est devenu un domaine de recherche important en raison principalement des forts effets de serre dont il est jugé responsable. La formation d'hydrate de gaz comme technique de séparation montre un potentiel considérable, d'une part pour sa faisabilité physique et d'autre part pour une consommation énergétique réduite. En bref, les hydrates de gaz (clathrates) sont des composés ″cages″ non-stoechiométriques, cristallins comme la glace et formés par une combinaison de molécules d'eau et de molécules hôtes convenables, à basses températures et pressions élevées. Puisque la pression exigée pour la formation d'hydrate de gaz est généralement forte, il est judicieux d'ajouter du bromure tétra-n-butylique d'ammonium (TBAB) comme promoteur de formation d'hydrate de gaz. En effet, le TBAB permet généralement de réduire la pression exigée et/ou d'augmenter la température de formation aussi que de modifier la sélectivité des cages d'hydrates au profit des molécules de CO2. TBAB participe à la formation des cages par liaisons ″hydrogène″. De tels hydrates sont nommés "semi-clathrate hydrates". Évidemment, des données d'équilibres de phase fiables et précises, des modèles thermodynamiques acceptables, et d'autres études thermodynamiques sont requises pour concevoir des procédés de séparation efficaces utilisant la technologie mentionnée ci-dessus. Dans ce but, des équilibres de phase de clathrate/semi-clathrate hydrates de de divers mélanges avec des gaz contenant CO2 (CO2 + CH4/N2/H2) ont été mesurés, ici, en présence d'eau pure et de solutions aqueuses de TBAB. La partie théorique de la thèse présente un modèle thermodynamique développé avec succès sur la base de la théorie des solutions solides de van der Waals et Platteeuw (vdW-P) associée aux équations modifiées de la détermination des constantes de Langmuir des promoteurs d'hydrates pour la représentation/prédiction des équilibres en présence de ″semi-clathrate hydrates″ de CO2, CH4, et N2. Plusieurs tests de cohérence thermodynamique basés soit sur l'équation de Gibbs-Duhem, soit sur une approche statistique ont été appliqués aux données d'équilibre de phase des systèmes de ″clathrate hydrates″ simples/mélanges afin de statuer sur leur qualité.

Cette thèse vise à contribuer au développement des connaissances concernant la convergence au sein des équipes dirigeantes et pour cela à distinguer entre la convergence des actions et celles des affects. En outre, la thèse essaie, grâce à la mise en place d'un système formel de gestion, de comprendre l'interaction entre ces deux dimensions et leurs effets sur les résultats des entreprises. Pour cela, cette thèse propose d'analyser la convergence en faisant la différence entre la cohérence et la cohésion. La cohérence correspond au degré d'articulation des différentes fonctions des éléments d'un groupe qui permet, à travers la réalisation des objectifs individuels, d'atteindre les objectifs collectifs. La cohésion correspond au degré d'adhésion volontaire des membres du groupe à un idéal, une aspiration ou un sentiment communs, qui leur permet de se renforcer émotionnellement les uns les autres et ainsi de faire face, comme un tout, aux difficultés qu'ils rencontrent. La cohérence relève donc du champ des faits et des actions quand la cohésion relève des valeurs, des sentiments et des affects. L'approche méthodologique a multiplié les sources de données qualitatives (observation participante et entretiens en profondeur) et quantitatives (questionnaires structurés et fermés) en s'appuyant sur une démarche de recherche-action, complétée par un schéma expérimental destiné à améliorer la validité et le degré de généralisation des résultats et permettant de mesurer les effets de l'intervention du chercheur. Ce protocole a été appliqué à trois moyennes entreprises hôtelières mexicaines. La thèse a ainsi pu mettre en évidence l'existence d'une relation hélicoïdale entre la cohérence et la cohésion et montrer comment un système formel de gestion pouvait améliorer ces dernières. Elle a principalement démontré que: * une cohésion minimale était une condition nécessaire de la cohérence, * la cohérence sanctionnée par des conséquences positives peut contribuer à augmenter l'adhésion des participants et améliorer la cohésion, * l'amélioration de la cohésion, en engendrant une atmosphère conviviale, peut contribuer à améliorer la cohérence, * il est possible à travers la mise en place d'un système formel de gestion, de développer à la fois la cohérence et la cohésion. La thèse essaie de proposer à la fois un apport conceptuel (la distinction entre cohérence et cohésion), un apport méthodologique (l'établissement de la complémentarité entre la recherche-action et la méthode expérimentale) et un apport pratique (la proposition de solutions opérationnelles pour améliorer la cohérence et la cohésion)

Nous avons étudié la cohérence excitonique dans le poly[N- 9’-heptadecanyl-2,7-carbazole-alt-5,5-(4,7-di-2-thienyl-2’,1’,3’-benzothiadiazole] (PCDTBT). À l’aide d’un modulateur spatial de lumière, nous avons forgé des impulsions lasers ultracourtes permettant de sonder les cohérences du système. Nous nous sommes concentrés sur les propriétés cohérentes des états excitoniques, soit le singulet et l’état à transfert de charge. Nous avons observé que 35 fs après l’excitation, le singulet et l’état à transfert de charge sont toujours cohérents. Cette cohérence se mesure à l’aide de la visibilité qui est de respectivement environ 10% et 30%. De plus, nous avons démontré que les mécanismes permettant de générer du photocourant dans de tels dispositifs photovoltaïques ne sont déjà plus cohérents après 35 fs. Ces mesures révèlent une visibilité inférieure à 3%, ce qui est en deçà de la précision de nos instruments. Nous concluons donc que les états à transfert de charge ne sont pas les états précurseurs à la génération de photocourant, car ceux-ci se comportent très différemment dans les mesures de cohérences. / We have studied the excitonic coherences in poly[N- 9’-heptadecanyl-2,7-carbazole-alt-5,5-(4,7-di-2-thienyl-2’,1’,3’-benzothiadiazole] (PCDTBT). Using a spacial light modulator, we shaped ultrafast laser pulses allowing us to probe the system’s coherences. We focused our strength on studying coherences of excitonic states : the singlet and the charge transfer state. We have observed that that 35 fs after excitation, these states are still coherent. This coherence is measured via the visibility that is of abot 10% and 30% respectively. Furthermore, we have shown that the coherence in states generating photocurrent has already vanished after 35 fs. Our data reveals a visibility smaller than 3%, which is lower our instruments resolution. We therefore conclude that the charge transfer states are not precursor states to photocurrent generation, because of their different visibility behavior.

Cette thèse aborde le problème de la vérification automatique de systèmesparamétrés complexes. Cette approche est importante car elle permet de garantircertaines propriétés sans connaître a priori le nombre de composants dusystème. On s'intéresse en particulier à la sûreté de ces systèmes et on traitele côté paramétré du problème avec des méthodes symboliques. Ces travauxs'inscrivent dans le cadre théorique du model checking modulo théories et ontdonné lieu à un nouveau model checker : Cubicle.Une des contributions principale de cette thèse est une nouvelle technique pourinférer des invariants de manière automatique. Le processus de générationd'invariants est intégré à l'algorithme de model checking et permet de vérifieren pratique des systèmes hors de portée des approches symboliquestraditionnelles. Une des applications principales de cet algorithme estl’analyse de sûreté paramétrée de protocoles de cohérence de cache de tailleindustrielle.Enfin, pour répondre au problème de la confiance placée dans le model checker,on présente deux techniques de certification de notre outil Cubicle utilisantla plate-forme Why3. La première consiste à générer des certificats dont lavalidité est évaluée de manière indépendante tandis que la seconde est uneapproche par vérification déductive du cœur de Cubicle. / This thesis tackles the problem of automatically verifying complexparameterized systems. This approach is important because it can guarantee thatsome properties hold without knowing a priori the number of components in thesystem. We focus in particular on the safety of such systems and we handle theparameterized aspect with symbolic methods. This work is set in the theoreticalframework of the model checking modulo theories and resulted in a new modelchecker: Cubicle.One of the main contribution of this thesis is a novel technique forautomatically inferring invariants. The process of invariant generation isintegrated with the model checking algorithm and allows the verification inpractice of systems which are out of reach for traditional symbolicapproaches. One successful application of this algorithm is the safety analysisof industrial size parameterized cache coherence protocols.Finally, to address the problem of trusting the answer given by the modelchecker, we present two techniques for certifying our tool Cubicle based on theframework Why3. The first consists in producing certificates whose validity canbe assessed independently while the second is an approach by deductiveverification of the heart of Cubicle.

Dans les analyses d'interaction sol-structure (ISS), la pratique commune en génie civil est de considérer un mouvement uniforme du champ libre à tous les points situés à la surface du sol. Néanmoins, cette considération n'est pas tout à fait réaliste parce que les signaux sismiques sont spatialement différents grâce à l'effet de passage d'ondes, à l'effet de site et aussi aux dispersions et réflexions des ondes qui propagent dans des milieux hétérogènes aléatoires ("incohérence pure"). Ainsi, pour répondre aux problèmes de sécurité des bâtiments et équipements, il est important de faire une analyse d'interaction sol-structure dans la manière plus réaliste. Cela peut être acquis par prendre en compte la variabilité spatiale du champ sismique dans les études d'ISS. Un grand nombre d'études dans la littérature montrent que la prise en compte de la variabilité spatiale du champ sismique dans les études d'ISS peut avoir des effets importants sur la réponse de structures. L'incohérence spatiale du champ sismique due aux dispersions et réflexions des ondes (incohérence pure) peut généralement être modélisée pour ce genre d'études dans le cadre probabiliste par une fonction de cohérence. Le but principal des études réalisées dans cette thèse de doctorat est de construire une description stochastique de la variabilité spatiale du champ sismique par un modèle de cohérence. Ce modèle devrait avoir une relation avec les propriétés physiques et statistiques de milieux considérés. En s'appuyant sur les analyses théoriques de la propagation des ondes sismiques dans des milieux hétérogènes aléatoires, les analyses des données expérimentales obtenues par des enregistrements sur des sites sismiques, ainsi que sur les modélisations numériques de propagation des ondes sismiques dans des milieux hétérogènes aléatoires, un modèle de cohérence est validé dans le cadre des études de cette thèse de doctorat pour représenter la variabilité spatiale du champ sismique dans les études d'interaction sol-structure. L'influence de la variabilité spatiale du champ sismique sur la réponse de structure est également analysée. / In seismic soil-structure interaction studies (SSI), the common practice in Civil Engineering is to consider a uniform movement of free field at any point on the ground surface. However, that assumption is not completely realistic since the seismic ground motions can vary spatially due to wave passage effects, dispersions and reflections of wave propagating in the random heterogeneous media "pure incoherence" and site effects. Therefore, in order to increase the security of buildings and equipment, it is important to do an analysis of seismic soil-structure interactions in the most realistic way. This can be achieved by taking into account the spatial variability of seismic ground motions. Several studies in the literature show that taking into account the spatial variability of seismic ground motions in SSI analyses can have remarkable effects on the structural responses. The spatial incoherence of seismic ground motions due to dispersions and reflections of wave "pure incoherence" can generally be modelled in such analysis by a "coherency function" in frequency domain. The principal goal of this Ph.D thesis is to construct a stochastic description of spatial variability of seismic ground motions by means of coherency functions. Accurately, it aims to propose a parametrical coherency model of spatial variability of seismic ground motions. This later should be related to some physical and statistical properties of the soil at the application sites so that it can be applied in any types of sites. Based on theoretical considerations on coherency of seismic wave propagation in random heterogeneous media, on experimental data analyses, and on numerical modelling of seismic wave propagation in random heterogeneous media, a coherency model is validated and proposed for the analyses of soil-structure interactions. The influence of spatial variability of seismic ground motions on the structural responses are also pointed out by using the validated coherency model.

Notre thèse vise à interpréter le décousu du discours moral de Diderot depuis son voyage à Saint-Pétersbourg jusqu’à sa mort (1773-1784), à l’aide de quatre disciplines : analyse de controverses, logique, épistémologie et herméneutique. Le philosophe vieillissant a fait l’objet d’une triple critique : incohérence philosophique, hypocrisie morale et décousu stylistique. Cette image d’une girouette un peu sénile et un peu lâche est pour partie le résultat d’une lecture simplificatrice, initiée par les Antiphilosophes dès l’époque des Lumières, et pour partie le résultat d’une écriture et d’une pensée plurielle, dont la complexité échappe. Le philosophe vieillissant étudie la morale de différents points de vue complémentaires ou antagonistes, oscillant entre la recherche d’une norme universelle du bien et l’étude des circonstances qui font varier les comportements. Nous proposons de lire son œuvre ultime à l’aune de l’encyclopédisme comme une anamorphose jouant de plusieurs thèmes, savoirs et écritures. La cohérence de sa morale dépend alors du point de vue que le lecteur ou le critique adopte. Diderot, conscient que la multiplicité des regards et des styles qu’il propose sur la morale risque d’en troubler la cohérence, réfléchit, dans l’Essai sur les règnes de Claude et de Néron, à une éthique de l’interprétation. Il propose un mode lecture de l’œuvre et la vie de Sénèque qui vaut aussi pour son époque et pour lui-même. Loin de dissoudre l’exigence d’une morale universelle dans l’infinie variation des cultures, des circonstances et des langues, l’interprétation bienveillante rapproche les cultures autant que les différentes conceptions du bien. / This thesis attempts to interpret Diderot’s disjointed style in ethics, from his trip to Saint-Petersburg until his death (1773-1784), with the help of four disciplines: analysis of the controversies, logic, epistemology and hermeneutic. In the late period, Diderot was criticised for incoherence, moral hypocrisy and ragged writing. On one hand, this image was the result of simplistic reading, initiated by the Counter-Enlightenment. On the other, it comes from a plural way of writing and thinking. The aging philosopher studied ethics from different points of view, oscillating between the search for universal rules and the study of varying circumstances. Considering Diderot’s encyclopedism, this thesis proposes reading the late work as an anamorphosis playing on several themes, knowledge and writings. The consistency of his ethics will therefore rely on the reader’s perspective. Diderot was well aware of the plural reading of his complex work. To counter misinterpretations, he reflected on a moral way to interpret Seneca in his Essai sur les règnes de Claude et de Néron. This practice of interpretation applied as much for Diderot himself as it did for his period. Far from dissolving the need for a universal moral truth in an infinite variation of cultures, circumstances and languages, the philosopher instead tried to bring together these cultures as well as different conceptions of good and evil.