La rupture des matériaux à comportement fragile est causée par la présence de défauts initiaux. Ces derniers conduisent à une rupture brutale dans le cas de composés monolithiques. Dans le cas de céramiques renforcées par des fibres, la rupture finale est le résultat d'un processus de fragmentation progressive des fibres. Des essais ont été effectués sur deux céramiques monolithiques et sur des bétons. Ils ont pour but d'étudier l'influence du type de sollicitation et de la distribution initiale de défauts sur la contrainte de rupture. Une première approche de prévision de la probabilité cumulée de rupture est présentée. Elle tient compte explicitement de la présence des défauts, modélisés par une valeur initiale d'une variable scalaire d'endommagement, dans le calcul du champ de contrainte. Une seconde approche, qui néglige les interactions entre défauts ainsi que leur influence sur le champ de contrainte macroscopique, est ensuite introduite. Elle permet un traitement analytique de l'expression de la probabilité cumulée de rupture en fonction de la distribution initiale de défauts. Une implémentation en tant que postprocesseur de code E.F. est ainsi possible. Elle peut également être étendue à des sollicitations cycliques. Enfin, toutes ces notions peuvent conduire in fine à l'élaboration d'une loi d'endommagement anisotrope de céramiques renforcées par des fibres. La condition de rupture fondée sur un critère de localisation conduit à une estimation de l'endommagement critique en fonction du module de Weibull.

Un des enjeux importants de l'écologie est de comprendre comment les pratiques anthropiques affectent la biodiversité et quelles en sont les conséquences sur le fonctionnement des écosystèmes. L'objectif de cette thèse est d'améliorer la compréhension des mécanismes régissant les communautés végétales aquatiques, et plus particulièrement ceux liés aux perturbations anthropiques et aux phénomènes d'eutrophisation. Les méta-écosystèmes constitués de réseaux d'étangs agro-piscicoles sont des modèles d'étude adaptés à notre problématique car ils sont sous forte pression anthropique et présentent une forte variabilité environnementale. Dans un premier temps, nous avons étudié l'impact des modes de gestion des bassins versants sur l'eutrophisation des étangs. Dans un second temps, nous avons mesuré l'effet de l'eutrophisation sur la productivité et la diversité des communautés phytoplanctoniques. Enfin, nous avons relié 3 types de contraintes générées par les pratiques anthropiques (l'eutrophisation, l'assèchement et la connectivité entre les étangs) sur les communautés de plantes aquatiques en termes de diversité spécifique et fonctionnelle. L'effet de l'eutrophisation, le recrutement et l'établissement des communautés des plantes aquatiques a été abordé au travers de la relation entre la banque de graines et la végétation établie. L'eutrophisation est le facteur majeur responsable de la diminution de la biodiversité végétale dans les étangs. Cependant les perturbations récurrentes constituées par les assecs, engendrent une succession cyclique qui contribue à maintenir une forte biodiversité dans les étangs.

Ce travail de thèse se situe dans le contexte de l'évaluation du comportement permanent des enrobés bitumineux. L'objectif est de proposer un modèle mécanique pour les déformations permanentes des matériaux bitumineux et de l'appliquer à la prédiction du phénomène d'orniérage des chaussées. Dans un premier temps, un modèle tridimensionnel de viscoplasticité à plusieurs mécanismes et plusieurs critères est proposé. Ce modèle résulte du couplage d'un critère quadratique particularisé avec un critère de type Drucker-Prager linéaire. Il est capable de prendre en compte un certain nombre d'aspects du comportement mécanique des matériaux bitumineux, parmi lesquelles les déformations permanentes sous sollicitations cycliques. La validation de ce modèle s'effectue par la simulation de quelques essais de fluage cycliques. Dans un deuxième temps, une approche améliorée est proposée en présentant un modèle monosurfacique multi-mécanisme. Le nouveau modèle permet de simuler non seulement les sollicitations cycliques mais aussi les chargements monotones de fluage statique. Quelques validations sont présentées et montrent les capacités et la pertinence de ce modèle. Finalement, ce modèle est appliqué aux calculs de l'onriérage de chaussées bitumineuses à travers son implémentation au sein du module ORNI du code de calcul CESAR-LCPC.

Cette thèse s'ajoute aux différents travaux de recherche qui traitent des alliages d'aluminium fortement utilisés dans l'industrie aéronautique et contribue fortement à comprendre le comportement élastoplastique en chargement cyclique à contrainte imposée du 2017A. L'apport essentiel de ce travail est l'étude de l'anisotropie propre du matériau utilisé à travers le suivi de l'évolution des différents paramètres caractérisant la plasticité cyclique de notre matériau. En effet, nous avons caractérisé cette anisotropie en comparant le comportement du matériau en traction-compression avec celui de la torsion alternée selon l'évolution cyclique de la réponse contrainte-déformation, l'évolution de l'état stabilisé, l'évolution des variables d'écrouissages cinématique et isotrope ainsi que l'anisotropie selon le comportement en fatigue et endommagement. Pour mieux affiner la partie expérimentale de ce travail, des investigations microstructurales des faciès de rupture de toutes les éprouvettes utilisées ont été effectuées afin de mieux comprendre les mécanismes d'endommagement cyclique dans notre matériau. Dans la partie numérique de cette thèse, nous avons réalisé des simulations numériques en utilisant la dernière version du modèle multimécanismes qui tient compte de l'anisotropie du matériau. Les résultats de ces simulations, réalisées en considérant les mêmes conditions de nos essais expérimentaux, confirment les capacités de cette nouvelle version à estimer le comportement élastoplastique d'un matériau anisotrope.

L'effet de l'espacement interlamellaire sur le comportement sous chargements monotone et cyclique de l'acier perlitique C70 a été étudié. Une démarche expérimentale conjuguant les essais de traction " in-situ " sous DRX et traction " in-situ " sous MEB couplées à une modélisation auto-cohérente a été adoptée. Les essais ont été effectués sur deux microstructures, à deux espacements interlamellaires différents. Il a été montré que l'écoulement plastique de la perlite est contrôlé par celui de la ferrite lequel est gouverné par l'espacement interlamellaire, il en est de même pour les distributions des contraintes résiduelles. La modélisation auto-cohérente met en évidence l'anisotropie élastique à l'échelle des phases et l'effet de l'espacement interlamellaire sur les rigidités et les limites d'écoulement directionnelles. L'analyse microstructurale des mécanismes de déformation montre que la déformation plastique de la perlite est caractérisée par le développement de bandes de cisaillement. Ces bandes sont le siège de l'amorçage des fissures par cisaillement des lamelles de cémentite pour les taux de déformation élevés. L'effet de l'espacement interlamellaire sur le comportement en fatigue giga-cyclique a été étudié par des essais de fatigue sous une fréquence de 20 KHz. Des différences de 30 MPa, pour la perlite à SP= 230 nm et de 50 MPa pour la perlite à SP= 170 nm entre les limites de fatigue conventionnelle (106cycles) et giga-cyclique (109cycles) ont été obtenues. L'effet de l'espacement interlamellaire sur le comportement en fatigue apparait peu significatif comparativement aux caractéristiques mécaniques de traction. Les limites de fatigue giga-cycliques obtenues intègrent l'effet bénéfique des contraintes résiduelles stabilisées ainsi que les effets d'écrouissage induit par l'usinage et par écrouissage cyclique. L'examen des sites d'amorçage, révèle essentiellement un amorçage en surface dans le domaine méga-cyclique et mixte en surface et/ou en sous-couches dans le domaine giga-cyclique. Ces résultats peuvent être interprétés sur la base des effets des propriétés de surface stabilisées et de la microstructure. Le recours à un critère de fatigue de type Goodman permet d'identifier d'une manière qualitative la contribution des différents facteurs d'influence, ci-dessus cités, dans l'amorçage des fissures de fatigue.

Ce travail porte sur les complexes des métaux de transitions pour la catalyse de la réduction des protons en hydrogène. La nature de l'espèce catalytiquement active mise en jeu lors du processus de réduction a été étudiée par voltampérométrie cyclique afin de comprendre le rôle et le mode d'action de ces complexes. Le premier chapitre introduit le contexte et les principaux objectifs de ce travail. Le deuxième chapitre propose une étude électochimique de complexes de cobalt et de nickel à ligands bis(glyoxime) et clathrochélates en phase homogène. Leur comportement en présence d'acide et en condition réductrice est décrit et un mécanisme réactionnel associé est proposé. L'influence des ligands de la sphère de coordination sur le comportement électrochimique de ces complexes a été rationalisé par le biais de substitution des groupements présents sur les ligands bis(glyoxime) et clathrochélates. Le troisième chapitre aborde le rôle de pré-catalyseur que peuvent tenir ces complexes en condition d'électrolyse réductrice et en milieu acide. L'électrosynthèse de nanoparticules catalytiques à partir de ces complexes a mis en évidence le rôle majeur des ligands bis(glyoxime) et clathrochélates dans ce phénomène d'électrodéposition. Ces résultats montrent que ces ligands peuvent être utilisés pour contrôler la nature et l'activité de nanoparticules catalytiques pour la réduction des protons en dihydrogène. Le quatrième chapitre vise à immobiliser les complexes de cobalt à ligand clathrochélate au sein de réseaux de coordination afin d'optimiser leur activité catalytique. Malgré la faible solubilité et l'encombrement stérique de ces complexes, des synthèses en conditions très douces ont abouti à la formation de réseaux mono et bi-dimensionels à base d'ions cadmium(II).

Les interactions multivalentes sucre/protéine sont impliquées dans de nombreux processus biologiques tels que l'adhésion hôte-pathogène, la communication cellulaire ou les réponses immunitaires. La conception de glycoconjugués capables de présenter des motifs osidiques en cluster est essentielle, non seulement pour étudier ces phénomènes de reconnaissance complexes mais aussi pour développer des agents biologiquement actifs. Dans ce contexte, l'objectif de ma thèse a été de synthétiser de nouveaux glycoclusters et d'évaluer leurs propriétés biologiques. Ces glycoclusters ont été obtenus en conjuguant des sucres sur des cyclopeptides par des méthodes chimiosélectives (cycloaddition de Huisgen et ligation oxime). Des composés tetravalents, hexavalents et hexadécavalents d'architectures et de compositions variables ont été synthétisés, entièrement caractérisés puis évalués au laboratoire ou dans le cadre de collaborations avec différentes cibles. Un glycocluster hexadécavalent fucosylé a ainsi pu être identifié comme puissant inhibiteur de l'interaction de la lectine PA-IIL de la bactérie Pseudomonas aeruginosa à une concentration subnanomolaire. Une autre famille de composés associant des sucres et des peptides a montré des propriétés immunologiques uniques, notamment pour activer les cellules NK contre des cellules cancéreuses sans déclencher de phénomène d'autoapoptose. Mots clés : chimie des sucres, chimie des peptides, glycoclusters, ligations chimiosélectives, interactions sucre-protéine, lectine, cellule NK.

Les travaux de recherche concernant l'ordonnancement mobilisent un nombre important de chercheurs. Cette forte émulation est principalement due au large panorama des problématiques d'ordonnancement. Parmi elles, le problème d'atelier à cheminement multiple, communément appelé " Job-Shop ", tient une place particulièrement prépondérante tant ce problème est rencontré dans le milieu industriel. De nombreux sujets de recherche, en France et à l'étranger, sont issus de cette problématique. Les problèmes de Job-Shop peuvent souvent être simplifiés en les considérant comme des problèmes cycliques. L'ordonnancement des tâches devient ainsi cyclique et son objectif est d'organiser les activités de production en répétant un cycle de base que l'on a optimisé. De nombreux paramètres entrent en jeu dans l'optimisation du cycle de base tels que la période du cycle choisie, l'ordre des opérations élémentaires pour réaliser un travail, la durée de ces opérations, le nombre de produits à réaliser par cycle, etc. Plusieurs approches ont été utilisées pour résoudre ce problème. Parmi elles, nous pouvons citer l'approche par réseaux de Petri et plus particulièrement par graphes d'événements temporisés, l'approche par les graphes, l'approche par la programmation linéaire et l'approche par la théorie des tas. L'approche par les graphes permet une représentation graphique du problème sous forme d'un graphe où les noeuds représentent les différentes opérations et où les arcs illustrent les contraintes du problème d'ordonnancement cyclique, un tel problème admet une solution réalisable si, et seulement si, le graphe associé est consistant. Cette propriété de consistance d'un problème d'ordonnancement cyclique et de son graphe permet d'élaguer l'arbre de recherche de la procédure de séparation et d'évaluation proposée pour cette approche. Concernant l'approche par la théorie des tas, le sous-problème de l'évaluation d'une solution peut être résolu aisément avec l'aide de la théorie des tas. En effet, en traduisant le problème dans une structure mathématique adaptée, l'évaluation du taux de production du cycle revient au calcul d'une valeur propre d'un produit de matrices dans lequel chacune des matrices représente une opération élémentaire. Cette propriété s'avère particulièrement intéressante dans le cas de l'évaluation successive d'un grand nombre d'ordonnancement. En outre, la théorie des tas permet une représentation très intuitive d'un ordonnancement, puisque celui-ci s'illustre comme un empilement de plusieurs briques (en fait, un " tas " de briques) dont le contour supérieur correspond aux dates de fin des dernières opérations des machines.

Au cours des 50 dernières années, l’étude du phénomène de liquéfaction de sols sableux saturés ont fait l'objet de nombreuses recherches en laboratoire. La plupart de ces recherches antérieures se sont concentrées sur la liquéfaction de sables propres, en supposant que la présence de fines limite le développement de la surpression interstitielle et donc le risque de liquéfaction. Cependant, les sables sableux naturels se trouvent généralement dans la nature sous la forme d'un mélange de sable et de fines et, l’influence de ces fines sur le risque de liquéfaction de ce type de matériau n'est toujours pas claire. En effet, on trouve des résultats contradictoires, dans la littérature, sur l'effet des particules fines sur le phénomène de liquéfaction des sables. Dans ce contexte, l’objectif principal de ce travail expérimental est de clarifier et de quantifier l’influence des particules fines présentes au sein d’une matrice sableuse sur l’initiation et le développement du phénomène de liquéfaction. On s’est intéressé, en particulier, à la nature des particules fines (plastique/non-plastique), à leur proportion au sein de la matrice, à l’état de compacité de la matrice et à l’état de contrainte initial (état de consolidation). A cet effet, à l'aide d'un nouveau dispositif triaxial servo-hydraulique, une série d'essais monotones et cycliques ont été effectués afin de clarifier cet effet. Les résultats expérimentaux montrent que l'augmentation de la proportion de fines non plastiques augmente la résistance à la liquéfaction du mélange sous chargements monotone et cyclique. Par contre, cette tendance est inversée pour les mélanges qui contiennent des fines plastiques. Enfin, une comparaison a été établie entre le comportement de ces sols sous cisaillement monotone et cyclique non drainé en termes d'évaluation du déclenchement du phénomène d'instabilité et d'autres paramètres mécaniques / Since the last 50 years, the study of the phenomenon of liquefaction of saturated sandy soils has been a topic of extensive laboratory research. Most of the earlier research has focused on the liquefaction of clean sands assuming that the presence of fines resists the development of pore water pressure as well as the risk of liquefaction. However, natural sand is found in nature under the form of a mixture of sand and fines and, the influence of these fines on the liquefaction risk of this type of material is still unclear. In fact, we could find contradictory results in the literature review of the effect of fine particles on the sand liquefaction phenomenon. In this context, the main objective of this study is to clarify and quantify the influence of fine particles (plastic and non-plastic) present in a sandy matrix on the initiation and development of the liquefaction phenomenon .We’ve focused, in particular, on the nature of fine particles (plastic/non-plastic), their proportion in the matrix, the matrix compactness condition and initial stress state (state consolidation). For this purpose, with the aid of a new triaxial servo-hydraulic device, a series of monotonic and cyclic tests were done in order to clarify this effect. Experimental results show that the increase in non-plastic fines increases the resistance to liquefaction of the mixture under both monotonic and cyclic loading. However, this trend is reversed for the mixtures containing plastic fines. Finally a comparison has been established between the behavior of these soils under undrained monotonic and cyclic shearing in terms of evaluation of the initiation of instability phenomenon and other mechanical parameters

Nous proposons deux caractérisations des arbres réguliers. La première est sémantique et s'appuie sur les types co-inductifs. La seconde est syntaxique et repose sur une représentation des arbres réguliers par des termes cycliques. Nous prouvons que ces deux caractérisations sont isomorphes.Ensuite, nous étudions le problème de la définition de morphisme d'arbres préservant la propriété de régularité. Nous montrons en utilisant le formalisme des transducteurs d'arbres, l'existence d'un critère syntaxique garantissant la préservation de cette propriété. Enfin, nous considérons des applications de la théorie des arbres réguliers comme la définition de l'opérateur de composition parallèle d'une algèbre de processus ou encore, les problèmes de décidabilité sur les arbres réguliers via une mécanisation d'un vérificateur de modèles pour un mu-calcul coalgébrique. Tous les résultats ont été mécanisés et prouvés corrects dans l'assistant de preuve Coq. / We propose two characterizations of regular trees. The first one is semantic and is based on coinductive types. The second one is syntactic and represents regular trees by means of cyclic terms. We prove that both of these characterizations are isomorphic. Then, we study the problem of defining tree morphisms preserving the regularity property. We show, by using the formalism of tree transducers, the existence of syntactic criterion ensuring that this property is preserved. Finally, we consider applications of the theory of regular trees such as the definition of the parallel composition operator of a process algebra or, the decidability problems on regular trees through a mechanization of a model-checker for a coalgebraic mu-calculus. All the results were mechanized and proved correct in the Coq proof assistant.