Le travail présenté dans ce manuscript tire son origine de la descente d'échelle présente en passant de l'assemblage conventionnel vers le micro-assemblage. On se rendra rapidement compte que ce changement d'échelle nécessitera la maîtrise en profondeur de nombreux phénomènes physiques gouvernant les petites échelles, dont notamment les effets de la tension de surface et l'adhésion, concepts le plus souvent inconnus des ingénieurs mécaniciens. Ce document se décline en trois parties principales, visant à étudier les effets de la tension de surface dans les Microsystèmes. La première partie positionne nos contributions par rapport à l'état de l'art, présentant principalement l'étude des forces de capillarité (forces axiales et radiales, études statiques et dynamiques, aux échelles allant du millimètre au nanomètre). La deuxième partie du travail décrit le développement de bancs d'essai qui ont servi à valider notre travail théorique : cela consiste essentiellement en la mise au point de dispositifs de mesure de forces, du nanonewton au newton. La troisième partier assemble les cas d'études qui ont été traits: assemblage de produits horlogers, préhenseurs, dispositifs d'alimentation, assemblage hybride, mécanique des sols, électrosprays... Le but était de développer des modèles utiles aux communautés de la mécanique de précision et de la microrobotique. Nous espérons ainsi avoir proposé des modèles de forces de capillarité qui pourront être appliqués à de nombreux domaines applicatifs : assemblage et packaging, microrobotique, mécanique des sols, microfluidique...

Le Retournement Temporel est une technique multi-éléments permettant de focaliser une onde dans un milieu inconnu hétérogène en utilisant la propriété d'invariance par retournement temporel de l'équation des ondes. La formulation matricielle du Retournement Temporel a donné lieu à une technique de détection multi-cibles, la méthode DORT (pour Décomposition de l'Opérateur de Retournement Temporel). Cette thèse traite de l'application de la méthode DORT en acoustique sous-marine. Afin d'émettre les vecteurs propres issus de la méthode DORT, nous proposons une nouvelle méthode de reconstruction des vecteurs propres temporels baptisée SVP pour Synchronisation des Vecteurs Propres. Cette méthode est basée sur une repropagation numérique en espace libre des vecteurs propres monochromatiques nécessitant peu d'information sur le milieu. L'acquisition instantanée de la matrice de transfert K à l'aide de codes orthogonaux est aussi étudiée. Nous montrons que la méthode DORT permet d'extraire sans aucune connaissance préalable la signature fréquentielle d'une cible placée dans un guide d'onde et ce malgré les chemins multiples brouillant celle-ci. En effet, la première valeur singulière de la matrice K est proportionnelle à la réponse fréquentielle monostatique de la cible. De plus, nous montrons que les autres valeurs singulières donnent accès à des informations supplémentaires sur le diagramme de rayonnement. Par la suite, nous considérons un problème spécifique aux acquisitions DORT en mer. En effet, le milieu marin étant en constante fluctuation, le principe fondateur des méthodes de Retournement Temporel qui est la stationnarité est souvent mis en défaut. Nous montrons ainsi que la méthode DORT est utilisable en milieu non stationnaire, dans le cas où la cible est animée d'un mouvement vertical parallèle au réseau ou d'un guide d'onde présentant des vagues à sa surface. L'étude des vecteurs propres permet alors de remonter au déplacement de cette cible ou à l'état de surface au niveau de la cible et du réseau.

La théorie des types est une discipline au croisement de la logique, des mathématiques et de l'informatique. Elle peut servir de support au développement de programme "zéro faute". L'objet de cette thèse est d'étudier l'extension d'un système aux types dépendants UTT (comprenant notamment des types inductifs) par une relation de récriture concernant un fragment du calcul, à savoir les types finis. Nous nous assurons d'abord que les propriétés de normalisation forte, de confluence et de préservation du type sont toujours préservées malgré l'ajout de la réduction. Ensuite nous enrichissons ce système par la notion de sous-typage coercitif vue comme un mécanisme d'abréviation et effectuons la preuve de conservativité pour le système enrichi du sous-typage par rapport au système de base. L'intérêt d'un tel système est qu'il améliora l'efficacité des assistants à la preuve et offrira un bon cadre pour l'étude des problèmes faisant intervenir des ensembles finis (combinatoire, manipulation de graphe etc).

Dans la présente thèse, on établit des bornes supérieures sur les nombres de Betti des ensembles définis à l'aide de fonctions pfaffiennes, en fonction de la complexité pfaffienne (ou format) de ces ensembles. Les fonctions pfaffiennes ont été définies par Khovanskii, comme solutions au comportement quasi-polynomial de certains systèmes polynomiaux d'équations différentielles. Les ensembles semi-pfaffiens satisfont une condition de signe booléene sur des fonctions pfaffiennes, et les ensembles sous-pfaffiens sont projections de semi-pfaffiens. Wilkie a démontré que les fonctions pfaffiennes engendrent une structure o-minimale, et Gabrielov a montré que cette structure pouvait etre efficacement décrite par des ensembles pfaffiens limites. A l'aide de la théorie de Morse, de déformations, de recurrences sur le niveau combinatoire et de suites spectrales, on donne dans cette thèse des bornes effectives pourtoutes les catégories d'ensembles pré-citées.

La sous-réaction à l'information constitue l'une des anomalies à l'hypothèse d'efficience informationnelle. Plusieurs explications en finance comportementale ont été avancées à ce phénomène. Selon Grinblatt et Han (2005), cet écart entre le prix du titre et sa valeur fondamentale est la résultante de l'effet de disposition. Afin d'étudier l'ajustement des prix à la valeur fondamentale, nous avons suivi une approche expérimentale. Pour chacun des deux traitements étudiés, six sessions expérimentales ont été réalisées. 69 sujets ont participé au premier traitement et 72 au deuxième. Les résultats montrent une sous-réaction des prix à un changement de la valeur fondamentale dans chacun des traitements. Cette sous-réaction existe suite aux hausses qu'aux baisses de la valeur fondamentale. Les résultats montrent aussi que l'ajustement des prix est faible quand la plupart des sujets négocient le titre avec une perte en papier. Enfin, la sous-réaction est à son faible niveau quand les sujets, en situation de gain en papier, reçoivent une bonne nouvelle.

Dans le domaine de l'ingénierie du logiciel, les systèmes de types sont souvent considérés pour la prévention de l'occurrence de termes dénués de sens par rapport à une spécification des types. Dans le cadre de l'extension d'un langage de programmation avec des caractéristiques dédiées, le typage de ces dernières doit être compatible avec les caractéristiques du langage hôte. Cette thèse se situe dans le contexte de la réécriture de termes embarquée dans la programmation orientée objet. Elle vise à développer un système de types avec sous-typage pour le support du filtrage de motifs associatif sur des termes algébriques construits sur des opérateurs variadiques. Ce travail s'appuie sur le langage de réécriture Tom qui fournit des constructions de filtrage de motifs et des stratégies de réécriture à des langages généralistes comme Java. Nous décrivons l'évaluation de code Tom à travers la définition de la sémantique opérationnelle de ce langage en tant qu'élément essentiel de la preuve de la sûreté du système de types. Celui-ci inclut la vérification de types ainsi que l'inférence de types à base de contraintes. Le langage de contraintes est composé d'une part, de contraintes d'égalité, résolues par unification, d'autre part, de contraintes de sous-typage, résolues par la combinaison de phases de simplification, de génération d'une solution et de ramassage de miettes. Le système de types a été intégré au langage Tom, ce qui permet une plus forte expressivité et plus de sûreté a fin d'assurer que les transformations décrites par des règles de réécriture préservent le type des termes.

Le caoutchouc naturel est connu pour ses excellentes propriétés mécaniques en fatigue multiaxiale et celles-ci sont généralement attribuées à sa faculté à cristalliser sous contrainte. Cependant, le lien entre la cristallisation sous contrainte et les propriétés mécaniques du caoutchouc naturel n'a jamais été établi. L'objectif de cette thèse est donc de comprendre l'origine des excellentes propriétés en fatigue multiaxiale du caoutchouc naturel chargé au noir de carbone, en considérant deux échelles d'étude fines, par opposition à l'échelle macroscopique généralement considérée. La première partie de la thèse est dédiée aux mécanismes de propagation des fissures de fatigue uniaxiale et de dissipation d'énergie à l'échelle des fissures et micro-fissures ; ces mécanismes sont déterminés grâce à des essais originaux de propagation in-situ observés au microscope électronique à balayage. Dans la deuxième partie de la thèse, la cristallisation sous contrainte est étudiée à l'échelle macromoléculaire, en déformation quasi-statique multiaxiale d'une part et en fatigue uniaxiale d'autre part, par des essais de diffraction des rayons X réalisés au synchrotron Soleil. Les différentes caractéristiques des cristallites, c'est-àdire leur taille, orientation, nombre et paramètres de mailles sont mesurées lors des différents essais mécaniques. Il apparaît qu'en déformation multiaxiale, les cristallites sont de même taille et ont les même paramètres de maille que celles nucléées en déformation uniaxiale, mais leur orientation varie fortement avec la multiaxialité de la déformation et n'est pas influencée par le chemin de déformation. Enfin, on montre qu'en fatigue uniaxiale, les caractéristiques des cristallites évoluent avec le nombre de cycles, différemment en fonction des extensions minimales et maximales imposées à chaque cycle.

Je travaille sur la caractérisation d'objets enfouis en sous-sol proche ou profond avec deux partenaires principaux : le BRGM (Orléans) pour le cadre applicatif et des échanges de compétences; la Division de Mathématiques Appliquées (Patras , Grèce) pour les approches mathématiques des champs. Mes travaux se situent donc à l'interface de ces deux disciplines et consistent à fournir des modélisations pertinentes et robustes pour les réalités de terrain en jeu. Ils reposent tous sur des approximations dans le but d'obtenir des formulations analytiques des champs. Ce choix à pour objectif de réduire considérablement le temps de calcul numérique du problème de diffraction. Ceci assure un gain de temps lors de l'inversion de données pour localiser ou caractériser des amas. Les applications visées étant dans le domaine des basses fréquences, les modélisations traitent toujours de la forme ellipsoïdale. Les approches reposent sur les équations intégrales ou aux dérivées des champs auxquelles des développements asymptotiques (basse-fréquences ou petits objets) sont appliquées. Certaines approches sont à approfondir avant utilisation pour des données réelles, mais toutes ont été testées sur des données synthétiques obtenues avec des codes numériques lourds grâce à des collaborations.

Un défi majeur dans les réseaux d'aujourd'hui est de combler l'écart entre la haute vitesse de la transmission optique et la vitesse plus limitée du traitement électronique des données. Une option est de commuter les données directement dansle domaine optique. Dans cette thèse, nous proposons plusieurs solutions permettant la commutation dans le domaine optique à une granularité plus fine que la longueur d'onde, technique que nous appelons commutation sous-longueurd'onde. Pour montrer la pertinence des solutions proposées, nous analysons leur performance en termes de capacité de trafic, de débit et de délai. La performance est évaluée à la fois par des simulations et en utilisant des modèles de filesd'attente appropriés. Nous considérons d'abord le cas des réseaux métropolitains (Metropolitan Area Networks, MAN) et nous étudions la performance d'un anneau optique avec multiplexage en longueur d'onde (Wavelength Division Multiplexing, WDM) dans lequel la communication entre les noeuds du réseau se fait par insertion/extraction de données dans des créneaux temporels. Nous présentons un protocole entièrement distribué conçu pour assurer l'équité dansce réseau. Nous proposons également un mécanisme d'assemblage de paquets capable d'assurer des délais faibles ainsi que des taux de remplissage élevés. Nous proposons ensuite des solutions de commutation sous-longueur d'onde qui peuvent être appliquées dans le cas plus général des réseaux asynchrones. D'abord, nous proposons de résoudre le problème des collisions de la commutation optique par rafale (Optical Burst Switching, OBS) par la mise en oeuvre d'un mécanisme de réservation. Afin de maximiser l'utilisation des ressources, nous proposons d'adapter la taille de la rafale optique à la charge du réseau.Ensuite, nous proposons une solution alternative pour construire un réseau coeur tout-optique. A cette architecture, nous associons un protocole d'accès ainsi qu'un algorithme d'allocation dynamique de bande passante et nous analysons les performances de la solution proposée. Par le biais d'une étude de cas, nousmontrons que notre solution est capable de réduire considérablement la consommation énergétique par rapport aux architectures actuelles basées sur des routeurs IP. Enfin, nous proposons un nouveau dispositif optique capable derésoudre la contention directement dans le domaine optique. Nous montrons que ce dispositif simple peut être utilisé pour construire des réseaux optiques dynamiques à courte portée tels que les réseaux d'accès ou les centres de traitement de données.

Six sites ont été choisis pour une étude comparative de pillow lavas provenant de différents contextes géologiques: (1) Dorsale Nord-Atlantique 36' N, (2) Ride Est-Pacifique 13' N, (3) Monts Ibléens en Sicile sud-orientale et (4) Laves pré-etnéennes (Aci Castello) en Sicile orientale, (5) Massif du Montgenèvre (France/Italie) et (6) Zone d'Arosa (Suisse) dans les Alpes. Sur les dorsales actuelles a été échantillonné du matériel volcanique frais ("âge 0"), les laves siciliennes, légèrement altérées, sont d'âge miocène-pléistocène, enfin les laves alpines font partie de complexes ophiolitiques Jurassique supérieur-Crétacé inférieur à moyen. Les études comparatives se sont portées prioritairement sur les aspects morphologiques de ces unités effusives sous-marines. L'architecture et les dynamismes éruptifs au sein de différents ensembles paléovolcaniques ont été reconstitués à la lumière des observations de coulées récentes sur les dorsales actuelles. Les principaux facteurs ayant présidé à la mise en place des pillows sont : le taux d'effusion, la fluidité de la lave, sa vitesse d'écoulement, les surfaces topographiques sous-jacentes (inclinaison, reliefs) et enfin la gravité. Il ressort que les pillow lavas des domaines océaniques actuels et ophiolitiques présentent de nombreuses similitudes morphologiques. Les activités volcaniques apparaissent dans ces deux cas essentiellement effusives avec des taux d'effusion élevés indiqués par une abondance de laves massives, de méga-pillows et de pillows peu vésiculaires. Les laves siciliennes se différencient elles par des morphologies plus arrondies et une abondance de brèches et matériaux volcaniclastiques. Les activités volcaniques apparaissent dans ce cas plus franchement explosives, la forte vésicularité des laves siciliennes attestent de leur mise en place sous de faibles profondeurs d'eau. Dans tous les sites , des unités bréchiques apparaissent étroitement associées aux pillow lavas, elles seraient liées aux facteurs suivants: baisse de l'apport de lave,autobréchification, friction interne, hydromagmatisme et phénomènes gravitaires. Ainsi sur la plupart des sites étudiés, des édifices volcaniques construits ont pu être mis en évidence. Ces édifices présentent un coeur en laves massives (faciès proximaux), passant verticalement et latéralement à des pillows allongés puis bréchifiés, et enfin à des accumulations de brèches de laves par baisse de l'apport de lave (faciès distaux). Ces édifices ont des tailles décamétriques à hectométriques sur les rides actuelles, les séquences volcaniques siciliennes présentent des tailles similaires, alors que dans les ophiolites alpines, les effets de la tectonique ne permettent que des observations fragmentaires. Les roches étudiées correspondent à des laves aphyriques à (micro-)porphyriques, avec comme phases minéralogiques précoces: olivine, plagioclase, spinelle chromifère et clinopyroxène (+ orthopyroxène). Ce sont des basaltes de type subalcalin tholéiitique à transitionnel: NàT-MORB (rides actuelles + ophiolites alpines) à intraplaque océanique: WPB (laves siciliennes). Les pillow lavas océaniques actuels et ophiolitiques montrent de grandes similitudes texturales, mais les transitions graduelles entre les bords et les centres s'effectuent sur des distances variables. Ainsi ces variations sont beaucoup plus rapides dans les laves actuelles que dans celles ophiolitiques, liées peut-être à des gradients thermiques originellement plus faibles dans les dernières. Les pillows siciliens, porphyriques, présentent des transitions encore plus rapides et sont dépourvus de textures variolitiques. Les textures variolitiques sont caractéristiques des laves aphyriques, elles paraissent dépendre intimement de la vitesse de cristallisation, du gradient originel thermique entre les bords et les centres des pillows, de la vésicularité, ainsi que de la présence de phases minéralogiques primaires (phénocristaux) inhibant leur développement. L'altération (océanique et hydrothermale) et le métamorphisme mettent encore mieux en évidence les textures variolitiques, en accentuant le contraste de composition avec la mésostase : varioles pluricentimétriques dans les pillows ophiolitiques.