Ce mémoire est consacré à l'étude et à la réalisation de sources impulsionnelles, constituées de lasers à semi-conducteurs soumis à une rétroaction optique non linéaire ou filtrée, pour des applications dans les domaines liés aux télécommunications optiques. Après un bref rappel des principales méthodes utilisées pour réaliser des sources impulsionnelles, nous présentons les notions théoriques nécessaires à la compréhension du phénomène de rétroaction optique ainsi que les principales réalisations de sources impulsionnelles, utilisant une contre-réaction, disponibles dans la littérature. Puis nous nous intéressons à l'analyse, principalement numérique, de la dynamique d'un laser contre-réactionné par un miroir non linéaire. Cette étude a permis de mettre en évidence l'existence d'un régime de blocage de modes passif conduisant à la génération d'impulsions caractérisées par un taux de répétition pouvant atteindre 20 GHz. D'autre part, nous montrons que l'utilisation d'un réseau de Bragg à pas variable comme réflecteur externe d'un laser fonctionnant en régime de blocage de modes permet la génération d'impulsions en limite de Fourier. La méthode de fabrication d'une telle cavité composée d'un réseau de Bragg et d'une microlentille est décrite. Et nous présentons un modèle permettant d'analyser numériquement le comportement de lasers soumis à une contre-réaction filtrée ainsi qu'une analyse statique de ce dernier. Nous terminons cette étude par l'analyse de l'influence d'une injection optique sur les caractéristiques de ces impulsions.

La protection des matériaux contre l'oxydation est un domaine de recherche important et il existe déjà de nombreuses méthodes basées, pour la plupart, sur le dépôt de revêtements anti-corrosion à la surface de pièces massives.<br />Cependant, sous l'effet de diverses sollicitations de type mécanique, la barrière de protection peut être endommagée (détérioration partielle ou complète), et dans ce cas, le matériau massif sous-jacent se trouve alors en contact direct avec l'atmosphère agressive environnante.<br />Pour palier à ce problème, et dans le cadre de cette thèse, nous nous sommes fixés comme objectif, dans un premier temps, de revêtir chacune des particules métalliques d'une couche résistant à l'oxydation.<br />L'objectif ultime étant d'utiliser la métallurgie des poudres pour former un matériau massif par frittage de ces poudres revêtues. Ainsi, le matériau composite obtenu par cette voie sera protégé à "coeur", à l'échelle de chaque particule, contre l'oxydation.<br />Le procédé de mécanofusion a permis de revêtir des particules de fer par de l'alumine.<br />Le procédé de dépôt chimique en phase vapeur à partir d'un organo-métallique a permis la formation d'une couche d'aluminium à la surface de particules de fer en lit fluidisé.<br />Cette couche d'aluminium est surmontée d'une couche d'alumine métastable gamma. <br />L'étude des cinétiques d'oxydation a montré que les particules de fer revêtues d'une bi-couche Al/Al2O3 ne s'oxydent pas. L'oxydation des particules de fer revêtues d'alumine est, quant à elle, plus lente que celle des particules de fer non revêtues.<br />Aux plus basses températures (T < 600°C), l'oxydation résulte de l'incursion d'oxygène gazeux à travers les pores et fissures du revêtement.<br />Aux plus hautes températures, l'oxydation résulte de la diffusion des cations fer à travers la couche d'alumine.<br />Les matériaux massifs élaborés par frittage flash des particules de fer revêtues d'alumine conservent la microstructure initiale des particules revêtues.<br />Lors du frittage par compression isostatique à chaud, le revêtement se retrouve sous forme d'îlots au sein d'une matrice de fer. Dans les deux cas, l'alumine se transforme en un composé ternaire de formule FeAl2O4 appelé hercynite.<br />Les essais d'oxydation, menés à 720°C sur ces échantillons frittés, montrent que la présence d'hercynite permet de ralentir le processus d'oxydation, et que les massifs ayant conservé la microstructure initiale des particules revêtues présentent la plus faible vitesse d'oxydation.

Ce travail de thèse est consacré à l'étude des conditions d'échauffement des éléments de structure situés à l'extérieur des bâtiments en feu. Une synthèse bibliographique sur les feux de compartiment et plus particulièrement sur la problématique de la sortie de flammes par les ouvertures des locaux en feu a été réalisée. <br /><br />Un outil de simulation numérique avancé a été mis en oeuvre pour étudier les paramètres principaux affectant les caractéristiques des flammes extérieures. Cette tâche a nécessité au préalable la prise en main et le développement d'un modèle CFD de simulation numérique du feu, ainsi que sa validation sur des cas expérimentaux de complexité croissante. A l'étude numérique de la sortie de flammes d'un local en feu est venue s'ajouter une partie expérimentale concernant l'effet du vent sur les flammes extérieures. <br /><br />L'étude des flammes extérieures a permis de procéder à la vérification et à l'extension d'une méthode de calcul simplifiée destinée à prédire les conditions d'échauffement des éléments de structure situés à l'extérieur des bâtiments. L'application pratique de ce travail a consisté à regrouper dans un nouveau modèle global les résultats obtenus à partir de la synthèse bibliographique et des études numériques et expérimentales.

Cette étude porte sur les problèmes d'apprentissage de la démonstration en mathématique dans le premier cycle de l'enseignement secondaire. Le cadre théorique a été élaboré à partir de la théorie des situations didactiques au sens de Brousseau et du modèle de Lokatos de la didactique des preuves et des réfutations

Nous étudions des méthodes de recherche simultanée de refutation et de modèle. Nous proposons une méthode pour la construction de modèles finis réduisant de façon importante l'espace de recherche des approches existantes. Nous nous intéressons ensuite à la recherche de modèles infinis. Nous étendons les méthodes RAMC (Refutation And Model Construction) et RAMCET (Refutation And Model Construction with Equational Tableaux) définie par R. Caferra et N. Zabel en introduisant de nouvelles règles et stratégies. Ces extensions augmentent strictement les capacités de la méthode, à la fois pour la recherche de preuve et de contre-exemple. Nous montrons que les méthodes proposées sont des procédures de décision uniforme pour une large clase de formules logiques. Ensuite, nous proposons et étudions de nouveaux formalismes pour représenter les modèles: les termes avec exposants entiers et les automates d'arbres. Nous prouvons la décidabilité de la théorie du premier ordre sur les termes avec exposants. Nous proposons également une nouvelle approche pour la découverte et l'utilisation de l'analogie en recherche simultanée de preuve et de contre-exemple et nous montrons comment utiliser la méthode RAMC en Programmation Logique (pour étendre les capacités des interpréteurs, détecter, voire corriger des erreurs dans les programmes etc.). Enfin, nous décrivons le système RAMC-ATINF implémentant certaines des idées proposées et nous donnons quelques résultats expérimentaux.

Les réacteurs à biofilm aéré sur membrane sont des procédés innovants de traitement de l'eau. Les substrats nécessaires à la croissance bactérienne sont en contre-diffusion dans le biofilm. Ainsi, pour maitriser la capacité de traitement de ces réacteurs, il est nécessaire de comprendre le transfert de matière dans ces biofilms. Ce travail présente les résultats expérimentaux du transfert de matière mesuré par un traceur non réactif dans des biofilms mixtes hétérotrophes aérobies. Plusieurs conditions hydrodynamiques ont été appliquées pour la croissance des biofilms. La présence de convection dans les canaux de celui-ci a été mise en évidence au-delà d'un Nombre de Peclet de transition. Ensuite, la prise en compte de la convection via le coefficient de diffusivité relative vient compléter le transfert de matière dans les modèles de croissance de biofilm. Les résultats expérimentaux ont montré que la vitesse de consommation de la matière organique augmente avec le Nombre de Reynolds liée à une augmentation de la capacité de transfert des biofilms.

Les cartes à puce jouent un rôle crucial dans de nombreuses applications que nous utilisons quotidiennement : paiement par carte bancaire, téléphonie mobile, titres de transport électroniques, etc. C'est dans ce contexte que la technologie Java Card s'est imposée depuis son introduction en 1996, réduisant les coûts de développement et de déploiement d'applications pour cartes à puce et permettant la cohabitation de plusieurs applications au sein d'une même carte. La communauté scientifique a rapidement démontré que la possibilité donnée à un attaquant d'installer des applications sur les cartes représente une menace. Mais dans le même temps, la sécurité des systèmes embarqués a également été un sujet d'étude très productif, révélant que des algorithmes cryptographiques considérés comme sûrs pouvaient être facilement cassés si leurs implémentations ne prenaient pas en compte certaines propriétés physiques des composants électroniques qui les accueillent. En particulier, une partie des attaques publiées repose sur la capacité de l'attaquant à perturber physiquement le composant pendant qu'un calcul est exécuté. Ces attaques par injections de fautes n'ont que très peu été étudiées dans le contexte de la technologie Java Card. Cette thèse étudie et analyse la sécurité des Java Cards contre des attaques combinant injections de fautes et installations d'applications malicieuses. Tout d'abord, nous présentons différents chemins d'attaques combinées et exposons dans quelle mesure ces attaques permettent de casser différents mécanismes sécuritaires de la plateforme. En particulier, notre analyse sécuritaire permet de démontrer que la propriété de sûreté du typage, l'intégrité du flot de contrôle, ainsi que le mécanisme d'isolation des applications peuvent être contournés et exploités par des combinaisons adéquates. Puis, nous présentons différentes approches permettant d'améliorer la résistance de la plateforme Java Card ainsi que des applications qu'elle accueille contre des attaques combinées. Ainsi, nous définissons plusieurs contremesures rendant les attaques exposées ainsi que certaines attaques de l'état de l'art inopérantes, et ce en gardant à l'esprit les fortes contraintes inhérentes au monde des cartes à puce.

La mort de Staline marque une césure indéniable dans l'évolution du totalitarisme soviétique. S'ensuit une transformation du système totalitaire en système « post-totalitaire » dans les pays satellites de l'Union soviétique, prélude à l'émergence de l'antipolitique et ce, malgré un durcissement idéologique suite à l'effervescence sociale réprimée en Hongrie, en Tchécoslovaquie et en Pologne. Projet de régénérescence sociale, l'antipolitique se développe tout d'abord sous une forme « pré-politique » puis devient à proprement parler une nouvelle culture intellectuelle et sociale, cherchant à dissocier la société civile de la culture totalitaire. Cependant, l'antipolitique est aussi porteuse d'un projet politique dans la mesure où elle cherche à circonscrire le pouvoir post-totalitaire, devenu tentaculaire, en se posant comme « polis parallèle ». Le projet antipolitique, comparé à l'anarchisme sur la base de leur projet commun d'émancipation de l'individu vis-à-vis du pouvoir politique, ne se situe pas dans la continuité de la pensée anarchiste. Plus qu'un simple projet réformateur, l'antipolitique repense la philosophie politique à travers une nouvelle dialectique entre une société politique qui revêt la forme d'un État de droit minimal et une société civile dont le rôle de contrepouvoir est renforcé. L'antipolitique, en tant qu'instance médiatrice et le droit, en tant qu'instance conciliatrice, servent de garde-fous afin que le rapport État-société soit symétrique. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : Totalitarisme, Post-totalitarisme, Normalisation, Pré-politique, Antipolitique, Société civile, Anarchisme.

Le comportement stratégique des forces contre-insurrectionnelles est l'objet d'étude de ce mémoire. Par l'étude de son évolution en Colombie, nous avons pu vérifier qu'il est possible de créer une dynamique synergique entre contrôle territorial et transformation socio-économique. La compréhension de cette dynamique contre-insurrectionnelle complexe s'articulant au niveau local permet d'expliquer le revirement récent du rapport stratégique colombien au profit des forces contre-insurrectionnelles. Un retour historique permet de saisir l'importance déterminante des forces contre-insurrectionnelles quant aux développements politico-militaires colombiens récents (Chapitre 1). L'approche holiste de ce retour ne donne toutefois pas accès à une véritable compréhension de la dynamique stratégique appliquée. Afin de cerner la dynamique d'action ayant structurée la stratégie contre-insurrectionnelle, il est nécessaire de l'étudier au niveau local. Une étude de cas est donc réalisée afin d'exposer la complexité de cette stratégie (Chapitre 2 et 3). L'approche empirique de cette étude de cas lance le défi de la conceptualisation des interactions de la sphère économique et stratégique. Comme nous le verrons, il est tout à fait possible de poser en des termes théoriques l'interraction coconstitutive entre l'économique et le stratégique dans un contexte belliqueux. À cette fin, un dialogue entre les études stratégiques et l'économie politique des conflits armés est nécessaire (Chapitre 4). ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : Relations internationales, Études de sécurité, Études stratégiques, Économie politique, Stratégie, Conflits, Guerre, Contre-insurrection, Insurrection, Paramilitarisme, Colombie.

Cette recherche se penche sur un événement souvent négligé dans la littérature et qui constitue pourtant la pierre angulaire de l'histoire actuelle de l'Afghanistan: il s'agit de la révolution afghane de 1978 qui a précédé la soi-disant invasion soviétique de ce pays. Elle met en lumière l'absence de dialogue théorique entre les auteurs qui l'ont abordée et relève comment cette absence limite la compréhension de la société afghane et, de ce fait, la compréhension de la nature du conflit ainsi que ses facteurs déterminants. Nous soutiendrons la thèse à l'effet que le fil conducteur manquant, qui relie les différentes analyses, est la corrélation entre la lutte de classes et les intérêts nationaux des puissances régionales et internationales, c'est-à-dire le système capitaliste ayant besoin de l'État comme instrument au service des intérêts privés d'une classe dominante. Afin de mieux saisir notre objet d'étude, nous en circonscrirons la période analysée, soit de 1973 à 1992, à partir de cette revue de la littérature mais avec la perspective d'une analyse critique et d'une confrontation des discours. Nous mettrons respectivement en lumière le conflit afghan en regard de ses dynamiques internes, du débat sur la nature, les causes et les conséquences de la révolution et d'une analyse de la contre-révolution et de la lutte de classes. Nous présenterons les trois différentes interprétations du conflit afghan avec trois théories des relations internationales. Nous analyserons la complexité de la société afghane à travers son passé et son agrégat sociopolitique, résultat d'une construction sociale séculaire et d'une grande diversité culturelle, linguistique et religieuse. Nous examinerons ensuite la Révolution afghane à travers un débat théorique sur ses causes, sa nature et ses conséquences, en démontrant l'importance de cet événement. En dernier lieu, nous établirons le lien à faire avec la lutte de classes qui s'est jouée à différents niveaux, par l'étude de la contre-révolution dans laquelle sont impliqués divers acteurs nationaux, régionaux et internationaux. Nous conclurons qu'il y a bel et bien eu une lutte de classes qui a mené à la révolution et à la contre-révolution. Nous soulignerons également qu'une analyse basée sur le simple déterminisme économique ne permet pas de comprendre le conflit afghan. C'est plutôt une analyse profonde de tout l'ensemble des facteurs sociopolitiques et économiques «la production en dernière instance» qui peut expliquer la lutte de classes dans ce conflit. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : Afghanistan, Contre-révolution, État, Lutte de classes, Lutte de pouvoir, Révolution.