La radiothérapie utilise des faisceaux de particules dans le but d'irradier et d'éliminer les tumeurs cancéreuses tout en épargnant au maximum les tissus sains. La perte d'énergie en forme de pic de Bragg des protons dans la matière permet une amélioration balistique du dépôt de la dose par rapport aux rayons X. Le volume irradié peut ainsi être précisément ajusté au volume tumoral. Cette thèse, dans le cadre du projet RACCAM, vise à étudier et à mettre au point le design d'une installation de protonthérapie basée sur un accélérateur de particules à champ fixe et à gradient alterné FFAG dans le but de construire un aimant FFAG à secteur spiral pour validation. Nous présentons tout d'abord la protonthérapie pour définir un cahier des charges médicales définissant les critères techniques d'une installation de protonthérapie. Puis nous introduisons les accélérateurs FFAG par une présentation des projets passés et en cours dans le monde avant de développer la théorie de la dynamique faisceau dans le cas de l'optique à focalisation invariante. Nous décrivons ensuite les outils de modélisation et simulation mis au point pour étudier cette dynamique faisceau dans une optique FFAG à focalisation invariante et à secteur spiral. Nous expliquons par la suite la recherche des paramètres de l'optique ayant abouti à la construction d'un aimant prototype. Enfin, nous décrivons l'installation de protonthérapie du projet RACCAM depuis le cyclotron injecteur jusqu'au système d'extraction.

Les échographies de cerveau chez l'adulte sont aujourd'hui de pauvre qualité à cause de l'os du crâne qui absorbe et défocalise fortement les ultrasons. Il est possible de focaliser des ultrasons à travers le crâne en émettant un front d'onde déformé qui, après passage de l'os du crâne, reforme un front d'ondes focalisant. Le calcul des déformations à appliquer au front d'ondes émis se fait par retournement temporel ou par filtre inverse, deux techniques basées sur la mesure et le traitement de fonctions de Green entre les transducteurs de la barrette d'imagerie et les points focaux désirés. Il est nécessaire de disposer des transducteurs ultrasonores au cœur du milieu à imager pour mesurer ces fonctions de Green, ce qui interdit l'application directe de ces techniques pour l'imagerie médicale. Nous montrons ici comment modifier ces techniques de focalisation pour les rendre non intrusives : filtre inverse et retournement temporel non intrusifs améliorent la qualité d'échographies transcrâniennes. La problématique de la thèse : « comment focaliser de manière adaptative à travers un milieu aberrateur sans placer de transducteurs ultrasonores dans le milieu à imager ? », nous a conduit à nous demander « comment avoir accès aux déformations de l'onde transmise à partir de l'analyse de signaux réfléchis par l'aberrateur (mesurables de manière non intrusive)? » Nous avons mis en évidence le lien qui existe entre filtre inverse et cavité à retournement temporel, via les équations de Stokes. D'autre part, nous avons posé les bases d'une manière de rendre le filtre inverse minimalement intrusif, ouvrant des perspectives intéressantes dans le domaine des télécommunications.

Dans le cadre des études sur l'endommagement laser liées au projet Mégajoule, nous analysons le couplage entre l'auto-focalisation induite par effet Kerr et la rétrodiffusion Brillouin stimulée pour des impulsions de durée nanoseconde se propageant dans des échantillons de silice. L'influence de la puissance d'entrée, des modulations de phase ou d'amplitude ainsi que la forme spatiale du faisceau sur la dynamique de filamentation est discutée. Nous montrons qu'une modulation d'amplitude appropriée divisant l'impulsion incidente en train d'impulsions de l'ordre de la dizaine de picosecondes supprime l'effet Brillouin pour toute puissance incidente mais réduit notablement la puissance laser disponible. A l'inverse, des impulsions modulées en phase avec une largeur spectrale comparable peuvent subir de la filamentation multiple et une auto-focalisation à distance plus courte causées par des instabilités modulationnelles. Nous démontrons cependant l'existence d'une largeur spectrale critique à partir de laquelle la rétrodiffusion peut être radicalement inhibée par une modulation de phase, même pour des fortes puissances. Cette observation reste valide pour des faisceaux de forme carrée avec des profils spatiaux plus larges, qui s'auto-focalisent beaucoup plus rapidement et se brisent en filaments multiples sur de courtes distances. L'inclusion de la génération de plasma pour limiter la croissance des ondes pompe et Stokes est finalement abordée.

Voir en dernière page du pdf

Cette thèse présente le travail réalisé sur la source harmoniques du LOA à partir d'une chaine Titane-Saphir kHz. Cette étude s'inscrit dans la perspective d'observer des effets non linéaires dus à l'interaction d'un faisceau harmonique intense focalisé sur cible solide. Nous présentons l'étude de l'optimisation de cette source, qui permet de générer efficacement des harmoniques en limite d'absorption. Un cadre complet d'étude de ces conditions d'optimisation du point de vue théorique et expérimental est défini avec notamment une explication détaillée de l'importance de la diaphragmation du faisceau infrarouge. Nous montrons également comment la technique des algorithmes génétiques a été utilisé par le controle de la phase spectrale du laser de pompe. Nous concluons sur la focalisation des harmoniques.

Les variations de l'indice de réfraction d'origine électronique, proportionnelles au nombre d'ions actifs du matériau laser portés dans leur état excité et à la variation de polarisabilité entre le niveau excité et le niveau fondamental, peuvent avoir un impact considérable sur les propriétés spatio-temporelles des résonateurs laser. Il est ainsi nécessaire de disposer de méthodes sensibles afin de les évaluer. Ce travail de thèse est donc centré autour de la métrologie de ces effets dits " de population ", afin d'être en mesure de mieux appréhender le comportement des lasers à solide voire d'être capable d'utiliser ces effets pseudo-nonlinéaires pour diverses applications. La première partie de cette thèse consiste donc à quantifier les effets de population dans des cristaux laser dopés Chrome et Ytterbium à l'aide de la technique Z-scan. Dans cette optique, nous avons donc mis en place en expérience résolue en temps afin de nous affranchir des effets thermiques, phénomène inhérent à tout processus de pompage optique. Nous avons par la suite mis au point une technique originale, appelée Baryscan, permettant de mesurer de très faibles variations d'indice et d'atteindre une sensibilité parmi les plus grande rencontrée à ce jour. Cette technique est basée sur l'utilisation d'un Position Sensitive Detector (PSD) et les propriétés non-linéaires des cristaux sont déduites de l'évolution du barycentre du faisceau laser pompe-sonde. Nous présentons de plus des résultats concernant la focalisant diffractive de faisceaux laser à l'aide d'optiques de phase ainsi que des techniques de mise en forme permettant de forcer une cavité laser à osciller sur le mode transverse souhaité.

Le développement de techniques de focalisation et d'imagerie à haute résolution pour les sources acoustiques et vibratoires à basse fréquence est l'un des enjeux de la recherche actuelle en acoustique, notamment pour exciter localement et analyser des structures vibroacoustiques complexes tout en conservant des propriétés de haute résolution. Ces propriétés sont nécessaires lorsque la taille des objets étudiés est plus petite que la longueur d'onde mise en jeu. Nous désirons une méthode flexible, rapide, précise, non invasive, et unifiée d'excitation et d'analyse. Celle-ci doit être applicable tant dans le domaine des vibrations dans les structures que dans le domaine des ondes acoustiques tridimensionnelles. Pour cela, nous nous basons sur la technique du puits à retournement temporel, qui n'a, à ce jour, été mise en oeuvre que pour la focalisation d'ondes de Lamb dans une cavité ergodique ou avec des ondes électromagnétiques. Aucune technique d'imagerie n'a, avant cette thèse, été dérivée du puits à retournement temporel. La méthode du puits à retournement temporel est adaptée pour la focalisation à basse fréquence. Elle permet d'exciter localement une structure avec une grande intensité, et possède des capacités de super-résolution. Malgré tout, nous démontrons que cette méthode est difficilement applicable en situation pratique, puisqu'elle fait perdre le caractère non invasif nécessaire à la plupart des applications. En revanche, nous présentons dans ce manuscrit une technique nouvelle d'imagerie de sources vibratoires et acoustiques, basée sur le puits à retournement temporel. Cette technique non invasive d'imagerie, utilisant des dispositifs de mesure similaires aux techniques de formations de voies ou d'holographie en champ proche, permet d'obtenir une image des sources vibratoires ou acoustiques à très haute résolution de manière rapide. L'approche de cette nouvelle méthode d'imagerie est décrite. Des applications à l'imagerie de sources d'impact sur une plaque encastrée, ainsi qu'à l'imagerie de sources acoustiques en champ libre et en milieu sous-marin profond sont proposées. Une application à l'imagerie de sources acoustiques à basse fréquence sur une guitare est développée. Ces résultats représentent les premières applications de l'imagerie par puits à retournement temporel numérique. Les limites, la théorie, et la mise en oeuvre de cette technique d'imagerie à haute résolution sont étudiées et détaillées. Il est démontré que cet outil possède des performances et des limites similaires à l'holographie en champ proche, tout en dépassant les capacités à basse fréquence des techniques classiques de localisation limitées en résolution couramment utilisées, comme le beamforming ou le retournement temporel.

Dans beaucoup de situations réelles, qui vont du domaine des transports (moteurs fusée, avions et automobiles), en passant par la production d'électricité (centrale thermique) ou encore de la thermique (chaudière, fours industriels, foyers domestiques...), le prémélange turbulent entre l'air et la combustible conduit généralement à une hétérogénéité du mélange. En conséquence, la richesse du mélange est variable à la fois dans le temps et dans l'éspace, produisant une combustion sous la forme de flamme partiellement prémélangées, loin des cas classiques prémélangé et de diffusion. Dans cette thèse, on s'intéresse plus particulièrement aux effets des hétérogénéités de richesse sur la structure locale (en terme de courbure, d'épaisseur, d'étirement, de plissement, de fraction molaire de combustible) de ce type de flamme. Deux configurations expérimentales, stationnaire et instationnaire (présentant chacune leurs avantages) sont alors étudiées. Une méthode expérimentale est proposée afin de mesurer simultanément la température de la flamme et la fraction molaire, dont son originalité repose sur sa capacité à corriger l'influence de la température sur l'efficacité des mesures de PLIF sur acétone. L'étude des flammes laminaires montre que la flamme est fortement influencée par la stratification, notamment en terme de configuration géométrique pour la flamme instationnaire. Mais aussi du point de vue de l'épaisseur pour la flamme stationnaire. L'évolution de l'épaisseur en fonction de l'étirement présente une modification notable avec un changement de pente en fonction du nombre de Lewis. De plus, il est montré que la flamme se propage dans un milieu très pauvre (en dessous des limites d'inflammabilités) du fait du soutien de la flamme dû au réservoir chimique et thermique induit.<br />L'étude du comportement est poursuivie dans la seconde partie, pour deux turbulences de grilles données, où la comparaison est effectuée entre des flammes de prémélanges homogènes et hétérogènes, et ce pour différentes fractions molaires de combustible et niveaux de fluctuations. Elle montre qu'il existe une modification de la structure de la flamme non seulement par l'étirement local mais aussi par les variations de la vitesse de flamme avec la composition du mélange. Ceci introduit un étirement additionnel Kpp non négligeable notamment lorsque la richesse le long du front de flamme est faible.

Cette thèse s'intéresse à l'usage des formalismes d'inférence profonde comme fondement des interprétations calculatoires des systèmes de preuve, en suivant les deux approches principales: celle des preuves comme programmes et celle de la recherche de preuve comme calcul. La première contribution est le développement d'une famille de systèmes de preuve pour la logique intuitionniste dans le calcul des structures et dans les séquents imbriqués. pour lesquels des procédures de normalisation internes sont fournies. L'une de ces procédures est alors interprétée en termes calculatoires, comme un raffinement de la correspondance de Curry-Howard permettant d'introduire une forme de partage ainsi que des opérateurs de communication dans un lambda-calcul avec substitution explicite. Du coté de la recherche de preuve, la notion de preuve focalisée en logique linéaire est transférée du calcul des séquents au calcul des structures, où elle induit une forme incrémentale de focalisation, dotée d'une preuve de complétude très simple. Enfin, une autre interprétation de la recherche de preuve est donnée par l'encodage de la réduction d'un lambda-calcul avec substitution explicite dans les règles d'inférence d'un sous-système de la logique intuitionniste dans le calcul des structures.

Contrairement à la capture tactile multi digitale déjà largement répandue, il n'existe pas de solution superposable à un écran permettant l'affichage localisé d'informations perceptibles au toucher. On propose dans ce travail de thèse une approche basée sur la focalisation d'ondes de flexion dans une plaque mince. Cette focalisation, obtenue suivant le procédé de retournement temporel, permet de produire une stimulation tactile localisée en un ou plusieurs points d'une plaque transparente à partir d'un ensemble d'actionneurs situés sur son contour. Le dimensionnement de l'interface s'appuie en premier lieu sur l'étude du contraste de focalisation et sa sensibilité à la température. D'autres critères de dimensionnement sont étudiés tels que les résolutions spatiale et temporelle, la fréquence de répétition de la focalisation, le bilan énergétique ou le bruit audible généré. Le retournement temporel synthétique, permettant la focalisation en tout point de la surface à partir d'un apprentissage en un ensemble fini de points du contour est adapté au cas des plaques minces. Un démonstrateur est assemblé et caractérisé. On obtient sur une plaque d'épaisseur 0.5 mm un déplacement au point de focalisation jusqu'à 7 µm, pour une tache de focalisation d'un diamètre de 5 mm. La focalisation simultanée en plusieurs points est également obtenue expérimentalement. On propose finalement un modèle pour la prise en compte de la perturbation de la focalisation par le contact avec un ou plusieurs doigts. Une étude de perception montrant la possibilité de détecter et de discriminer le stimulus tactile produit conclue ce travail.