Considérons les systèmes à évènements discrets qui sont modélisables par des réseaux de Pétri du type "graphes d'évènements temporisés", Ils ont un comportement optimal (fonctionnement au plus tôt) qui peut-être calculé sans simulation par un système dynamique qui est linéaire dans l'algèbre des dïodes (max,+) ou (min,+). Le comportement asymptotique d'un tel système à évènements discrets est cyclique et les caractéristiques de ce cycle (période, délai, motif) sont analysables par un calcul de valeur propre sur la matrice de dynamique. À partir de cette formulation linéaire, une représentation externe (fonction de transfert) peut-être obtenue grâce à un calcul formel sur des séries à coefficients dans les dïodes, la fonction de transfert d'un tel système est rationnelle au sens des dïoides et est factorisable en une expression finie de polynômes.

Nous exprimons le lien entre le support de certaines équations et celui des séries généralisées solutions. D'une part nous prouvons que toute série de puissances réelles solution d'une équation différentielle sous-analytique a ses exposants appartenant à un réseau (i.e. un sous-semi groupe additif finiment engendré des positifs). D'autre part nous considérons le corps Mr des séries à support bien ordonné inclus dans le produit de Hahn Hr de rang fini r (i.e. le produit lexicographique de r copies des réels). Nous munissons Mr d'une dérivation "de type Hardy" et définissons des ensembles bien ordonnés T1, ..., Tr tels que : pour toute équation F(y,...,y(n))=0 avec F dans Mr[[Y0,...,Yn]] et dont le support Supp F est un sous-ensemble bien ordonné de Hr, et pour toute solution y0 de Mr avec v(y0(i))> (0,...,0) pour i=0,...,n, alors les exposants de y0 appartiennent à un sous-ensemble bien ordonné positif de Hr obtenu à partir de Supp F, T1, ..., Tr par un nombre fini de transformations élémentaires.

On étudie une sous-classe des suites b-multiplicatives rarefiées avec un pas de raréfaction p premier, et on trouve une structure asymptotique avec un exposant alphain]0,1[ et une fonction de raréfaction continue périodique. Cette structure vaut pour les suites qui contiennent des nombres complexes du disque unité (section 1.1), et aussi pour des systèmes de numération avec b chiffres successifs positifs et négatifs (section 1.2). Ce formalisme est analogue à celui décrit (pour le cas particuler de la suite de Thue-Morse) par Gelfond; Dekking; Goldstein, Kelly, Speer; Grabner; Drmota, Skalba et autres. Dans la deuxième partie, largement indépendante, on étudie la raréfaction dans les suites composées de -1,0 et +1. On se restreint davantage au cas où b engendre le groupe multiplicatif modulo p. Cette hypothèse est conjecturée (Artin) d'être vraie pour une infinité de nombres premiers. Les constantes qui apparaissent s'expriment alors comme polynômes symétriques des P(zeta^j) où P est un polynôme à coefficients entiers, zeta est une racine primitive p-ième de l'unité, $j$ parcourt les entiers de 1 à p-1 (ce lien est explicité dans la section 1.3). On définit une méthode pour étudier les valeurs de ces polynômes symétriques, basée sur la combinatoire, notamment sur le problème de comptage des solutions des congruences et des systèmes linéaires modulo p avec deux conditions supplémentaires: les résidus modulo p utilisés doivent être non nuls et différents deux à deux. L'importance est donnée à la différence entre les nombres de soluions de deux congruences qui ne diffèrent que du terme sans variable. Le cas des congruences de la forme $x_1+x_2+...+x_n=i mod p$ équivaut à un résultat connu. Le mémoire (section 2.2) lui donne une nouvelle preuve qui en fait une application originale de la formule d'inversion de Möbius dans le p.o.set des partitions d'un ensemble fini. Si au moins deux coefficients distincts sont présents, on peut classer les réponses associées à toutes les congruences possibles qui ont un ensemble fixe de coefficients (de taille d), dans un tableau qu'on va appeler un "simplexe de Pascal fini". Ce tableau est une fonction delta:N^d->Z restreinte aux points de somme des coordonnées inférieure à p (un simplexe), avec deux propriétés: l'équation récursive de Pascal y est vérifiée partout sauf les points où la somme des coefficients est multiple de p (qui seront appelés les "sources" et forment un sous-réseau de l'ensemble des points entiers), et les valeurs en-dehors du simplexe induites par l'équation sont nulles (c'est démontré, en réutilisant la méthode précédente, dans la section 2.3 et en partie 2.4). On décrit un algorithme (section 2.4) qui consiste en applications successives de l'équation dans un ordre précis, qui permet de trouver l'unique fonction delta qui vérifie les deux conditions. On applique ces résultats aux suites b-multiplicatives (dans la section 2.5). On montre aussi que le nombre de sources ne dépend que de la dimension du simplexe d et de la longueur de son côté p. On formule la conjecture (partie 2.6) qu'il serait le plus petit possible parmi les tableaux de forme d'un simplexe de la dimention fixe et taille fixe qui vérifient les mêmes conditions. On montre un premier résultat sur les systèmes de deux congruences linéaires (section 2.5.4), et on montre (section 1.4) un lien avec une méthode de Drmota et Skalba pour prouver l'absence de phénomène de Newman (dans un sens précis), décrit initialement pour la suite de Thue-Morse et tout p tel que b engendre le groupe multiplicatif modulo p, et généralisé (section 1.4) à la suite (-1)^{nombre de chiffres 2 dans l'écriture en base 3 de n} appelée "++-". Cette problématique est riche en problèmes d'algorithmique et de programmation. Différentes sections du mémoire sont illustrées dans l'Annexe. La plupart de ces figures sont inédites.

On étudie une sous-classe des suites b-multiplicatives rarefiées avec un pas de raréfaction p premier, et on trouve une structure asymptotique avec un exposant alphain]0,1[ et une fonction de raréfaction continue périodique. Cette structure vaut pour les suites qui contiennent des nombres complexes du disque unité (section 1.1), et aussi pour des systèmes de numération avec b chiffres successifs positifs et négatifs (section 1.2). Ce formalisme est analogue à celui décrit (pour le cas particuler de la suite de Thue-Morse) par Gelfond; Dekking; Goldstein, Kelly, Speer; Grabner; Drmota, Skalba et autres. Dans la deuxième partie, largement indépendante, on étudie la raréfaction dans les suites composées de -1,0 et +1. On se restreint davantage au cas où b engendre le groupe multiplicatif modulo p. Cette hypothèse est conjecturée (Artin) d'être vraie pour une infinité de nombres premiers. Les constantes qui apparaissent s'expriment alors comme polynômes symétriques des P(zeta^j) où P est un polynôme à coefficients entiers, zeta est une racine primitive p-ième de l'unité, $j$ parcourt les entiers de 1 à p-1 (ce lien est explicité dans la section 1.3). On définit une méthode pour étudier les valeurs de ces polynômes symétriques, basée sur la combinatoire, notamment sur le problème de comptage des solutions des congruences et des systèmes linéaires modulo p avec deux conditions supplémentaires: les résidus modulo p utilisés doivent être non nuls et différents deux à deux. L'importance est donnée à la différence entre les nombres de soluions de deux congruences qui ne diffèrent que du terme sans variable. Le cas des congruences de la forme $x_1+x_2+...+x_n=i mod p$ équivaut à un résultat connu. Le mémoire (section 2.2) lui donne une nouvelle preuve qui en fait une application originale de la formule d'inversion de Möbius dans le p.o.set des partitions d'un ensemble fini. Si au moins deux coefficients distincts sont présents, on peut classer les réponses associées à toutes les congruences possibles qui ont un ensemble fixe de coefficients (de taille d), dans un tableau qu'on va appeler un "simplexe de Pascal fini". Ce tableau est une fonction delta:N^d->Z restreinte aux points de somme des coordonnées inférieure à p (un simplexe), avec deux propriétés: l'équation récursive de Pascal y est vérifiée partout sauf les points où la somme des coefficients est multiple de p (qui seront appelés les "sources" et forment un sous-réseau de l'ensemble des points entiers), et les valeurs en-dehors du simplexe induites par l'équation sont nulles (c'est démontré, en réutilisant la méthode précédente, dans la section 2.3 et en partie 2.4). On décrit un algorithme (section 2.4) qui consiste en applications successives de l'équation dans un ordre précis, qui permet de trouver l'unique fonction delta qui vérifie les deux conditions. On applique ces résultats aux suites b-multiplicatives (dans la section 2.5). On montre aussi que le nombre de sources ne dépend que de la dimension du simplexe d et de la longueur de son côté p. On formule la conjecture (partie 2.6) qu'il serait le plus petit possible parmi les tableaux de forme d'un simplexe de la dimention fixe et taille fixe qui vérifient les mêmes conditions. On montre un premier résultat sur les systèmes de deux congruences linéaires (section 2.5.4), et on montre (section 1.4) un lien avec une méthode de Drmota et Skalba pour prouver l'absence de phénomène de Newman (dans un sens précis), décrit initialement pour la suite de Thue-Morse et tout p tel que b engendre le groupe multiplicatif modulo p, et généralisé (section 1.4) à la suite (-1)^{nombre de chiffres 2 dans l'écriture en base 3 de n} appelée "++-". Cette problématique est riche en problèmes d'algorithmique et de programmation. Différentes sections du mémoire sont illustrées dans l'Annexe. La plupart de ces figures sont inédites. / The primary object of study is a subclass of b-multiplicative sequences, p-rarefied which means that the subsequence of terms of index multiple of a prime number p is taken. The sums of their initial terms have an asymptotic structure described by an exponent alphain]0,1[ and a contnous periodic "rarefaction function". This structure is valid for sequences with complex values in the unit disc, in both cases of the usual numerating system (section 1.1) and one with b successive digits among which there are positive and negative (section 1.2). This formalism is analogous to the formalism for the Thue-Morse sequence in texts by Gelfond; Dekking; Goldstein, Kelly, Speer; Grabner; Drmota, Skalba and others. The second, largely independent, part concerns rarefaction in sequences with terms in -1,0 or 1. Most results concern the case where b is a generator of the multiplicative group modulo p. This condition has been conjectured to be valid for infinity of primes, by Artin. The constants which are important, can be written as symmetric polynomials of P(zeta^j) where zeta is a primitive p-th root of unity, P is a polynomial with integer coefficients and j runs through the numbers from 1 to p-1 (section 1.3). The text describes a combinatorics-based method to study the values of these symmetric polynomials, where the combinatorial problem is as follows. Count the solutions of a linear congruence or a system modulo p, which satisfy a condition: the values of variables must be different from each other and from zero. Importance is attached to the difference between the numbers of solutions of two congruences that differ only in the free term. For the congruences of the form $x_1+x_2+...+x_n=i mod p$ this problem reduces to a well-known result. The text (section 2.2) gives an original proof of it, using the Möbius inversion formula in the p.o.set of partitions of a finite set. If at least two distinct coefficients are present, we can fix a set of coefficients (of size d) and put the answers corresponding to all possible linear congruences into an array that will be called "finite Pascal's triangle". It is a function delta:N^d->Z restricted to inputs with the sum of coordinates smaler than p (a simplex), and it has two properties. A recursive equation similar to the equation of Pascal holds everywhere except the points where the sum of coefficients is a multiple of p (a sublattice of Z^d the points of which are called "sources"); the values induced by this equation beyond the simplex are zeroes (section 2.3 and part of 2.4). An algorithm that finds the unique function delta satisfying these condiditions is described (section 2.4). It consists in successive applications of the equation in a precise order. These results are then applied to the b-multiplicative sequences (section 2.5). We also prove that the number of sources depends only on the dimention d and the size p of the simplex. We conjecture (section 2.6) that this number is the smallest possible for all numerical arrays of the same dimention and size that satisfy the same conditions. A first result about the systems of two linear congruences is proved (section 2.5.4). It is shown how these systems are related to a method by Drmota and Skalba of proving the absence of Newman's phenomenon (in a precise sence) initially described for the Thue-Morse sequence and for a prime p such that 2 is a generator of the multiplicative group modulo p, then extended to the sequence (-1)^{number of digits 2 in the ternary extension of n} called "++-". These questions generate many algorithmic and programming problems. Several sections link to illustration situated in the Annexe. Most of these figures are published for the first time.

Au cours de ces dernières années, des études ont montré l’existence d’une compartimentation latéraledes composants de la membrane plasmique végétale, de manière analogue à ce qui avait été montréchez les animaux et les levures. L’objectif de cette thèse était d’apporter de nouveaux éléments decaractérisation de cette compartimentation (propriétés physiques de domaines particuliers, mécanismesde mise en place de ces domaines, de contrôle de leur taille, etc…) et d’étudier son rôle dans laphysiologie de la cellule végétale.Le développement d’une méthodologie de microscopie confocale spectrale couplée à l’utilisationd’une sonde environnementale a permis d’apporter la première description à l'échellesubmicrométrique de l’organisation du plasmalemme en territoires aux propriétés physiquesdifférentiées. Ces domaines coexistent au sein de la membrane plasmique de cellules en suspension,comme à celle de membranes artificielles composées de lipides modèles ou de lipides de membranescellulaires, de vésicules géantes constituées de membrane plasmique purifiée, ou de protoplastes.Cependant, les différences de l’organisation latérale observées chez ces différentes membranes ontpermis de montrer l’importance des phytostérols qui seraient, par le biais d'interactions spécifiquesavec d’autres lipides végétaux tels que les GIPCs, des composés essentiels pour la formation locale dedomaines lipidiques ordonnés. La grande diversité des lipides végétaux organiserait ainsi lacompartimentation de la membrane plasmique permettant la ségrégation dynamique des composantsmembranaires. Si les stérols augmentent de manière importante le degré de compaction de la bicouche,les protéines le diminuent. Le cytosquelette et la paroi ne semblent, quant à eux, modifier ni laprésence, ni l’organisation des domaines ordonnés de la membrane plasmique. Nous avons égalementmontré que l’organisation de ces domaines évolue transitoirement lors des étapes précoces de lacascade de signalisation induite par des réactions de défense. De fait, nous avons identifié desmodifications des propriétés physiques globales et de l’organisation fine de la membrane provoquéespar différents éliciteurs de réactions de défense, dont la cryptogéine, une protéine sécrétée parl’oomycète Phytophthora cryptogea. Nous avons montré que ces modifications sont un élémentgénérique de la signalisation de défense, sous la dépendance de phénomènes de phosphorylation, leburst oxydatif étant également une étape clé de l’augmentation du degré d’ordre observé dans lesphases précoces de cette signalisation. La cryptogéine, qui présente une aptitude singulière pour piégerles stérols, a également montré une capacité spécifique à augmenter la fluidité membranaire, ceparamètre pouvant contrôler l’intensité de la cascade de signalisation, mesurée par la production deformes actives d’oxygène.Ces résultats ouvrent de nouvelles perspectives dans la compréhension des interactions cellule-élicitineet apportent un nouvel éclairage sur le rôle des lipides végétaux dans l’organisation latérale de lamembrane plasmique végétale et positionne la dynamique membranaire comme un élément designalisation de défense des plantes. / Recent studies have shown the existence of lateral sub-compartmentalization of plant plasmamembrane similar to that of animal cells and yeasts. The aim of this thesis was to provide newelements to characterize this compartmentalization (physical properties of specific domains,mechanisms of their formation, determination of their size, etc...) and to study its role in thephysiology of plant cells.The development spectral confocal microscopy coupled with the use of an environment-sensitiveprobe enabled to obtain the first description at the submicron scale of plasma membrane organizationinto domains exhibiting various physical properties. These domains coexist at the plasma membranesurface of tobacco suspension cells as well as the membrane of vesicles composed of models lipids orcell plasma membrane lipids, purified plasma membrane vesicles, and protoplasts. However,differences in the lateral organization observed in these membranes have shown the importance ofphytosterols which are, through specific interactions with neighboring plant lipids such as GIPCs,essential for local formation of ordered domains. The huge diversity of plant lipids drives thecompartmentalization of the plasma membrane allowing the dynamic segregation of membranecomponents. Sterols greatly increase membrane order, whereas proteins tends to decrease it.Cytoskeleton and cell wall do alter neither presence nor organization of ordered domains of the plasmamembrane. We have also shown that the organization of these domains is transiently modified duringthe early stages of defense signaling cascade. In fact, we have identified changes in overall physicalproperties and fine lateral organization of the membrane caused by various elicitors of defensereactions, including cryptogein, a protein secreted by the oomycete Phytophthora cryptogea. We haveshown that these changes are a generic element of defense signaling cascade and depend onphosphorylation processes; oxidative burst being also a major actor of the control of the increase ofmembrane order observed during the very early stages of the signalling process. Cryptogein, whichexhibits the particular ability to trap sterols, also showed a specific capacity to increase membranefluidity and amplify the intensity of the signalling cascade, as measured by the production of reactiveoxygen species.These results open new perspectives in the understanding of cell-elicitin interactions and provide anew view on the central role of sterol composition in the lateral organization of plant plasmamembrane. They also identify membrane dynamics as a new player in the signalling cascade occurringduring plant defense.

Nous proposons Dido, un langage dédié (DSL) implicitement parallèle qui capture les spécifications de haut niveau des stencils et génère automatiquement du code parallèle de haute performance pour les architectures à mémoire distribuée. Le code généré utilise ORWL en tant que interface de communication et runtime. Nous montrons que Dido réalise un grand progrès en termes de productivité sans sacrifier les performances. Dido prend en charge une large gamme de calculs stencils ainsi que des applications réelles à base de stencils. Nous montrons que le code généré par Dido est bien structuré et se prête à de différentes optimisations possibles. Nous combinons également la technique de génération de code de Dido avec Pluto l'optimiseur polyédrique de boucles pour améliorer la localité des données. Nous présentons des expériences qui prouvent l'efficacité et la scalabilité du code généré qui atteint de meilleures performances que les implémentations ORWL et MPI écrites à la main. / In this work, we present Dido, an implicitly parallel domain-specific language (DSL) that captures high-level stencil abstractions and automatically generates high-performance parallel stencil code for distributed-memory architectures. The generated code uses ORWL as a communication and synchronization backend. We show that Dido achieves a huge progress in terms of programmer productivity without sacrificing the performance. Dido supports a wide range of stencil computations and real-world stencil-based applications. We show that the well-structured code generated by Dido lends itself to different possible optimizations and study the performance of two of them. We also combine Dido's code generation technique with the polyhedral loop optimizer Pluto to increase data locality and improve intra-node data reuse. We present experiments that prove the efficiency and scalability of the generated code that outperforms both ORWL and MPI hand-crafted implementations.

L'objet de cette thèse a été de caractériser la distribution des marches atomiques sur une surface vicinale d'alliage Cu-17%Pd(1,1,11) de structure ordonnée L12. Cet alliage présente une transition chimique ordre-désordre à 778 K (Tc) (1er ordre). Par une observation directe en STM et par diffraction d'hélium, nous avons observé que la face vicinale a une structure en marches appariées à température ambiante. En fonction de la température, on montre que la morphologie de la surface transite de façon continue vers une structure de marches simples pour une température proche de Tc.<br /><br />La diffraction de rayons X à l'ESRF nous a permis d'observer l'apparition du désordre chimique à la surface et l'évolution simultanée du changement de structure des marches. On observe que la séparation des paires de marches évolue proportionnellement à la composante parallèle du paramètre d'ordre dans le plan de surface.<br /><br />Pour des temps courts de mise en ordre, le STM montre une structure en domaines, des marches appariées. On identifie les frontières entre domaines par le dédoublement local des paires de marches. Ce phénomène traduit l'émergence à la surface de parois. Cette structure en domaine, caractéristique de l'ordre chimique dans les premiers plans de surface, nous a permis, par STM et diffraction d'hélium, de suivre la cinétique de mise en ordre en présence d'une surface. La taille caractéristique des domaines évolue avec le temps de recuit en A(T).t1/2. Un diagramme d'Arrhénius du facteur d'échelle temporel A(T) a permis de mesurer une énergie d'activation de mise en ordre de 2 eV à la surface ainsi qu'en volume.<br /><br />Dans une seconde étude, nous avons caractérisé l'influence du dépôt de palladium sur une surface vicinale de cuivre. Nous avons montré par diffraction d'hélium que cet alliage de surface provoque un appariement des marches similaires à celles observées sur l'alliage massif Cu3Pd. Cependant, cette modification de la distribution des marches présente un faible degré d'ordre qui peut être du à l'absence d'ordre chimique à longue distance.

De nombreuses méthodes d’extraction de motifs séquentiels ont été proposées pour découvrir des motifs utiles qui décrivent les données analysées. Certaines de ces travaux se sont concentrés sur l’énumération efficace de motifs partiellement ordonnés fermés (cpo-motifs), ce qui rend leur évaluation difficile pour les experts, car leur nombre peut être important. Par suite, nous proposons une approche nouvelle, qui consiste à extraire directement des cpo-motifs multi-niveaux qui sont organisés dans une hiérarchie. Nous proposons une méthode originale dans la cadre de l’Analyse Relationnelle de Concepts (ARC), appelée RCA-SEQ, qui exploite la structure et les propriétés des treillis issus de l’ARC. RCA-SEQ comporte cinq étapes : le prétraitement des données ; l'exploration par l’ARC des données ; l'extraction automatisée d'une hiérarchie de cpo-motifs multi-niveaux par navigation des treillis issus de l’ARC ; la sélection de cpo-motifs pertinents ; l'évaluation des motifs par les experts. / Many sequential pattern mining methods have been proposed to discover useful patterns that describe the analysed sequential data. Several of these works have focused on efficiently enumerating all closed partially-ordered patterns (cpo-patterns), that makes their evaluation a laboured task for experts since their number can be large. To address this issue, we propose a new approach, that is to directly extract multilevel cpo-patterns implicitly organised into a hierarchy. To this end, we devise an original method within the Relational Concept Analysis (RCA) framework, referred to as RCA-SEQ, that exploits the structure and properties of the lattices from the RCA output. RCA-SEQ spans five steps: the preprocessing of the raw data; the RCA-based exploration of the preprocessed data; the automatic extraction of a hierarchy of multilevel cpo-patterns by navigating the lattices from the RCA output; the selection of relevant multilevel cpo-patterns; the pattern evaluation done by experts.

La pathologisation du criminel n’est pas un fait nouveau, pas plus que ne l’est la tendance latente à considérer le délinquant comme un malade. Pourtant, la sanction pénale semble avoir dépassé progressivement l’association symbolique en distillant progressivement au cœur de son fonctionnement le principe d’une réponse médicale à l’acte infractionnel. Ce faisant elle s’inscrit progressivement dans un mouvement plus vaste, celui décrit par les sociologues du milieu du XXème siècle : le processus de médicalisation. L’étude de la médicalisation de la sanction pénale démontre d’une mutation inédite prenant appui sur une catégorie à définir, celle des soins pénalement ordonnés. Elle tend alors à mesurer les différentes mutations opérées par une série de législations marquée par l’accélération et l’expansion d’un processus longtemps associé à des problématiques addictives. Le soin a t-il vocation à se substituer à la sanction, à devenir sanction ? Telles sont désormais les nouvelles problématiques qui innervent la matière. Dans ce qui se profile comme une redéfinition de l’architecture de la sanction pénale, pour les responsables comme les irresponsables pénaux le système pénal n’admet plus de culpabilité sans sanction, ni de sanction sans traitement. La tangibilité du processus de médicalisation de la sanction pénale naît alors du déplacement progressif et à dessein des fondements traditionnels de la sanction pénale tandis que, dans un mouvement inverse, ses finalités se resserrent, depuis leur réception théorique jusque dans leur mise en œuvre, autour d’un objectif thérapeutique / Pathologising the criminal is nothing new, no more than is the latent trend to consider the offender as a patient. Yet criminal sanction appears to have gradually exceeded this symbolic association, progressively distilling the principle of a medical response to the unlawful act into the core of its operation. In doing so it gradually falls within a broader movement, that described by sociologists from the middle of the twentieth century: the medicalisation process.The study of the medicalisation of criminal punishments demonstrates an unprecedented mutation based on taking a class yet to be defined, that of care as a criminal punishment. It tends to measure different mutations carried by a series of laws marked by the acceleration and expansion of a process long associated with addictive problems. Has care become a substitute for punishment, or even a punishment in itself ? These are now the new problems that are stirring things up. In what is emerging as a redefinition of the architecture of punishment, for those responsible just like those who are criminally irresponsible, the penal system no longer recognises guilt without punishment, nor punishment without treatment. The tangibility of the process of medicalisation of criminal punishment was born of the progressive and intentional movement away from the traditional foundations of criminal punishment while, in a reverse movement, tightening its purposes, hence their theoretical reception right through to its implementation, around a therapeutic target

Cette thèse développe des algorithmes pour les problèmes de plus court chemin sous cont-rain-tes de ressources, et les applique à l'optimisation des rotations des avions et des équipages d'une compagnie aérienne dans le cadre d'approches par génération de colonnes.Les problèmes de plus court chemin sous contraintes de ressources sont généralement résolus grâce à une énumération intelligente de tous les chemins non dominés. Les approches récentes utilisent des bornes sur les ressources des chemins pour éliminer des solutions partielles. L'efficacité de la méthode est conditionnée par la qualité des bornes utilisées. Notre principale contribution au domaine est l'introduction d'une procédure générique pour calculer des bornes qui s'applique à la plupart des problèmes de chemins sous contraintes, et en particulier les problèmes stochastiques. A cette fin, nous introduisons une généralisation du problème de plus court chemin sous contraintes dans laquelle les ressources des chemins appartiennent à un monoïde ordonné comme un treillis. La ressource d'un chemin est la somme des ressources de ses arcs, le terme somme désignant l'opérateur du monoïde. Le problème consiste à trouver parmi les chemins qui satisfont une contrainte donnée celui dont la ressource minimise une fonction de coût croissante de la ressource des chemins. Nous généralisons les algorithmes d'énumération à ce nouveau problème. La théorie des treillis nous permet de construire une procédure polynomiale pour trouver des bornes de qualité. L'efficacité pratique de la méthode est évaluée au travers d'une étude numérique détaillée sur des problèmes de chemins déterministes et stochastiques. Les procédures de calcul des bornes peuvent être interprétées comme des généralisations aux monoïdes ordonnés comme des treillis d'algorithmes de la littérature définis pour résoudre un problème de chemin pour lequel les ressources des chemins prennent leur valeur dans un semi-anneau.Nos algorithmes de chemins ont été appliqués avec succès au problème de crew pairing. Étant donné un ensemble de vols opérés par une compagnie aérienne, les problèmes d'aircraft routing et de crew pairing construisent respectivement les séquences de vols opérées par les avions et par les équipages de manière à couvrir tous les vols à moindre coût. Comme certaines séquences de vols ne peuvent être réalisées par un équipage que s'il reste dans le même avion, les deux problèmes sont liés. La pratique actuelle dans l'industrie aéronautique est de résoudre tout d'abord le problème d'aircraft routing, puis le problème de crew pairing, ce qui aboutit à une solution non-optimale. Des méthodes de résolution pour le problème intégré ont été développées ces dix dernières années. Nous proposons une méthode de résolution pour le problème intégré reposant sur deux nouveaux ingrédients : un programme linéaire en nombre entier compact pour le problème d'aircraft routing, ainsi que de nouveaux pour le problème esclave de l'approche usuelle par génération de colonnes du problème de crew pairing. Ces algorithmes pour le problème esclave sont une application de nos algorithmes pour le problème de plus court chemin sous contraintes. Nous généralisons ensuite cette approche de manière à prendre en compte des contraintes de probabilités sur la propagation du retard. Ces algorithmes permettent de résoudre quasiment à l'optimum les instances industrielles d'Air France / This thesis develops algorithms for resource constrained shortest path problems, and uses them to solve the pricing subproblems of column generation approaches to some airline operations problems.Resource constrained shortest path problems are usually solved using a smart enumeration of the non-dominated paths. Recent improvements of these enumeration algorithms rely on the use of bounds on path resources to discard partial solutions. The quality of the bounds determines the performance of the algorithm. Our main contribution to the topic is to introduce a standard procedure to generate bounds on paths resources in a general setting which covers most resource constrained shortest path problems, among which stochastic versions. In that purpose, we introduce a generalization of the resource constrained shortest path problem where the resources are taken in a lattice ordered monoid. The resource of a path is the monoid sum of the resources of its arcs. The problem consists in finding a path whose resource minimizes a non-decreasing cost function of the path resource among the paths that satisfy a given constraint. Enumeration algorithms are generalized to this framework. We use lattice theory to provide polynomial procedures to find good quality bounds. The efficiency of the approach is proved through an extensive numerical study on deterministic and stochastic path problems. Interestingly, the bounding procedures can be seen as generalizations to lattice ordered monoids of some algebraic path problem algorithms which initially work with resources in a semiring.Given a set of flight legs operated by an airline, the aircraft routing and the crew pairing problem build respectively the sequences of flight legs operated by airplanes and crews at minimum cost. As some sequences of flight legs can be operated by crews only if they stay in the same aircraft, the two problems are linked. The current practice in the industry is to solve first the aircraft routing, and then the crew pairing problem, leading to a non-optimal solution. During the last decade, solution schemes for the integrated problem have been developed. We propose a solution scheme for the integrated problem based on two new ingredients: a compact integer program approach to the aircraft routing problem, and a new algorithm for the pricing subproblem of the usual column generation approach to the crew pairing problem, which is based on our resource constrained shortest path framework. We then generalize the algorithm to take into account delay propagation through probabilistic constraints. The algorithms enable to solve to near optimality Air France industrial instances