La raison initiale du sujet de cette thèse est l'introduction, pour la première fois en France, d'éléments de théorie des graphes dans un curriculum de l'enseignement secondaire, à savoir celui de la spécialité mathématiques de la Terminale économique et sociale (ES) en 2002.<br />Après une brève étude historique de la genèse – relativement récente – du graphe en tant que concept mathématique et de la signification épistémologique de cette genèse, nous analysons les choix faits pour la transposition de ce concept, en particulier les énoncés proposés aux élèves, qui montrent le décalage entre les intentions affichées et la réalité. Cette partie du programme de terminale ES se particularise par sa mise en œuvre « axée sur le seule résolution de problèmes ».<br />Or, nous montrons que les manuels scolaires sont dans ce chapitre composés d'exercices et non de problèmes. L'enseignement de théorie des graphes, s'il se limite à la résolution, locale, de ces exercices ou de « casse-tête » mathématiques, ne permet pas aux élèves de comprendre les concepts mathématiques sous-jacents ni surtout d'accéder au sens du raisonnement mathématique (en particulier autour de la modélisation et de la preuve) et à la richesse de la démarche scientifique, ce qu'aurait dû permettre ce domaine facilement abordable des mathématiques.<br />Une étude théorique et expérimentale du problème de « parcours eulériens dans les graphes » a ensuite été menée, du primaire au supérieur, sous des formes différentes (situations-recherche en classe avec ou sans support matériel, étude de documents). Des éléments didactiques ont aussi été tirés de deux stages de formation d'enseignants en théorie des graphes pour la Terminale ES.<br />Ces différentes études nous ont conduit à proposer un nouvel ensemble organisé de problèmes à destination des enseignants de Terminale ES, accompagnés de leur résolution et d'analyses didactiques qui attestent que des mathématiques plus consistantes peuvent être abordées et construites sur ce thème.

Le Journal officiel du 16 avril 2002 annonce la création d'un nouveau grand corps de l'État dont les statuts regroupent les anciens corps des Ponts et Chaussées, de l'Aviation civile, de Météo France et de l'Institut géographique national. Créé en 1716, le corps des Ponts et Chaussées réapparaît ainsi sous le même nom mais avec des contours redéfinis. Cette fusion des quatre corps techniques supérieurs du ministère de l'Équipement s'accompagne d'une longue réflexion sur l'identité de cette nouvelle entité, à laquelle il s'agit désormais d'insuffler un « esprit de corps » propre à unifier ses membres. C'est dans la figure de l'« ingénieur manager » que ces hauts fonctionnaires entendent l'incarner. Dans cette perspective, une vaste réforme des enseignements est entreprise au sein de l'École nationale des Ponts et Chaussées, qui vise à la création d'une formation initiale au management de l'action publique. Ce processus de réforme, qui s'étend sur plus de sept années (des prémisses de la fusion à la mise en place d'un dispositif de formation initiale commun au « nouveau » corps des Ponts), est mené au nom de l'impératif managérial et sous les auspices de la « modernisation » de l'État. Il révèle néanmoins, à l'analyse, des enjeux d'un autre ordre, mêlant des logiques corporatistes et administratives qui s'opposent et se complètent tout au long de cette fabrique. Étudier cette « réforme des cadres de l'action publique » (au double sens du mot « cadre »), c'est restituer les enjeux symboliques et matériels des négociations interministérielles sur les statuts, c'est également mettre au jour les attendus stratégiques et les intérêts différentiels de la revendication d'une identité propre au corps des Ponts, c'est enfin donner à voir les représentations de l'action publique véhiculées par une formation au management des cadres qui s'apprêtent à la produire et à la mettre en œuvre. L'analyse de chacune des scènes où elle se construit révèle combien la réforme des cadres de l'action publique ne participe pas d'un tournant néolibéral mais relève d'un processus inverse qui voit des agents de l'État tenter, au nom de l'impératif managérial, de se renforcer et de « remettre l'État au centre ».

La détection de masses rocheuses potentiellement instables et l'évaluation de leur probabilité de rupture pour une période donnée sont des éléments clés dans la prévention du risque d'éboulement.<br />25 éboulements rocheux (25-30 000 m3) survenus dans les massifs subalpins ont été analysés en détail. Une typologie des configurations d'instabilités en falaises calcaires a ainsi été élaborée et constitue un outil pour la détection de masses rocheuses potentiellement instables. Une analyse statistique portant sur 51 cas d'éboulements, montre que le gel/dégel est le principal facteur déclenchant. <br />Les analyses en retour réalisées par des méthodes d'équilibre limite et d'éléments distincts, montrent que la prise en compte des ponts rocheux est primordiale dans l'analyse de la stabilité et que leur cohésion obtenue par analyse en retour, est en moyenne 3 fois plus faible que celle fournie par les essais en laboratoire. <br />Nous avons donc proposé et testé différents modèles permettant de déterminer le temps à la rupture, pour différents processus. Les paramètres des lois modélisant le processus de propagation de fissures sous-critiques ont été estimés par des analyses en retour historique, en considérant un modèle d'érosion à l'échelle du versant, pour estimer la durée de vie moyenne des compartiments rocheux. Des essais en laboratoire seront nécessaires pour une meilleure estimation. Les vitesses de dissolution pour des plaquettes de roche exposées à la pluie sont trop faibles pour expliquer la décroissance surfacique des ponts rocheux. Des essais préliminaires ont montré l'influence du gel/dégel sur la propagation des fissures.

Ce mémoire traite de l'élaboration d'une nouvelle filière technologique pour micro-commutateurs parallèles capacitifs micro-ondes sur membrane diélectrique. Les micro-commutateurs sont des ponts à air métalliques actionnés électrostatiquement et structurés par un micro-usinage de surface. Un micro-usinage de volume est réalisé pour obtenir une membrane sur laquelle les circuits fabriqués sont faibles pertes. Le chapitre I présente le procédé technologique global utilisé. Dans un premier temps nous détaillons les briques de base constituant chacun des procédés des deux faces de la plaquette, la face supérieure pour le micro-commutateur et la face inférieure pour la membrane. La fin de ce chapitre est consacrée à l'optimisation de l'enchaînement de ces deux procédés afin d'assurer une bonne compatibilité technologique de l'ensemble des étapes. Le chapitre II traite de l'analyse mécanique des ponts métalliques. Les modèles analytiques de la littérature concernent en général des ponts plats à encastrements parfaits. C'est pourquoi nous avons tout d'abord exposé les résultats de simulations d'un micro-commutateur suivant différentes configurations. L'analyse de son comportement permet d'anticiper certains problèmes liés à sa conception. Une seconde partie est consacrée à la mesure des raideurs mécaniques de différents modèles de ponts métalliques. A la fin du chapitre nous présentons une méthode permettant d'évaluer le module d'Young et la contrainte initiale moyenne en utilisant les mesures précédemment effectuées. Le chapitre III concerne la caractérisation micro-onde de démonstrateurs. Dans une première partie le comportement des micro-commutateurs est évalué à l'aide d'outils analytiques. Nous pouvons ainsi anticiper les problèmes de réalisation et estimer l'influence de chaque paramètre du micro-commutateur sur son comportement. Une deuxième partie est consacrée aux caractérisations micro-ondes d'un micro-commutateur sur silicium massif et sur membrane. Pour finir, ce dernier est intégré dans un démonstrateur plus complexe lui-même intégré dans un système participant à une tête de réception.

Cette thèse a été dirigée par le Professeur Kauffmann de l'Université de Franche-Comté. Le co-directeur de l'Ecole Royale Militaire était le Docteur Johan Gallant et les essais à l'Institut franco-allemande de recherches de Saint-Louis (ISL) étaient encadrés par le Docteur Markus Schneider.Un lanceur à rails conventionnel est composé de deux rails conducteur connecté par un projectile. L'interaction entre le champ magnétique induit par le courant dans les rails et le courant dans le projectile résulte en une force électromagnétique accélérant. Dans cette thèse on utilise un projectile avec deux ponts de courant. Pour un lanceur à rails conventionnel la méthode la plus efficace pour augmenter la force sur le projectile est d'augmenter le courant dans les rails. Mais la densité de courant est limitée. L'échauffement des contacts entre les rails et les ponts de courant par l'effet Joule et la force de frottement, peut résulter dans la transformation d'un contact solide dans un contact plasma, ce qui est à éviter. Une possibilité d'adresser ce problème est d'ajouter des ponts de courant pour améliorer la distribution de courant. Une autre possibilité est d'appliquer un champ magnétique extérieur généré par un circuit extérieur qui nous permet d'augmenter la force électromagnétique sans augmenter le courant dans le circuit intérieur. Dans cette thèse l'objectif est d'étudier la distribution de courant et de température dans un projectile à deux ponts de courant pour un lanceur augmenté. Comme les deux ponts de courants et les rails du circuit intérieur forment un circuit fermé, le champ augmenté va induire un courant de circulation qui influence la distribution de courant entre les brosses. Le premier modèle de simulation est un modèle global du lanceur en PSpice qui nous permet de déterminer les courants globaux, la force électromagnétique, la position et la vitesse du projectile et la température moyenne des brosses. Le modèle global prend en compte l'effet de peau dû à la vitesse et est validé par des résultats expérimentaux. Le deuxième modèle est un modèle local en ANSYS, un code à éléments finis, pour un projectile fixe. Ce modèle permet une étude locale de la distribution de courant et de température. Un modèle pour la zone de contact entre les rails et la brosse est introduit. Le modèle local est utilisé pour calculer les coefficients de l'équation de force dans le modèle global. Les résultats des deux modèles de simulation sont cohérents.Le lanceur LARA, utilisé pour les essais, a une longueur de 1.5 m et un calibre de 15 mm. On disposait de trois bancs de condensateurs pour l'alimentation du lanceur en configuration non-augmenté et augmenté. Les vitesses à la bouche obtenues varient entre 48 et 214 m/s. Pour la détermination de la distribution de courant nous avons utilisé une méthode proposée par [SCH05a]. Cette méthode est une combinaison d'une mesure de tension entre deux pins dans les rails et dans une boucle. Nous avons constaté que les signaux obtenus avec cette méthode, appliquée dans ce régime de vitesse, sont perturbés par les courants de Foucault induits avant le projectile et les résultats ne répondent pas à nos attentes. Une méthode analytique basée sur la mesure de tension dans la boucle a été développée. Les résultats expérimentaux sont comparés avec les simulations. Nous avons constaté une bonne correspondance entre les valeurs des courants maximaux dans les rails calculés avec PSpice et les valeurs expérimentales, mais le courant calculé avec PSpice est plus faible dans la phase décroissante du courant. Les erreurs sur la vitesse sont inférieures à 10 %. Les deux modèles de simulation et les essais montrent que la brosse avant porte la plus grande partie du courant. La dernière partie de cette thèse est une étude paramétrique avec ANSYS pour l'avant-projet du circuit intérieur d'un lanceur à rail existant.

Déterminer la structure 3D des protéines expérimentalement est une tâche très lourde et coûteuse, qui peut s'avérer parfois impossible à réaliser. L'arrivée massive de données provenant des programmes de séquençage à grande échelle impose de passer d'une approche biochimique à une approche bioinformatique, et nécessite en particulier de développer des méthodes de prédiction sur des séquences.<br />Cette thèse propose l'exploration de deux nouvelles pistes pour progresser dans la résolution de prédiction de ponts disulfures dans les protéines. Cette liaison covalente stabilise et contraint fortement la conformation spatiale de la protéine et la connaissance des positions où elle intervient peut réduire considérablement la complexité du problème de la prédiction de la structure 3D. Pour cela, nous utilisons dans un premier temps, l'inférence grammaticale et plus particulièrement les langages de contrôle introduit par Y. Takada, puis dans un deuxième temps, la programmation logique inductive.<br />Diverses expériences visent à confronter un cadre théorique d'apprentissage et des algorithmes généraux d'inférence grammaticale régulière à une application pratique de prédiction d'appariements spécifiques au sein d'une séquence protéique. D'autres expérimentations montrent que la programmation logique inductive donne de bons résultats sur la prédiction de l'état oxydé des cystéines en inférant des règles interprétables par les biologistes. Nous proposons un algorithme d'induction heuristique dont l'idée est d'effectuer plusieurs phases d'apprentissage en tenant compte des résultats obtenus aux phases précédentes permettant ainsi de diminuer considérablement la combinatoire dans les espaces d'hypothèses logiques en construisant des règles de plus en plus discriminantes.

Quelque soit le domaine d'application, qu'il soit électronique, mécanique, optique, magnétique ou biologique, les dimensions des dispositifs diminuent régulièrement. Dans cette course effrénée à la miniaturisation, la lithographie représente une étape technologique clé de la structuration d'un matériau. Son rôle, décisif, est rempli à ce jour par des outils de lithographie optique opérant dans l'ultraviolet profond. Les objectifs en terme de résolution et de rendement sont ainsi atteints et répondent aux exigences économiques des industriels de la microélectronique. Les outils de lithographie par faisceau d'électrons sont également utilisés mais, malgré une excellente résolution, les temps d'exposition sont extrêmement longs et cela compromet sérieusement leur utilisation en milieu industriel. L'amélioration continuelle de la résolution rend ces outils de plus en plus coûteux et les laboratoires de recherche, extérieurs au domaine de la microélectronique sont souvent incapables d'investir aussi lourdement pour la seule étape de lithographie. L'introduction et le développement de nouvelles techniques de lithographie résolvantes, rapides et peu coûteuses s'avèrent donc nécessaire. C'est dans ce contexte que sont apparues les techniques de lithographie par impression qui figurent désormais parmi les NGL (Next Generation Lithography).<br />L'objet de ce travail de thèse est l'étude et le développement de la technique de lithographie par nanoimpression. Ce travail est principalement axé sur l'étude et la caractérisation des films minces de polymère lors du procédé de lithographie par nanoimpression. Nous nous sommes essentiellement intéressés à la caractérisation des propriétés thermique et physico-chimique des films sur leur substrat, à l'uniformité de l'épaisseur résiduelle, aux mécanismes d'impression, aux déformations du moule ainsi qu'à ses conséquences et enfin aux instabilités des films de polymère lors de l'impression

Mon travail de thèse porte sur la protéine AhPDF1 de la plante Arabidopsis halleri. AhPDF1 est une défensine de 51 résidus, riche en cystéines qui participe à la défense de la plante en jouant un rôle antifongique. La défensine AhPDF1 possède 8 cystéines impliquées dans ses 4 ponts disulfure, elle présente un repliement en CSαβ. Des travaux récents sur AhPDF1 ont permis d'identifier une nouvelle fonction : la tolérance aux métaux lourds, en particulier la tolérance au zinc. L'objectif général du projet dans lequel s'intègre ma thèse est donc de comprendre, au niveau atomique et en lien avec l'état d'oxydation des cystéines, le mécanisme par lequel les défensines de plantes confèrent la tolérance au zinc. Dans une majeure partie de ma thèse j'ai travaillé à la production de la défensine AhPDF1 d'abord dans Escherichia coli puis dans Pichia pastoris. J'ai ensuite mis au point la synthèse chimique de la protéine AhPDF1 et optimisé l'étape la plus délicate, celle du repliement oxydatif. Après avoir produit la défensine AhPDF1 en quantité et qualité suffisante, j'ai réalisé son étude structurale par RMN. De plus cette structure m'a servi de base pour modéliser, par homologie, toutes les autres défensines actuellement identifiées d'Arabidopsis halleri et Arabidopsis thaliana. Enfin, j'ai appris à maîtriser les conditions qui permettent de conserver la protéine dans un état partiellement réduit et j'ai réalisé les premiers essais de chélation de la défensine avec le zinc.

Dans un contexte de limitation de la consommation en énergie fossile et de développement durable, les pompes à chaleur présentent un intérêt majeur. Les obstacles rencontrés, notamment le givrage compact, freinent leur utilisation. La mise en place de nouveaux matériaux, par exemple par des propriétés de mouillage particulières, est une voie innovante. L’étude des déplacements de gouttes et de ponts entre ailettes, par résolution des équations de Navier-Stokes, permet de comprendre localement les écoulements et de caractériser l'effet du mouillage (modèle numérique d'angle de contact) et du confinement. Plusieurs études ont été menées sur des gouttes et des ponts liquides, soumis à des écoulements sur parois inclinées, lors desquelles des comportements significatifs ont été mis au jour et permettent de mettre en place des solutions efficaces pour les enjeux industriels. Une approche des phénomènes de mouillage extrêmes (superhydrophobie) a été réalisée et montre leur intérêt d’un point de vue performance. En revanche, le coût nécessaire pour réaliser les simulations reste très important, et des pistes ont été abordées pour palier à cette difficulté. En parallèle, une méthode de changement d’état a été développée dans le code de calculs scientifiques Thétis pour prédire l'évacuation de la glace lors du dégivrage sur des géométries simples ou réelles. Cette approche originale basée sur la méthode Volume Of Fluid, dérivée de méthodes existantes en Front-Tracking, montre une faisabilité et une efficacité intéressante. / In a context of limiting the consumption of fossil energy and of sustainable development, heat pumps are of major interest. Some issues, including icing compaction, reduce its use. The introduction of new materials, including special wetting properties, is an innovative way. The study of displacement of drops and liquid bridges between fins, by solving the Navier-Stokes equations, allows us to understand local flows and to characterize the effect of wetting (numerical model of contact angle which depends on controlling the smoothing of Volume Of Fluid function) and of containment. Several studies have been conducted on the drops and liquid bridges submitted to flow on sloping walls, driving to significant behaviors. These studies can implement effective solutions to industrial difficulties. An approach to extreme wetting phenomena (superhydrophobicity) was performed and showed their interest to a good evacuation efficiency but also the cost to achieve the simulations. Several possibilities were discussed to overcome this difficulty. In parallel, a method of phase change was developed in the code of scientific computing Thetis to simulate the evacuation of ice during defrosting periods on simple geometries or more complex ones. An innovative approach based on Volume Of Fluid method, derived from methods available in Front-Tracking shows its feasibility and efficiency.

Les venins sont des armes sophistiquées, utilisées par les organismes venimeux pour se défendre des prédateurs, ainsi que pour paralyser et tuer leurs proies. Mais dans la nature, le bien n’est jamais très loin du mal, les toxines venimeuses pouvant se révéler être des agents thérapeutiques efficaces. Les peptides de venins de fourmis ont donc été étudiés dans cette thèse afin de déterminer le potentiel de ces toxines pour la découverte de molécules thérapeutiques innovantes. A l’instar des autres venins d’insectes, les venins de fourmis restent peu étudiés, principalement en raison de la petite taille de ces insectes et des quantités limitées de venins disponibles. Cependant, les fourmis offrent l’avantage d’être des insectes sociaux très abondants dans tous les milieux terrestres. En collectant les venins de plusieurs individus, il est donc possible d’obtenir des quantités suffisantes de venin pour les analyses biochimiques et pharmacologiques.Afin d’assurer la reproductibilité des analyses, une identification taxonomique correcte est nécessaire. Dans cette optique, un outil de chimiotaxonomie a été développé durant cette thèse (permettant ainsi de regrouper les venins provenant de plusieurs colonies afin de compenser les faibles quantités de matériel biologique par individu ou par colonie).Ensuite, nous nous sommes intéressés aux facteurs écologiques impliqués dans la diversification des venins de fourmis. Pour cela, la toxicité et la composition des venins de fourmis ont été analysés en relation avec le polyéthisme, la spécialisation alimentaire et la spécialisation défensive.La diversité écologique des fourmis a amplement contribuée à la diversification des venins. En étudiant les venins de 82 espèces de fourmis, nous avons révélé la grande diversité structurale des toxines. Bien que la majorité des peptidomes sont composés par de petits peptides linéaires, des peptides structurés par des ponts disulfure ont été révélés dans de nombreux venins et constituent de nouvelles familles structurales de toxines.La purification de certains de ces peptides à ponts disulfure a permis leur caractérisation biochimique et l’évaluation de leur rôle biologique. Ainsi nous avons décrit un groupe de peptides neurotoxiques, baptisés les formicitoxines qui sont capables de bloquer les canaux calcium humains de type L. La commutatoxine est, quant à elle, un peptide avec un pont disulfure qui semble activer les récepteurs humains TRPV1 et TRPV3 et laisse supposer une implication dans l’induction de la douleur chez les mammifères.La grande diversité des peptides mise en évidence dans les venins, associée à la grande diversité écologique et taxonomique des fourmis, suggère que les venins de fourmis constituent un nouveau champ d’exploration prometteur pour la recherche de molécules thérapeutiques et insecticides. Les venins de fourmis s’ajoutent à la chimiothèque conséquente déjà représentée par les venins des autres animaux venimeux. / Venoms are sophisticated weapons employed by venomous organisms to ward off predators, as well as to subdue and kill prey. However, in nature, good is never far from bad and venom toxins may prove to be efficient therapeutic agents. Ant venom peptides were investigated in the course of this thesis to evaluate their potential in the discovery of novel drugs. Like other insect venoms, ant venoms remain understudied, mainly due to the small size of individual ants and, so, the limited a mount of venom available. The ecological diversity of ants has largely contributed to venom diversification. By studying the venom peptidomes from 82 ant species, we have revealed the great structural diversity of the toxins. Although the majority of the peptidomes are comprised of small and linear peptides, peptides structured by disulfide bonds were also brought to light in numerous venoms and constitute novel structural classes of toxins. The purification of some of these disulfided peptides permitted their biochemical characterization and the assessment oft heir biological functions. The enormous peptide diversity revealed among venoms combined with the great ecological and taxonomical diversity of ants suggests that ant venoms constitute a promising new source in the search for both novel drugs and insecticides. Ant venom augments the vast bioactive molecules library represented by venoms from other venomous animals.