Le travail décrit dans cette thèse s'inscrit dans le contexte de la validation de propriétés de sûreté de programmes, et plus particulièrement des propriétés numériques. L'utilisation de la technique d'Analyse des Relations Linéaires, une interprétation abstraite fondée sur une approximation des états numériques par des polyèdres convexes, a fait ses preuves dans le domaine. Il s'agit de générer des surapproximations polyédriques de l'ensemble des valuations associées à chaque point de contrôle, l'introduction d'un opérateur d'élargissement assurant la convergence des analyses. Cependant dans certains cas les invariants générés ne sont pas assez précis, et l'amélioration de la précision via le retardement du moment d'application de l'élargissement est trop via le retardement du moment d'application de l'élargissement est trop coûteux. Nous nous sommes donc intéressés aux méthodes dites d'accélération, qui consistent à calculer exactement l'effet d'une ou plusieurs boucles (sous la forme de formules de Presburger), le principal inconvénient de ces méthodes étant qu'elles ne s'appliquent qu'à une classe restreinte de programmes.<br />Dans cette thèse nous proposons une approche combinant l'Analyse des Relations Linéaires classique (avec élargissement) et la notion d'Accélération abstraite utile pour calculer une surapproximation précise de l'application itérée de certains types de boucles, dans le but d'améliorer la précision des analyses tout en garantissant toujours la terminaison. Les premiers résultats expérimentaux obtenus grâce à l'implémentation de l'analyseur Aspic ont permis de valider la méthode, qui a le principal avantage de combiner amélioration de la précision et efficacité.

Un grand nombre d'études ont été faites dans le domaine de l'Optimisation Stochastique en général et les Algorithmes Génétiques en particulier. L'essentiel des nouveaux développements ou des améliorations faites sont alors testés sur des jeux de tests très connus tels que BBOB, CEC, etc. conçus de telle manière que soient présents les principaux défis que les optimiseurs doivent relever : non séparabilité, multimodalité, des vallées où le gradient est quasi-nul, et ainsi de suite. La plupart des études ainsi faites se déroulent via une application directe sur le jeu de test, optimisant un nombre donné de variables pour atteindre un critère précis. La première contribution de ce travail consiste à étudier l'impact de la remise en cause de ce fonctionnement par deux moyens : le premier repose sur l'introduction d'un grand nombre de variables qui n'ont pas d'impact sur la valeur de la fonction optimisée ; le second quant à lui relève de l'étude des conséquences du mauvais conditionnement d'une fonction en grande dimension sur les performances des algorithmes d'optimisation stochastique. Une deuxième contribution se situe dans l'étude de l'impact de la modification des mutations de l'algorithme CMA-ES,où, au lieu d'utiliser des mutations purement aléatoires, nous allons utiliser des mutations quasi-aléatoires. Ce travail introduit également la ``Sieves Method'', bien connue des statisticiens. Avec cette méthode, nous commençons par optimiser un faible nombre de variables, nombre qui est ensuite graduellement incrémenté au fil de l'optimisation.Bien que les jeux de tests existants sont bien sûr très utiles, ils ne peuvent constituer que la première étape : dans la plupart des cas, les jeux de tests sont constitués d'un ensemble de fonctions purement mathématiques, des plus simples comme la sphère, aux plus complexes. Le but de la conception d'un nouvel optimiseur, ou l'amélioration d'un optimiseur existant, doit pourtant in fine être de répondre à des problèmes du monde réel. Ce peut-être par exemple la conception d'un moteur plus efficace, d'identifier les bons paramètres d'un modèle physique ou encore d'organiser des données en groupes.Les optimiseurs stochastiques sont bien évidemment utilisés sur de tels problèmes, mais dans la plupart des cas, un optimiseur est choisi arbitrairement puis appliqué au problème considéré. Nous savons comment les optimiseurs se comparent les uns par rapport aux autres sur des fonctions artificielles, mais peu de travaux portent sur leur efficacité sur des problèmes réels. L'un des principaux aspects de des travaux présentés ici consiste à étudier le comportement des optimiseurs les plus utilisés dans la littérature sur des problèmes inspirés du monde réel, voire des problèmes qui en viennent directement. Sur ces problèmes, les effets des mutations quasi-aléatoires de CMA-ES et de la``Sieves Method'' sont en outre étudiés. / A lot of research is being done on Stochastic Optimisation in general and Genetic Algorithms in particular. Most of the new developments are then tested on well know testbeds like BBOB, CEC, etc. conceived to exhibit as many pitfalls as possible such as non-separability, multi-modality, valleys with an almost null gradient and so on. Most studies done on such testbeds are pretty straightforward, optimising a given number of variables for there cognized criterion on the testbed. The first contribution made here is to study the impact of some changes in those assumptions, namely the effect of supernumerary variables that don't change anything to a function evaluation on the one hand, and the effect of a change of the studied criterion on the other hand. A second contribution is in the modification of the mutation design for the algorithm CMA-ES, where we will use Quasi-Random mutations instead of purely random ones. This will almost always result in a very clear improvement ofthe observed results. This research also introduces the Sieves Method well known in statistics, to stochastic optimisers: by first optimising a small subset of the variables and gradually increasing the number of variables during the optimization process, we observe on some problems a very clear improvement. While artificial testbeds are of course really useful, they can only be the first step: in almost every case, the testbeds are a collection of purely mathematical functions, from the simplest one like the sphere, to some really complex functions. The goal of the design of new optimisers or the improvement of an existing one is however, in fine, to answer some real world question. It can be the design of a more efficient engine, finding the correct parameters of a physical model or even to organize data in clusters. Stochastic optimisers are used on those problems, in research or industry, but in most instances, an optimiser ischosen almost arbitrarily. We know how optimisers compare on artificial functions, but almost nothing is known abouttheir performances on real world problems. One of the main aspect of the research exposed here will be to compare someof the most used optimisers in the literature on problems inspired or directly coming from the real-world. On those problems, we will additionally test the efficiency of quasi-random mutations in CMA-ES and the Sieves-Method.

Le présent projet de recherche porte sur les lasers à fibre de haute puissance opérés en régime continu. L’objectif premier est la conception et la réalisation d’un laser de 400 W de puissance de sortie utilisant une fibre dopée à l’ytterbium. La grande variété de lasers fabriqués au cours de ces travaux a permis l’étude des effets thermiques, des limitations en puissance et du comportement de la raie spectrale d’émission. L’étude comprend des simulations numériques caractérisant le comportement des lasers à fibre opérés en régime continu. Différentes configurations de lasers ont été expérimentées à une puissance de signal de 100 W. Les échanges de chaleur dans les fibres à double gaines ont été analysés pour contourner les difficultés engendrées par la grande puissance de ces lasers. Le concept de résistance de contact est amené pour expliquer l’élévation de température des fibres actives. Les travaux ont abouti à la réalisation de lasers monomodes de plus de 350 W de puissance de sortie, et cela, limités uniquement par la disponibilité des pompes. Parce que la photodégradation est la principale difficulté des lasers à fibre de puissance, plusieurs compromis, notamment sur le choix technologique des composants, ont été nécessaires pour atteindre les objectifs de puissance et de qualité de faisceau. Un outil pour prédire l’élargissement spectral des lasers à fibre de haute puissance a été développé. Il est montré que le mélange à quatre ondes élargit la raie d’émission de ces lasers. L’élargissement du spectre de sortie, selon une fonction de la puissance, a été vérifié expérimentalement dans diverses configurations d’oscillateur. / This research project focuses on high power fiber lasers operated in the continuous regime. The main objective is the implementation of a 400-W fiber laser using ytterbium- doped double clad fiber. The wide variety of high power fiber lasers assembled during this work has enabled the study of the thermal effects, the power limitations and the behavior of the output spectrum. The study includes simulations that characterize the behavior of fiber lasers operated in the continuous regime. Different laser configurations were tested at a signal power of 100 W. The heat transfer in double clad fibers was analyzed to circumvent the difficulties caused by the important amount of heat generated by these lasers. The concept of contact resistance is brought in to explain the temperature rise of active fibers. This was necessary for the realization of single-mode fiber lasers with over 350W of output power. The output power was only limited by the availability of pumps. Several compromises were necessary to achieve the high output power and the diffraction-limited beam quality. Thus, the photodarkening of the ytterbium doped fiber is still an issue for this kind of lasers. A tool to predict the spectral broadening of high power fiber lasers has been developed. It is shown that four-wave mixing broadens the outpu t spectrum of these lasers as a function of output power. The broadening of the output spectrum has been experimentally verified by the implementation of various lasers with different configurations. A theoretical model is presented, which shows a good agreement with experimental data.

Le but de cette thèse est de raffiner et de mieux comprendre l'utilisation de la méthode spectroscopique, qui compare des spectres visibles de naines blanches à atmosphère riche en hydrogène (DA) à des spectres synthétiques pour en déterminer les paramètres atmosphériques (température effective et gravité de surface). Notre approche repose principalement sur le développement de modèles de spectres améliorés, qui proviennent eux-mêmes de modèles d'atmosphère de naines blanches de type DA. Nous présentons une nouvelle grille de spectres synthétiques de DA avec la première implémentation cohérente de la théorie du gaz non-idéal de Hummer & Mihalas et de la théorie unifiée de l'élargissement Stark de Vidal, Cooper & Smith. Cela permet un traitement adéquat du chevauchement des raies de la série de Balmer, sans la nécessité d'un paramètre libre. Nous montrons que ces spectres améliorés prédisent des gravités de surface qui sont plus stables en fonction de la température effective. Nous étudions ensuite le problème de longue date des gravités élevées pour les DA froides. L'hypothèse de Bergeron et al., selon laquelle les atmosphères sont contaminées par de l'hélium, est confrontée aux observations. À l'aide de spectres haute résolution récoltés au télescope Keck à Hawaii, nous trouvons des limites supérieures sur la quantité d'hélium dans les atmosphères de près de 10 fois moindres que celles requises par le scénario de Bergeron et al. La grille de spectres conçue dans ces travaux est ensuite appliquée à une nouvelle analyse spectroscopique de l'échantillon de DA du SDSS. Notre approche minutieuse permet de définir un échantillon plus propre et d'identifier un nombre important de naines blanches binaires. Nous déterminons qu'une coupure à un rapport signal-sur-bruit S/N > 15 optimise la grandeur et la qualité de l'échantillon pour calculer la masse moyenne, pour laquelle nous trouvons une valeur de 0.613 masse solaire. Finalement, huit nouveaux modèles 3D de naines blanches utilisant un traitement d'hydrodynamique radiative de la convection sont présentés. Nous avons également calculé des modèles avec la même physique, mais avec une traitement standard 1D de la convection avec la théorie de la longueur de mélange. Un analyse différentielle entre ces deux séries de modèles montre que les modèles 3D prédisent des gravités considérablement plus basses. Nous concluons que le problème des gravités élevées dans les naines blanches DA froides est fort probablement causé par une faiblesse dans la théorie de la longueur de mélange. / The goal of this thesis is to refine and to understand better the spectroscopic method, which compares optical spectra of hydrogen-atmosphere white dwarfs (DA) with synthetic spectra to determine the atmospheric parameters (effective temperature and surface gravity). Our approach rests mainly on the development of improved model spectra, which come themselves from DA model atmospheres. We present a new grid of DA synthetic spectra with the first consistent implementation of the non-ideal gas theory of Hummer & Mihalas and the unified theory of Stark broadening from Vidal, Cooper & Smith. This allows for an adequate treatment of the quenching effects in Balmer lines, without the need of a free parameter. We show that these improved spectra predict surface gravities that are much more stable as a function of the effective temperature. We then study the long-standing problem that surface gravities in cool DA stars are significantly higher than those found in hotter DA white dwarfs. The hypothesis of Bergeron et al., according to which the atmospheres are contaminated by small amounts of helium, is constrained with observations. Using high-resolution spectra collected at the Keck in Hawaii, we find superior limits on the helium abundances in the atmospheres that are nearly 10 times lower than those required to sustain the Bergeron et al. scenario. The grid of spectra calculated in this work is then applied to a new spectroscopic analysis of the DA in the SDSS. Our careful analysis allows us to define a cleaner sample and to identify a large number of double degenerates. We find that a cutoff at a signal-to-noise ratio S/N > 15 optimizes the size and quality of the sample for computing the average mass, for which we find a value of 0.613 solar mass. Finally, eight new 3D white dwarf models with a radiative-hydrodynamics treatment of the convection are presented. We also calculated models with the same physics, except for a treatment of the convection with the standard mixing-length theory. A differential analysis between these two sets of models shows that the 3D models predict considerably lower surface gravities. We conclude that the high-log g problem in cool DA white dwarfs is caused by a weakness in the mixing-length theory.

À la suite de la Seconde Guerre mondiale, l’Europe est affaiblie et divisée. Les horreurs de la guerre amènent les Européens à repenser leur cohabitation et l’idée d’une Europe, unie par des liens économiques et politiques forts, germe dans l’esprit des Européens. Ils créent alors la CECA en 1951 puis, sept ans plus tard, la Communauté économique européenne. Puisque cette dernière aura du succès, certains pays européens, dont la Grande-Bretagne, demandent à la rejoindre. La France d’alors, sous la présidence de Charles de Gaulle, s’oppose à cette demande d’adhésion à deux reprises, en 1963 et en 1967. Il faut attendre l’arrivée de Georges Pompidou à l’Élysée pour que Londres intègre la CEE. L’élargissement de la Communauté est un évènement important; il a un impact direct sur le rôle de la France en Europe et dans le monde. Il a également une incidence certaine sur le rôle de l’Europe dans le monde bipolaire de l’époque, ainsi que sur ses relations avec l’allié américain. La presse des pays concernés suivra ces évènements avec intérêt, telle la presse quotidienne française, qui commente abondamment les décisions prises par son gouvernement. Le présent mémoire, qui étudie certains journaux d’importance à la lumière des ouvrages d’érudition et des sources primaires, analyse thématiquement la position de journaux français de diverses tendances politiques sur la politique française au cours des trois demandes. / Following the Second World War, Europe was divided and weak. The horrors of war forced Europeans to rethink how to co-exist and the idea of a united Europe with strong economical and political ties grew among them. The ECSC was created in 1951 and then, seven years later, the European Economic Community. When the latter succeeded, some European countries, like Great Britain, asked to join. France, and its president Charles de Gaulle, objected to the British application on two occasions, in 1963 and in 1967. London had to wait for the arrival of a new French president, Georges Pompidou, to be officially accepted in the EEC. The enlargement of the Community was an important event because it had an impact on France’s role in Europe and in the world. It also influenced Europe’s role in the then bipolar world and on its relations with the United States. The national press of the countries involved covered the events surrounding the enlargement with interest. The French daily press commented on them at length. Using both historical studies and primary sources, this thesis thematically analyzes the views of French newspaper of different political horizons on French policy surrounding the three British applications.

Les gyromètres laser He-Ne sont des senseurs inertiels dont la fiabilité et la précision sont reconnues depuis le milieu des années 1980. Leur grande sensibilité leur permet de mesurer des vitesses de rotation avec une précision qui atteint 10⁻³ °/ h dans le domaine aéronautique. Cependant, du fait d’un fonctionnement complexe basé sur une physique riche et variée, ses performances sont fortement dépendantes des conditions de fonctionnement et de toute modification du processus de fabrication. Dans ce cas, un travail de modélisation prend tout son sens, puisqu’il permet, outre une compréhension claire et précise des différents phénomènes physiques, un accès à des études paramétriques non envisageables expérimentalement. La modélisation globale du fonctionnement d’un gyrolaser He-Ne a ainsi été l’objectif principal de la collaboration entre la société Sagem (groupe Safran), un des leaders mondiaux dans le domaine des senseurs inertiels, et le Laboratoire de Physique des Gaz et des Plasmas (LPGP). Cette modélisation est « multiphysique » du fait de la diversité des domaines que couvre la physique du gyrolaser (Plasma, Physique Atomique, Lasers). C’est pourquoi nous avons développé trois modèles spécifiquement adaptés à chaque domaine. Le premier décrit la modélisation de la colonne positive du plasma de décharge dans une approche fluide. Ce modèle permet une description quantitative du plasma et l’accès aux grandeurs telles que la densité électronique et la fonction de distribution en énergie des électrons. Ces grandeurs sont les entrées nécessaires au second modèle qui traite la cinétique des états excités du plasma He-Ne. Un modèle collisionnel-radiatif à 1 dimension radiale (1D-CRM) a ainsi été développé. L’aspect 1D se justifie par l’importance des phénomènes de transport d’atomes et de rayonnement pouvant influer sur le profil radial de l’inversion de population du laser. Le transfert radiatif par auto-absorption des transitions radiatives résonantes a notamment été modélisé en résolvant l’équation de Holstein-Biberman à partir d’une méthode Monte-Carlo. Cet aspect constitue un élément majeur de ce travail de thèse. La diffusion des atomes excités du mélange He-Ne a également été prise en compte en résolvant l’équation de diffusion avec différentes conditions au bord à la surface du capillaire.A partir des populations et des taux cinétiques de peuplement et dépeuplement calculés par 1D-CRM, l’amplification laser dans la cavité a été modélisée dans le cadre d’une approche Maxwell-Bloch à 2 niveaux (NADIA) en incluant la saturation inhomogène du gain c’est-à-dire en tenant compte de la vitesse des atomes émetteurs dans la direction de propagation des faisceaux lasers. La cinétique de NADIA a été optimisée et les processus de transports dans l’espace des phases ont également été implémentés. Ce modèle a été utilisé pour étudier les performances du gyrolaser liées au milieu amplificateur et pour dériver les paramètres physiques nécessaires au développement d’un simulateur du gyrolaser.Dans ce simulateur, un modèle physique simplifié dérivé de NADIA, a été couplé à des modules « systèmes » dans le but de reproduire en sortie le signal opérationnel d’un gyrolaser. Ceci nous a permis de réaliser des études paramétriques sur les grandeurs caractérisant les performances d’un gyrolaser notamment le biais dynamique et le Random-Walk. Nous montrons en particulier que les performances de notre simulateur sont en bon accord avec celles observées en conditions opérationnelles. De plus, nos résultats montrent que ce simulateur est également un outil puissant pour l’analyse de données expérimentales. / Ring laser gyros (RLG) are inertial sensors whose reliability and accuracy have been recognised since the mid-1980s. Their high sensitivity enables them to measure angular velocity with an accuracy of 10⁻³ °/ h in aeronautics. However, because of a complex functioning based on a rich and varied physics, their performances are highly dependent on the working conditions and on any modification in the manufacturing process. In this case, a numerical modelling is pertinent since it allows both a clear understanding of the ring laser physics and parametric studies which are not experimentally feasible. The global modelling of a He-Ne RLG has been the main objective of the collaboration between Sagem (Safran group), which is one of the world leader in the inertial sensors field, and the Gas and Plasma Physics Laboratory (LPGP).This modelling is “multi-physics” since RLG physics involves several disciplines (plasma, atomic and laser physics). Therefore we have developed three models specifically adapted to each field. The first one describes the modelling of the positive column of the glow discharge following a fluid approach. This model allows a quantitative description of the plasma and gives access to fundamental quantities like the electron density or the electron energy distribution function. These quantities are the required inputs for the second model which treats the kinetics of the excited states inside the He-Ne plasma. For this, a collisional-radiative model in a radial geometry (1D-CRM) has been developed. The radial geometry is justified by the importance of the transport processes of atoms and radiations which can influence the radial profile of the population inversion. Notably, the radiative transfer by self-absorption of the resonant radiative transitions has been modelled by solving the Holstein-Biberman equation by a Monte-Carlo method. This aspect is a major component of this PhD work. Diffusion of excited atoms inside the plasma has also been taken into account by solving the diffusion equation with different boundary conditions at the capillary surface. From the populations and the kinetic rates computed by 1D-CRM, the laser amplification inside the cavity has been modelled using a two-level Maxwell-Bloch approach (NADIA) taking into account the inhomogeneous gain saturation, which means to consider the thermal speed of the atoms in the direction of propagation of the laser beams. The kinetics of NADIA has been optimized and transport processes in the phase space have also been implemented. This model has been used to study the performances of the RLG linked to the amplifying medium and to derive the physical parameters needed for the development of a simulator.Concerning this simulator, a simplified physical model from NADIA has been coupled to system modules in order to reproduce the operating signal of a RLG. This allows to conduct parametric studies on the quantities defining the RLG performance in particular the dynamic bias and the so-called “Random Walk”. We showed notably that the results of our simulator are in good agreement with experimental measurements in operating conditions. Moreover, our results show that this simulator is a powerful tool for analysing experimental data.

La recherche est consacrée à l’analyse du régime juridique d’adhésion appliqué par l’UE dans le cas de la Macédoine. L’étude est divisée en deux volets – la stabilisation et l’association –, conformément aux objectifs de la politique du PSA de l’UE envers les États des Balkans occidentaux. En ce qui concerne la politique de stabilisation, sont abordées les modifications constitutionnelles et législatives provenant de l'accord-cadre d'Ohrid – l’élément central du cadre de la conditionnalité d’adhésion à l’UE posé à la Macédoine – ensuite, est recherchée l’application du principe de bon voisinage dans le cas de la Macédoine, notamment en ce qui concerne les divergences avec deux États voisins – le Grèce et la Bulgarie. Le volet association de la thèse est consacré à l’analyse du rapprochement du droit de la Macédoine de l’acquis communautaire en ce qui concerne le droit économique, ainsi que le droit non économique. La thèse vise à combler une lacune dans la littérature existante concernant les relations entre la Macédoine et l'Union européenne. / The research is dedicated to the analysis of the application of the legal regime regulating the enlargement of the European Union toward Macedonia. The work is divided in two parts – the stabilisation and the association –, in accordance to the objectives of the policy of SAP of the UE towards the states of the Western Balkans. The research of the policy of stabilization concerns the constitutional and legislative modifications introduced by the Ohrid Framework Agreement – the central element of the enlargement conditionnality framework imposed on Macedonia –, as well as the application, in the case of Macedonia, of the principle of good neighborliness, in particular the bilateral disputes with its two neighbors – Greece and Bulgaria. The part of the thesis dedicated to the policy of association analyses the rapprochement of the national law of Macedonia to the acquis communautaire in the fields of economic law, as well as the non-economic law. The thesis therefore fills a certain gap in the literature concerning the relations between Macedonia and the European Union.

La Hongrie est membre de l’Union Européenne depuis le premier mai 2004. Après les premières élections libres du printemps 1990, les gouvernements successifs ont entamé et mené à bien les préparatifs d’adhésion en se conformant aux critères de Copenhague de 1993. Le propos de cette thèse est d’examiner les transformations politiques, économiques et sociales sur une longue période [1990-2009] afin de mettre en évidence la complexité des relations entre l’intégration européenne et une démocratie moins stable qu’on ne le pensait, d’autant que la question rom révèle non seulement la persistance, mais encore la prospérité d’idées nationalistes et racistes. / Hungary has been a member of the European Union since May 1st, 2004. After the first free elections in spring 1990, governments began and achieved the entry process to the European Union following the 1993 Copenhagen criteria. This thesis aims to examine the political, economical and social transformations in the scope of a long era [from 1990 to 2009] in order to show the complexity of the relations pertaining to the European integration and a less stable democracy than one thought, especially since the Roma question reveals not only persisting but also flourishing nationalistic and racist ideologies.

Le but de cette thèse est de raffiner et de mieux comprendre l'utilisation de la méthode spectroscopique, qui compare des spectres visibles de naines blanches à atmosphère riche en hydrogène (DA) à des spectres synthétiques pour en déterminer les paramètres atmosphériques (température effective et gravité de surface). Notre approche repose principalement sur le développement de modèles de spectres améliorés, qui proviennent eux-mêmes de modèles d'atmosphère de naines blanches de type DA. Nous présentons une nouvelle grille de spectres synthétiques de DA avec la première implémentation cohérente de la théorie du gaz non-idéal de Hummer & Mihalas et de la théorie unifiée de l'élargissement Stark de Vidal, Cooper & Smith. Cela permet un traitement adéquat du chevauchement des raies de la série de Balmer, sans la nécessité d'un paramètre libre. Nous montrons que ces spectres améliorés prédisent des gravités de surface qui sont plus stables en fonction de la température effective. Nous étudions ensuite le problème de longue date des gravités élevées pour les DA froides. L'hypothèse de Bergeron et al., selon laquelle les atmosphères sont contaminées par de l'hélium, est confrontée aux observations. À l'aide de spectres haute résolution récoltés au télescope Keck à Hawaii, nous trouvons des limites supérieures sur la quantité d'hélium dans les atmosphères de près de 10 fois moindres que celles requises par le scénario de Bergeron et al. La grille de spectres conçue dans ces travaux est ensuite appliquée à une nouvelle analyse spectroscopique de l'échantillon de DA du SDSS. Notre approche minutieuse permet de définir un échantillon plus propre et d'identifier un nombre important de naines blanches binaires. Nous déterminons qu'une coupure à un rapport signal-sur-bruit S/N > 15 optimise la grandeur et la qualité de l'échantillon pour calculer la masse moyenne, pour laquelle nous trouvons une valeur de 0.613 masse solaire. Finalement, huit nouveaux modèles 3D de naines blanches utilisant un traitement d'hydrodynamique radiative de la convection sont présentés. Nous avons également calculé des modèles avec la même physique, mais avec une traitement standard 1D de la convection avec la théorie de la longueur de mélange. Un analyse différentielle entre ces deux séries de modèles montre que les modèles 3D prédisent des gravités considérablement plus basses. Nous concluons que le problème des gravités élevées dans les naines blanches DA froides est fort probablement causé par une faiblesse dans la théorie de la longueur de mélange. / The goal of this thesis is to refine and to understand better the spectroscopic method, which compares optical spectra of hydrogen-atmosphere white dwarfs (DA) with synthetic spectra to determine the atmospheric parameters (effective temperature and surface gravity). Our approach rests mainly on the development of improved model spectra, which come themselves from DA model atmospheres. We present a new grid of DA synthetic spectra with the first consistent implementation of the non-ideal gas theory of Hummer & Mihalas and the unified theory of Stark broadening from Vidal, Cooper & Smith. This allows for an adequate treatment of the quenching effects in Balmer lines, without the need of a free parameter. We show that these improved spectra predict surface gravities that are much more stable as a function of the effective temperature. We then study the long-standing problem that surface gravities in cool DA stars are significantly higher than those found in hotter DA white dwarfs. The hypothesis of Bergeron et al., according to which the atmospheres are contaminated by small amounts of helium, is constrained with observations. Using high-resolution spectra collected at the Keck in Hawaii, we find superior limits on the helium abundances in the atmospheres that are nearly 10 times lower than those required to sustain the Bergeron et al. scenario. The grid of spectra calculated in this work is then applied to a new spectroscopic analysis of the DA in the SDSS. Our careful analysis allows us to define a cleaner sample and to identify a large number of double degenerates. We find that a cutoff at a signal-to-noise ratio S/N > 15 optimizes the size and quality of the sample for computing the average mass, for which we find a value of 0.613 solar mass. Finally, eight new 3D white dwarf models with a radiative-hydrodynamics treatment of the convection are presented. We also calculated models with the same physics, except for a treatment of the convection with the standard mixing-length theory. A differential analysis between these two sets of models shows that the 3D models predict considerably lower surface gravities. We conclude that the high-log g problem in cool DA white dwarfs is caused by a weakness in the mixing-length theory.

Afin d'optimiser la mise aux milles au laminage à froid, la thèse consiste à développer un modèle prédictif de variation de largeur à la fois précis et rapide pour des utilisations en temps réel. Des efforts ont commencé en 1960s en développant des formules empiriques. Par la suite, la Méthode des Bornes Supérieures (MBS) est devenue la plus connue. [Oh 1975] utilisant le champ de vitesse 3D "simple" prédit bien la variation de largeur au laminage en conditions d'un tandem finisseur. [Komori 2002] a proposé une combinaison des champs fondamentaux et obtenu une structure informatique peu dépendante aux champs de vitesse. Néanmoins, seuls deux champs fondamentaux ont été introduits qui forment un sous-ensemble de la famille 3D "simple". [Serek 2008] a étudié des champs de vitesse quadratique qui inclue la famille "simple" et donne des meilleurs résultats avec un temps de calcul plus long. Le premier résultat de la thèse est un modèle 2D (MBS) avec des champs de vitesse oscillante. Ce modèle aboutit à une vitesse optimale qui oscille spatialement le long de l'emprise. Les résultats (puissance, vitesse...) sont plus proches des ceux de Lam3-Tec3 que la MBS 2D "simple". Pour une modélisation 3D, nous avons choisi la MBS avec la vitesse 3D "simple" et obtenu un très bon accord avec les expériences réalisées sur des produits étroits à Arcelor Mittal [64]. En outre, un nouveau modèle MBS est développé pour une bande bombée et des cylindres droits. Les résultats montrent que la variation de largeur diminue avec la bombée de la bande et correspondent bien à ceux de Lam3-Tec3. Cependant, la MBS admet un comportement rigide-plastique tandis qu'au laminage des bandes larges les déformations élastique et thermique ont des impacts importants sur la déformation plastique. Les modèles existant prenant en compte ces phénomènes [23,64] sont couteux en temps de calcul. Ainsi, l'idée est de décomposer la variation de la largeur de plastique en trois termes : les variations de largeur totales, élastique et thermique à travers la zone de plastique déterminés par trois nouveaux modèles simplifiés. Les deux premiers permettent d'estimer les variations de largeur élastique et plastique avant et après l'emprise. Ils donnent aussi les conditions aux limites au modèle d'emprise qui est en effet la MBS avec le champ de vitesse 3D "simple" permettant d'estimer la variation de la largeur totale. En outre, avec les puissances de déformation et de dissipation plastique de frottement données par le même modèle, la variation de largeur thermique est également obtenue. Le modèle de variation de largeur est donc appelée UBM-Slab combiné, très rapide (0,05 s) et prédit avec précision la largeur de variation par rapport à Lam3-Tec3 (<6%) / In order to save material yields in cold rolling process, the thesis aims at developing a predictive width variation model accurate and fast enough to be used online. Many efforts began in the 1960s in developing empirical formula. Afterward, the Upper Bound Method (UBM ) became more common. [Oh 1975]'s model with 3D "simple" velocity field estimates well the width variation for finishing mill rolling conditions. [Komori 2002] proposed a combination of fundamental ones to obtain a computer program depending minimally on the assumed velocity fields. However, only two fundamental fields were introduced and formed a subset of the "simple" family. [Serek 2008] studied a quadratic velocity family that includes the "simple" one and leads to better results with a higher computing time. Focusing on UBM , the first result of the thesis is a 2D model with an oscillating velocity field family. The model results to an optimum velocity that oscillates spatially throughout the roll-bite. The optimum power and the velocity field are closer to Lam3-Tec3 results than the "simple" one. For 3D modelling, we chose the 3D "simple" UBM and carried a comparison to the experiments performed at Arcelor Mittal using narrow strips [64]. A very good agreement is obtained. Further, a new UBM model is developed for a crowned strip with cylindrical work-rolls. It shows that the width variation decreases as a function of the strip crown and the results match well those of Lam3-Tec3 . However, the UBM considers only a rigid-plastic behaviour while in large strip rolling, the elastic and thermal deformations have important impacts on the plastic one. There exist some models considering these phenomena [23,64] but they are all time-consuming. Thus, the idea is to decompose the plastic width variation into three terms : total, elastic and thermal width variations through the plastic zone that are determined by three new models. The simplified roll-bite entry & exit models allow estimating the elastic and plastic width variations before and after the roll-bite. They give equally the longitudinal stresses defining the boundary conditions for the roll-bite model which is indeed the 3D "simple" UBM approximating the total width variation term. Moreover, with the plastic deformation and friction dissipation powers given by the same model, the thermal width variation term is also obtained. The width variation model, called UBM-Slab combined is very fast (0.05s) and predicts accurately the width variation in comparison with Lam3-Tec3 (<6%)