L’histoire identitaire du Québec a constamment été marquée par des enjeux d’ordre «linguistique». En effet, de par l’isolement de cette province majoritairement francophone, entourée de provinces et d’un pays anglophones, nous avons été témoins de plusieurs débats passionnés sur l’avenir du français au Québec. Mais qu’en est-il réellement de la situation linguistique et plus particulièrement de la fécondité au Québec? Avec le constat que le Québec, tout comme la plupart des pays occidentaux, n’assure plus le remplacement de ses générations par son accroissement naturel, l’immigration devient la seule alternative. Certains se sont alors interrogés sur la représentativité future des francophones au sein de leur province. Axée essentiellement sur la langue d’usage, nous avons effectué plusieurs analyses comparatives de l’indice synthétique de fécondité (ISF) selon les groupes linguistiques, mais également selon les régions. Trois facteurs importaient : déterminer les différences de fécondité entre les groupes linguistiques; déterminer les différences de fécondité entre l’ensemble du Québec, l’île de Montréal et le reste du Québec; et déterminer quel jeu d’hypothèses de construction de l’ISF se rapproche le plus de la réalité. C’est à l’aide de six combinaisons d’hypothèses que nous avons effectué l’analyse de la fécondité des groupes linguistiques, soit trois hypothèses de redistribution des naissances dont la langue d’usage de la mère est inconnue, et deux hypothèses de distribution des effectifs, soit la population féminine âgée de 15 à 49 ans. L’analyse annuelle de la fécondité des groupes linguistiques au Québec nous a permis d’observer des variations pour le moins importantes au cours des deux dernières décennies, ce que des analyses de la fécondité limitées aux années censitaires seulement ont en quelque sorte atténué. Bien que les allophones aient des ISF plus «instables» que les deux autres groupes linguistiques, à cause de leurs faibles effectifs, il appert que leur ISF est en-deçà du seuil de remplacement depuis 1996, pour progressivement se rapprocher de celui des deux autres groupes linguistiques. / The history of Quebec’s identity has constantly been affected by linguistic issues. Being a majority Francophone province surrounded by Anglophone neighbors on all sides, we have witnessed many passionate debate on the future of the French language in Quebec. What is the reality of this linguistic issue in Quebec and its relation to fertility? As in most western societies, Quebec’s population replacement is not maintained by its natural increase rates. Therefore immigration is the only vehicle for population growth. Questions have been raised regarding the future representation of French-speaking people in the province of Quebec. Based primarily on the language spoken most often at home, several comparative analyses have been performed which examined fertility rates according to linguistic groups as well as corresponding geographical locations. Three objectives were considered: to determine the differences of fertility between linguistic groups; to determine the differences of fertility between the whole of Quebec, the island of Montreal and the remainder of Quebec; and to determine which set of scenarios approaches the most the reality. The analysis of fertility was conducted by examining six combinations of hypotheses. Three of which are hypotheses of distribution of births where the mother tongue is unknown, and two hypotheses of distribution of the female population between the ages of 15 and 49 years of age. The annual analysis of fertility of linguistic groups in Quebec showed us important variations over the last two decades, variations which have been mitigated by fertility analyses limited to census years. Although the fertility rates of Allophones have been « unstable » in comparison with both Francophone and Anglophone groups, their fertility rate sits below the generation replacement level since 1996, and has gradually been approaching that of the other two linguistic groups.

No description available.

Diese Arbeit berichtet über die Suche nach gepulster und ungepulster hochenergetischer (VHE) Gammastrahlung mit dem High Energy Stereoscopic System (H.E.S.S.) im Energiebereich von 100 GeV bis 100 TeV von drei Pulsaren. Gepulste VHE Gammastrahlung wurde bisher nur fuer den jungen Krebspulsar gefunden. Eine besondere Gruppe von Pulsarwindnebeln (PWN) sind die zusammengesetzten Supernovaüberreste (SNR), bei denen sich ein PWN im Zentrum einer expandierenden SNR Schale befindet. Die Resultate der Suche nach gepulster und ungepulster VHE Gammastrahlung von zwei Millisekundenpulsaren, PSR J0437-4715 und PSR J1824-2452, werden im ersten Teil dieser Arbeit vorgestellt. Teile der Beobachtungen wurden in einer speziellen Triggerkonfiguration (dem Topologischen Trigger mit konvergenter Ausrichtung) durchgeführt, um die Energieschwelle des Instruments zu senken. Kein Hinweis auf gepulste oder ungepulste Emission wurde gefunden und obere Grenzen auf den gepulsten und ungepulsten Fluss wurden bestimmt. Die oberen Grenzen auf den gepulsten Fluss werden mit bestehenden Modellvorhersagen verglichen und erlauben für PSR J1824-2452 den Bereich möglicher Geometrien in einigen Modellen einzuschränken. Die Resultate der Suche nach gepulster und ungepulster VHE Gammastrahlung aus der Richtung des zusammengesetzten SNR Kes 75 werden im zweiten Teil dieser Arbeit präsentiert. Der PWN im Zentrum von Kes 75 wird von einem sehr jungen und energiereichen Pulsar, PSR J1846-0258, angetrieben, der ein aussergewöhnlich starkes Magnetfeld besitzt. Während kein Hinweis auf gepulste Strahlung gefunden wurde, konnte ungepulste Emission von VHE Gammastrahlung von einer Punktquelle mit einer statistischen Signifikanz von 10 sigma nachgewiesen werden. Die VHE Gammastrahlung ist räumlich koinzident mit dem PWN und mit der SNR Schale. Beide werden als mögliche Quelle für die beobachtete Emission diskutiert. Der Pulsar von Kes 75 wäre der jüngste bisher bekannte Pulsar, der einen Pulsarwindnebel antreibt. / This work reports on the search for pulsed and steady very-high energy (VHE) gamma-ray emission in the energy range extending from 100 GeV up to 100 TeV from the direction of three pulsars with the High Energy Stereoscopic System (H.E.S.S.). Pulsed gamma-ray radiation from pulsars with energies beyond 100 GeV was found thus far only for the young and energetic Crab pulsar. A special class of pulsar wind nebulae (PWNe) is associated with composite supernova remnants (SNRs) where the PWN is centered in an expanding SNR shell. In the first part of this thesis, the results on the search for pulsed and steady VHE gamma-ray emission from the two millisecond pulsars, PSR J0437-4715 and PSR J1824-2452, are presented. Parts of the observations were conducted in a special trigger setup (the topological trigger with convergent pointing) to reduce the energy threshold of the instrument. No signal of pulsed or steady emission is found and upper limits on the pulsed and steady gamma-ray flux are derived. The upper limits on the pulsed gamma-ray flux are compared to existing model predictions and, in the case of PSR J1824-2452, allow the range of possible viewing geometries in some models to be constrained. In the second part of this work, results on the search for pulsed and steady VHE gamma-ray emission from the direction of the composite SNR Kes 75 are presented. The PWN in the center of Kes 75 is powered by a very young and powerful pulsar, PSR J1846-0258, that has an exceptionally high magnetic field. While no hint for pulsed emission is found, steady VHE gamma-ray emission is detected with a statistical significance of 10 sigma from a point-like source. The VHE gamma-ray emission is spatially coincident with the PWN and the SNR shell. Both are discussed as a possible origin for the observed emission. The pulsar of Kes 75 would be the youngest pulsar known to date to power a VHE PWN.

No description available.

L'implantation en Virgule Flottante (VF) d'une fonction à valeurs réelles est réalisée avec arrondi correct si le résultat calculé est toujours égal à l'arrondi de la valeur exacte, ce qui présente de nombreux avantages. Mais pour implanter une fonction avec arrondi correct de manière fiable et efficace, il faut résoudre le "dilemme du fabricant de tables" (TMD en anglais). Deux algorithmes sophistiqués (L et SLZ) ont été conçus pour résoudre ce problème, via des calculs longs et complexes effectués par des implantations largement optimisées. D'où la motivation d'apporter des garanties fortes sur le résultat de ces pré-calculs coûteux. Dans ce but, nous utilisons l'assistant de preuves Coq. Tout d'abord nous développons une bibliothèque d'"approximation polynomiale rigoureuse", permettant de calculer un polynôme d'approximation et un intervalle bornant l'erreur d'approximation à l'intérieur de Coq. Cette formalisation est un élément clé pour valider la première étape de SLZ, ainsi que l'implantation d'une fonction mathématique en général (avec ou sans arrondi correct). Puis nous avons implanté en Coq, formellement prouvé et rendu effectif 3 vérifieurs de certificats, dont la preuve de correction dérive du lemme de Hensel que nous avons formalisé dans les cas univarié et bivarié. En particulier, notre "vérifieur ISValP" est un composant clé pour la certification formelle des résultats générés par SLZ. Ensuite, nous nous sommes intéressés à la preuve mathématique d'algorithmes VF en "précision augmentée" pour la racine carré et la norme euclidienne en 2D. Nous donnons des bornes inférieures fines sur la plus petite distance non nulle entre sqrt(x²+y²) et un midpoint, permettant de résoudre le TMD pour cette fonction bivariée. Enfin, lorsque différentes précisions VF sont disponibles, peut survenir le phénomène de "double-arrondi", qui peut changer le comportement de petits algorithmes usuels en arithmétique. Nous avons prouvé en Coq un ensemble de théorèmes décrivant le comportement de Fast2Sum avec double-arrondis.

L'implantation en Virgule Flottante (VF) d'une fonction à valeurs réelles est réalisée avec arrondi correct si le résultat calculé est toujours égal à l'arrondi de la valeur exacte, ce qui présente de nombreux avantages. Mais pour implanter une fonction avec arrondi correct de manière fiable et efficace, il faut résoudre le «dilemme du fabricant de tables» (TMD en anglais). Deux algorithmes sophistiqués (L et SLZ) ont été conçus pour résoudre ce problème, via des calculs longs et complexes effectués par des implantations largement optimisées. D'où la motivation d'apporter des garanties fortes sur le résultat de ces pré-calculs coûteux. Dans ce but, nous utilisons l'assistant de preuves Coq. Tout d'abord nous développons une bibliothèque d'«approximation polynomiale rigoureuse», permettant de calculer un polynôme d'approximation et un intervalle bornant l'erreur d'approximation à l'intérieur de Coq. Cette formalisation est un élément clé pour valider la première étape de SLZ, ainsi que l'implantation d'une fonction mathématique en général (avec ou sans arrondi correct). Puis nous avons implanté en Coq, formellement prouvé et rendu effectif 3 vérifieurs de certificats, dont la preuve de correction dérive du lemme de Hensel que nous avons formalisé dans les cas univarié et bivarié. En particulier, notre «vérifieur ISValP» est un composant clé pour la certification formelle des résultats générés par SLZ. Ensuite, nous nous sommes intéressés à la preuve mathématique d'algorithmes VF en «précision augmentée» pour la racine carré et la norme euclidienne en 2D. Nous donnons des bornes inférieures fines sur la plus petite distance non nulle entre sqrt(x²+y²) et un midpoint, permettant de résoudre le TMD pour cette fonction bivariée. Enfin, lorsque différentes précisions VF sont disponibles, peut survenir le phénomène de «double-arrondi», qui peut changer le comportement de petits algorithmes usuels en arithmétique. Nous avons prouvé en Coq un ensemble de théorèmes décrivant le comportement de Fast2Sum avec double-arrondis. / The Floating-Point (FP) implementation of a real-valued function is performed with correct rounding if the output is always equal to the rounding of the exact value, which has many advantages. But for implementing a function with correct rounding in a reliable and efficient manner, one has to solve the ``Table Maker's Dilemma'' (TMD). Two sophisticated algorithms (L and SLZ) have been designed to solve this problem, relying on some long and complex calculations that are performed by some heavily-optimized implementations. Hence the motivation to provide strong guarantees on these costly pre-computations. To this end, we use the Coq proof assistant. First, we develop a library of ``Rigorous Polynomial Approximation'', allowing one to compute an approximation polynomial and an interval that bounds the approximation error in Coq. This formalization is a key building block for verifying the first step of SLZ, as well as the implementation of a mathematical function in general (with or without correct rounding). Then we have implemented, formally verified and made effective 3 interrelated certificates checkers in Coq, whose correctness proof derives from Hensel's lemma that we have formalized for both univariate and bivariate cases. In particular, our ``ISValP verifier'' is a key component for formally verifying the results generated by SLZ. Then, we have focused on the mathematical proof of ``augmented-precision'' FP algorithms for the square root and the Euclidean 2D norm. We give some tight lower bounds on the minimum non-zero distance between sqrt(x²+y²) and a midpoint, allowing one to solve the TMD for this bivariate function. Finally, the ``double-rounding'' phenomenon can typically occur when several FP precision are available, and may change the behavior of some usual small FP algorithms. We have formally verified in Coq a set of results describing the behavior of the Fast2Sum algorithm with double-roundings.

Marguerite Duras a assurément pensé à la littérature en se mesurant sans cesse à sa production littéraire et plus amplement, à sa production artistique. Littérature, cinéma, théâtre font en effet l’objet d’une réflexion constante chez l’écrivain qui montre par là une tendance certaine pour la pensée théorique. Si Marguerite Duras a pu s’exprimer négativement vis-à-vis de la théorie, c’est parce qu’elle redoute les dérives de l’esprit théorique qui peut parfois se révéler dogmatique. L’adhésion à l’idéologie du PCF d’abord partagée puis contestée, fait ainsi l’objet de sévères critiques qui donneront raison dans son œuvre à des textes littéraires traversés par cette épreuve du théorique doctrinaire. D’autres engagements théoriques et politiques prouveront en revanche incontestablement l’attrait intellectuel de l’écrivain envers une époque qui, entre les années 1960 et 1980, fait avancer le discours de la théorie et notamment de la modernité littéraire. Cette thèse se propose de montrer que la théorie occupe sans cesse l’esprit de l’auteur, qu’elle se révèle particulièrement sous la forme d’une tentation à laquelle l’écrivain ne succombe jamais définitivement, et qui donc revient comme une obsession habiter et interroger son œuvre. Cette tentation s’intègre d’abord à la vie de Duras qui évolue au sein d’une génération fortement politisée et marquée par la pensée critique. Elle saura ensuite s’incorporer à l’activité créatrice de l’auteur et, dès lors, à sa pratique littéraire et artistique. La tentation du théorique suit ainsi deux directions. Elle passe par une aventure publique, sans pour autant jamais témoigner d’une voix chorale désireuse de se joindre notamment aux nouvelles tendances du Nouveau Roman. Elle se manifestera plutôt comme une voix solitaire, une voix qui s’exprime à travers la confidence privée. Cette voix murmure dans son œuvre ses critères conceptuels personnels qui accompagneront néanmoins la modernité littéraire. La voix de la tentation théorique se confondra enfin à la voix poétique de l’auteur qui révélera, à travers un jeu réflexif, la force productive de son écriture. Vouée sans cesse à faire résonner le mouvement du dernier mot, dépassant les cloisons génériques, la puissance créatrice prodigieuse de Marguerite Duras ira nourrir le paysage à plusieurs facettes de son œuvre ainsi que celui de l’Ecriture moderne. / For sure Marguerite Duras always thought about literature by comparing herself to the rest of literature and the artistic production of her time. Indeed, literature, cinema and theater are the reflexive centers of a constant thinking which shows how much theory is a main issue for the writer herself. Her apparent and negative odds against theory in general are all because of the wanderings of the dogmatic way of the theoretical spirit. Being an active member of the French Communist Party (PCF), sharing its ideological point of view and then quitting it made way for a severe criticism and gave to her literary works a doctrinal trial. Others theoretical and political commitments may decidedly show in contrast her intellectual attraction of the writer for her age which, between the 1960s and the 1980s, made theory and literary modernity look forward. This essay will show how theory is always on Duras’s Mind as it is for her such a temptation that she never totally succumbs to, and that came back as an obsession to haunt and question her works. This temptation marks at first place her life that went through a harsh political generation that also dealt with criticism and thinking. This temptation would also be an important part of her creativity process and made her way unto literary and artistic technicals. The Theoretical temptation she dealt with went on two different ways. She went on a public adventure but without never belonging to the chorus of her times or explicitly belonging to the New Novel too. She stood as a solitary voice, a voice of her that expressed herself as a intimate confidence. This voice whispered in her writings her personal and conceptual thoughts that escorted modernity in literature. Her voice made of theoretical temptation would mingle at last with her poetical voice which reveals, through a reflexive game, the productive strengh of her writing. Vowed to a never-ending movment unto the last word, beyond the walls of all genres, the tremendous creativity of Marguerite Duras will give birth to a mesmerizing landscape in her works that goes unto the modern writing.