Les démarches participatives se sont récemment imposées dans le domaine de la gestion des ressources renouvelables, mais ceux qui les mettent en pratique demeurent confrontés à plusieurs dilemmes. Lorsque les démarches sont mises en œuvre dans des contextes sociaux caractérisés par de fortes disparités de pouvoir, on leur reproche tantôt d'être naïvement manipulés par les acteurs les plus influents, tantôt d'être au contraire trop interventionnistes en agissant en faveur d'un groupe donné, souvent les acteurs les moins influents, sans en avoir la légitimité. Face à ce dilemme et à d'autres, la thèse relate la mise à l'épreuve d'une posture d'accompagnement critique reposant sur un cadre conceptuel faisant appel, entre autres, aux théories de la négociation. Cette posture intime une prise en compte des jeux de pouvoir locaux pour éviter que le processus conduit n'accroisse les disparités initiales. La thèse s'appuie sur la mise en œuvre et l'analyse réflexive de processus de modélisation d'accompagnement (ComMod) conduits selon une telle posture dans deux systèmes agraires des hautes terres du Nord de la Thaïlande. Nous montrons qu'un processus ComMod mis en œuvre dans une société donnée est le lieu d'expression de jeux de pouvoir inhérents à cette société, dont certains constituent des obstacles à l'émergence d'un processus de concertation équitable. Nous montrons aussi que, par ses choix méthodologiques, le concepteur d'un processus ComMod peut, dans une certaine mesure, surmonter ces obstacles. Par conséquent, loin d'être neutre, la mise en œuvre d'un processus ComMod implique une réflexion critique continue, notamment quant à la légitimité du processus et de son concepteur aux yeux des acteurs auprès desquels il intervient. Ceci entraîne la nécessité d'une explicitation systématique de ses hypothèses, au début et en cours du processus, de façon à ce qu'elles puissent être remises en cause ou légitimées par ces acteurs.

Compte tenu des incitations officielles à mettre les élèves en contact critique avec les modes de transmission non scolaires de la science, ce travail se consacre à l'un d'entre eux : les documents de vulgarisation écrits en physique. Le propos est de ne pas se limiter à leur éventuel pouvoir de motivation par éveil de la curiosité, et d'envisager leur usage en classe dans une perspective impliquant le développement conceptuel. Après un recueil d'éléments d'état des lieux sur les pratiques en cours sur ce plan auprès d'élèves et d'enseignants, l'expérimentation d'une séquence d'enseignement a été mise en place en classe de seconde, trois années de suite. Cette séquence, qui se déroule en trois épisodes de deux heures répartis sur l'année et implique des notions du programme, prend le parti d'une perturbation minimale du cursus classique. Un accent important y est mis notamment sur l'aptitude des élèves à hiérarchiser les éléments d'un document papier avec images du point de vue des risques que ceux-ci impliquent pour la compréhension du message principal. Egalement pointée par l'étude : la tendance à la « réduction scolaire » qui ramène ce message ou les activités envisageables à son propos aux stricts rituels scolaires. Outre les évolutions positives observées trois années de suite chez les élèves sur ces plans, en contraste avec le pessimisme enseignant, les commentaires analysés suggèrent fortement une articulation entre analyse critique conceptuelle et satisfaction intellectuelle des élèves, un fait qui souligne l'intérêt de futures recherches sur ce plan.

Aujourd'hui, la congélation de l'embryon est la voie privilégiée pour la cryoconservation des ressources génétiques lapin au sein de la Cryobanque Nationale. Les objectifs de notre travail étaient d'optimiser la production des embryons et de développer une nouvelle voie de cryoconservation des ovocytes MII de lapin par congélation lente et par vitrification. Les expériences menées sur les traitements de superovulation et de synchronisation ainsi que sur le moment d'insémination par rapport au sevrage montrent que les conditions d'environnement des lapines sont plus importantes que la nature des traitements administrés. De plus, l'évaluation du métabolisme, de la structure et de la capacité de développement ovocytaire après réchauffement suggère que la vitrification et la congélation lente altèrent fortement les ovocytes par des lésions associées respectivement à leur importante sensibilité aux cryoprotecteurs et à la cristallisation intracellulaire.

Se connecter à Internet est devenu, semble-t-il, incontournable pour les établissements scolaires. La délocalisation, la numérisation et la mobilité accrue des signes textuels, visuels et sonores laissent penser que des bouleversements peuvent affecter la manière dont les enseignants pensent leur métier. Il semble, notamment, que s'opère peu à peu une transformation de l'identité professionnelle, des conceptions liées au métier d'enseignant, chez ceux qui ont choisi de tester les possibilités de ces outils. Pour élucider ce point, il a été choisi ici d'étudier l'influence que peut avoir l'usage d'Internet sur les projets des enseignants de classes primaires qui construisent un site d'école sur le Web, mais aussi de tenter de voir comment ce travail s'exprime dans le paysage des réseaux. Internet, dans cette recherche, a donc la particularité méthodologique d'être à la fois un facteur et un indicateur de changement dans les pratiques. L'analyse sémiotique des sites Web des écoles primaires françaises, l'évolution de leurs structures et de leurs contenus de 1999 à 2001, accompagnées des commentaires in situ des acteurs à l'origine de certaines de ces pages, montrent que ces derniers choisissent des stratégies personnelles parfois très différentes entre elles. Ces productions témoignent, de la part des auteurs, des projets personnels qui leur tiennent à coeur. Cette construction aboutit pour certains, mais pas pour tous, à une transformation identitaire profonde qui modifie leur trajet professionnel

La définition et la résolution d'un problème d'occurrences contraintes sont abordées. Celui-ci est pose en considérant un graphe dont les nœuds sont des domaines d'occurrences possibles et les arcs des relations temporelles symboliques entre intervalles et disjonctives. Résoudre le problème c'est éliminer, en réduisant les domaines, les occurrences rendues impossibles par les contraintes relationnelles. Ceci peut être fait partiellement au moyen d'un algorithme de propagation de contraintes, dit de dérivation locale

.

On évoque souvent, à propos de l'agriculture sahélienne, les caprices de la pluviométrie notamment les sécheresses catastrophiques de 1973 et de 1984. Pour autant, en dehors de ces épisodes de crises exceptionnelles et de leurs conséquences dramatiques, les savoir-faire paysans et le dynamisme des communautés rurales, ont permis de surmonter bien des difficultés. Les solidarités entre générations, la cohésion des familles, une économie populaire informelle, sont autant de parades à l'incertitude et aux mauvaises conjonctures. Dans la vallée d'Arewa, le doublement de la population ces vingt cinq dernières années a été accompagné d'un formidable mouvement d'extension des cultures, avec pour corollaire, une saturation des terres cultivables et une diminution sensible de la couverture végétale. Cette dernière a provoqué des réactions en chaîne sur les autres composantes de l'écosystème, l'aggravation des phénomènes érosifs a notamment déclenché d'importantes perturbations du régime hydrologique du kori. Le modèle extensif de la céréaliculture pluviale a atteint ses limites, tandis que la disparition progressive de la jachère a contribué à l'appauvrissement chimique des sols. En réponse à cette crise écologique et foncière, les paysans ont ajusté leurs systèmes de production. Les terrasses alluviales ont vu l'essor des cultures d'oignons et de l'arboriculture fruitière grâce à la petite irrigation, tandis que la sylviculture du nim est devenue une alternative à la pénurie de bois de chauffe. La terre autrefois héritage commun, a aujourd'hui acquis une valeur marchande, des stratégies spéculatives émergent et entraînent des formes de recomposition sociale. Les transformations qui ont lieu, aujourd'hui dans la vallée d'Arewa, ne peuvent donc être résumées à la seule dégradation des ressources environnementales. Une voie est ouverte vers l'intensification, le cadre économique régional s'y prête, la décentralisation récente ouvre des perspectives de soutien à la production, bien que certains doutes sur la mise en œuvre effective de son financement subsistent.

Nous presentons un modele de systemes de ressources partagees sur lequel nous definissons un parametre de performances fondamental : $\gamma$. Nous cherchons ensuite a etudier ce parametre de performances pour une classe de systemes stochastiques. Apres avoir presente quelques proprietes analytiques de $\gamma$, nous nous interessons a son evaluation. Les calculs exacts etant rarement possibles, nous recherchons des bornes. Plusieurs approches sont presentees. Les resultats mettent en valeur une notion importante : celle de graphe d'exclusion d'un systeme de ressources partagees. En effet, les bornes obtenues sont fonctions de quantites simples definies sur ce graphe, telles que le degre moyen ou le nombre chromatique. Nous montrons ensuite les resultats qu'apportent les bornes que nous avons trouvees pour l'estimation d'exposants de Lyapunov de matrices stochastiques dans l'algebre (max,+).

Cette thèse s'articule autour de la gestion de ressources explicites dans les langages fonctionnels, en mettant l'accent sur des propriétés de calculs avec substitutions explicites raffinant le lambda-calcul. Dans une première partie, on s'intéresse à la propriété de préservation de la beta-normalisation forte (PSN) pour le calcul lambda s. Dans une seconde partie, on étudie la propriété de confluence pour un large ensemble de calculs avec substitutions explicites. Après avoir donné une preuve générique de confluence basée sur une série d'axiomes qu'un calcul doit satisfaire, on se focalise sur la métaconfluence de lambda j, un calcul où le mécanisme de propagation des substitutions utilise la notion de multiplicité, au lieu de celle de structure. Dans la troisième partie de la thèse on définit un prisme des ressources qui généralise de manière paramétrique le lambda-calcul dans le sens où non seulement la substitution peut être explicite, mais également la contraction et l'affaiblissement. Cela donne un ensemble de huit calculs répartis sur les sommets du prisme pour lesquels on prouve de manière uniforme plusieurs propriétés de bon comportement comme par exemple la simulation de la beta-réduction, la PSN, la confluence, et la normalisation forte pour les termes typés. Dans la dernière partie de la thèse on montre différentes ouvertures vers des domaines plus pratiques. On s'intéresse à la complexité d'un calcul avec substitutions en premier lieu. On présente des outils de recherche et on conjecture des bornes maximales. Enfin, on finit en donnant une spécification formelle du calcul lambda j dans l'assistant à la preuve Coq.

Les grappes et grilles de machines connaissent, à l'heure actuelle, un succès grandissant. Les avantages offerts par ces supports d'exécution sont multiples : faible coût d'installation, facilité d'adaptation à la charge, facilité de portage des codes de calculs pré-existants ... De par la démocratisation de ces supports d'exécution, l'informatique évolue vers un modèle déporté où la puissance de traitement est fournie sous forme de services. Cette thèse étudie et propose des solutions à la problématique de mise en place de services déportés sur des grappes de machines. Les problématiques d'observation de l'état des machines, de haute disponibilité, de prise en compte de l'aspect dynamique d'une grappe de machines et de gestion d'accès personnalisés aux grappes de machines ont été étudiées. Le gestionnaire de ressources AROMA (scAlable ResOurces Manager and wAtcher), développé durant cette thèse permet d'apporter des réponses concrètes à ces problématiques. L'originalité de cet outils réside dans la prise en compte de l'aspect dynamique des grappes de machines, et dans la précision des informations d'état collectés sur les machines. La précision de ces informations permet notamment la prise de décisions de placement intégrant la notion de qualité de service. La problématique du dimensionnement des grappes de machines déportées est ensuite abordée. Le comportement des différents éléments ayant une influence sur les performances du système est étudié : les clients, les applications, les machines, les systèmes d'exploitation et la couche réseau. Différents modèles de simulations de ces éléments ont été intégrés au simulateur DHS (Distributed Hybride Simulator). Les résultats obtenus par ce simulateur sont enfin comparés à des modèles analytiques et à des mesures d'exécutions réelles afin de valider leur pertinence et d'évaluer les performances de la simulation. L'originalité de ce travail réside dans la simulation de l'ensemble des éléments ayant une influen ce sur les performances d'une grappe de machines. Les modèles proposés offrent différents niveaux de détails permettant de sélectionner le rapport précision/performance souhaité.