Le sida est une des plus graves crises à laquelle l'humanité a jamais dû faire face. Il ne s'agit pas seulement d'un problème d'urgence, mais en même temps d'un problème de développement à long terme. Les femmes africaines sont les plus exposées au risque d'infection. Pour changer cette tendance à la féminisation de la maladie, il est nécessaire de s'attaquer au facteur principal qui contribue à la vulnérabilité des femmes - les inégalités entre les sexes. L'intégration du concept genre dans les politiques de lutte contre le VIH/sida, afin de changer les rapports sociaux inégaux entre les hommes et les femmes dans de nombreuses sociétés, est d'une importance primordiale pour arrêter la propagation rapide de l'infection du VIH. L'engagement politique des institutions internationales et des pays touchés s'est de plus en plus accru. Mais, l'existence de politiques ne se traduit pas nécessairement en une action efficace. L'intégration du genre dans les réponses nationales et internationales au sida s'avère difficile. Bien que les discours politiques des institutions internationales et des gouvernements prennent en compte le problème de la féminisation du sida, l'intégration du genre ne dépasse que très rarement le stade du discours. Pour des raisons d'exclusion économique, sociale et culturelle, les stratégies actuelles de prévention du VIH ne sont pas réalistes pour un grand nombre de femmes puisqu'elles ne sont souvent pas en mesure de négocier avec leur partenaire des relations sexuelles sans risque. L'analyse des ripostes internationales et nationales nous montre que souvent, les approches utilisées reproduisent la construction sociale des inégalités de rapports entre hommes et femmes, ce qui rend les femmes encore plus vulnérables au VIH/Sida. Pour être efficace, une politique de lutte contre le sida doit être basée sur une approche à plusieurs facettes, qui est adaptée au genre, qui crée des relations plus égales entre les hommes et les femmes et qui vise l'empowerment des femmes. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : Sida, Intégration du genre, Afrique subsaharienne, Institutions internationales

Les préoccupations de développement durable en milieu rural procèdent du premier principe de Rio qui envisage le droit aux êtres humains à une vie saine et productive en harmonie avec la nature étant donné le niveau de détérioration continue des écosystèmes. Les perceptions qui estiment que chaque territoire détient les ingrédients d'une réponse locale à ses propres enjeux de développement circonscrivent ainsi a priori les besoins de développement d'une collectivité au patrimoine de son territoire. Appréhender la problématique du développement d'une collectivité dans ce contexte revient à effectuer une lecture territoriale des enjeux. Dès lors, il se pose le problème d'échelle d'analyse. Aussi, Action 21 de Rio repose, à son chapitre 28, sur la responsabilité de la compréhension des enjeux ainsi que des initiatives à entreprendre pour améliorer les conditions de vie des communautés résidentes. La population devient ainsi incontournable pour toute recherche scientifique. L'articulation de méthodes favorisant l'implication de la population visée par la recherche est nécessaire. Cette thèse se veut d'apporter une contribution sur les deux aspects. Le développement rural en Afrique subsaharienne en général et en Guinée en particulier, est d'abord et avant tout un enjeu politique. En effet, la politique de désengagement qui a précédé et celle de décentralisation induite au début de 1992, responsabilisent les collectivités rurales par rapport à leur développement. Ceci constitue à la fois une rupture avec les politiques centralistes et une aventure dans une politique nouvelle qui remet en cause le système de gouvernance administrative et territoriale. Autant la typologie des acteurs qui entrent en enjeu, leur caractérisation, leur engagement ainsi que l'articulation du pouvoir sont des déterminants des assises territoriales et environnementales. Elle constitue le cadre théorique développé dans cette thèse à travers une recherche documentaire et une analyse critique de la littérature. Dans le cadre d'une approche globale qui intègre le contexte et les différentes préoccupations du développement, l'analyse des enjeux de développement d'une collectivité rurale en rapport avec les principes de Rio à l'échelle de terroir est l'objectif principal de cette thèse. Il s'agit : (1) de cerner la construction sociale du terroir et (2) d'appréhender le territoire dans sa diversité biophysique pour relever les enjeux de développement et d'identifier les axes d'intervention qui s'inspirent des orientations de l'Agenda 21 local. La première démarche s'appuie sur les approches d'implication de la population dans la recherche. Elle est formalisée sous le paradigme de recherche participative. Basé sur des concertations à deux niveaux: (i) la réunion publique, regroupant l'ensemble des acteurs pour une analyse globale de la situation à l'échelle locale et (ii) des entretiens par entités communautaires élémentaires pour obtenir la compréhension détaillée de la situation. La seconde démarche concerne l'appréhension du territoire et sa dynamique environnementale. Elle emploie les enquêtes de terrain, la télédétection et le SIG. La réalisation de cette thèse constitue une contribution à l'appréhension du spatial et de l'environnement qui sont essentielles à la réalisation du développement communautaire dans une perspective de développement durable. Elle donne une compréhension d'ensemble des enjeux du développement en milieu rural et identifie les grands chantiers à poursuivre. Elle permet, en outre, la prise en compte systématique des enjeux environnementaux, socioéconomiques et territoriaux qui respectent les orientations de l'Agenda 21. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : développement durable, Afrique subsaharienne, territoire, terroir, collectivités rurales, échelle d'analyse, enjeux, Agenda 21, décentralisation, développement local.

Cette thèse a pour objet i) l'étude de la phase initiale de colonisation des débris ligneux d'épinettes noires (Picea mariana [Mill] B.S.P.) produits par le feu, par les coléoptères saproxyliques ainsi que l'étude ii) des facteurs régulant les taux de décomposition de ces débris ligneux dans le nord de la forêt boréale du Québec. Cette étude est la seule à ce jour traitant à la fois de la décomposition du bois et de la colonisation saproxylique dans un contexte postfeu. Entre autres, elle a mis à profit un dispositif d'échantillonnage entomologique installé très tôt après feu (7 jours). Ce dispositif ainsi que celui utilisé pour caractériser la décomposition de la matière ligneuse se sont étendus sur un large territoire ce qui a permis de couvrir l'essentiel de la variabilité des conditions postfeu ainsi que de considérer de multiples échelles spatiales. L'étude a ainsi mis en lumière l'importance de la sévérité du feu dans la structuration des patrons de colonisation. De plus, le patron de colonisation laisse présager que les capacités de dispersion des coléoptères saproxyliques colonisant les brulis récents sont très importantes. En plus d'influencer fortement le patron de colonisation des coléoptères saproxyliques, la sévérité du feu affecte aussi le processus de décomposition de la matière ligneuse. Les caractéristiques de l'habitat brûlé ont influencé le patron de colonisation de façon très importante. Les attributs de l'habitat brûlé, plus particulièrement, la sévérité du feu, ont influencé ce patron à de multiples échelles spatiales et ce, à la fois pour les adultes colonisateurs et les néonates. De façon générale, les prédateurs et les xylophages adultes étaient plus abondants dans les paysages et les peuplements sévèrement brûlés alors que la sévérité du feu avait un impact opposé sur les mycophages. L'importance de la sévérité du feu devrait être une conséquence directe de l'impact de cette variable sur les propriétés nutritionnelles du substrat ligneux. En ce sens, une plus forte abondance des adultes xylophages dans les peuplements sévèrement brûlés est contre-intuitive. En effet, les néonates xylophages étaient plus abondantes dans les arbres faiblement brûlés, ces derniers favorisant la survie larvaire en maintenant un taux d'humidité subcorticale suffisant. Un tel comportement postfeu suggère une stratégie de colonisation non-optimale chez plusieurs espèces xylophages. Ce comportement pourrait être le résultat d'une pression évolutive qui aurait amené ces espèces à détecter et utiliser un substrat à l'apport beaucoup plus stable, en l'occurrence celui produit par sénescence naturelle en forêt verte, plutôt que celui résultant d'une perturbation survenant à des intervalles hautement variables dans le temps et l'espace. Se dirigeant vers le substrat brûlé en utilisant les mêmes volatiles que ceux émis par les arbres récemment morts en forêt non-brûlée, les adultes colonisateurs auraient majoritairement convergé vers les paysages contenant davantage de ces volatiles, soit ceux sévèrement brûlés. Malgré la non-optimalité de cette stratégie, l'utilisation des brulis demeurent une opportunité reproductive (plutôt que la panacée) pour les espèces xylophages considérant la très grande quantité de substrats qu'on y retrouve. D'autre part, le processus de dispersion vers les habitats où la quantité de volatiles est élevée implique la prise en compte de caractéristiques environnementales à grandes échelles spatiales. Néanmoins, les caractéristiques de l'habitat brûlé mesurées à des échelles plus fines sont demeurées importantes afin de structurer le patron de colonisation. L'émigration des individus depuis des habitats-sources éloignés vers le substrat de reproduction ou d'alimentation a été la conséquence directe de ce patron spatial multi-échelles. Par ailleurs, l'éloignement des sources de colonisation n'aurait eu que très peu d'impact sur la capacité des coléoptères saproxyliques adultes à atteindre l'habitat à coloniser. Seule l'abondance de quelques espèces majoritairement mycophages diminuait en fonction de la distance aux feux récents. L'absence d'effets négatifs de l'éloignement des sources de colonisation pourrait être conséquente aux très fortes capacités de dispersion présumées des espèces colonisatrices initiales. En plus d'influencer la colonisation saproxylique, la sévérité du feu a eu un impact considérable sur les taux de décomposition de la matière ligneuse. De façon générale, ces taux étaient relativement bas (k = 0,013) lorsque comparés à ceux observés sur des taxons similaires et à l'intérieur d'écorégions comparables. La sévérité du feu a négativement influencé les taux de décomposition notamment en accélérant la perte d'humidité et la chute de l'écorce et en ralentissant la fragmentation des chicots. Les faibles taux de décomposition chez les arbres sévèrement brûlés pourraient aussi être conséquents à une action comminutive réduite des espèces xylophages. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : Feu de forêt, coléoptères saproxyliques, taux de décomposition, débris ligneux, Picea mariana, dispersion, patrons spatiaux, forêt boréale

Plusieurs études ont mis en lumière l'importance du bois mort dans la dynamique des écosystèmes forestiers boréaux, qu'il soit sur pied (chicot) ou au sol. Chez les espèces boréales de l'est de l'Amérique du nord, on dispose cependant de relativement peu d'informations sur la dynamique des arbres morts per se, en termes de recrutement, de taux de dégradation, de rapidité de décomposition, etc. Cette thèse vise à approfondir les connaissances sur la dynamique des arbres morts de quatre espèces très communes en forêt boréale de l'est : le peuplier faux-tremble (Populus tremuloides Michx.), le sapin baumier (Abies balsamea [L.] Mill.), le pin gris (Pinus banksiana Lamb.) et l'épinette noire (Picea mariana [Mill.] BSP). La thèse est divisée en quatre chapitres. Le premier chapitre décrit les trajectoires de dégradation du bois mort en forêt mature ou surannée. Des courbes de persistance sur pied des chicots ont été construites pour chaque espèce, et les trajectoires de dégradation ont été documentées en se basant sur la forme de la relation, le délai dans l'initiation de la chute et la demi-vie (le temps requis pour que la moitié des tiges soient tombées). Chez la plupart des espèces, les courbes de survie ont pris la forme de fonctions sigmoïdes inversées. Le peuplier faux-tremble, le pin gris et dans une moindre mesure le sapin baumier présentaient des délais significatifs avant que les taux de chute ne deviennent importants. De plus forts taux de chute étaient observables chez l'épinette noire dans les premières années suivant la mort. Le pin gris était clairement l'espèce la plus persistante vu sa grande résistance à la chute et aux bris. Le diamètre des arbres n'a pas influencé significativement la probabilité de chute. Au deuxième chapitre, je me suis intéressée aux taux de minéralisation du bois des chicots et aux facteurs qui les influencent. Les taux de minéralisation différaient significativement entre les espèces. Le peuplier faux-tremble présentait un taux de minéralisation plus rapide que ceux des conifères. Le pin gris occupait le deuxième rang, suivi par le sapin baumier. L'épinette noire s'est révélée particulièrement résistante à la minéralisation. Aucune différence n'a été observée entre les taux de minéralisation à la base et à hauteur de poitrine chez les conifères, tandis qu'à la base des chicots de peuplier faux-tremble, ce taux était significativement plus élevé qu'à hauteur de poitrine. Le temps écoulé depuis la mort de l'arbre (TDM) et l'activité des Cérambycidés étaient significativement associés à une minéralisation plus rapide chez le peuplier faux-tremble, le sapin baumier et le pin gris, alors qu'une croissance lente et un faible diamètre étaient associés à des taux de minéralisation plus lents chez l'épinette noire. Je suggère que les conditions environnementales dans lesquelles se trouvaient les pessières noires échantillonnées pourraient expliquer pourquoi le TDM influence moins la minéralisation du bois des chicots chez l'épinette noire. Au chapitre 3, j'ai examiné les patrons temporels de mortalité et la dynamique des arbres morts après feu sur une période de dix ans chez le peuplier faux-tremble, le pin gris et l'épinette noire. Les patrons temporels de mortalité des trois espèces ont révélé que la mortalité était décalée dans le temps. La majeure partie de la mortalité a eu cours dans les deux années suivant le feu, mais le processus de mortalité s'est poursuivi jusqu'à la fin de la période d'étude de dix ans. Le pin gris était l'espèce la plus persistante comme chicot, suivi du peuplier faux-tremble et de l'épinette noire. Les facteurs influençant la persistance des chicots représentaient plusieurs échelles et étaient généralement spécifiques à chaque espèce. La sévérité du feu était le seul facteur commun à toutes les espèces influençant la persistance des chicots, ceux situés dans des peuplements sévèrement brûlés étant moins susceptibles de tomber. La persistance sur pied des chicots de peuplier faux-tremble augmentait avec la surface terrière et le diamètre des tiges. La présence de coupes de récupération dans le paysage n'a affecté que la persistance des chicots d'épinette noire. Les patrons de chute différaient aussi selon les espèces. Le court-circuitage du stade de chicot (i.e. quand un arbre vivant tombe directement au sol) ainsi que le déracinement de chicots étaient communs. La mortalité décalée dans le temps des arbres dans plusieurs peuplements, ainsi que la persistance relativement élevée des chicots dix ans après feu, ont assuré un recrutement continu de bois mort frais qui a permis la présence d'une importante quantité de chicots ainsi que l'abondance simultanée de bois mort de différents stades de dégradation. Le dernier chapitre est intégrateur des chapitres précédents. J'y ai examiné quels traits morphologiques prévoient le mieux le TDM et la densité résiduelle du bois et j'y ai évalué dans quelle mesure un système de classification de la dégradation communément utilisé est représentatif de ces deux variables. Les résultats indiquent que les meilleures combinaisons de traits prédictifs du TDM et de la densité du bois diffèrent d'une espèce à l'autre. Le recouvrement d'écorce et la pénétrabilité du bois constituaient les seuls traits morphologiques prédictifs communs à toutes les espèces relativement au TDM et à la densité résiduelle du bois, respectivement. Le stade de dégradation constituait un indicateur grossier de l'âge des chicots (i.e. TDM). L'âge moyen des chicots croissait généralement avec les stades de dégradation, mais des chevauchements significatifs dans les TDM de stades de dégradation adjacents ont été observés chez toutes les espèces. Le même phénomène a été observé relativement à la densité du bois. Cette étude montre que le système de classification de la dégradation utilisé peut être utile lorsque des estimations grossières sont requises. Cependant, lorsque des estimations plus précises sont nécessaires, les modèles spécifiques à chaque espèce construits selon des traits morphologiques significatifs ne représentent pas des outils demandant plus de temps ou de ressources sur le terrain et procurent des estimations du TDM et de la densité plus précises. Les résultats de cette thèse montrent que la dynamique de dégradation et de décomposition différentielle des quatre espèces à l'étude traduit des réponses individuelles des espèces qui sont liées à leur autécologie. Ces différences entre espèces sont observables dans tous les chapitres, que ce soit en regard des trajectoires de dégradation des tiges (chapitres 1 et 3), de la minéralisation du bois (chapitre 2) ou des indicateurs morphologiques de l'état d'un chicot (chapitre 4). Cette conclusion est aussi valable pour les assemblages de facteurs qui influencent la dégradation (chapitre 3) et la minéralisation (chapitre 2). Le bois mort ne peut donc pas être considéré comme un substrat uniforme et la spécificité des espèces peut avoir d'importantes conséquences pour plusieurs fonctions écologiques liées au bois mort. Dans une perspective d'aménagement écosystémique, ces résultats devraient être considérés lors de l'élaboration de stratégies de rétention d'arbres à valeur de conservation. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : Bois mort, chicots, taux de chute, taux de minéralisation, mortalité, systèmes de classification de la dégradation, dendrochronologie, peuplier faux-tremble, Populus tremuloides Michx., sapin baumier, Abies balsamea (L.) Mill., pin gris, Pinus banksiana Lamb., épinette noire, Picea mariana (Mill.) BSP.

Comme les autres villes sud-africaines, Cape Town porte l'empreinte des idéologies de la ségrégation et de l'apartheid, inscrites légalement dans l'espace urbain dès 1901. Mais c'est à partir de 1948 que les grands townships se développent. Une étude détaillée de chaque quartier noir fait apparaître les caractéristiques de cet urbanisme sud-africain particulier, destiné au contrôle social et politique des populations noires. Cependant, dans des paysages imposés par le gouvernement, ces populations ont réussi à développer une culture africaine et urbaine originale : c'est ce que fait apparaître une géographie culturelle des townships et des camps de squatters. Aujourd'hui, la ville post-apartheid se dessine, entre inerties spatiales, pesanteur des structures héritées de l'apartheid et formation de quartiers racialement mixtes.

Cette thèse étudie l'efficacité des normes d'émissions pour réguler les pollutions transfrontalières entre deux pays. Plusieurs types de norme sont abordés essentiellement des normes différenciées et de la norme uniforme, car ces normes sont souvent utilisées dans les accords environnementaux internationaux. Cette analyse théorique est conclue par une évaluation empirique sur le problème majeur de pollution de la mer Noire. D'un point de vue positif, nous justifions l'usage fréquent de la norme uniforme par la présence de transferts monétaires, peu coûteux, entre deux pays hétérogènes. D'un point de vue normatif, il peut être préférable pour les pays d'annoncer en avance, et de mettre en place plus tard de la norme uniforme, afin d'inciter les entreprises à investir dans une nouvelle technologie de dépollution. Ce résultat dépend du coût d'installation de cette technologie. L'évaluation empirique se réalise à partir d'un modèle d'optimisation dynamique qui autorise la comparaison d'efficacité de différents arrangements institutionnels internationaux parmi lesquels on peut compter la norme uniforme et les normes différenciées.

Le présent mémoire s'intéresse aux représentations de la colère dans la littérature des femmes africaines-américaines du 20e siècle. Il cherche à comprendre de quelles manières cette émotion taboue et honteuse investit Passing de Nella Larsen, Sula de Toni Monison et Push de Sapphire, trois œuvres écrites à différentes époques-clés de l'histoire littéraire noire états-unienne au féminin (les années 1920 et la Renaissance de Harlem; les années 1970 et l'émergence du féminisme noir et de sa critique littéraire; les années 1990 et la consécration institutionnelle des black women's studies). Il s'agit de voir comment, dans ces romans où prédominent des enjeux liés aux oppressions de sexe, de race et de classe, la colère joue le rôle de moteur textuel, d'émotion-source : elle dirige les actions et propos des personnages, dirige les intrigues, dirige l'écriture. Elle semble ainsi constituer une impulsion, un paradigme traversant la tradition littéraire féministe noire. L'étude d'un corpus diachronique permet d'entrevoir une évolution singulière : le passage d'une colère nommée et thématisée à une colère-discours. La colère constituant une émotion du désordre et du spectaculaire, j'analyse les stratégies narratives qui permettent de faire surgir l'excès et le théâtral dans les œuvres à l'étude. Ma réflexion se décline en quatre temps. Je me penche dans un premier chapitre sur les articulations entre rapports d'oppression et colère. J'interroge les liens entre sexe et colère, puis entre race et colère, pour enfin présenter les fondements théoriques du féminisme noir et les écrits de féministes noires sur la question. Les trois autres chapitres sont consacrés aux romans analysés : le deuxième traite de Passing et de la colère qui prend possession de l'intrigue grâce à quelques stratégies du double; le troisième montre que la colère, dans Sula, se manifeste selon deux mouvements simultanés (une transmission entre plusieurs générations de personnages et un détournement dans la narration) et par le recours à la métaphore du feu; le quatrième s'intéresse à Push et à son esthétique de l'excès, laquelle imprègne à la fois les corps des protagonistes et la narration. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : colère, excès, violence, littérature afro-américaine, littérature américaine, féminisme noir, Nella Larsen, Toni Morrison, Sapphire.

Ce rapport porte sur le sujet de recherche de l'identification boîte noire du système non linéaire. En effet, parmi toutes les techniques nombreuses et variées développées dans ce domaine de la recherche ces dernières décennies, il semble toujours intéressant d'étudier l'approche réseau de neurones dans l'estimation de modèle de système complexe. Même si des modèles précis ont été obtenus, les principaux inconvénients de ces techniques restent le grand nombre de paramètres nécessaires et, en conséquence, le coût important de calcul nécessaire pour obtenir le niveau de pratique de la précision du modèle désiré. Par conséquent, motivés pour remédier à ces inconvénients, nous avons atteint une méthodologie complète et efficace du système d'identification offrant une précision équilibrée, la complexité et les modèles de coûts en proposant, d'une part, de nouvelles structures de réseaux de neurones particulièrement adapté à une utilisation très large en matière de modélisation système pratique non linéaire, d'autre part, un simple et efficace technique de réduction de modèle, et, troisièmement, une procédure de réduction de coût de calcul. Il est important de noter que ces deux dernières techniques de réduction peut être appliquée à une très large gamme d'architectures de réseaux de neurones sous deux simples hypothèses spécifiques qui ne sont pas du tout contraignant. Enfin, la dernière contribution importante de ce travail est d'avoir montré que cette phase d'estimation peut être obtenue dans un cadre robuste si la qualité des données d'identification qu'il oblige. Afin de valider la procédure d'identification système proposé, des exemples d'applications entraînées en simulation et sur un procédé réel, de manière satisfaisante validé toutes les contributions de cette thèse, confirmant tout l'intérêt de ce travail.

Les Components-Off-The-Shelf (COTS) sont utilisés pour le développement rapide et efficace de logiciels tout en limitant le coût. Il est important de tester le fonctionnement des composants dans le nouvel environnement. Pour les logiciels tiers,le code source des composants, les spécifications et les modèles complets ne sont pas disponibles. Dans la littérature de tels systèmes sont appelés composants "boîte noire". Nous pouvons vérifier leur fonctionnement avec des tests en boîte noire tels que le test de non-régression, le test aléatoire ou le test à partir de modèles. Pour ce dernier, un modèle qui représente le comportement attendu du système sous test(SUT) est nécessaire. Ce modèle contient un ensemble d'entrées, le comportement du SUT après stimulation par ces entrées et l'état dans lequel le système se trouve.Pour les systèmes en boîte noire, les modèles peuvent être extraits à partir des traces d'exécutions, des caractéristiques disponibles ou encore des connaissances des experts. Ces modèles permettent ensuite d'orienter le test de ces systèmes.Les techniques d'inférence de modèles permettent d'extraire une information structurelle et comportementale d'une application et de la présenter sous forme d'un modèle formel. Le modèle abstrait appris est donc cohérent avec le comportement du logiciel. Cependant, les modèles appris sont rarement complets et il est difficile de calculer le nombre de tests nécessaires pour apprendre de façon complète et précise un modèle.Cette thèse propose une analyse et des améliorations de la version Mealy de l'algorithme d'inférence L* [Angluin 87]. Elle vise à réduire le nombre de tests nécessaires pour apprendre des modèles. La version Mealy de L* nécessite d'utiliser deux types de test. Le premier type consiste à construire les modèles à partir des sorties du système, tandis que le second est utilisé pour tester l'exactitude des modèles obtenus. L'algorithme utilise ce que l'on appelle une table d'observation pour enregistrer les réponses du système.Le traitement d'un contre-exemple peut exiger d'envoyer un nombre conséquent de requêtes au système. Cette thèse aborde ce problème et propose une technique qui traite les contre-exemples de façon efficace. Nous observons aussi que l'apprentissage d'un modèle ne nécessite pas de devoir remplir complètement ces tables. Nous proposons donc un algorithme d'apprentissage qui évite de demander ces requêtes superflues.Dans certains cas, pour apprendre un modèle, la recherche de contre-exemples peut coûter cher. Nous proposons une méthode qui apprend des modèles sans demander et traiter des contre-exemples. Cela peut ajouter de nombreuses colonnes à la table d'observation mais au final, nous n'avons pas besoin d'envoyer toutes les requêtes. Cette technique ne demande que les requêtes nécessaires.Ces contributions réduisent le nombre de tests nécessaires pour apprendre des modèles de logiciels, améliorant ainsi la complexité dans le pire cas. Nous présentons les extensions que nous avons apportées à l'outil RALT pour mettre en oeuvre ces algorithmes. Elles sont ensuite validées avec des exemples tels que les tampons, les distributeurs automatiques, les protocoles d'exclusion mutuelle et les planificateurs.

Il y a presque dix ans que l'accélération de l'expansion de l'Univers a été mise en évidence grâce aux observations des supernovae de type Ia et du fonds diffus cosmologique. Cette découverte a changé notre compréhension du contenu énergétique de l'Univers puisque pour expliquer une telle accélération, une composante supplémentaire de matière (effective ou non) est nécessaire et contribue à hauteur de 70%. Cette dernière est appelé "énergie noire". Elle affecte aussi bien les mesures de distance, que la croissance des sur-densités de matières primordiales qui donnent naissance aux structures. Les principales sondes sensibles à ces deux dernières quantités sont les supernovae de type Ia, les amas de galaxies, les lentilles gravitationnelles, et les oscillations acoustiques des baryons (BAO). Afin de contraindre précisément les modèles théoriques (Constante Cosmologique, modification de la théorie de la relativité générale par exemple) qui tentent de déterminer la nature de l'énergie noire, l'observation de chacune de ces quatre sondes est indispensable. Le niveau de précision sur la mesure des paramètres des modèles d'énergie noire requis est tel qu'une nouvelle génération d'instruments va voir le jour dans les années à venir avec notamment le télescope LSST (Large Synoptic Survey Telescope). Le télescope LSST dont le miroir primaire fait 8.4 mètres de diamètre, produira un sondage couvrant la moitié du ciel observable dans 6 bandes photométriques pendant 10 ans. Sa caméra sera la plus grosse caméra jamais construite dans le monde avec un plan focal de 3.2 milliards de pixels. Cette thèse présente à la fois un aspect expérimental et phénoménologique. Le travail présenté porte tout d'abord sur l'élaboration du banc d'étalonnage de la caméra de LSST, et des premières mesures optiques validant le schéma de principe du banc. Nous présenterons ensuite la simulation des BAO dédiée à LSST tentant de prédire à quelle précision les paramètres d'énergie noire pourront être contraint. L'accent est mis sur la production d'un catalogue photométrique de galaxies simulé ainsi que sur une méthode de calcul des redshifts photométriques. La validation de la méthode grâce à des données spectro-photométriques du CFHTLS est également présentée.