Le $\lambda \mu^{\wedge \vee}$-calcul est une extension du $\lambda$-calcul associée à la déduction naturelle classique où sont considérés tous les connecteurs.<br>Les principaux résultats de cette thèse sont :<br>- La standardisation, la confluence et une extension de la machin de J.-L. Krivine en $\lambda \mu^{\wedge \vee}$-calcul.<br>- Une preuve sémantique de la forte normalisation du théorème d'élimination des coupures.<br>- Une sémantique de réalisabilité pour le $\lambda \mu^{\wedge \vee}$-calcul qui permet de caractériser le comportement calculatoire de certains termes typés et clos.<br>- Un théorème de complétude pour le $\lambda \mu$-calcul simplement typé.<br>- Une introduction à un $\lambda \mu^{\wedge \vee}$-calcul par valeur confluent.

Ce travail porte sur l'étude de familles polynomiales d'opérateurs de la forme :<br /> L(z)=H_0+z H_1+...+ zm-1Hm-1+zm , où H0,H1,...,Hm-1 sont des opérateurs définis sur l'espace de Hilbert H et z est un paramètre complexe. On s'intéresse au spectre de la famille L(z). Le problème L(z)u(x)=0 est un problème aux valeurs propres non-linéaires lorsque m≥2 (Un nombre complexe z est appelé valeur propre de L(z), s'il existe u dans H, u≠0$ tel que L(z)u=0). Ici nous considérons des familles quadratiques (m=2) et nous nous intéressons en particulier au cas LP(z)=-∆x+(P(x)-z)2, définie dans l'espace de Hilbert L2(Rn), où P est un polynôme positif elliptique de degré M≥2. Dans cet exemple les résultats connus d'existence de valeurs propres concernent les cas $n=1$ et $n$ paire.<br />L'objectif principal de ce travail est de progresser vers la preuve de la conjecture suivante, formulée par Helffer-Robert-Wang : « Pour toute dimension n, pour tout M≥2, le spectre de LP est non vide. »<br />Nous prouvons cette conjecture dans les cas suivants : (1) n=1,3, pour tout polynôme P de degré M≥2. (2) n=5, pour tout polynôme P convexe vérifiant de plus des conditions techniques. (3) n=7, pour tout polynôme P convexe. <br />Ce résultat s'étend à des polynômes quasi-homogènes et quasi-elliptiques comme par exemple P(x,y)=x2+y4, x dans Rn1, y dans Rn2, n1+n2=n, et n paire. <br />Nous prouvons ces résultats en calculant les coefficients d'une formule de trace semi-classique et en utilisant le théorème de Lidskii.

Les travaux présentés dans ce mémoire s'inscrivent dans le cadre d'un projet de dimension européenne réalisé en partenariat avec l'Agence Spatiale Européenne et EADS Astrium sur le développement d'algorithmes innovants et robustes de diagnostic de pannes pour les véhicules spatiaux. Un cadre méthodologique générique et structuré offrant des paramètres de réglage de haut niveau et couvrant le cycle complet synthèse-analyse est proposé pour formuler et résoudre le problème de diagnostic. En outre, une étude préalable de trimmabilité statique permettant d'identifier et de caractériser des situations défaillantes non déstabilisantes, potentiellement compensables, et pour lesquelles la mise en place d'actions de reconfiguration permettrait de maintenir l'appareil sur sa trajectoire de vol est présentée. Formulé et géré dans un contexte multi-objectifs de type min/max, le problème de synthèse est résolu par utilisation des techniques d'optimisation LMI et fournit d'une part, les filtres de diagnostic et d'autre part, deux matrices d'allocation en charge de faire fusionner de façon optimale les signaux de mesure et de commande disponibles pour former le vecteur de résidus. L'étape d'analyse est effectuée par évaluation de la valeur singulière structurée généralisée mu_g dont les résultats permettent de conclure à la fois sur l'atteinte des objectifs, ou le cas échéant, de fournir des indications sur la manière dont les contraintes et/ou objectifs peuvent être relaxés ou modifiés. La méthodologie proposée est appliquée au diagnostic des pannes d'actionneurs du véhicule de rentrée atmosphérique HL20 lors des phases de dissipation d'énergie en zone terminale et d'atterrissage automatique.

La notion de monument historique - distincte de la notion de patrimoine - apparaît durant la Révolution française. La protection du patrimoine, dont les origines proviennent d'une réponse directe à la situation de crise révolutionnaire, s'organise lentement mais avec des principes forts pendant le XIXème siècle : un support associatif local très actif, une administration en gestation et un cadre théorique et légal en point de mire (la première loi de protection des monuments historiques étant votée en 1887). La recherche historique a toujours accordé une place importante au patrimoine, en particulier par le biais de l'histoire de l'art. En privilégiant l'entrée politique, un grand nombre d'historiens se sont penchés sur l'évolution des différentes branches du service des monuments historiques. D'autres ont effectué un remarquable travail épistémologique redéfinissant le concept de patrimoine, à l'orée de ses multiples ramifications, tout en répondant à cette pluralité en proposant une analyse pluridisciplinaire de la question. Notre étude s'inscrit dans ce constat d'un besoin de réintégrer la question patrimoniale à une analyse globalisante intégrant les objets, les discours et les acteurs en réifiant les objets patrimoniaux du discours qui les produit à travers le temps. L'objectif de cette étude est de comprendre comment le patrimoine, dans sa diversité, va être mis en valeur par les acteurs sociaux grâce à une analyse du discours qui le sous-tend. Nous suggérons que le patrimoine n'est pas plus intrumentalisé que les autres fabrications humaines. Le patrimoine est créé par des discours qui, à leur tour, créent de l'espace public. Donc le patrimoine est la rencontre de l'homme et de son environnement : thématique notamment développée par les spécialistes de l'environnement.

Ce document propose une analyse des relations entre l'enseignement supérieur de masse et l'économie de la connaissance sous l'angle de la valeur des diplômes, la valeur salariale, la valeur professionnelle mais également la valeur plus subjective perçue par les individus. Il est organisé autour de trois chapitres. Le premier part du constat de la forte hétérogénéité des rendements salariaux l'enseignement supérieur dans le monde. A partir d'une métaanalyse, il montre que ces taux de rendement sont étroitement dépendants des structures économiques et du développement de l'enseignement supérieur dans chaque pays. Le deuxième chapitre se focalise sur l'évolution de l'enseignement supérieur de masse en France et ses relations avec le marché du travail. Réinterrogeant la théorie de l'éligibilité proposée il y a plus de 35 ans, il met en relation la dégradation des conditions d'insertion des diplômés avec les changements dans l'allocation du temps des étudiants dans les premières années d'enseignement supérieur. L'analyse dans le dernier chapitre se déplace vers le niveau le plus élevé du système LMD, la formation doctorale, parfois présentée comme l'un des moteurs d'une économie fondée sur la connaissance. Elle pose notamment la question de la transférabilité des compétences acquises par les doctorants pour se préparer aux carrières académiques et qui sont souvent peu valorisées en France sur le segment privé du marché du travail scientifique.

LA RARETÉ DE LA TERRE fait l'objet de préoccupations récurrentes dans l'opinion publique et ses institutions. Le consensus sur la croissance à venir de la demande - pour l'alimentation mais également les agrocarburants, l'urbanisation, les services écosystémiques ou la protection de la nature - défie la capacité de la ressource disponible à remplir les fonctions qui lui sont attribuées. Sur cette question souvent formulée en termes de quantités disponibles (en hectares), l'objet de cette thèse est de définir et d'étudier la dimension qualitative de la rareté. Parce que la terre est hétérogène et localisée, les possibilités d'adaptation de l'offre - en particulier par des changements d'usage - s'avèrent contraintes par les disponibilités en attributs non reproductibles (nature des sols, climat, accessibilité). Cette constatation n'est pas nouvelle (Ricardo, 1817) mais nous en proposons des prolongements. Sous un angle théorique, un modèle d'allocation optimale avec une hétérogénéité en plusieurs dimensions (une pour chaque usage) est élaboré. Il articule l'usage de la terre, sa valeur et les préférences de la population. Avec un marché foncier concurrentiel, l'allocation s'établit selon la logique des avantages comparatifs et ramène la loi des rendements décroissants de Ricardo à un cas particulier relativement défavorable. Le modèle admet en outre la possibilité de rendements croissants. En présence d'un marché défaillant, nous montrons l'importance de l'information disponible sur l'hétérogénéité - les variabilités marginales et les corrélations entre elles - pour mettre en œuvre l'action publique. Le modèle présente toutefois des situations où des informations supplémentaires ne permettent pas de faire de meilleurs choix. Globalement, ces résultats déplacent le focus de la rareté vers des mesures statistiques sur les différentes valorisations de la terre et de son caractère localisé. Sous un angle empirique, nous étudions l'hétérogénéité par le biais du prix de la terre (Côte d'Or, 1993-2005) et des choix des exploitations agricoles (bassin parisien, 1992-1993). La première approche consiste à relier les prix observés aux caractéristiques pédologiques(texture du sol, réserve en eau utile, hydromorphie) et topographiques (altitude, pente) par la méthode hédonique. Nous obtenons des effets cumulés, pour ces deux classes d'attributs, de l'ordre de 35-60% des prix. La deuxième approche consiste à révéler les coûts d'opportunité issus du retrait de l'usage agricole en utilisant la réforme de la Politique Agricole Commune comme une expérience naturelle. Face à l'obligation de geler des surfaces préalablement cultivées pour toucher des aides directes, les choix des agriculteurs reflètent des arbitrages coût/bénéfice qui, par l'observation des bénéfices, permettent de déduire les coûts. L'hétérogénéité de la terre est alors identifiée par sa structure spatialisée. Après lui avoir reconnu une importance économique, nous utilisons l'hétérogénéité de la terre pour étudier l'équité de politiques simulées afin d'augmenter la biodiversité sur les terres agricoles en Provence Alpes Côte-d'Azur. L'échelle de détermination des objectifs politiques (régionale ou départementale) peut limiter ou amplifier la rareté locale de la terre. Lorsque les objectifs sont régionaux, les départements relativement mieux dotés (Var et Vaucluse) concentrent la conservation alors que pour des objectifs départementaux les unités relativement moins bien dotées (Alpes-Maritimes) présentent des coûts élevés. Les considérations d'équité permettent d'obtenir une solution intérieure à cet arbitrage.

La conception des véhicules automobiles est soumise à des contraintes fortes, liées à la gestion de la fin de vie des produits (réglementations, responsabilités sur l'augmentation des déchets, conséquences économiques de la raréfaction des ressources, image). Dans ce contexte, nous cherchons à déterminer quel système de mesure de la valorisabilité et du changement de valeur en fin de vie peut permettre une éco-conception efficace et une réduction des risques réglementaires. Un modèle est proposé, basé sur les trois objets fondamentaux 'Flux', 'Filière' et 'Arborescence'. Le Flux, brique élémentaire, décrit les performances et limites techniques (faisabilité, gisements disponibles, débouchés potentiels, stabilité, stade de développement, etc.) et économiques (valeur du produit d'entrée, coût de traitement, valeur du produit de sortie) des procédés de traitement d'un produit en fin de vie. L'agencement des Flux permet de construire des Filières, puis des Arborescences, représentatives de l'ensemble des possibilités de valorisation pour une pièce. Le modèle permet d'obtenir des "Règles génériques d'éco-conception" (applicables avant le début de la conception) et un "Outil d'évaluation de la valorisabilité" (utilisable en cours de conception), et s'appuie sur la mesure de la valorisabilité massique et de la rentabilité potentielle de valorisation. Plusieurs études de cas sont réalisées, sur des pièces automobiles en cours de conception : Pare-choc, Garniture de jupe, Panneau de porte, Pare-soleil. Nous proposons des pistes d'amélioration pour chacune des pièces étudiées, et dégageons des approches possibles de l'éco-conception. Ces approches permettent de positionner et d'améliorer la "performance éco-conception" d'une pièce. La méthode proposée peut être utilisée en dehors du secteur automobile.

Les travaux présentés dans cette thèse concernent le problème d'identification des systèmes à retards et d'une certaine classe de systèmes hybrides appelés systèmes "impulsifs".Dans la première partie, un algorithme d'identification rapide a été proposé pour les systèmes à entrée retardée. Il est basé sur une méthode d'estimation distributionnelle non asymptotique initiée pour les systèmes sans retard. Une telle technique mène à des schémas de réalisation simples, impliquant des intégrateurs, des multiplicateurs et des fonctions continues par morceaux polynomiales ou exponentielles. Dans le but de généraliser cette approche pour les systèmes à retard, trois exemples d'applications ont été étudiées. La deuxième partie a été consacrée à l'identification des systèmes impulsifs. En se basant sur le formalisme des distributions, une procédure d'identification a été élaborée afin d'annihiler les termes singuliers des équations différentielles représentant ces systèmes. Par conséquent, une estimation en ligne des instants de commutations et des paramètres inconnus est prévue indépendamment des lois de commutations. Des simulations numériques d'un pendule simple soumis à des frottements secs illustrent notre méthodologie

Nous nous intéressons à deux modèles de marches aléatoires réversibles en milieu aléatoire. Le premier est la marche aléatoire en conductances aléatoires. Nous montrons que l'environnement vu par cette marche converge vers l'équilibre à une vitesse polynomiale au sens de la variance, notre hypothèse principale étant que les conductances sont uniformément minorées. Notre méthode se base sur l'établissement d'une inégalité de Nash, suivie soit d'une comparaison avec la marche aléatoire simple, soit d'une analyse plus directe fondée sur une méthode de martingale. Pour le deuxième modèle qui nous intéresse, on attribue pour tout x de Z^d une valeur positive \tau_x. La marche construite, souvent appelée "modèle de Bouchaud", est réversible par rapport à la mesure de poids (\tau_x). Nous supposons que ces poids sont indépendants, de même loi et à queue polynomiale. Nous donnons le comportement asymptotique de la valeur propre principale du générateur de cette marche aléatoire, avec conditions aux bords de Dirichlet. La caractéristique principale du résultat est une transition de phase, qui a lieu pour un seuil dépendant de la dimension. Lorsque les (\tau_x) ne sont pas intégrables et pour d > 4, nous obtenons également la limite d'échelle, sous-diffusive, de ce modèle. La méthode consiste dans un premier temps à exprimer la marche aléatoire comme un changement de temps d'une marche aléatoire en conductances aléatoires. Il suffit alors de montrer que ce changement de temps, une fois normalisé, converge sous la loi moyennée vers un subordinateur stable. Ce résultat est obtenu en utilisant les propriétés de vitesse de convergence à l'équilibre de l'environnement vu par la particule montrées précédemment.

L'objectif de cette thèse est de proposer une articulation entre les coûts et la valeur, à l'aide d'un dialogue entre modèle ABC et outil GRC. Pour atteindre cet objectif, nous avons, dans une première partie, mis en place un modèle par activités et processus au sein d'une entreprise de micronutrition. Nous avons réalisé une première tentative de dialogue entre ABC et CRM à l'aide de l'expérimentation sur le segment pharmacies. Nous avons utilisé le modèle d'acquisition, rétention et développement du marketing relationnel afin de construire les objets intermédiaires support de l'analyse de la rentabilité et donc de la valeur pour l'entreprise. Les résultats de cette expérimentation ont révélé le potentiel d'un tel dialogue. Mais la rupture intervenue au sein de l'organisation, au cours de la recherche, a conduit à l'abandon du modèle ABC que nous avions élaboré. Cet abandon a été suivi par la mise en place d'un nouveau modèle également inspiré par l'analyse des activités, et dérivé de la réorganisation intervenue en 2008. La seconde partie de la thèse montre l'impact du changement en contrôle de gestion au sein de l'entreprise. Enfin, la troisième partie de la thèse met en lumière les difficultés d'ordre technique, organisationnel, humain et théorique, liées à la mise en place d'un projet d'articulation ABC et GRC