Les noyaux de galaxies présentent souvent des raies en émission ; ils ont été classés en plusieurs catégories sur la base des rapports d'intensité de quelques raies dans le visible : galaxies de Seyfert 1 et 2, LINERs et régions HII ; ces catégories correspondent à des conditions d'excitation différentes. Mais un certain nombre d'objets ont des rapports de raies intermédiaires qui ne permettent pas de les classer sans ambiguité dans l'une ou l'autre de ces catégories. <br /><br />Nous nous sommes efforcés de clarifier la nature de ces objets à "spectre de transition". Pour ce faire, nous avons effectué des observations spectroscopiques dans le visible d'un grand nombre d'entre eux ; la plupart des observations ont été faites à l'aide du spectrographe CARELEC monté au foyer Cassegrain du télescope de 1,93~m de l'Observatoire de Haute-Provence. Ce sont les résultats de ces travaux qui constituent l'essentiel de ce manuscrit. <br /><br />Nos observations de 61 objets à "spectre de transition" ont montré qu'ils rentrent dans un schéma de classification simple. En effet il s'agit, pour la plupart, d'objets dont le spectre résulte de la présence simultanée sur la fente du spectrographe de deux régions émissives différentes (en général une region HII et un nuage du type Seyfert) - c'est ce que l'on appelle des "spectres composites". Ainsi, aucun mécanisme d'excitation "intermédiaire", ni scénario évolutif, n'est nécessaire pour expliquer leurs caractéristiques.<br /><br />Parmi les objets à spectre composite étudiés deux, particulièrement intéressants, ont attiré notre attention et sont présentés séparément : il s'agit de NGC 5252 et de KUG 1031+398. <br /><br />Notre étude de NGC 5252 est basée sur des observations effectuées avec le télescope spatial Hubble et avec le télescope de 1,93~m de l'Observatoire de Haute-Provence ; elles ont dévoilé la présence simultanée, dans cet objet, d'un LINER et d'un nuage du type Seyfert. Cela suggère que, dans cette galaxie tout au moins, l'émission du type LINER pourrait être due à une source ionisante d'origine non-stellaire. Néanmoins, les LINERs constituent une classe d'objets très mal connus : Véritables AGNs ou galaxies dont l'émission ne serait pas due à un moteur central, mais entièrement d'origine stellaire ? Le débat est toujours ouvert. <br /><br />KUG 1031+398 est une galaxie de Seyfert de type 1 à raies étroites pour laquelle une région d'émission intermédiaire entre la BLR (Broad Line Region) et la NLR (Narrow Line Region) a été signalée. Nos observations ne confirment pas la présence d'une région intermédiaire dans cette galaxie, la seule pour laquelle une détection "ferme" a été publiée. L'existence d'une telle région d'émission reste, donc, à prouver.

Aquest treball està dedicat a l'estudi, tant des del punt de vista termodinàmic com cristal·logràfic, dels aliatges moleculars binaris en fase plàstica d'alguns derivats del neopentà.Mitjançant el tensor de dilatació tèrmica, es presenta un estudi de les interaccions intermoleculars de quatre compostos que són cristalls plàstics derivats del neopentà.Mitjançant mesures calorimètriques i difractomètriques, s'han elaborat o reelaborat un total de set diagrames de fase binaris entre components derivats del neopentà.S'ha aplicat l'anàlisi termodinàmica a un total de quinze diagrames de fase els components dels quals són cristalls plàstics, tretze dels quals són derivats del neopentà. La correlació entre les magnituds termodinàmiques pròpies dels aliatges binaris dels derivats del neopentà ha permès establir que aquests aliatges en la seva fase desordenada orientacionalment (fase ODIC), presenten, en termes de la teoria de compensació, una temperatura i una pressió de compensació el valor de les quals és de 630 K i 4200 atm., respectivament.Tanmateix, l'excel·lent correlació existent entre la compacitat d'aquests aliatges en la seva fase ODIC, a través del paràmetre de dissimilitud, i l'entalpia d'excès equimolar, permet predir, per a les fases ODIC relatives a altres sistemes binaris dintre del conjunt dels derivats del neopentà, valors d'aquesta darrera magnitud amb els quals s'obtenen diagrames de fase calculats per a l'equilibri [fase ODIC + fase líquida] en acceptable concordància amb els obtinguts experimentalment. Utilitzant com a paràmetre exotermodinàmic la diferència normalitzada en el número de grups -CH2OH per mols de substància, es constata l'existència de vàries subfamílies d'aliatges binaris ODIC entre els derivats del neopentà. Finalment, la comparació de la temperatura de compensació, Tc, per a les fases ODIC i l'existent per a les fases prèvies a la fusió en altres tipus d'aliatges binaris, en funció de la temperatura mitjana, Tm, del equilibri entres dites fases i la fase líquida, realitzada en un diagrama log Tc - log Tm, permet la ubicació de tots aquests aliatges en la regió per a la qual log Tc > log Tm (denominada regió ordinària), no havent-se trovat fins al moment cap aliatge binari que per a la seva fase prèvia a la fusió sigui log Tc < log Tm.(denominada "regió extraordinària"). / Mediante el tensor de dilatación térmica, se presenta un estudio de las interacciones intermoleculares de cuatro compuestos que son cristales plásticos derivados del neopentano. En base a medidas calorimétricas y difarctométricas, se han elaborado o reelaborado un total de siete diagramas de fase binarios entre compuestos derivados del neopentano. Se ha aplicado el análisis termodinámico a un total de quince diagramas de fase binarios cuyos componentes son cristales plásticos, trece de los cuales son derivados del neopentano.La correlación entre las magnitudes termodinámicas propias de las aleaciones binarias de los derivados del neopentano, ha permitido establecer que dichas aleaciones en su fase orientacionalmente desordenada (fase ODIC), presentan, en términos de la teoría de compensación, una temperatura y una presión de compensación cuyo valor es de 630 K y 4216 atm., respectivamente. Asimismo, la excelente correlación existente entre la compacidad de estas aleaciones en su fase ODIC, a através del parámetro de disimilitud, y la entalpía de exceso equimolar, permite predecir, para las fases ODIC de otros sistemas binarios dentro del conjunto de los derivados del neopentano, valores de esta última magnitud con los cuales se obtienen diagramas de fase calculados para el equilibrio [fase ODIC + fase líquida] en aceptable concordancia con los obtenidos experimentalmente. Utilizando como parámetro exotermodinámico el número de puentes de hidrógeno por mol de sustancia, se constata la existencia de varias subfamilias de aleaciones binarias ODIC entre los derivados del neopentano. Finalmente, la comparación de la temperaura de compensación, Tc, para las fases ODIC y la existente para las fases previas a la fusión de otros tipos de aleaciones binarias, en función de la temperatura media, Tm, del equilibrio entre dichas fases y la fase líquida, realizada en un diagrama log Tc - log Tm, permite ubicar todas estas aleaciones en la región para la cual log Tc > log Tm (denominada región ordinaria), no habiéndose encontrado hasta el presente ningúna aleación binaria para la cual en su fase previa a la fusión log Tc < log Tm (denominada "región extraordinaria"). / The present work is devoted to the study of molecular binary mixtures, in their plastic phases, between some neopentane derivatives, both from thermodynamic and crystallographic points o view.By means of the thermal expansion tensor, a study is presented concerning the intermolecular interaction in four compounds which are neopentane derivatives plastic crystals. On the other hand, by means of thermal and diffractometric measurements, a whole of seven isobaric binary plastic-crystalline phase mixed crystals of neopentane derivatives, has been determined or newly determined.Thermodynamic analysis has been made of a set of fifteen binary phase diagrams thirteen of which are composes of neopentane derivatives. The correlation between characteristic thermodynamic magnitudes of neopentane derivatives binary mixed crystals allows coming at the conclusion that those materials, in their orientationally disordered phase, exhibit, in terms of the compensation theory, a compensation temperature Tc, and pressure, pc, of about 630 K and 4216 atm, respectively. Moreover, the excellent correlation exhibited by the so called packing parameter and the excess equimolar enthalpy of the orientationally disordered phases (ODIC) of those materials permits the values of this enthalpy for the ODIC phase of other binary mixed crystals in the same series of neopentane derivatives to be predicted in such a way that the corresponding values provide the theoretical corresponding equilibrium [ODIC phase + liquid phase] in very acceptable concordance with the experimental ones. By using the number of molar hydrogen bonds as an exothermodynamic parameter, the existence of several subfamilies of ODIC binary mixed crystals in the neopentane derivatives is confirmed. Finally, if the Tc for not only ODIC phases of the neopentane derivatives, but also for other ones previous to the liquid phase for binary mixtures of other different kinds of materials and the so called average temperature, Tm, for the equilibrium between those phases and the liquid phase are ploted in a logTc - logTm axes, it results that all the involved mixtures are placed in a region into which logTc > logTm (called "ordinary region") and, as far as the author knows, there are no binary mixtures of which occupy the region characterized by the condition logTc < logTm (called "the extraordinary region").

L'objet de cette thèse est la formalisation et l'automatisation du raisonnement géométrique au sein de l'assistant de preuve Coq.<br />Dans une première partie, nous réalisons un tour d'horizon des principales axiomatiques de la géométrie puis nous présentons une formalisation des huit premiers chapitres du livre de Schwabäuser, Szmielew et Tarski: Metamathematische Methoden in der Geometrie.<br />Dans la seconde partie, nous présentons l'implantation en Coq d'une procédure de décision pour la géométrie affine plane : la méthode des aires de Chou, Gao et Zhang. Cette méthode produit des preuves courtes et lisibles.<br />Dans la troisième partie, nous nous intéressons à la conception d'une interface graphique pour la preuve formelle en géométrie : Geoproof. GeoProof combine un logiciel de géométrie dynamique avec l'assistant de preuve Coq.<br />Enfin, nous proposons un système formel diagrammatique qui permet de formaliser des raisonnements dans le domaine de la réécriture abstraite. Il est par exemple possible de formaliser dans ce système la preuve diagrammatique du lemme de Newman. La correction et la complétude du système sont prouvées vis-à-vis d'une classe de formules appelée logique cohérente.

El trabajo de esta tesis ha consistido en estudiar, preparar y caracterizar los compuestos pertenecientes a la familia M'M"BX-sub4, concretamente los de fórmula LiMSO-sub4, en donde M = Na+, K+ y NH-sub4+, para posteriormente estudiar los cristales mixtos de fórmula Li2MM'(SO-sub4)-super2 formados a partir de la mezcla de estos compuestos.La caracterización de las fases puras a diferentes temperaturas se ha efectuado mediante Difracción de Rayos-X, trabajando tanto con muestras monocristalinas como con muestras en polvo y variando la temperatura de medida de los difractógramas a diferentes velocidades de calentamiento. Se han utilizado también Análisis Térmico (ATD, TG y DSC) y Dispersión Raman.La estructura cristalina de los compuestos de la familia LiMSO-sub4 presenta una gran facilidad de rotación de los iones SO-sub4-super2- y desplazamiento de los cationes lo que facilita no sólo la aparición de numerosas transiciones de fases si no también la facilidad de producir cristales maclados y la formación de nuevas fases dependientes del proceso de crecimiento de los cristales. Se ha demostrado la aparición de nuevas fases modificando la proporción de NH-sub4+ en el proceso de cristalización del LiKSO-sub4 o cambiando la velocidad de calentamiento en el LiNH-sub4SO-sub4.Se ha conseguido generar nuevas fases que difieren por la rotación del ion sulfato provocando fases con diferente enantiomorfismo e incluso se ha conseguido caracterizar fases formadas por la mezcla de dos tipos de dominios. Los compuestos con presencia del ion K+ son los que presentan una mayor polarización espontánea, mientras que los compuestos con mayor presencia de Na+ son los que presentan una mayor conductividad iónica.Los diferentes tipos estructurales que presenta cada compuesto dificulta la misciblidad entre ellos, para el caso del compuesto LiKSO-sub4, una nueva transición de fase se describe a entre 226 y 268 K. La transición entre la fase V y VI es del tipo orden-desorden, mientras que las restantes transiciones estudiadas en el LiKSO-sub4 son de tipo displacivo o de desplazamiento. Mientras que las transiciones por debajo de la temperatura ambiente se caracterizan por una rotación en torno al eje c de los iones sulfatos. Todas estas transiciones presentan histéresis térmica. Para el caso del LiNH-sub4SO-sub4 las fases que presenta por encima de la temperatura ambiente dependen de la velocidad de calentamiento y ellas son transiciones displacivas. Para el caso del LiNaSO-sub4; todas las cristalizaciones de este compuesto han sido cristales maclados. Se describe estructuralmente un nuevo compuesto de fórmula: Li-sub2-subx-Na-subx-SO-sub4 con 1 menor que "x" menor que 1.22.Para el caso de la estructura de triple catión Li(NH-sub4)sub1-xK-subxSO-sub4 y LiNa-sub1-sub-xK-subx-SO-sub4 La miscibilidad del ión NH-sub4+ en la estructura del LiKSO-sub4 y del K+ en la estructura del LiNaSO-sub4 es muy restringida a temperatura ambiente. La formación del Li-sub-2KNH-sub4(SO-sub4)sub2 a partir de una solución acuosa a 333 K debe efectuarse mezclando en la proporción 1:9, del LiKSO-sub4 : LiNH-sub4-SO-sub4. La proporción esta definida básicamente por la mayor solubilidad del LiNH-sub4-SO-sub4 con respecto al LiKSO-sub4. La fase a temperatura ambiente es ferroeléctrica, presentando una transición Martensítica.