La période de réionisation est une transition dans l'histoire de l'Univers qui change sont état d'ionisation. Les progrès en calcul intensif permettent maintenant de modéliser l'évolution du phénomène. D'habitude, les analyses se concentrent sur l'évolution de propriétés globales dans les simulations. Différemment, j'ai mis au point une nouvelle technique d'analyse de simulations qui permet d'appréhender le phémomène global de manière locale. Elle s'appuie sur l'extraction d'un arbre de fusion de régions HII pour caractériser le processus de réionisation. La technique a été appliqué dans plusieurs simulations où différents modèles de sources ont été considérés pour étudier leur impact sur la chrono-morphologie du processus. Dans un second temps, l'arbre a permis de caractériser l'histoire de réionisation passée de galaxies de types Voie Lactée. Enfin, la technique a été appliquée dans des simulations du Groupe Local pour quantifier l'histoire de réionisation de MW et M31.

Cette thèse traite des apports de la structure pyramidale irrégulière en segmentation multirésolution d'images en niveaux de gris. Une présentation des techniques de multirésolution (essentiellement pyramidales) pour le traitement des images et notamment pour la segmentation est faite dans un premier temps. Dans un second temps, le document décrit des techniques de segmentation d'image par approches 'région' puis par approches 'contour'. Une troisième partie traite de la modélisation de la pyramide par les graphes, puis détaillé précisement sa construction. Cette étude met en évidence certaines faiblesses de l'approche. Afin d'améliorer les résultats, nous proposons une coopération de processus unissant l'approche région de la structure pyramidale ˆ une approche contour représentée soit par un détecteur de maximums locaux, soit par un détecteur stochastique mis en oeuvre à cet effet. Par la suite, nous développons deux approches qui permettent d'obtenir des pyramides d'images segmentées multirésolution. La première permet, à l'aide des différents niveaux d'une pyramide irrégulière, de fournir rapidement un nombre important de segmentations dérivées, chacune à une résolution différente. La seconde, fondée sur la notion de décimation étendue, génère directement une pyramide d'images à différentes résolutions de détails. Enfin, quelques élements concernant l'étude des textures sont proposés. Des résultats expérimentaux sont fournis tout au long du document. Un comparatif des méthodes développées est effectuer. sur des images type.

La vérification déductive de programmes consiste à annoter des programmes par une spécification, c'est-à-dire un ensemble de formules logiques décrivant le comportement du programme, et à prouver que les programmes vérifient bien leur spécification. Des outils tels que la plate-forme Why prennent en entrée un programme et sa spécification et calculent des formules logiques telles que, si elles sont prouvées, le programme vérifie sa spécification. Ces formules logiques peuvent être prouvées automatiquement ou à l'aide d'assistants de preuve.Lorsqu'un programme est écrit dans un langage supportant les alias de pointeurs, c'est-à-dire si plusieurs variables peuvent désigner la même case mémoire, alors le raisonnement sur le programme devient particulièrement ardu. Il est nécessaire de spécifier quels pointeurs peuvent être égaux ou non. Les invariants des structures de données, en particulier, sont plus difficiles à vérifier.Cette thèse propose un système de type permettant de structurer la mémoire de façon modulaire afin de contrôler les alias de pointeurs et les invariants de données. Il est basé sur les notions de région et de permission. Les programmes sont ensuite interprétés vers Why de telle façon que les pointeurs soient séparés au mieux, facilitant ainsi le raisonnement. Cette thèse propose aussi un mécanisme d'inférence permettant d'alléger le travail d'annotation des opérations de régions introduites par le langage. Un modèle est introduit pour décrire la sémantique du langage et prouver sa sûreté. En particulier, il est prouvé que si le type d'un pointeur affirme que celui-ci vérifie son invariant, alors cet invariant est effectivement vérifié dans le modèle. Cette thèse a fait l'objet d'une implémentation sous la forme d'un outil nommé Capucine. Plusieurs exemples ont été écrits pour illustrer le langage, et ont été vérifié à l'aide de Capucine.

La présente thèse s’intéresse à la diversité des pouvoirs locaux en Chine qui se trouvent pris entre une tendance centralisatrice traditionnelle et une évolution autonomiste innovatrice. Les autorités centrales exercent en Chine encore l’essentiel des pouvoirs de l’État et se superposent de manière puissante aux pouvoirs locaux. Toutefois, même si c’est sous le contrôle des autorités centrales, les pouvoirs locaux ont acquis désormais des compétences dans de multiples domaines. Ils représentent ainsi de nos jours de réels centres du pouvoir que le personnel politique convoite lors des compétitions politiques. Mais contrairement à la France, les pouvoirs locaux se présentent en Chine dans un contexte de régime communiste. Cependant, comme en France, les politiques de décentralisation et de déconcentration constituent un défi pour le développement politique de l’État. À cet égard, l’échelon local a changé de statut : il a vocation à devenir une échelle décisive de gouvernement des sociétés. Cette thèse s’adresse aux juristes français et a pour ambition de leur expliquer la Chine décentralisée ainsi que l’évolution juridique et politique qui a mené à la situation actuelle. Notamment depuis une trentaine d’années, les pouvoirs locaux prennent de plus en plus de place dans la vie politique, administrative et juridique de la Chine. La thèse présente le cadre essentiellement constitutionnel de la décentralisation à la chinoise, et expose également la dimension pratique de son fonctionnement. À ce titre sont vus les changements de statut des échelons autonomes, leurs capacités juridiques et politiques et le degré de leur autonomie, tant du point de vue de la décentralisation que de la déconcentration. Le régime local se présente en Chine de manière extrêmement diversifié, à la fois dans une dimension chronologique et diachronique. / This thesis focuses on the diversity of local authorities in China, who are found between traditional centralizing tendency and autonomist innovative evolution. The central authorities in China still carry most of the powers of the state and overlap powerfully to local authorities. However, even if they are under the control of central authorities, local authorities have now acquired competences in multiple areas, such as economy, social sector, urban planning, culture, environment and sport. Local authorities thus represent today real centers of power that covets politicians during political events. But unlike in France, local authorities are presented in China in the context of the communist regime. However, as in France, the decentralization and deconcentration policy represents a challenge for public policy development. In this regard, the local level has changed status: it aims to become a decisive level of government corporations. This thesis is for French legal professionals and aims to explain the decentralized China also the legal and political developments which led to the current situation. Especially since the latest thirty years, that local authorities become having more and more space in the political, administrative and legal life of China. The thesis not only presents essentially the constitutional framework of decentralization in China, but also exposes the practical dimension of its operation. As are seen changes in the status of autonomous levels, their legal and political capacity and the degree of autonomy, both from the perspective of decentralization as deconcentration. The local regime in China has extremely diverse manner in both a chronological and diachronic dimension. This diversity of local authorities is demonstrated through both parts of the thesis

L'étude menée durant quatre années consécutives (2003-2007) a caractérisé écologiquement et faunistiquement le peuplement des coccinelles en Algérie. 48 espèces ont été répertoriées dont 46 sont des agents de lutte biologiques. Elles se répartissent dans huit sous-familles, 12 tribus et 23 genres. La richesse spécifique est très élevée dans les secteurs du nord d'Algérie. Cette zone est caractérisée par des bioclimats humide, sub-humide et semi aride regroupant 41 espèces. Elle est par contre très faible dans le secteur de l'Atlas saharien et le Sud algérien avec respectivement 12 et 16 espèces. L'étude des spécificités trophiques, spatiales et temporelles des principales espèces, nous a conduits à définir leurs niches écologiques dans les différents agro écosystèmes de l'Algérie. Ainsi, la distribution spatiale des espèces peut apparaître comme quelque chose de statique. Il s'agit en réalité d'un processus dynamique dont le moteur est la disponibilité d'habitat favorable qui abrite la proie préférentielle. La communauté de coccinelles fonctionne sur le principe de partage des ressources et les interactions entre espèces organisent la communauté en réseaux trophiques. L'analyse de la distribution des coccinelles à travers les différents secteurs géographiques montre que les espèces: C. septempunctata, H. variegata, S. punctillum et, H. argus présentent une forte valence écologique. En revanche, les espèces: P. ovoideus, P. numidicus, E. pubescent forme apicalis, H. marmottani, et Pullus sp semblent être spécifiques aux régions sahariennes et plus particulièrement au Sahara septentrional. / The study led during four consecutive years (on 2003-2007) shed light on the species composition, and habitat characteristics of the communities of ladybirds in Algeria. 48 species were listed among which 46 are biological control agents. They divide up in 8 sub-families, 12 tribes and 23 genera. The specific richness is very high in the sectors of the North of Algeria (41 species). This zone is characterized by bioclimates wet, sub-wet and semi-dry grouping. It is very low on the other hand in the sector of the Saharan Atlas and the Algerian South with respectively 12 and 16 species. The study of trophic interactions, spatial and temporal distribution of the main species, led us to define their ecological niches in the various agro-ecosystems of Algeria. So, the spatial distribution of the species can appear as something static. It is in reality a dynamic process the engine of which is the availability of favorable habitats that shelter ladybird preferential prey. Communities of ladybird works on the principle of division (sharing) of the resources and the interactions between species organize the community in trophic networks. The analysis of the distribution of ladybirds through the various geographical areas shows that the C. septempunctata, H. variegata, S. punctillum, and, H. argus present strong ecological valence. On the other hand, P. ovoideus, P. numidicus, E. pubescens forme apicalis, H. marmottani, and Pullus sp are specific to the Saharan regions and more particularly to northern Sahara.

L’expression des immunoglobulines (Ig) par les cellules B est dictée par de multiples remaniements géniques appelées recombinaisons V(D)J, commutation de classe (CSR) et hypermutation somatique (SHM). Tous ces événements sont contrôlés par des éléments cis-régulateurs notamment au locus IgH. Les mieux décrits sont la région intronique Eµ et ses régions d’attachement à la matrice nucléaire MARsEµ et la région régulatrice en 3’ du locus IgH (3’RR), constituée de 4 éléments activateurs (hs3a ; hs1,2 ; hs3b ; hs4) et possédant une structure quasi-palindromique très conservée. Afin d’étudier ces régions régulatrices, nous avons analysé plusieurs modèles murins présentant la délétion de la totalité de la région Eµ, des MARsEµ, et de diverses parties de la 3’RR. Ces modèles ont mis au jour des fonctions insoupçonnées de ces régions régulatrices, à divers stades du développement B. Au delà de son rôle régulateur des réarrangements précoces de DH vers JH, nous avons précisé la fenêtre d’action de région Eµ et son rôle sur la transcription et l’expression de la chaîne lourde µ du stade pré-B jusqu’au stade B transitionnel. L’activateur Eµ module en effet l’expression du pré-BCR et du BCR et par conséquent conditionne l’orientation des cellules B matures vers les compartiments de la zone marginale et folliculaire. Notre étude indique également que Eµ n’influence pas le choix des segments VH au cours de la recombinaison VDJ. Nous montrons que les régions MARsEµ, sont impliquées dans le ciblage des gènes d’Ig par l’hypermutation somatique. Le mode d’action de ces régions MARsEµ reste à définir mais nous décrivons qu’il est découplé de la transcription et qu’il affecte également des loci situés sur des chromosomes différents : loci codant les chaînes légères d’Ig (Ig) et loci des cibles illégitimes de AID (Bcl6 et Cd83).Une étude comparant un nouveau modèle murin déficient pour la région quasi-palindromique 3’IgH (de hs3a à hs3b) à deux autres modèles de notre laboratoire (3’RR KO et hs3b-hs4 KO) nous a permis d’identifier deux modules fonctionnels complémentaires dans la région 3’RR. Le module distal (hs4) impliqué dans la régulation de l’expression de la chaîne lourde du stade B immature au stade B naïf et le module proximal (de hs3a à hs3b) nécessaire aux stades matures pour la SHM et la CSR vers la majorité des isotypes après activation, mais également pour la synthèse des anticorps par les plasmocytes. / Immunoglobulin (Ig) gene expression in B cells depends on multiple genetic rearrangements named V(D)J recombination, class switch recombination (CSR) and somatic hypermutation (SHM). These events are controlled by cis-regulatory elements which are, especially numerous within the IgH locus. Major IgH regulatory elements are Eµ composed of a core enhancer flanked by nuclear matrix attachment regions MARsEµ and the regulatory region located at the 3’end of the locus (3’RR), composed of 4 enhancers (hs3a; hs1-2; hs3b; hs4) harbouring a highly conserved quasi-palindromic structure. To study these regulatory regions, we analyzed multiple mice models carrying endogenous deletions of either the entire Eµ region, MARsEµ only or various parts of the 3’RR. These models revealed unsuspected functions for all IgH regulatory regions, at various stages of B cell development. Beyond its role to control accessibility prior DH to JH rearrangements, we identified the window of activity for Eµ region and its particular role on transcription and expression of the µ heavy chain from pre-B to the transitional stages. Indeed, the Eµ enhancer modulates pre-BCR and BCR expression and consequently modulates the mature B cell fate toward marginal zone and follicular compartments. Our study also indicated that the absence of Eµ has no effect on VH segment usage during V to DJ recombination. We also showed that MARsEµ are implicated in the targeting of Ig genes by SHM. The mechanism by which MARsEµ enhances SHM remains to be clarified but we showed that the process does not depend on transcription. Surprisingly MARsEµ also modulates SHM occuring on genes located on different chromosomes: the Ig light chain loci (Igκ) and AID off-targets loci (Bcl6 and Cd83).In a study comparing a new mouse model devoid of the 3’ IgH quasi-palindromic region (hs3a to hs3b) to previous relevant models available in our laboratory (3’RR KO and hs3b-hs4 KO), we identified two complementary functional modules within the 3’RR. The distal module (hs4), which regulates Ig heavy chain expression (and therefore BCR expression) from the immature to mature naïve B cell stages and the proximal module (hs3a to hs3b and its quasi-palindromic structure) required at mature stages for SHM, CSR to most isotypes in activated B cells, and antibody production in plasma cells.

Les propriétés du milieu interstellaire (MIS) influencent fortement l’environnement et les processus menant à la formation d’étoiles qui, à son tour, dicte l’évolution d’une galaxie. Les galaxies naines du Groupe Local sont de parfaits laboratoires pour comprendre comment le contenu en métaux (ou métallicité) du MIS affecte l’interaction entre le gaz, la poussière et les étoiles. Mon travail de thèse porte sur les propriétés physiques des régions HII et du gaz diffus ionisé de la galaxie naine IC10, de métallicité 1/3 solaire. La proximité de cette galaxie (d=700kpc) permet l’analyse du MIS à différentes échelles spatiales: des nuages brillants compacts (25pc) au corps entier de la galaxie formant des étoiles (650pc). Afin de mesurer les propriétés physiques du MIS, j’ai modélisé les raies d’émission en infrarouge observées avec Spitzer et Herschel grâce à des modèles de photoionisation et de photodissociation. Je présente une exploration complète de plusieurs méthodes pour déterminer, de manière la plus fiable et selon les contraintes disponibles, les propriétés du MIS à diverses échelles. J’ai contraint les propriétés des nuages compacts les plus brillants dans IC10 et montré que l’émission à plus grande échelle (300pc) est dominée par celle de ces nuages. Enfin, je démontre le besoin d’un modèle à plusieurs composantes pour reproduire les observations dans leur ensemble. / The properties of the Interstellar Medium (ISM) strongly influence the environment and processes that lead to star-formation, which in turn, drives the evolution of a galaxy. Dwarf galaxies in the Local Group are perfect laboratories to investigate how the metal-poor ISM affects the interplay between gas, dust and stars. In this thesis, I investigate the properties of the HII regions and the diffuse ionized gas of the nearby dwarf galaxy IC10, which has a metallicity of 1/3 solar. Its proximity (d=700 kpc) enables the analysis on different spatial scales: from the compact clumps (~25 pc) to the whole star-forming body of the galaxy (~650pc). In order to measure the physical properties of the ISM, I model the infrared emission lines observed with Spitzer and Herschel with photoionization and photodissociation models. I present an extensive exploration of different methods to determine the most reliable ISM properties, based on the available constraints. I determined the properties of the brightest star-forming clumps within the galaxy and show that the emission at large scales (~300 pc) is dominated by that of the compact, bright clumps that lie within the region. I further demonstrate the need for a multi-component model to fully reproduce the observations.

En introduisant fréquemment des mutations ponctuelles dans les régions variables des gènes d'immunoglobulines (Ig), le processus d'hypermutation somatique (SHM, initié par la déaminase AID) est essentiel pour augmenter l'affinité des anticorps. En marge de ses cibles physiologiques (les gênes d'Ig), AID peut induire des "dommages collatéraux" au niveau de cibles "illégitimes" qui sont appelées "off targets" (dont certains oncogènes, tel que Bcl6 fréquemment muté dans les lymphomes B). Le risque élevé de dommages collatéraux dans le génome des cellules B implique que les remaniements géniques soient précisément surveillés. Parmi les éléments cis-régulateurs impliqués dans cette surveillance, on compte l'activateur cEμ au locus des chaînes lourdes des Ig (IgH) et ses régions flanquantes d'attachement à la matrice nucléaire MARsEμ (étudiés en détails dans nos modèles de souris KO). Nous montrons que la délétion des régions MARsEμ diminue non seulement les mutations au locus des chaines lourdes des Ig (effet physiologique en cis) mais également au locus des chaines légères Ig situé sur un chromosome différent (effet de trans). A l'aide d'une outil bioinformatique (DeMinEr) que nous avons développé dans le but d'identifier des mutations rares, nous montrons également que les régions MARsEμ sont impliquées dans les dommages collatéraux infligés aux "off targets" des cellules B. Grâce à la technique de FISH 3D, nous proposons que les régions MARsEμ participent à la régulation de la SHM en influençant la position des cibles de AID dans le noyau des cellules B. Notre étude met en évidence un niveau de régulation spatiale du processus de SHM médié par les régions MARsEμ du locus IgH. / By introducing frequent point mutations into the variable regions of immunoglobulin (Ig) genes, somatic hypermutation (SHM, initiated by the AID deaminase) is a driving force for antibody affinity maturation. It is now admitted that AID-induces mutations in germinal centre B cells could affect in parallel to their Ig genes physiological targets, illegitimates targets (including oncogenes) so calles "off targets" (such as Bcl6 with frequent point mutation in B lymphomas). The high risk of "collateral damage" in the B cell genome implies that remodeling events are precisely surveyed. Among cisregulatory elements involved (transcriptional enhancers and chromatin isolators and anchors...), one best candidate is the intronic region including the cEμ enhancer and iths flanking MARsEμ regions that we have been studying extensively using mouse KO model. We recently showed that MARsEμ deletion decreases SHM not only at Ig Heavy chain locus IgH (physiological cis effect) but surprisingly also at the Ig Light chain Kappa locus Ig, located on a different chromosome (trans effect). To extend the study of this intriguing trans effect, we developed a bioinformatic tool called DeMinEr that unveiled that MARsEμ regions were also involved in AID-induced collateral damages to "off-targets". Using FISH 3D, we show that MARsEμ regions harboured the potential not only to locally recruit SHM but also to cause dynamic changes of nuclear structures. The surprising cis and trans effect of MARsEμ deletion, impacting simultaneously nuclear positioning and SHM, revealed an additional level of regulation for targeting mutations to Ig and "off-targets" genes.

«Les deux poumons d'un même corps» est une métaphore régulièrement usitée pour désigner les États du Mali et de Guinée et signifier le caractère arbitraire et absurde de leur séparation. Leur frontière commune est une ligne de 858 kilomètres, héritée de la limite administrative entre deux colonies de l'Afrique occidentale française. Jamais démarquée ni véritablement matérialisée, elle est issue du découpage territorial de l'Afrique occidentale française qui avait comme objectif simple de constituer des entités spatiales gérables et non de futurs États. L'objectif de cette thèse a été de considérer la frontière entre Guinée et Mali (ancien Soudan français) dans sa globalité, à partir de la conquête de cet espace, amorcée par les Français en 1878, jusqu'en 1956 et la mise en place de territoires autonomes au sein de l'AOF. Il était d'écrire son histoire, celle de sa construction puis de sa gestion par les Français mais surtout celle de son appropriation par les groupes sociaux qui habitent les espaces de la frontière. Analyser les pratiques trans-territoriales des populations, les formes d' instrumentalisation du cadre spatial imposé permet de saisir son historicité, d'effacer progressivement le caractère fantomatique de son tracé et d'envisager les processus de territorialisation par le bas qui ont contribué à faire émerger des identités nouvelles et à enraciner la frontière à la veille des bouleversements des indépendances. / "The two lungs of one and the same body" is a metaphor commonly used to refer to the states of Mali and Guinea, indicating the absurd and arbitrary nature of their separation. Their common border is a 858-kilometer long line, inherited from the administrative boundary between two colonies of French West Africa. Though never clearly demarcated nor actually materialized, it stems from the territorial division of French West Africa, the purpose of which was simply to create manageable geographical units, not future states. This thesis proposes to consider the border between Mali and Guinea (former French Sudan) in its entirety, from the territorial conquest initiated by the French in 1878, up to 1956 with the establishment of autonomous territories within the AOF (French West Africa). It proposes to write its history: its construction and then administration by the French but, above all, the story of its appropriation by the communities which live in the border territories. Analysing the populations' trans-territorial habits and the forms of exploitation of the imposed spatial framework enables us to grasp its historicity, to gradually erase the phantom nature of this line and imagine the processes of spatial appropriation from the bottom up and how this helped generate new identities and caused the border to take root on the eve of the upheavals of independence.

L 'Acanthus pubescens Engl., arbuste originaire d'Afrique, a massivement colonisé d'anciennes aires de coupe forestière industrielle au Parc National de Kibale, en Ouganda. Dans ces zones perturbées, la régénération de la forêt tropicale est arrêtée. Le succès de recrutement des espèces arborescentes dans un environnement donné est fonction des processus associés aux graines et aux plantules. Ainsi, dans ce mémoire, nous évaluons si des facteurs tels que la dissémination des graines, la granivorie, l'herbivorie et la compétition pour les ressources abiotiques limitent la régénération dans les îlots de VA. pubescens. Les résultats suggèrent que les graines disséminées sont viables, que la granivorie n'est pas une contrainte majeure pour la régénération et que l'herbivorie mammalienne ne limite pas la performance et la survie des plantules. Toutefois, la compétition pour les ressources, principalement la lumière, semble être en partie responsable de l'arrêt de la régénération forestière dans les îlots de VA. pubescens.