La principale propriété des amines est leur basicité. Nous avons donc mesuré un type de basicité des amines non encore réellement étudié à ce jour, leur basicité de liaison H. Nous l'avons fait par la détermination des paramètres thermodynamiques, ∆G, ∆H et ∆S, de la réaction de formation de liaison H entre le 4-fluorophénol, et une centaine d'amines. Nous avons également déterminé l'échelle spectroscopique de basicité de liaison H, ∆ν(OH) et montrons que chacune des échelles ∆G, ∆H et ∆ν(OH) apporte sa contribution à la connaissance de la basicité des amines. L'étude de différents descripteurs empiriques (effets de substituants) et théoriques (potentiel électrostatique, variation d'énergie électronique par complexation) de la basicité de liaison H est réalisée. La lipophilie d'environ 150 bases azotées est modélisée avec succès à partir de seulement deux paramètres structuraux : le volume molaire et l'énergie de Gibbs de liaison H. Nous montrons également que l'échelle de basicité de liaison H est différente des échelles de basicité de Brönsted pKa en solution aqueuse ou GB en phase gazeuse. Dans ce contexte nous avons étudié l'aptitude de la nicotine et la nornicotine à former des liaisons H et à se protoner en phase gazeuse. En effet la nicotine possède une riche activité biologique et son pharmacophore est constitué d'un azote amino protoné et d'un azote pyridinique accepteur de liaison H. Nous montrons que l'azote sp3 est un second site accepteur de liaison H, pour la nicotine et la nornicotine, expliquant la lipophilie de ces bases. Le site de protonation de la nornicotine en phase gazeuse est l'azote sp2, très favorisé par une liaison intramoléculaire CHLN. Par contre les basicités protoniques des deux azotes de la nicotine semblent très peu différentes.

Selon le Larousse, un programme informatique est un "ensemble d'instructions et de données représentant un algorithme et susceptible d'être exécuté par un ordinateur." Une forte adéquation entre instructions et données est donc nécessaire afin d'éviter tout dysfonctionnement d'un programme. Nous nous sommes ainsi intéressés ces dernières années aux analyses statiques, réalisées avant l'exécution du programme, permettant de garantir que la manipulation des données se passera correctement. Nous illustrerons nos recherches sur ce thème en considérant trois grandes familles de données: les arbres non ordonnés, les arbres ordonnés (dont XML), et les programmes eux-mêmes en tant que données. Dans chacun de ces domaines, nous avons conçu des analyses statiques, sous forme de système de types ou de bisimulations, adaptés à plusieurs problématiques telles que la manipulation de messages dans un système à composants, les langages bidirectionnels, la manipulation de XML ou les calculs de processus d'ordre supérieur avec passivation.

De nombreuses stratégies thérapeutiques sont explorées pour trouver un traitement curatif aux gliomes de haut grade pour lesquels il n'existe pas de réelle solution. Parmi ces techniques, la radiothérapie apporte une réponse significative mais limitée par un effet différentiel insuffisant pour éradiquer la tumeur tout en préservant les tissus sains. La radiothérapie stéréotaxique par rayonnement synchrotron permet d'augmenter cet effet différentiel en augmentant localement la dose de rayonnement au niveau de la tumeur, par l'effet synergique d'une irradiation avec des rayons-X de basse énergie (< 100 keV) en présence d'un élément lourd préalablement incorporé à la tumeur. Ce travail de doctorat s'inscrit dans le cadre de la préparation des essais cliniques de radiothérapie stéréotaxique prévus au synchrotron de Grenoble. Le premier objectif de ce travail a été l'optimisation des paramètres l'irradiation basée sur une étude dosimétrique globale des plans de traitement. Nous avons notamment montré l'intérêt d'utiliser un nombre fini et apparié de faisceaux correctement pondérés pour homogénéiser la dose dans la tumeur. La suite de ces travaux a consisté en l'étude de la répartition des dépôts d'énergie à l'échelle cellulaire prenant en compte la distribution fine de l'élément lourd dans le tissu (micro-dosimétrie). Il est en effet crucial que les photoélectrons générés sur les atomes lourds, qui restent dans l'espace extracellulaire dans le cas des agents de contraste iodés, puissent atteindre les cibles cellulaires. Cette approche microdosimétrique a été comparée à des résultats de survie cellulaire obtenus in vitro, soit sur un modèle cellulaire 3D (cellules tumorales cultivées sous forme de sphéroïdes), soit sur des cellules irradiées en suspension dans un milieu iodé.

Du fait de la miniaturisation grandissante des circuits électroniques, la conception de système sur puce actuelle, se heurte au problème des latences sur les fils d'interconnexions traversant tout le circuit. Un système sur puce est un ensemble de blocs de calculs (les composants IP) qui s'échangent des données. Alors que la communication à l'intérieur de ces blocs de calculs peut toujours se faire de manière synchrone, c'est à dire s'abstraire comme une action instantanée, la communication d'un bloc de calculs à un autre prend un temps qui n'est pas négligeable. Il s'écoule plusieurs cycles d'horloge entre l'émission d'une donnée sur un fil d'interconnexion et sa réception. La théorie du Latency Insensitive Design créée par Luca Carloni et Alberto Sangiovanni-Vincentelli permet entre autre de résoudre ce problème en implantant un protocole de communication basé sur la segmentation des fils d'interconnexions et sur le principe de rétroaction en cas d'embouteillage. Dans un premier temps, nous avons donné un fondement théorique à cette théorie en la rapprochant formellement d'une modélisation par Marked/Event graph (Sous ensemble sans conflit des Réseaux de Pétri) et avec des places de capacité ; ce qui génère naturellement le protocole de contrôle de flux. Cette modélisation nous amène à la problématique principale de cet ouvrage: comment, et sous quelles conditions, peut on minimiser la taille des ressources de mémorisation utilisées comme tampons intermédiaires au long de ces fils d'interconnexions? Car leur nombre et leur position peuvent se révéler critique à l'implantation matérielle. Nous allons ensuite étudier cette question sous une hypothèse naturelle de déterminisme, ce qui permet d'obtenir des régimes de fonctionnement périodiques et réguliers. Le but de cette thèse est de modifier le protocole mis en place dans la théorie du Latency Insensitive Design en prenant en compte cette hypothèse. L'étude des systèmes déterministes et des résultats existant nous a permis une première phase de modification appelée: égalisation. L'étape suivante consiste à ordonnancer statiquement ces systèmes. Pour cela, nous avons choisi de représenter explicitement l'ordonnancement de chacun des éléments du système comme un mot binaire périodique où les "1" représentent les instants d'activités et les "0" d'inactivités tel que M. Pouzet et al. l'ont introduit dans le "N-synchronous Kahn network". Une étude approfondie des différentes classes de mots binaires existants (mot de Sturm, de Christoffel, de Lyndon ou encore mécaniques) a précédé leur association à la théorie du Latency Insensitive Design et au processus d'égalisation pour obtenir des systèmes déterministes ordonnancés statiquement.

La phosphinine, analogue phosphoré de la pyridine, possède des propriétés pi-acceptrices marquées qui en font un ligand de choix pour la stabilisation de complexes riches en électrons. Cette caracteristique particulière est au cœur du présent travail doctoral. Il a semblé en effet intéressant d'étudier en détail le comportement de la phosphinine vis-à-vis comportement vis-à-vis de la réduction, au sens le plus large du terme, c'est à dire apport d'électrons certes, mais aussi apport d'un groupement fonctionnel lui-même riche, par exemple par attaque nucléophile. Trois axes d'étude ont été retenus: la réduction électronique d'entités phosphinine, l'addition nucléophile sur la phosphinine et l'utilisation de la phosphinine comme ligand pour des nanoparticules d'or. Le premier axe traite de la réduction électronique de la phosphinine et des travaux sur d'autres molécules (phosphoré ou non) qui s'y rapportent. Des espèces comportant des interactions liantes à nombre déficitaire d'électrons sont synthétisées et caractérisées. Puis des complexes riches en électrons de biphosphinines et de diphosphabutadiènes font l'objet d'une étude théorique et synthétique. Dans un second temps, sont présentés les résultats obtenus sur la chimie des anions de phosphinine. Nous avons étudié leur chimie de coordination et isolé des complexes de type eta5 ou eta2. Ces anions ont également ouvert l'accès au premier cation phosphininium connu. Enfin, la phosphinine a été utilisées pour la stabilisation de nanoparticules d'or. Les particules ainsi obtenues possèdent des propriétés originales qui ont été exploitées pour fabriquer des capteurs ou pour synthétiser des nanoparticules de type Janus.

Les complexes carbéniques, résultants de la coordination d'un ligand carboné divalent et di-coordiné à un centre métallique, constituent une gamme de composés organométalliques possédant de nombreuses applications en synthèse organique et en catalyse (métathèse des oléfines, annélation, cyclopropanation...). L'objectif principal du présent travail doctoral a été de préparer de nouvelles classes de complexes carbéniques, pour lesquels le centre carbénique est substitué par des groupements phosphorés. La stratégie de synthèse de ces espèces nouvelles a reposé sur la mise au point de précurseurs carbéniques stables dont la décomposition contrôlée a été conduite dans la sphère de coordination de métaux de transition et de lanthanides. Cette approche ! réactionnelle a été optimisé par la mise en place d'un couplage entre théorie et expérience, permettant d'expliciter la structure électronique des précurseurs et complexes carbéniques ainsi formés et de rationaliser leur réactivité. Ce manuscrit décrit la synthèse des premiers complexes mettant en jeu un carbène P-hétérocyclique (PHC) dont la nature de l'interaction métal-carbone est fortement influencée par le fragment métallique et le schéma de substitution des atomes de phosphore tri-coordinés (

L'objectif de cette thèse est de concevoir un calcul d'objets permettant d'écrire des applications parallèles et distribuées, en particulier dans un cadre à grande échelle, tout en assurant de bonnes propriétés. Le calcul proposé s'intitule ASP : Asynchronous Sequential Processes. Les principales caractéristiques de ce calcul sont : des communications asynchrones, la présence de futurs et une exécution séquentielle dans chacun des processus. Ce calcul exhibe de fortes propriétés de confluence et de déterminisme. Cette thèse a donc aussi pour objectif de prouver de telles propriétés dans un cadre aussi général que possible. ASP est basé sur une répartition des objets en différentes activités disjointes. Une activité est un ensemble d'objets gérés par un unique processus. Les objets actifs sont des objets accessibles par des références globales/distantes. Ils communiquent à travers des appels de méthodes asynchrones avec un mécanisme de futurs. Un futur est une référence globale désignant un résultat qui n'est pas encore calculé. Cette thèse modélise ces différents aspects, leurs principales propriétés et les conséquences de ces mécanismes sur la notion de comportement déterministe des programmes. Le résultat principal consiste en une propriété de confluence et son application à l'identification d'un ensemble de programmes se comportant de façon déterministe. Du point de vue pratique, ASP peut aussi être considéré comme une modélisation de la librairie ProActive. Cette librairie fournit des outils pour développer des applications parallèles et distribuées en Java.

Le phosphole, analogue phosphoré du pyrrole, est un hétérocycle faiblement aromatique qui peut, selon son schéma de substitution, être caractérisé par un fort pouvoir ð-accepteur. Cette propriété particulière de certains cycles phospholes a été mise à profit pour synthétiser de nouveaux ligands bidentes phosphorés de type phosphole-oléfine ou phosphole-phosphole en vue d'applications en catalyse homogène. Aussi la synthèse de nouveaux ligands bidentes est-t-elle rapportée dans ce manuscrit ainsi que l'étude de leur chimie de coordination sur quelques métaux de transition, essentiellement ceux du groupe 10. Leur potentiel d'application en catalyse homogène a également été exploré, essentiellement dans des réactions de couplage carbone-carbone (hydroformylation, dimérisation)! et carbone-azote (allylation des amines par les alcools et éthers allyliques). Nous nous sommes également attardés sur la nouvelle réaction d'allylation d'amines aliphatiques par l'alcool allylique catalysée par des complexes de platine, afin de comprendre à l'aide de calculs théoriques, la réactivité expérimentale observée, et ainsi de mettre au point un système catalytique très performant. Des cycles catalytiques ont été caractérisés et nous avons relié la propriété géométrique d'angle de morsure à l'activité des complexes de platine dans ce procédé.

La phosphorescence est une émission lumineuse perdurant après l'arrêt de l'excitation, due à un piégeage par des défauts de la matrice des porteurs de charges formés durant l'excitation, puis à leur dépiégeage progressif avec l'énergie thermique à température ambiante, suivi de leur recombinaison radiative. Le premier objectif de la thèse était la compréhension des mécanismes de phosphorescence, jusqu'alors inconnus. La phosphorescence du matériau le plus ancien, ZnS:Cu+,Co2+, est due au piégeage d'électrons sur des lacunes de soufre distantes de l'activateur Cu+. La luminescence est associée à la recombinaison radiative depuis la bande de conduction (bleu) ou une lacune anionique plus ou moins proche de Cu+ (vert, rouge) vers les orbitales 3d de Cu+. La phosphorescence du matériau le plus performant, SrAl2O4:Eu2+,Dy3+,B3+, est due au piégeage d'électrons sur des lacunes d'oxygène proches de l'activateur Eu2+. La seconde émission observable à basse température est due à un transfert de charge entre les ions Eu3+ résiduels et O2-, et est associée à un piégeage de trous. Des règles générales sont dégagées pour le piégeage dans tous les matériaux phosphorescents : lacunes anioniques proches des activateurs pour Eu2+, Ce3+, Tb3+ et Pr3+, lacunes anioniques éloignées des activateurs pour Cu+ et Mn2+, lacunes cationiques pour les activateurs Eu3+, Tm3+ et Sm3+. Un nouveau modèle est établi sur l'agglomération et la stabilisation des défauts quel que soit le défaut de charge qu'ils induisent, avec des comparaisons d'énergies d'ionisation. Ce modèle permet une approche prédictive de la synthèse de nouveaux matériaux phosphorescents, ainsi qu'une approche raisonnée de l'optimisation de la fluorescence de certains luminophores. Le second objectif de la thèse était la découverte de nouveaux matériaux phosphorescents. Plusieurs matrices dopées par Eu2+ ont été trouvées phosphorescentes, parmi lesquelles principalement (Ca,Sr)Al2Si2O8:Eu2+,Pr3+ (brevetée par Rhodia Electronics and Catalysis et le CNRS), émettant pendant quelques heures avec une nouvelle couleur bleu très clair.

Cette thèse a pour but d'étudier les propriétés spectroscopiques et la structure électronique du vanadium dans différents minéraux d'intérêt géologique et/ou technologique. Une approche expérimentale basée sur la spectroscopie HERFD-XAS au seuil K du vanadium a été combinée à une approche théorique. Cette dernière couple calculs ab initio et calculs multiélectroniques des spectres XANES, permettant une interprétation plus fine des spectres expérimentaux. Des développements théoriques basés sur les tenseurs sphériques et la méthode des cosets ont été effectués puis appliqués au cas de la section efficace d'absorption des rayons X, afin d'extraire les propriétés spectroscopiques du cristal à partir de celles d'un site individuel. La signature spectrale de V3+ dans le grossulaire (Ca3Al2(SiO4)3) a été déterminée grâce à la dépendance angulaire du préseuil de son spectre XANES. Ce minéral peut donc être utilisé de manière fiable comme composé de référence dans l'étude du degré d'oxydation du vanadium dans des verres, de minéraux et de composés synthétiques. Le vanadium peut être incorporé comme dopant dans l'anatase (TiO2 ) sous forme de vanadium tétravalent. Son environnement local dans l'anatase a été sondé, montrant que le vanadium n'est pas incorporé en substitution du titane. Enfin, le degré d'oxydation du vanadium dans les titanomagnétites (Fe3-xTixO4 :V) du Bushveld (Afrique du Sud) a été déterminé pour des échantillons naturels et synthétiques. La coexistence de deux degrés d'oxydation (+III et +IV) a été montrée mais les implications de leur variations relatives sur la formation des couches géantes de magnétite dans le Bushveld restent encore mal comprises.