L'alpha-radiothérapie est une technique particulièrement innovante de thérapie des cancers, tout en étant complémentaire des thérapies déjà existantes. Elle repose sur l'utilisation d'un vecteur spécifique (anticorps ou peptide) de la cellule cible à détruire, radiomarqué par un élément radioactif émetteur alpha. L'astate 211 est un candidat particulièrement intéressant compte tenu de l'énergie des particules α qu'il émet et de sa période physique (7,2 h). L'une des voies de marquage envisagée est l'utilisation de l'astate à un degré d'oxydation supérieur à zéro en tant que cation. En effet, l'astate est supposé présenter un caractère plus métallique que les autres halogènes du fait de son positionnement dans le tableau périodique. Cette voie de marquage a été peu abordée dans la littérature en raison du manque de données sur la chimie de l'astate aux degrés d'oxydation supérieurs à zéro. Le but de ce travail était donc d'explorer cette propriété de l'astate via la construction du diagramme Eh, pH (ou diagramme de Pourbaix) en milieu aqueux non complexant. Pour ce faire, ce travail s'est appuyé sur une double approche expérimentale / théorique. L'approche expérimentale utilise des méthodes dites de compétition pour identifier les espèces formées et les constantes thermodynamiques des équilibres étudiés. L'approche théorique utilise des méthodes de chimie computationnelle et fournie des informations à l'échelle moléculaire sur les systèmes étudiés afin de prédire les données thermodynamiques qui servent de support et complément à l'approche expérimentale. Un résultat important de ce travail montre la présence de deux espèces cationiques stables de l'astate en solution aqueuse, At+ et AtO+.

LaNi5 (structure type CaCu5) est l'un des composés intermétalliques les plus étudiés pour le stockage de l'hydrogène. Les propriétés d'hydrogénation peuvent être modifiées en substituant le nickel ou le lanthane par d'autres éléments. Un modèle géométrique empirique relie la stabilité de l'hydrure au volume du composé intermétallique ternaire : plus le volume est grand, plus l'hydrure est stable. La substitution par le platine contredit pourtant ce modèle. Nous étudions les effets de la substitution du nickel par des éléments 4d et5d, voisins du platine (M=Ru, Rh, Pd, Ag, Re, Os, Ir, Au) afin de déterminer l'origine de l'anomalie constatée. Nous avons synthétisé et caractérisé plusieurs composés LaNi5−xMx afin de déterminer la limite de solubilité de l'élément M dans la phase type CaCu5, ainsi que la nature des phases avoisinantes dans les diagrammes de phases ternaires. Ces éléments modifient fortement les propriétés d'hydrogénation. Comme dans le cas du platine, les substituants étudiés contredisent le modèle géométrique. Afin d'apporter des éléments de réponse à ces anomalies, le système LaNi5−xPdx-D2 est étudié par diffraction de neutrons in situ, ce qui permet la détermination du diagramme de phases LaNi5−xPdx-D2. Les structures cristallographiques des hydrures sont caractérisées : une mise en ordre des atomes métalliques et/ou de deutérium conduit à la formation de différentes surstructures. L'origine de l'anomalie est également recherchée à travers la structure électronique des composés et de leurs hydrures. Une étude théorique par calculs ab initio est ainsi menée en accord avec les résultats expérimentaux. La déstabilisation des hydrures s'explique par la forte stabilisation du composé intermétallique ternaire.

Cette thèse est une contribution à l'étude des arrangements. L'idée est le calcul de la combinatoire d'un arrangement de courbes ou surfaces compte tenu du fait que les données et les opérations ne seront connues qu'à une précision près. Dans cette démarche, il se pose un problème qui est de savoir si la combinatoire d'un arrangement est stable lorsque les éléments constitutifs sont perturbés. Un préliminaire indispensable est alors d'établir une définition rigoureuse adaptée à nos besoin concernant l'équivalence des arrangements. Le travail consiste essentiellement en un développement des notions mathématiques nécessaires pour étudier l'équivalence, la construction, les perturbations d'arrangements. Quelques résultats en terme d'analyse de complexité sont également énoncés. Des résultats sont obtenus sur les perturbations d'arrangements d'hyperplans en dimension quelconque. Dans le plan est étudiée une méthode particulière de calcul des arrangements des courbes, avec un exemple détaillé sur les cercles. Utilisant des transformations classiques de dualité, des applications des propriétés d'équivalence des arrangements d'hyperplans aux configurations de points et aux diagrammes de Voronoï sont aussi données

Les sémantiques de jeux s'attachent à caractériser le comportement interactif des preuves et des programmes, en les modélisant par des stratégies qui décrivent la façon dont ils réagissent à leur environnement. Afin de prendre en compte les aspects concurrents des preuves en logique linéaire, nous avons été amenés à retravailler les notions et techniques classiques de sémantique des jeux pour les étendre à un cadre asynchrone et non-alterné. Dans une première partie, nous définissons une famille de stratégies asynchrones donnant lieu à un modèle de logique linéaire, pleinement complet pour le fragment multiplicatif. Ces stratégies sont définies de façon locale par une série d'axiomes diagrammatiques ; elles sont ensuite raffinées par un critère dynamique d'ordonnancement, dont nous montrons qu'il impose une version orientée du critère de correction des réseaux de preuve. Cette formulation asynchrone permet d'unifier des modèles variés de la logique linéaire - aussi bien séquentiels que concurrents, dynamiques que statiques - où les preuves sont vues comme des stratégies séquentielles, des stratégies concurrentes, des relations ou des structures d'événements. Dans une seconde partie, nous abordons une autre approche pour décrire la causalité induite par les preuves et introduisons une sémantique de jeux capturant les dépendances engendrées par les connecteurs du premier ordre en logique propositionnelle. Nous montrons que la catégorie résultante peut être finiment présentée par un 2-polygraphe et étudions la possibilité d'orienter cette présentation en un système de réécriture confluent, notamment en introduisant un algorithme d'unification dans ce cadre 2-dimensionnel.

La découverte de nouvelles physiques, grâce à la détection de nouvelles particules au LHC, pourra être effectuée si le bruit de fond est bien connu. La plupart du temps il est constitué d'un grand nombre de processus multi-particules, et pour avoir une prédiction fiable, il faut le calculer à l'ordre au delà des logarithmes dominants, qui nécessite le calcul de diagrammes à une boucle. Par des méthodes classiques de réduction, il devient difficile de calculer ces diagrammes avec plus de cinq pattes externes. Néanmoins, de nouvelles techniques de calcul de boucles ont été développées. Elles sont basées sur deux principes fondamentaux de la physique: l'unitarité et la causalité.<br />Cette thèse consiste à combiner la méthode des amplitudes d'hélicités et les méthodes d'unitarité pour créer une procédure systématique de calcul d'amplitude d'un diagramme à une boucle. Cette procédure a été appliquée à l'amplitude à six photons avec une boucle de fermions non massifs puis généralisée, dans certains cas, avec une boucle massive. Les résultats très compacts obtenus sont la preuve de la puissance de cette méthode.<br />D'autres part ces résultats compacts ont permis l'étude des singularités de Landau particulières aux processus à six pattes externes sans masse: le "double parton scattering". Elles correspondent à une configuration cinématique particulière dans laquelle la boucle virtuelle tend vers deux sous processus physiques d'annihilations. Dans le cas du processus à six photons, ce type de singularités n'engendre pas de divergences.<br />La section efficace du processus à six photons dans des cas réels a été calculée numériquement.

Nous avons étudié la croissance de contacts cellulaires asymétriques: les jonctions adhérentes et les contacts focaux. Nous avons montré par des expériences d'imageries, de micromanipulation, et d'altération des assemblages cellulaires, que la brisure de symétrie des jonctions adhérentes entre des cellules apparemment identiques s'explique par des rôles différents du cytosquelette d'actine des deux cellules formant le contact. Une cellule «donneuse» polymérise de l'actine, ce qui amène les membranes cellulaires en contact. La cellule «receveuse» assemble des faisceaux contractiles d'acto-myosine qui exercent localement des forces sur les jonctions et régulent leur longueur. Des courbes de croissance de ces jonctions adhérentes ont par ailleurs été mesurées pour des cellules soumises à des augmentations contrôlées de force contractile par incubation dans le nocodazole. L'ajustement des courbes de croissance expérimentales par des lois théoriques a permis de déterminer les forces contractiles mises en jeu par la cellule «receveuse». Le tracé du diagramme force-extension des jonctions adhérentes a pu donc être réalisé pour la première fois et par une méthode non-invasive. Les approches biologiques pour l'identification des assemblages en jeu et physiques pour l'ajustement des lois de croissance ont l'une et l'autre montré que les contacts entre cellules se renforcent localement à la manière des contacts focaux. Nous avons enfin observé la dynamique interne des contacts focaux en croissance par TIRFM pour différentes protéines participant au contact (fibronectine, intégrine, vinculine, actine) afin de proposer un mécanisme de mécanosension.

L'hydrolyse de microfibrilles de cellulose par l'acide sulfurique permet d'obtenir des suspensions stables de microcristaux aussi appelés "whiskers". Des whiskers de géométrie et de charge de surface différentes ont été préparés à partir de cellulose d'origines diverses (coton, Avicel, betterave et tunicier) et caractérisés par microscopie optique et électronique ainsi que par diffusion des rayons X aux petits et grands angles. L'influence de la géométrie des whiskers et de paramètres physico-chimiques sur leurs propriétés d'auto-organisation dans l'eau et dans des solvants organiques apolaires a ensuite été étudiée et les diagrammes de phases déterminés pour les deux types de systèmes. Des matériaux nanostructurés reproduisant les organisations hélicoïdales observées dans les organismes vivants ont été préparés à partir de whiskers de cellulose organisés en phase cholestérique, dispersés dans un solvant/monomère photopolymérisable.

La composition de spécifications modulaires peut être modélisée, dans le formalisme des catégories, par des colimites de diagrammes. La somme amalgamée permet en particulier d'assembler deux spécifications en précisant les parties communes. Notre travail poursuit cette idée classique selon trois axes. D'un point de vue syntaxique, nous définissons un langage pour représenter les spécifications modulaires construites à partir d'une catégorie de spécifications et de morphismes de spécifications de base. Ce langage est caracterisé formellement par une catégorie de termes finiment cocomplète. D'un point de vue semantique, nous proposons d'associer à tout terme un diagramme. Cette interprétation permet de faire abstraction de certains choix effectués lors de la construction de la spécification modulaire. Pour cela, nous définissons une catégorie de diagrammes ``concrète'', c'est-à-dire dont les flèches peuvent être manipulées effectivement. En considérant le quotient par une certaine congruence, nous obtenons une complétion de la catégorie de base par colimites finies. Nous montrons que le calcul du diagramme associé à un terme définit une équivalence entre la catégorie des termes et la catégorie des diagrammes, ce qui prouve la correction de cette interprétation. Enfin, nous proposons un algorithme pour décider si deux diagrammes sont isomorphes, dans le cas particulier ou la catégorie de base est finie et sans cycle. Cela permet de détecter des isomorphismes ``de construction'' entre spécifications modulaires, c'est-à-dire des isomorphismes qui ne dépendent pas des spécifications de base, mais seulement de la manière dont celles-ci sont assemblées.

TRANSITIONS DE MOUILLAGE DES ALCANES SUR L?EAU : rôle des interactions entre interfaces. Cette thèse étudie le rôle des interactions entre interfaces dans les transitions de mouillage à partir de l?étude expérimentale du mouillage des alcanes sur l?eau. Effectuée par ellipsométrie, cette étude confirme que, dans les systèmes considérés, la transition de mouillage entre l?état de mouillage partiel, aux basses températures, et l?état de mouillage complet, aux températures élevées, est remplacée par la succession de deux transitions : une transition de mouillage du premier ordre suivie d?une transition de mouillage critique. L?état de mouillage intermédiaire observé entre les deux transitions est appelé " état de mouillage complet frustré ", car il correspond à l?observation d?un film de mouillage mésoscopique, que seules les interactions de van der Waals empêchent d?être macroscopique. La température expérimentale de transition de mouillage du premier ordre est en bon accord avec un calcul effectué dans le cadre de la théorie phénoménologique de Cahn, modifiée pour tenir compte des états de faible adsorption. La transition de mouillage critique est due aux interactions intermoléculaires de van der Waals, qui engendrent une interaction effective entre interfaces. La théorie DLP permet de décrire théoriquement cette interaction entre interfaces et de calculer précisément la température de transition de mouillage critique. L?utilisation d?une molécule tensioactive, l?AOT, permet d?abaisser considérablement la tension interfaciale entre un alcane et l?eau, et d?augmenter ainsi l?amplitude des fluctuations thermiques de l?interface correspondante. Cela permet alors d?étudier quantitativement la répulsion entropique entre interfaces due à ces fluctuations thermiques, et son influence sur la transition de mouillage critique. Enfin, le taux de récupération de pétrole lors de son drainage par gravité à travers un milieu poreux hydrophile recouvert d?un film d?eau est mesuré en fonction de l?état de mouillage du pétrole sur son substrat aqueux.

Ce travail de thèse s'intéresse aux propriétés optiques de deux types de structures photoniques: les cavités de cristal photonique planaire et les opales, qui sont des cristaux photoniques à trois dimensions. Dans une première partie, les propriétés de résonances de cavités de type L3 sont étudiées à l'aide d'un dispositif original de spectroscopie de diffusion, qui permet une analyse des modes de cavité en polarisation et en longueur d'onde., ainsi que la détermination de leur facteur de qualité. Les résultats expérimentaux sont comparés à des calculs de FDTD 3D, avec un bon accord. Cette nouvelle méthode est appliquée à l'étude de l'influence de la géométrie de la cavité sur les modes, et met en évidence les paramètres à varier intéressants pour une ingénierie efficace de leurs propriétés. Dans une seconde partie, les propriétés de la bande interdite d'une opale sont étudiées par goniométrie optique. Les caractéristiques structurelles de l'échantillon sont déterminées par une méthode originale fondée sur l'étude du diagramme de bandes de l'opale. Ainsi, l'indice effectif de l'opale est déterminé par centrage de l'anticroisement expérimental au point K de la zone de Brillouin. L'accord avec les mesures ellipsométriques est satisfaisant.. Cette valeur de l'indice est capitalisée par l'interprétation de deux phénomènes mal compris dans la littérature jusqu'à présent: l'observation du pic de réflexion secondaire aux angles de détection spéculaire, et l'annulation du pic de réflexion de polarisation p aux angles proches de l'angle de Brewster.