Un dispositif agronomique pérennisé entre 1995 et 1999 avec des systèmes de culture de maïs à couvertures végétales a été installé dans la zone écologique à forêt semi-décidue de Côte d'Ivoire. L'offre en N d'origine organique est étudiée dans le cadre de systèmes de culture de maïs, avec une durée de jachère de 6 mois (SC6MJ) et 18 mois (SC18MJ). Les jachères sont occupées soit par Chromolaena odorata (subspontanée), soit par Pueraria phaseoloides (introduite). Ces quatre systèmes sont comparés à deux témoins, un sans Chromolaena pour les SC6MJ et un avec brûlis de Chromolaena pour les SC18MJ. Les systèmes à couvertures végétales sont gérés en couvertures vivantes avec des herbicides et leur pérennité est assurée par une reprise de croissance des espèces avant la récolte de la céréale. Les systèmes à SC6MJ bénéficient d'une fertilisation modérée en phosphore. L'étude réalisée pose comme hypothèses de départ que (i) les déterminants de l'offre à court terme (cycle cultural) et à moyen terme (effets cumulés) dépendront principalement des quantités et de la qualité des litières de surface d'origine des jachères (ii) ces effets se concentreront à la surface du sol. Le potentiel de minéralisation des litières au laboratoire est corrélé avec leur rapport C/N, plus faible pour Pueraria (C/N entre 20 à 23) que pour Chromolaena (C/N entre 25 à 43). En 1998 la vitesse de disparition des litières suivie avec des " sacs de décomposition " est beaucoup plus rapide qu'en 1999 en relation au début du cycle de décomposition avec le régime pluviométrique. Les deux années la quantité de litières présentes après la coupe détermine le taux de décomposition à moyen terme des litières. Ces dynamiques, modélisées sur deux années, permettent de distinguer un compartiment de litières à disparition rapide et un compartiment à disparition lente. La comparaison des pertes en C dans des " sacs de décomposition " à maille différente montre que l'activité de la mésofaune et de la macrofaune du sol pourrait être responsable de la disparition de 50 % des litières au début du processus de décomposition et de 35% à la fin du processus de décomposition. Leur action de fragmentation et d'incorporation au sol des litières (meules des termites champignonnistes situées à la surface du sol) permet une disparition comparativement plus rapide des litières de Chromolaena que celles de Pueraria. L'application des modèles aux données obtenues sur les mobilisations en N des jachères en relation avec les besoins de la culture en N indique (i) un risque " d'asynchronie " en début de cycle (ii) une offre insuffisante en fin de cycle pour les SC6MJ (iii) peu de différenciation entre l'offre de Chromolaena et celle de Pueraria. L'offre en N in situ du sol en surface (0-10 cm) en 1998 et 1999, estimée pendant des périodes de 90 jours durant le cycle du maïs par des mesures et des incubations de sol, est corrélée pour les SC6MJ avec les mobilisations en N du maïs dans les parties aériennes. C'est le traitement avec Pueraria qui les deux années satisfait le mieux les besoins en N de la culture et cette offre est comparable à celle des SC18MJ. L'offre en N varie peu selon les traitements des SC18MJ. Le régime pluviométrique intervient (i) à une échelle pluriannuelle, en déterminant, l'intensité du pic de minéralisation en N minéral du sol et les accumulations en N dans les parties aériennes des jachères (ii) à l'échelle de la campagne en interaction avec les litières en surface et l'activité des systèmes racinaires des couvertures végétales. La litière de Pueraria semble mieux conserver l'humidité du sol et le système racinaire de Chromolaena mobiliser de plus fortes quantités d'eau. En situations hydriques limitantes, la minéralisation nette est corrélée aux humidités de sol. Les litières semblent être à l'origine en 1998 de l'augmentation de la biomasse microbienne du sol en surface créant ainsi une source potentielle d'immobilisation temporaire de N. En 1998 l'offre en N estimée par minéralisation nette indique une meilleure synchronie avec les besoins de la culture malgré une pluviométrie plus abondante en début de cycle par rapport en 1999. Une étude utilisant l'abondance naturelle 15N permet d'estimer que la litière de Pueraria peut contribuer fortement à la nutrition azotée de la culture, de 30 à 41% en 1998 et de 64 à 87% en 1999 dans le cadre du système de culture à jachère de 6 mois. Les différenciations sur les matières organiques du sol (MOS) indiquent un début d'effet sur les stocks évalués sur 0-10 cm en moyenne à 2.34 t ha-1 N pour les SC6MJ et en moyenne à 2.83 t ha-1 N pour les SC18MJ. Pour les SC6MJ la différence obtenue entre les apports et les pertes sur quatre années suggère que Chromolaena conserve mieux les stocks en C et N que Pueraria. La comparaison avec une jachère forestière située hors dispositif indique que la disponibilité en matériaux facilement minéralisables dans nos agrosystèmes est (i) réduite en fin de saison des pluies (ii) diminuée par la pratique du brûlis (iii) peu augmentée par la pratique de la jachère. Les études sur des incubations de longue durée (106 et 85 jours) montrent des effets significatifs sur les modélisations faites par ajustement aux points expérimentaux sur les cinétiques de respiration et de minéralisation nette cumulées (exprimées en proportion par rapport au C et N total du sol). Elles permettent d'identifier d'importants facteurs de différenciation au niveau du compartiment des MOS à taux de renouvellement élevé. Pour les SC6JM ce compartiment représente une part plus importante avec Pueraria, certainement en relation directe avec des apports cumulés de plus grande qualité biochimique (rapport lignine / N). La durée de la jachère n'améliore pas la disponibilité en N facilement minéralisable indiquant ainsi un blocage de C et N au niveau du sol de nature physique et/ou biochimique.

Cette thèse concerne trois sujets de probabilités numériques et de mathématiques financières. D'abord, nous étudions le module de régularité L2 en temps de la composante Z d'une EDSR markovienne à coefficients lipschitziens, mais dont la fonction terminale g est irrégulière. Ce module est lié à l'erreur d'approximation par schéma d'Euler. Nous montrons, de façon optimale, que l'ordre de convergence est explicitement lié à la régularité fractionnaire de g. Ensuite, nous proposons une méthode de Monte-Carlo séquentielle pour le calcul efficace du prix d'une tranche de CDO, basée sur des variables de contrôle séquentielles, dans un cadre où les taux de recouvrement sont aléatoires et i.i.d. Enfin, nous analysons l'erreur de couverture associée à la stratégie en Delta-Gamma. La régularité fractionnaire de la fonction payoff joue un rôle crucial dans le choix des dates de rebalancement, afin d'atteindre des vitesses de convergence optimales.

L'étude stratigraphique et structurale à permis de distinguer sur la transversale étudiée: A) 5 unités superposées 1) Une unité de socle inférieure, qui constitue la véritable ossature du massif de Vanoise méridionale et ne montre jamais de couverture post-paléozoique. 2) Une unité de socle supérieure, où le socle montre les mêmes caractères pétrographiques que le socle sous-jacent, sur lequel il repose tectoniquement, selon un grand accident cisaillant précoce (PLATT et LISTER,1985 a/b) jalonné par des quartzites phylliteux permotriasiques. Cette unité supporte une couverture adhérente jurassique et des écailles de séries bréchiques de type Ambin. Malgré le caractère dilacéré de ces dernières et en raison de la convergence de leurs faciès, on propose de voir dans ces séries de type Ambin la couverture autochtone de l'unité de socle supérieure , décollée de son substratum anté -triasique lors des premières compressions alpines. Cette unité de socle supérieure et sa couverture bréchique représenteraient un secteur de bordure du fossé de la Grande Motte, secteur dont la position reste difficile à définir. 3) Une unité de type Grande Motte , qui repose tectoniquement soit directement sur le socle, soit sur sa couverture bréchique écaillée . Cette unité affleure surtout à l'Est du Doron de Termignon (Pierre Brune , Lanserlia , Coëtet, Chavière ) mais on en retrouve peut-être des lambeaux dans la fenêtre de Lanslevillard, dont la série triasique pourrait représenter une partie de la semelle de la nappe de la Grande Motte, resté à la traine lors des premiers charriages. 4) Les écailles de la Rocheure, qui montrent la superposition tectonique de deux séries bréchiques que leurs caractères sédimentaires apparentent aux séries type Plan de Nettes pour l'une et Chevril pour l'autre. Cet ensemble chevauche le Lias type Grande Motte des Rochers de Pierre Brune, témoignant ainsi du caractère intrabriançonnais du fossé de la Grande Motte. 5) La nappe des Schistes lustrés, avec sa semelle évaporitique (nappe des gypses), qui coiffe l'édifice des nappes précédentes. B) 3 phases de déformations synschisteuses, suivies d'une phase de bombement et de fracturation tardive du massif . D1 C'est la phase de mise de place des nappes, accompagnée de la formation de plis couchés d'axes NE-SW, à vergence ouest, qui redoublent les séries et affectent aussi bien le socle que la couverture . La direction de transport des nappes pendant cette première phase est estimée vers le NW en accord avec les idées de PLATT et LISTER (1985 a/b). D1 intervient sous un faciès métamorphique schiste vert à glaucophane (PLATT et LISTER, 1978/1985 a/b). D2: Elle structure le massif en un vaste pli pennique déversé vers le Nord et intervient dans un régime de déformation non coaxiale. Ce grand pli pennique pourrait se "fermer" dans le massif de la Grande Casse et/ou de la Grande Motte. D3 C'est la classique phase de rétrocharriage des structures, unanimement reconnue dans les Alpes internes . Elle intervient après le pic du métamorphisme schiste vert (BP/BT) et montre deux étapes qui interviennent dans un même continuum de déformation . Ces deux étapes traduisent une variation des incréments de contrainte liée à une augmentation de l'intensité de déformation . Cela se traduit tout d'abord, par la formation de plis déversés vers l'Est ou le Sud-Est, puis par des rétroécaillages vers le Sud ou le Sud -Est, qui tronquent les structures antérieures . D4 : Elle se traduit par un bombement du massif qui se plisse sous forme d'une large voussure, un basculement de la foliation vers l'Est et le jeu de failles tardives qui découpent le massif. Cette dernière phase n'a qu'un rôle mineur par rapport aux trois précédentes et n'a pas été étudiée dans ce mémoire.

L'utilisation des produits dérivés a suscité une large littérature traitant des déterminants de la couverture. Il reste pourtant beaucoup à faire dans ce domaine de recherche. Nous avons choisi dans ce mémoire d'étudier les déterminants de la couverture par les produits dérivés pour les firmes non financières constituant l'indice canadien S&P/TSX 60. En plus d'étudier les déterminants de la couverture dans le contexte canadien, notre étude contribue à la littérature en dressant le profil de l'utilisation des produits dérivés par type de risque, par type d'industrie et par type de produits dérivés utilisés par les 50 grandes entreprises canadiennes. A cette fin, une base de données a été constituée à l'aide de laquelle nous avons pu établir des relations statistiquement significatives entre le niveau de couverture et plusieurs déterminants. Ainsi, nos résultats suggèrent que les mesures de l'avantage de taxe, la taille de l'entreprise ainsi que les substituts de la couverture sont négativement liées à cette dernière, tandis que les mesures de la détresse financière et de sous-investissement sont positivement liées au niveau de la couverture. Nous avons établi, également, une relation positive significative entre le niveau des ventes à l'étranger et le niveau de couverture du risque de taux de change. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : Gestion des risques financiers, produits dérivés, compagnies du S&P/TSX 60, exposition, création de valeur.

En adoptant un point de vue utilitariste du consommateur sur certains produits orientés service, nous avons d'abord contribué à la proposition d'un modèle de contextes d'usage que se doit de couvrir au mieux un produit. Le modèle conduit à une meilleure intégration des analyses de marketing et d'ingénierie de la conception amenant à une optimisation d'un produit paramétré plus orientée vers les besoins du marché ou à un meilleur étagement d'une famille de produits. Nous proposons une série d'indices qui révèlent l'adéquation entre les usages couverts par un produit de dimensions données ou une famille de produits donnée avec un espace d'usages cible qu'il s'agit de couvrir dans sa totalité ou en partie mais d'une manière suffisamment dominante par rapport à la concurrence. En premier lieu, l'indice de couverture d'usage (UCI) pour un produit unique est introduit par la cartographie du produit relativement à un ensemble d'utilisateurs représentatifs définis par des usages attendus. Sur cette base, l'UCI pour une famille de produits est construite pour évaluer la composition de la famille et la redondance des produits qui la composent. Les avantages par rapport à la traditionnelle estimation de la demande en marketing sont de réduire la complexité de l'enquête et de l'analyse des données et de pouvoir estimer le niveau de compétitivité d'une offre innovante sans nécessiter de retour d'expérience du marché. Nous expérimentons nos propositions sur un problème de reconception d'une famille de scies sauteuses. L'approche proposée permet d'évaluer l'adaptabilité, pour une famille de produits de tailles croissantes, à divers scénarios dans le contexte d'usage d'un marché cible. Les concepteurs peuvent s'appuyer sur les résultats pour éliminer les produits redondants au sein d'une famille. Des configurations de produits de tailles croissantes peuvent aussi être rapidement simulées et comparées de manière à aboutir à une famille minimale de produits idéalement étagée.

Cette thèse porte sur les réformes des systèmes de retraite dans les pays en développement et s’articule autour de deux axes : l’efficacité des systèmes en place pour assurer aux affiliés un niveau de revenu suffisant à la retraite ; et l’extension de la couverture aux travailleurs informels et aux personnes âgées non couvertes. Nous faisons d’abord une étude de 7 cas de pays d’Amérique latine ayant mené des réformes de passage de la répartition à la capitalisation. Elle montre que les effets observés s’écartent de l’impact escompté en ce qui concerne le niveau des retraites obtenu et la formalisation de l’emploi. Nous considérons ensuite le cas du Maroc et le processus de réforme en cours. En nous appuyant sur les données démographiques et financières des régimes, nous analysons la capacité actuelle et future du système à garantir aux retraités un niveau de revenu proche de celui des actifs. Nous montrons notamment que la réforme actuellement envisagée est insuffisante. Nous effectuons enfin, à partir de données microéconomiques marocaines, deux études empiriques sur la question de l’extension de la couverture retraite. La première vise à mesurer l’emploi informel et à identifier ses caractéristiques et ses déterminants. Les résultats indiquent que les trois quarts des travailleurs hors secteur agricole ne sont pas affiliés au système de sécurité sociale et que cet emploi informel est largement subi et non le résultat d’un comportement d’évasion. La deuxième étudie la question de la pauvreté des personnes âgées et l’opportunité de créer une pension de solidarité. Les résultats montrent que les ménages où vivent les personnes âgées sont plus pauvres que les autres, que la cohabitation intergénérationnelle est forte et que la création d’une pension minimale permettrait de sortir un grand nombre de ménages de la pauvreté pour un coût inférieur à 0,5% du PIB. / This thesis investigates pension reforms in developing countries, their ability to provide retirees with a decent income, and the issue of extending their coverage to the entire population, including informal workers. The first two chapters assess the transition from pay-as-you-go to fully funded or multipillar schemes. A case study based on macro-data and pension funds data from 7 Latin American countries show that such reforms had very low effect on coverage rates and labour formalization and did not succeed in protecting people from old-age poverty. The third chapter describes the Moroccan pension system and shows that the reform currently in discussion is not sufficient either to achieve this goal. The last two chapters are empirical studies based on Moroccan labour force survey and household survey data. The first one draws a complete panorama of the non-contributing share of the population and estimates the probability of informal employment depending on both individual and professional characteristics. The second one studies the economic lives of the elderly. Overall results confirm that the informal labour market is heterogeneous and that most informal jobs are involuntary, not a choice made by workers to avoid paying taxes and social security contributions. It also appears that households that include aged members are poorer, the intergenerational cohabitation is high and therefore, creating a solidarity pension will help alleviate poverty at a cost not exceeding 0.5% of GDP.

L’Agriculture de conservation (AC) repose sur trois principes: le minimum de travail du sol, la couverture permanente du sol et la diversification des espèces cultivées. Elle a été introduite vers la fin des années 90 dans la région du lac Alaotra, Madagascar, dans l’objectif d’augmenter la productivisté de l’agriculture pluviale qui, généralement, pâtit des problèmes liés à la faible fertilité des sols, aux contraintes hydriques et à l’enherbement. L’objectif principal de la thèse consiste à quantifier et caractériser les impacts des fonctions agro-écologiques de l’AC dans l’amélioration du rendement en riz pluvial par rapport aux pratiques conventionnelles (CT). Une revue de la littérature sur les fonctions agro-écologiques du mulch en fonction de leur quantité retenue sur la parcelle a tout d’abord montré que la quantité de couverture nécessaire va dépendre essentiellement des fonctions agro-écologiques attendues. Une quantité de couverture de 2 à 3 t ha-1 permet d’obtenir des effets très nets en ce qui concerne l’amélioration de l’infiltration de l’eau, la limitation du ruissellement et de l’érosion du sol. En revanche, les données sur le contrôle de l’enherbement, la disponibilité des nutriments ainsi que la faune du sol en fonction de la quantité de mulch étaient très variables, suggérant l’interaction de ses fonctions agro-écologiques avec d’autres facteurs, notamment le type de résidus et les conditions pédoclimatiques. Une première expérimentation dont l’objectif était la quantification des effets physiques du mulch sur l’enherbement, avec différentes quantités de résidus de 0 à 45 t ha-1 a montré que l’émergence et la biomasse des adventices sur les parcelles couvertes dépend essentiellement de la quantité et de la distribution de la pluviométrie durant la saison culturale. L’émergence ainsi que la biomasse des mauvaises herbes diminuent en général avec l’augmentation de la quantité de mulch maintenue sur les parcelles. Toutefois, une quantité de résidus de l’ordre de 10 t ha-1 est nécessaire pour réduire significativement la pression des adventices sur le riz par rapport à un sol nu dans les conditions de notre dispositif expérimental. Un deuxième dispositif maintenu durant 6 ans (2009/10 à 2014/15), combinait une rotation biennale de maïs + dolique // riz et une rotation triennale de maïs + stylosanthes // stylosanthes // riz ; trois modes de gestion du sol et des résidus et deux niveaux de fertilisation. Deux niveaux d’enherbement en split plot ont été ajoutés en 2013/14 et 2014/15. L’amélioration du rendement en riz sur les parcelles en AC par rapport aux parcelles en CT est essentiellement liée à une diminution de la pression des adventices sur les parcelles AC pendant la période de végétation du riz. La dynamique de l’eau dans le sol ainsi que la dynamique de l’azote minéral sont fortement influencées par le régime pluviométrique et ne différent généralement pas entre AC et CT. Enfin, l’analyse de stabilité et l’écart de rendement au potentiel utilisés pour étudier les variations de rendements en riz sur les 6 saisons culturales du second dispositif expérimental ont montré que les effets des traitements étaient en interaction avec d’autres facteurs probablement liés à la variabilité spatiale du sol sur le dispositif expérimental. Les résultats de cette étude nous suggèrent de tenir compte aussi bien des fonctions agro-écologiques du mulch attendues que les régimes pluviométriques lors de la promotion d’un système AC pour améliorer la productivité des cultures. L'AC avec une quantité de résidus généralement retenus dans les parcelles de l'agriculteur (i.e. 1 - 2 t ha-1) serait efficace pour lutter contre le ruissellement et l'érosion. Cependant, des quantités supplémentaires de résidus, qui pourraient être produites avec l’introduction de rotations culturales avec une forte production de biomasse, seraient nécessaires pour lutter efficacement contre les adventices et diminuer les charges liées au sarclage. / Conservation agriculture (CA) is based on the principles of minimum soil disturbance, permanent soil cover and diversification of crop species grown in rotations and/or associations. CA was introduced in the late 90s in the Lake Alaotra region, Madagascar, in order to improve rainfed crop productivity which is commonly constrained by low soil fertility, soil water stress and weed infestation. The main objective of this study was to quantify and understand the impact of CA on rainfed rice productivity as compared to the practice of conventional tillage (CT). First, a review of literature was conducted on the agro-ecological functions of mulching with crop residues in relation to their quantity. The literature review showed that the optimal amount of residues required principally depends on the agro-ecological function searched for. Residue amounts of 2 to 3 t ha-1 had clear positive effects in terms of improving water infiltration and limiting water runoff and soil erosion. On the other hand, results on weed control, nutrient availability and soil fauna in relation to the amount of mulch were highly variable, suggesting the interaction of these agro-ecological functions with other factors, including residue type and soil-climate conditions. Second, two field experiments were monitored at the research center of FOFIFA in the Lake Alaotra region. A first experiment aiming at quantifying the physical effect of a mulch of crop residues on weed infestation, with amounts of surface residues ranging from 0 to 45 t ha-1 showed that the emergence and biomass of weeds on mulched plots depend mainly on the quantity and distribution of rainfall during the cropping season. Overall, weed emergence and biomass decreased with increasing amounts of mulch. However, a large quantity of residues, i.e. in the order of 10 t ha-1, was required to significantly (p<0.05) reduce weed pressure as compared to a bare soil under the agro-ecological conditions of our experiments. The second experiment was conducted during six years (2009/10 to 2014/15), and a 2-year rotation of maize + Dolichos lablab // rice and a 3-year rotation of maize + Stylosanthes guianensis // S. guianensis // rice were combined with three soil/residue management practices and two level of fertilization. Two levels of weed pressure were added as split-plot in 2013/14 and 2014/15. Higher rice grain yields on CA plots as compared to CT plots in the fifth and sixth year of the CA practice were mainly related to a decline of weed pressure under CA. Soil water and mineral nitrogen dynamics did not differ markedly between CA and CT and were strongly influenced by the rainfall pattern. Finally, the use of the concept of stability analysis and the yield gap approach to analyze the variation of rice yield under the 6 crop seasons from 2009/10 to 2014/15 showed that the effects of treatments including crop rotation, soil and residue management, and fertilization levels interact with other factors likely related to the spatial variability of the experimental design. Results of our study suggest that both agro-ecological function of mulch searched for and rainfall conditions should be taken into account when promoting CA systems to improve crop productivity in the Lake Alaotra region. Practicing CA with typical amounts of residues that are produced on farmer’s field (i.e. 1 – 2 t ha-1) is sufficient to control water runoff and soil erosion. However, extra amounts of crop residues are required to effectively control weed infestation. These extra amounts could be produced with the introduction of high biomass-producing crop rotations and could decrease the labor pressure from weeding.

En adoptant un point de vue utilitariste du consommateur sur certains produits orientés service, nous avons d'abord contribué à la proposition d’un modèle de contextes d’usage que se doit de couvrir au mieux un produit. Le modèle conduit à une meilleure intégration des analyses de marketing et d’ingénierie de la conception amenant à une optimisation d'un produit paramétré plus orientée vers les besoins du marché ou à un meilleur étagement d'une famille de produits. Nous proposons une série d'indices qui révèlent l'adéquation entre les usages couverts par un produit de dimensions données ou une famille de produits donnée avec un espace d'usages cible qu’il s’agit de couvrir dans sa totalité ou en partie mais d'une manière suffisamment dominante par rapport à la concurrence. En premier lieu, l'indice de couverture d’usage (UCI) pour un produit unique est introduit par la cartographie du produit relativement à un ensemble d’utilisateurs représentatifs définis par des usages attendus. Sur cette base, l'UCI pour une famille de produits est construite pour évaluer la composition de la famille et la redondance des produits qui la composent. Les avantages par rapport à la traditionnelle estimation de la demande en marketing sont de réduire la complexité de l'enquête et de l'analyse des données et de pouvoir estimer le niveau de compétitivité d’une offre innovante sans nécessiter de retour d’expérience du marché. Nous expérimentons nos propositions sur un problème de reconception d’une famille de scies sauteuses. L'approche proposée permet d'évaluer l'adaptabilité, pour une famille de produits de tailles croissantes, à divers scénarios dans le contexte d'usage d'un marché cible. Les concepteurs peuvent s'appuyer sur les résultats pour éliminer les produits redondants au sein d'une famille. Des configurations de produits de tailles croissantes peuvent aussi être rapidement simulées et comparées de manière à aboutir à une famille minimale de produits idéalement étagée. / Adopting a utilitarian viewpoint of consumers on some service-oriented goods, we have first contributed to the proposal of a usage contexts model that a product should cover at most. The model leads to a higher integration of design engineering and marketing analyses which results in a more market-oriented optimization of a parameterized product or a better sampling of a product family. We propose a series of usage coverage indices that reveal the adequacy of a dimensioned product or a given product family to a targeted usage space to cover in its whole or for a part but sufficiently in a dominant way compared to competing products. First, the Usage Coverage Index (UCI) for single product is introduced by mapping the given product with a set of representative users defined by expected usages. On that basis, the UCI for a product family is constructed to evaluate the composition and redundancy of the family. The advantage compared to traditional demand estimation in marketing research is to reduce the complexity of survey and data analysis and to assess the competitiveness level of an innovative service offer without needing any return of experience from the market. We experiment our proposals on a jigsaw product family redesign problem. The proposed analysis approach helps to evaluate the adaptability, for a given scale-based product family, to diverse usage context scenarios in a target market. Designers can rely on the results to filter out redundant products within a family. Scale-based configurations of the products can also be rapidly simulated and compared to find out an appropriate sampled series of products.

Cette thèse s'intéresse à l'étude des méthodes formelles de spécification et de vérification dans le cadre des systèmes d'information. Les systèmes d'informations sont des systèmes dynamiques constitués d'entités et d'associations représentées par la composition en parallèle de processus répliqués issus de différentes classes. De plus, ces systèmes font partie de la classe des systèmes paramétrés. On propose un modèle de spécification de systèmes paramétrés, nommé PASTD, qui est adapté aux systèmes d'information et qui est basé sur la notation des diagrammes états-transitions algébriques (ASTD). Puis, on étudie le problème de sûreté pour les PASTD, à travers la méthode de vérification de couverture pour les systèmes de transitions bien structurés (WSTS). Cette méthode repose sur trois conditions principales : la monotonie, le beau préordre et la pred-base effective. Les PASTD sont montrés comme étant monotones et on définit une sous-classe vérifiant la propriété de beau préordre. Enfin, on décrit une nouvelle méthode, adaptée aux systèmes paramétrés, qui explicite un ensemble de conditions permettant de prouver la pred-base effective. Ces conditions définissent une nouvelle classe appelée RMTS (\emph{Ranked Monotone Transition Systems}). Cette méthode est appliquée aux PASTD.

L'IRM de perfusion et de spectroscopie restent encore peu utilisées en raison de leur mise en oeuvre difficile et de leur manque de quantification. L'objectif de ces travaux a été d'optimiser et de valider des techniques IRM totalement non invasives chez l'Homme en vue d'applications cliniques permettant une exploration sur un large volume cérébral et une quantification absolue des paramètres de perfusion et du métabolisme cérébraux. Concernant la perfusion, 3 séquences de type marquage de spins,PASL PICORE, PASL FAIR et pCASL, ont été comparées en termes de sensibilité et de reproductibilité. pCASL a ensuite été intégrée dans un protocole de recherche sur des patients atteints de sclérose en plaques ou SEP. Quant au métabolisme cérébral, un protocole a été mis en place afin d'accéder à une quantification absolue et pseudo absolue des métabolites par la normalisation du signal de l'eau issue de la CSI par la densité de protons acquise en IRM. Cette technique a été validée en CSI 2D puis transposée en 3D avec la séquence EPSI sur deux orientations différentes : CACP et CACP+15°afin de constituer des valeurs normatives fiables des métabolites principaux sur tout le cerveau. L'élaboration de ces techniques en spectroscopie a abouti à une étude sur des patients souffrant de SEP démontrant la faisabilité de l'utilisation de ces techniques en clinique. Ces travaux démontrent que la quantification absolue en IRM de perfusion et en IRM de spectroscopie peut être obtenue sur un large volume cérébral de manière fiable sur un système IRM disponible en environnement clinique dans un temps d'acquisition acceptable à travers les corrections diverses spécifiques à chaque imagerie. / Conventional MRI's lack of specificity in clinical routine limits our ability to perform correct diagnoses or follow-ups of pathological diseases. Two forms of NMR imaging, perfusion weighed and spectroscopic imaging provide information about two closely related characteristics :cerebral perfusion and metabolism. However, these techniques are not widely used due to the complexity of implementation and a lack of quantification.The general aim was to optimize and validate completely non-invasive NMR techniques for further human clinical applications in the context of exploring large cerebral volumes and determining absolute or pseudo-absolute quantification of cerebral perfusion and metabolism. Concerning perfusion, three arterial spin labeling sequences, PASL PICORE, PASL FAIR and pCASL, were compared in terms of sensitivity and reproducibility. The pCASL sequence was then integrated to a protocol applied to patients suffering from multiple sclerosis. In relation to metabolism, a protocol was applied in order to access absolute and pseudo-absolute metabolite quantification by water SI normalization from MRI proton density. This technique was validated on 2D CSI and then on 3D with EPSI sequence with two orientations, AC-PC and AC-PC+15 in order to generate reliable normative values of metabolites for the whole brain. The use of those spectroscopic techniques on patients suffering from multiple sclerosis allowed demonstrating the feasibility in clinic.This work demonstrates that reliable absolute quantification in perfusion weighted and spectroscopic imaging can be obtained with extensive coverage and with an acquisition time compatible with the reality of clinical exams.