La modélisation dynamique des systèmes écologiques constitue une méthode incontournable pour comprendre,prédire et contrôler la dynamique des écosystèmes semi-naturels, qui fait intervenir des processuscomplexes. Le principal objectif de cette thèse est de développer un modèle permettant de simuler la dynamiqueà moyen terme de la végétation herbacée dans les prairies permanentes, en tenant compte à lafois de la productivité et de la biodiversité. Les prairies sont des réservoirs présentant une forte biodiversitévégétale, qui soutiennent de nombreux services écosystémiques. Sur le plan agricole, cette importantediversité contribue à la qualité de la production fourragère, et de plus, elle permet une plus grande résistancede la végétation face à des changements climatiques (réchauffement moyen, vagues de chaleur etde sécheresse).Pourtant, cette notion clé de biodiversité n’est que faiblement prise en considération dans la modélisationde l’écosystème prairial : elle est souvent absente ou alors présente sous une forme très simplifiée. Enréponse à ces considérations, ces travaux de thèse présentent la construction d’un modèle de successionbasé sur des processus, décrit par un système d’équations différentielles ordinaires, qui représente ladynamique de la végétation aérienne des prairies tempérées. Ce modèle intègre les principaux facteursécologiques impactant la croissance et la compétition des espèces herbacées, et peut s’ajuster à n’importequel niveau de diversité, par le choix du nombre et de l’identité des espèces initialement présentes dansl’assemblage. Ce formalisme mécaniste de modélisation nous permet alors d’analyser les relations qui lientdiversité, productivité et stabilité, en réponse à différentes conditions climatiques et différents modes degestion agricole.[...]Ces résultats soulignent alors le besoin de prendre en compte le rôle clé joué par la biodiversité dansles modèles de l’écosystème prairial, de par son impact sur le comportement des dynamiques simulées.De plus, pour rendre correctement compte des interactions au sein de la végétation, le nombre d’espècesconsidéré dans le modèle doit être suffisamment important. Enfin, nous comparons les simulations devégétation de ce modèle à des mesures issues de deux sites expérimentaux, la prairie de fauche d’Oensingen,et le pâturage de Laqueuille. Les résultats de ces comparaisons sont encourageants et soulignentla pertinence du choix et de la représentation des processus écologiques clés qui composent ce modèlemécaniste.Ce travail de thèse propose donc un modèle, en total adéquation avec les besoins actuels en terme demodélisation de l’écosystème prairial, qui permet de mieux comprendre la dynamique de la végétationherbacée et les interactions entre productivité, diversité et stabilité. / Dynamic modelling of ecological systems is an essential method to understand, predict and control thedynamics of semi-natural ecosystems, which involves complex processes. The main objective of this PhDthesis is to develop a simulation model of the medium- and long-term dynamics of the herbaceous vegetationin permanent grasslands, taking into account both biodiversity and productivity. Grasslandecosystems are often hot spots of biodiversity, which contributes to the temporal stability of their services.On an agricultural perspective, this important biodiversity contributes to the forage quality, andbesides, it induces a higher ability of the vegetation cover to resist to different climatic scenarios (globalwarming, heat and drought waves).However, this key aspect of biodiversity is only poorly included in grassland models : often absent ofmodelling or included in a very simple form. Building on those considerations, this PhD work exposes thewriting of a process-based succession model, described by a system of Ordinary Differential Equationsthat simulates the aboveground vegetation dynamics of a temperate grassland. This model implementedthe main ecological factors involved in growth and competition processes of herbaceous species, and couldbe adjust to any level of diversity, by varying the number and the identity of species in the initial plantcommunity. This formalism of mechanistic models allows us to analyse relationships that link diversity,productivity and stability, in response to different climatic conditions and agricultural management.In mathematical grassland models, plant communities may be represented by a various number of statevariables, describing biomass compartments of some dominant species or plant functional types. The sizeof the initial species pool could have consequences on the outcome of the simulated ecosystem dynamicsin terms of grassland productivity, diversity, and stability. This choice could also influence the modelsensitivity to forcing parameters. To address these issues, we developed a method, based on sensitivityanalysis tools, to compare behaviour of alternative versions of the model that only differ by the identityand number of state variables describing the green biomass, here plant species. This method shows aninnovative aspect, by performing this model sensitivity analysis by using multivariate regression trees. Weassessed and compared the sensitivity of each instance of the model to key forcing parameters for climate,soil fertility, and defoliation disturbances. We established that the sensitivity to forcing parameters ofcommunity structure and species evenness differed markedly among alternative models, according tothe diversity level. We show a progressive shift from high importance of soil fertility (fertilisation level,mineralization rate) to high importance of defoliation (mowing frequency, grazing intensity) as the sizeof the species pool increased.These results highlight the need to take into account the role of species diversity to explain the behaviourof grassland models. Besides, to properly take into account those interactions in the grassland cover, theconsidered species pool size considered in the model needs to be high enough. Finally, we compare modelsimulations of the aboveground vegetation to measures from two experimental sites, the mowing grasslandof Oensingen, and the grazing grassland of Laqueuille. Results of these comparison are promising andhighlight the relevance of the choice and the representation of the different ecological processes includedin this mechanistic model.Thus, this PhD work offers a model, perfectly fitting with current needs on grassland modelling, whichcontribute to a better understanding of the herbaceous vegetation dynamics and interactions betweenproductivity, diversity and stability.

Les études de Sûreté de Fonctionnement (SdF) sur les barrières instrumentées de sécurité représentent un enjeu important dans de nombreux domaines industriels. Afin de pouvoir réaliser ce type d'études, TOTAL développe depuis les années 80 le logiciel GRIF. Pour prendre en compte la complexité croissante du contexte opératoire de ses équipements de sécurité, TOTAL est de plus en plus fréquemment amené à utiliser le moteur de calcul MOCA-RP du package Simulation. MOCA-RP permet d'analyser grâce à la simulation de Monte-Carlo (MC) les performances d'équipements complexes modélisés à l'aide de Réseaux de Petri (RP). Néanmoins, obtenir des estimateurs précis avec MC sur des équipements très fiables, tels que l'indisponibilité, revient à faire de la simulation d'événements rares, ce qui peut s'avérer être coûteux en temps de calcul. Les méthodes standard d'accélération de la simulation de Monte-Carlo, initialement développées pour répondre à cette problématique, ne semblent pas adaptées à notre contexte. La majorité d'entre elles ont été définies pour améliorer l'estimation de la défiabilité et/ou pour les processus de Markov. Par conséquent, le travail accompli dans cette thèse se rapporte au développement de méthodes d'accélération de MC adaptées à la problématique des études de sécurité se modélisant en RP et estimant notamment l'indisponibilité. D'une part, nous proposons l'Extension de la Méthode de Conditionnement Temporel visant à accélérer la défaillance individuelle des composants. D'autre part, la méthode de Dissociation ainsi que la méthode de ``Truncated Fixed Effort'' ont été introduites pour accroitre l'occurrence de leurs défaillances simultanées. Ensuite, nous combinons la première technique avec les deux autres, et nous les associons à la méthode de Quasi-Monte-Carlo randomisée. Au travers de diverses études de sensibilité et expériences numériques, nous évaluons leur performance, et observons une amélioration significative des résultats par rapport à MC. Par ailleurs, nous discutons d'un sujet peu familier à la SdF, à savoir le choix de la méthode à utiliser pour déterminer les intervalles de confiance dans le cas de la simulation d'événements rares. Enfin, nous illustrons la faisabilité et le potentiel de nos méthodes sur la base d'une application à un cas industriel. / The dependability analysis of safety instrumented systems is an important industrial concern. To be able to carry out such safety studies, TOTAL develops since the eighties the dependability software GRIF. To take into account the increasing complexity of the operating context of its safety equipment, TOTAL is more frequently led to use the engine MOCA-RP of the GRIF Simulation package. Indeed, MOCA-RP allows to estimate quantities associated with complex aging systems modeled in Petri nets thanks to the standard Monte Carlo (MC) simulation. Nevertheless, deriving accurate estimators, such as the system unavailability, on very reliable systems involves rare event simulation, which requires very long computing times with MC. In order to address this issue, the common fast Monte Carlo methods do not seem to be appropriate. Many of them are originally defined to improve only the estimate of the unreliability and/or well-suited for Markovian processes. Therefore, the work accomplished in this thesis pertains to the development of acceleration methods adapted to the problematic of performing safety studies modeled in Petri nets and estimating in particular the unavailability. More specifically, we propose the Extension of the "Méthode de Conditionnement Temporel" to accelerate the individual failure of the components, and we introduce the Dissociation Method as well as the Truncated Fixed Effort Method to increase the occurrence of their simultaneous failures. Then, we combine the first technique with the two other ones, and we also associate them with the Randomized Quasi-Monte Carlo method. Through different sensitivities studies and benchmark experiments, we assess the performance of the acceleration methods and observe a significant improvement of the results compared with MC. Furthermore, we discuss the choice of the confidence interval method to be used when considering rare event simulation, which is an unfamiliar topic in the field of dependability. Last, an application to an industrial case permits the illustration of the potential of our solution methodology.

Au cours de son assemblage, une communauté végétale va subir de nombreux changements : immigration de nouvelles espèces de plantes possédant de nouveaux traits, disparition de certaines espèces de plantes avec d’autres traits, immigration de nouveaux organismes associés aux plantes (insectes, champignons…), changements de traits chez les espèces présentes… Tous ces changements sont susceptibles de modifier la décomposition de la litière produite par la communauté végétale. En effet, la décomposition de la litière est gouvernée par les traits des espèces végétales, par l’activité des organismes décomposeurs, et par le degré d’adaptation de ces organismes aux traits des espèces végétales. Cependant, les conséquences de l’assemblage de la communauté végétale pour la décomposition de la litière demeurent inconnues. L’objectif de cette thèse est de déterminer les conséquences de l’assemblage des communautés végétales prairiales sur la décomposition de leur litière, et ce à différentes échelles. Tout d’abord, nous avons étudié, très localement, les conséquences des plantes voisines que possèdent un individu pour la décomposition de sa litière (i.e. échelle intraspécifique). Nous avons distingué le cas où la litière de l’individu était seule, du cas où sa litière était mélangée à de la litière provenant d’autres espèces végétales. Puis, nous avons étudié les conséquences de l’assemblage sur la décomposition de la litière au niveau plus global de l’ensemble de la communauté végétale (i.e. échelle interspécifique). Enfin, nous avons exploré la rétroaction de la décomposition sur l’assemblage de la communauté. Deux grandes démarches expérimentales ont été développées, la première utilisant un dispositif de mésocosmes permettant de manipuler le voisinage local des individus, la seconde utilisant un dispositif Long Term Ecological Research (LTER) impliquant un vaste réseau de prairies avec différentes durées d’assemblage. À l’échelle locale, nos résultats indiquent qu’un individu qui possède des plantes voisines fonctionnellement dissemblables produit une litière plus décomposable et peut également abriter des décomposeurs plus efficaces. Lorsque la litière de cet individu est mélangée avec de la litière d’autres espèces, la décomposition du mélange est accélérée par des effets synergiques lorsque les plantes voisines sont évolutivement dissemblables et fonctionnellement éloignées du mélange. À l’échelle globale de l’ensemble de la communauté, nos résultats indiquent que tout au long de l’assemblage, de nombreux changements de traits fonctionnels des espèces végétales ont lieu (ratio C:N foliaire, teneur en matière sèche des feuilles, etc.) ainsi que des changements dans la composition de la communauté de décomposeurs (ratio C:N microbien). Ces changements impactent fortement la décomposition de la litière de la communauté prairiale mais s’annulent, maintenant le même taux global de décomposition. Enfin, nos résultats indiquent que plus la litière de couples d’espèces se décompose vite, notamment via des effets synergiques, plus ces espèces coexistent entre elles. Cette thèse met en évidence l’influence majeure de l’assemblage des communautés végétales prairiales sur la décomposition de leur litière, de l’invidu jusqu’à la communauté végétale toute entière. L’assemblage des communautés végétales peut donc influencer les processus écosystémiques d’après-vie tels que la décomposition de la litière. Cette influence se produit via les traits des plantes et l’activité de leurs décomposeurs. En retour, la décomposition de la litière impacte l’assemblage de la communauté végétale. La décomposition de la litière ne semble donc pas une conséquence collatérale des traits des espèces végétales, mais bien un élément important de leur stratégie écologique et de leurs interactions biotiques, situé au coeur d'une boucle de rétroaction avec les processus d'assemblage des communautés. / During its assembly, a plant community will be strongly modified: immigration of new plant species with new traits, disappearance of particular species with other traits, immigration of new plant-associated organisms (insects, fungi…), trait changes in existing species… All these changes are likely to drive the decomposition of litter produced by the plant community. Litter decomposition is indeed controlled by plant traits, activity of decomposer community, and adaptation of decomposer organisms to plant traits. However, the consequences of plant-community assembly on plant litter decomposition remain entirely unknown. This thesis aims at determining the consequences of plant-community assembly on plant litter decomposition, at distinct scales. First of all, we studied, locally, the consequences of neighboring plants on litter decomposition of plant individuals (i.e. intraspecific scale). We distinguished the case where litter of plant individuals was alone from the case where litter of plant individuals was mixed with litter from other species. Then we studied, more globally, the consequences of plant-community assembly on decomposition at the scale of the entire plant community (i.e. interspecific scale). Finally, we investigated whether plant litter decomposition feedbacks on plant-community assembly. We used two experimental approaches, the first one using a long-term mesocosm experiment for manipulating the local plant neighborhood of plant individuals, and the second one using of Long Term Ecological Research network involving grasslands with different time for assembly. At the local scale, our results indicate that plant individuals grown in functionally dissimilar neighborhood produce a more decomposable litter, and can also harbor more efficient decomposers. When the litter of these individuals is mixed with litter from other species, the decomposition of the litter mixture is accelerated by synergistic effects when neighboring plants are phylogenetically diverse, and functionnally dissimilar to the litter mixture. At the scale of whole plant community, our results show that numerous trait changes occur during assembly (leaf C:N ratio, leaf dry matter content…), as well as changes in the composition of the decomposer community (soil microbial C:N ratio). These changes strongly affect litter decomposition but offset each other, maintaining litter decomposition constant. Finally, our result show that the faster the decomposition of mixed-litter from two species is, the more both species coexist. This thesis demonstrates the major influence of plant-community assembly on plant litter decomposition in grassland ecosystems, from the scale of plant individuals to the scale of entire plant community. Plant-community assembly hence affects after-life ecosystem processes like litter decomposition. This influence occurs through plant traits and decomposer activity. In turn, litter decomposition feedbacks on plant-community assembly. Consequently, litter decomposition does not seem to be a collateral consequence of plant traits, but rather an important part of their ecological strategies and biotic interactions, participating to a feedback loop involving community assembly processes.

Ce travail de recherche pluridisciplinaire apporte un éclairage nouveau sur l’œuvre de Pascal Quignard, renouvelle les problématiques du genre de l’écrit sur l’art et étaye certaines hypo-thèses de l’analyse du discours. La première partie reprend les notions déjà identifiées par la critique quignardienne que sont l’assertion, la latinisation et le sordide, en propose une nou-velle analyse et, à l’aide d’exemples, y ajoute des éléments complémentaires tels les mots-mana, la logique poétique et le pouvoir des images. La deuxième partie articule ces éléments intratextuels à ceux extratextuels que sont l’ethos et la posture de l’auteur ainsi que l’image du lecteur, associant sociologie de la littérature et analyse du discours pour décrire la stratégie argumentative quignardienne. Le dispositif ainsi décrit et qualifié d’écriture inquiétante est ensuite analysé dans la troisième partie à la lumière de l’histoire et de la philosophie de l’art, révélant les liens entre l’image et la pensée quignardienne. / This multidisciplinary research sheds new light on the work of Pascal Quignard, renews the issues of the genre of writings on art and supports hypothesis of discourse analysis. The first part includes the concepts already identified by the quignardienne criticism, like the assertion, the latinization and the sordid, proposes a new analysis, using examples, and adds additional elements such as mana-words, poetical logic and the power of images. The second part combines these intratextual elements to those that are extratextual: ethos and posture of the author and the reader’s image. It combines sociology of literature and discourse analysis to describe Quignard’s argumentative strategy. The device thus described and qualified as « disturbing writing » is then analysed in the third part in the light of the history and philosophy of art, revealing the relationship between the image and Quignard’s thought.

Les invasions biologiques peuvent provoquer des pertes de biodiversité et ainsi de services écologiques. Cette thèse porte sur l'élaboration d'un modèle d'assemblage de réseau d'interactions, incluant tous les types d'interactions (trophiques et non trophiques), et respectant la conservation de la matière. Ce modèle montre un fort effet des interactions non trophiques sur les processus fonctionnels des écosystèmes (biomasse, production) et une diversité-dépendance des interactions interspécifiques; les mécanismes de la relation diversité-fonctionnement sont ainsi plus complexes dans les réseaux d'interactions que les réseaux trophiques. Le modèle prédit que les introductions d'espèces ont de forts impacts sur les propriétés des écosystèmes, que la résistance aux invasions et la robustesse vis-à-vis des extinctions d'espèces résidentes dues aux invasions augmentent avec la diversité spécifique, et sont maximales pour des interactions non trophiques de force et prévalence intermédiaires.

Les systèmes publics de santé nécessitent des capteurs miniaturisés pour l'amélioration des diagnostics médicaux. Dans ce contexte, l'objectif de cette thèse était de simuler, réaliser et caractériser des résonateurs à ondes acoustiques de volume à base de couches minces, vibrant en mode de cisaillement à 800 MHz et montés sur miroir acoustique (SMR), et de démontrer leur capacité à fonctionner comme capteurs gravimétriques en milieu liquide.<br /><br />Trois procédés de dépôt par pulvérisation de couches de ZnO à axe c incliné ont été développés. De telles couches sont nécessaires pour l'excitation d'ondes de cisaillement et essentielles pour un fonctionnement en milieu liquide. Des inclinaisons jusqu'à 16° ont été obtenues avec une incidence oblique des particules en utilisant des caches additionnels. Des couches homogènes ont été déposées sur la surface entière d'un wafer 4“. Des outils de simulation et de caractérisation ont permis d'optimiser les SMRs, améliorant le coefficient de couplage de 0.012 à 0.149 et le facteur de qualité de 3.5 à 230. Leur application dans des solutions de glycérol a montré qu'ils se prêtent à la détection gravimétrique et comme viscosimètres. Des mesures de liaisons anticorps-antigènes en milieu liquide ont été réalisées avec succès. Comparées à des microbalances à quartz vibrant à 10 MHz, la sensibilité est 1000 fois plus grande et la résolution est 4 fois meilleure.<br /><br />Les SMRs sont hautement sensibles, peuvent être intégrés à des systèmes électroniques, et permettent des mesures quantitatives avec de bonnes résolutions. Ces nanobalances à couche piézoélectrique pourront former le noyau de systèmes portables et bon marché pour le diagnostic médical.

R??sum?? : La d??composition des liti??res v??g??tales a ??t?? d??crite comme ??tant la deuxi??me plus importante fonction ??cosyst??mique sur terre, apr??s la productivit?? primaire. Alors que la photosynth??se fournit les apports ??nerg??tiques ?? la plupart des cha??nes alimentaires, la d??composition recycle les nutriments, permet leur utilisation future par d???autres organismes et relargue dans l???atmosph??re le carbone fix?? photosynth??tiquement. Dans un contexte de changement climatique, un grand int??r??t est port?? sur la d??composition des liti??res, car il s???agit, ?? l?????chelle globale, de la plus grande source d?????mission de CO[indice inf??rieur 2] dans l???atmosph??re. Les taux de d??composition des liti??res sont principalement d??termin??s par trois facteurs: les variables climatiques, la structure des communaut??s de d??composeurs et les propri??t??s chimiques et physiques de la liti??re. La structure de la communaut?? v??g??tale h??te dans laquelle se produit la d??composition et d???o?? provient la liti??re peut influencer l???ensemble de ces trois facteurs. Des changements dans la structure de la communaut?? v??g??tale pourraient donc affecter les futurs taux de d??composition et modifier significativement les dynamiques globales du carbone. Malgr?? cela, la communaut?? h??te est rarement prise en compte dans les ??tudes sur la d??composition des liti??res. Des exp??riences enl??vent souvent la liti??re de son environnment naturel de d??composition, mesurant la d??composition des liti??res ?? partir de monolithes ou de microcosmes en laboratoire, afin de contr??ler les variations ind??sirables des propri??t??s du sol. Dans ce m??moire, j?????tudie les effets de plusieurs propri??t??s fonctionnelles de la communaut?? v??g??tale h??te sur les taux de d??composition des liti??res et leur contribution ?? la respiration du sol. En utilisant une plantation exp??rimentale d???arbres qui permet de manipuler la structure de leur communaut??, je teste l???effet de l???identit?? fonctionnelle des arbres, des esp??ces et de la diversit?? fonctionnelle, ainsi que des interactions entre d??composeurs et arbres sur ces processus ??cosyst??miques. La d??composition des liti??res et la respiration du sol sont li??es aux propri??t??s fonctionnelles des plantes. La d??composition des liti??res est bien pr??dite par les valeurs moyennes de traits fonctionnels des liti??res, mais plus faiblement corr??l??e ?? la diversit?? sp??cifique. D???apr??s mes r??sultats, le nombre d???esp??ces en m??lange de liti??res ne constitue pas un facteur important pour la d??composition, ?? cause des interactions globalement idiosyncratiques entre types de liti??res. Cependant, l???augmentation conjointe de la diversit?? fonctionnelle des m??langes d???esp??ces en liti??res et de la communaut?? d???arbres-h??tes acc??l??re les taux de d??composition et la respiration du sol. Les premi??res phases de d??composition de liti??res en surface ne sont que faiblement affect??es par la diversit?? des plantes, alors que pour la respiration du sol, qui prend en compte les derni??res phases de d??composition de liti??re et de mati??re organique du sol, la diversit?? est la propri??t?? fonctionnelle de plantes qui fournit le meilleur pouvoir de pr??diction. De plus, j???ai trouv?? que les apports sp??cifiques de liti??res ?? long terme pouvaient cr??er des conditions qui favorisent la d??composition des liti??res native et pouvaient modifier l???effet de la diversit?? des arbres sur la d??composition. J???attribue cet effet aux r??troactions entre la liti??re et les organismes d??composeurs du sol. Ce travail de recherche fournit une nouvelle perspective sur les effets des changements de structure de communaut?? foresti??re sur les processus de d??composition. La compr??hension de ces effets est n??cessaire pour pr??dire les taux de d??composition de liti??res et les dynamiques globales du carbone. // Abstract : The decomposition of plant litter has been described as the second most important ecosystem function for sustaining life on earth, after primary productivity. Whereas photosynthesis provides the energy input for most food chains, decomposition recycles nutrients for future use by other organisms and returns photosynthetically fixed carbon back to the atmosphere. In the context of climate change, litter decomposition is of specific interest because it represents one of the largest sources of CO[subscript 2] to the atmosphere globally. Rates of litter decomposition are largely determined by three factors: climatic variables, the structure of the decomposer community, and the chemical and physical properties of the litter. The structure of the host plant community under which decomposition takes place and from which the litter is derived can influence all three of these factors. Therefore, any systematic changes in plant community structure could affect future decomposition rates and significantly alter global carbon dynamics. Despite this, the host plant community is rarely considered in litter decomposition studies. Experiments often remove litter from its natural decomposition environment, instead measuring decomposition of litter in common garden settings and laboratory microcosms to control for unwanted variation in soil properties. In this thesis I investigate the effect of several functional properties of the host plant community on rates of litter decomposition and its contribution to soil respiration. Using an experimental tree plantation that manipulates tree community structure, I test the effect of tree functional identity, species and functional diversity, and tree-decomposer interactions on these ecosystem processes. Both litter decomposition and soil respiration were related to plant functional properties. Litter decomposition was best predicted by average-values of litter functional traits and was poorly related to species diversity. The number of species in a litter mixture does not seem to be important for decomposition, as interactions between litter types were idiosyncratic. However increasing the functional diversity both of mixed-species litter and of the host tree community accelerated rates of litter decomposition and soil respiration. Early stages of surface litter decomposition were only marginally affected by plant diversity. In contrast, diversity was the best predictor of soil respiration, which includes latter stages of litter and soil organic matter decomposition. Furthermore, I found that specific repeated litter input to the soil can result in conditions that favour the decomposition of the long-term litter type and can mediate the effect of tree diversity on decomposition. I attribute this effect to feedbacks between the litter and soil decomposer organisms. This research provides insight into the effect of changing forest community structure on decomposition processes. Such an understanding is necessary to predict future rates of litter decomposition and global carbon dynamics.

Cette étude traite du travail en équipe et de la coopération patronale-syndicale. Nous avons évalué l’influence de la coopération patronale-syndicale sur le fonctionnement et l’autonomie collective des équipes de travail. La méthodologie utilisée s’appuie sur une étude de cas contrastés du point de vue de la variable indépendante (l’intensité de la coopération patronale-syndicale), en neutralisant le plus grand nombre possible de variables de contrôle pouvant influencer la variable dépendante (fonctionnement et autonomie des équipes de travail). Des entrevues semi-structurées avec les représentants des deux usines sélectionnées ont confirmé que la coopération patronale-syndicale était élevée dans une usine et faible dans l’autre. L’analyse des données relatives à notre variable dépendante est basée principalement sur les résultats d’un questionnaire et les données obtenues indiquent que les répondants de l’usine d’Alma font des évaluations plus élevées des aspects liés aux dimensions de la variable dépendantes et celles-ci recouvrent des aspects axés sur la gestion des opérations alors que celles où les évaluations sont plus élevées à Kénogami concernent majoritairement des aspects plus secondaires. Notre hypothèse est essentiellement confirmée et démontre une relation positive entre un degré élevé de coopération patronale-syndicale et l’évaluation par les membres du fonctionnement et de l’autonomie collective de leur équipe. Cette relation positive est cependant mitigée, car elle ne se vérifie pas pour certaines dimensions qui renvoient à des aspects plus secondaires de l’autonomie collective des équipes de travail. / The main focus of the research is the analysis of the phenomena and the link between the union-management Cooperation and the work team. We are pursuing by submitting a main hypothesis: the degree of union-management Cooperation has a positive influence on the functioning and collective self-reliance of work teams. Methodology used relies on a point of multiple case study of the independent variable (the intensity of the employer-Union cooperation) in neutralizing the greatest possible number of control variables that can influence the dependent variable (operation and autonomy of the teams work). Semi-structured interviews were conducted with representative’s employer and Union. The results show that two selected plants have confirmed that the union-Cooperation was high in a factory and low in the other. Our dependent variable data analysis is based primarily on the results of a questionnaire and the resulting data indicate that Alma plant respondents have the highest ratings of dimensions related to their degree of autonomy and the functioning of their team work. Our assumption is essentially confirmed and demonstrates a positive relationship between a high degree of union-management Cooperation and assessment by the members of their team’s operations and collective self-reliance of work teams. However, this positive relationship is mixed, because it does not apply for certain dimensions that concerns more trivial aspects of the collective autonomy of work teams.

Ce mémoire d'habilitation résume la majeure partie de mes recherches, depuis la fin de mon doctorat, fin 2004, jusqu'à aujourd'hui. Le but essentiel de mes recherches est le développement de méthodes fondées sur des bases mathématiques et performantes en pratique pour s'assurer de la correction des logiciels. J'utilise des approximations pour permettre une bonne performance, tandis que la validité des résultats est garantie par l'emploi exclusif de sur-approximations des ensembles des comportements des programmes. Ma recherche est basée sur l'interprétation abstraite, une théorie très puissante des approximations de sémantiques permettant aisément de les développer, les comparer, les combiner. Je m'emploie en particulier au développement de nouveaux composants réutilisables d'abstraction, les domaines abstraits, qui sont directement implantables en machine, ainsi qu'à leur utilisation au sein d'analyseurs statiques, qui sont des outils de vérification automatique de programmes. Mes premières recherches concernaient l'inférence de propriétés numériques de programmes séquentiels, tandis que mes recherches actuelles se tournent vers l'analyse de programmes concurrents, d'où le titre de ce mémoire. Les deux premiers chapitres de ce mémoire constituent une introduction, tandis que les suivants présentent mon travail d'habilitation proprement dit. Le premier chapitre est une introduction informelle à la problématique de l'analyse de programmes, aux méthodes existantes, leurs forces et leurs faiblesses. Le deuxième chapitre présente de manière formelle les outils dont nous aurons besoin par la suite : les bases de l'interprétation abstraite, quelques domaines abstraits existants et la construction d'analyses statiques par interprétation abstraite, ainsi que quelques résultats utiles que j'ai obtenu en doctorat. Le troisième chapitre est consacré aux aspects spécifiques de l'analyse de programmes concurrents. Cette recherche, très personnelle, a abouti à la construction d'une méthode d'analyse de programmes concurrents, paramétrée par le choix de domaines abstraits, et basée sur une notion d'interférence abstrayant les interactions entre threads. Ainsi, l'analyse construite est modulaire pour les threads. Cette méthode est reliée aux preuves rely-guarantee proposées par Jones, ce que nous montrons formellement dans une première partie. Nous construisons ensuite une analyse à grands pas basée sur les interférences, efficace et facile à implanter. Les deux dernière parties étudient les liens entre l'analyse et les modèles mémoires faiblement cohérents (désormais incontournables) ainsi que le raffinement de l'analyse pour tenir compte des propriétés spécifiques des ordonnanceurs temps-réels (nous étudions en particulier l'effet des priorités des threads et l'emploi d'objets de synchronisation). Le quatrième et le cinquième chapitres sont consacrés à la constructions de domaines abstraits. Ceux-ci ne sont pas spécifiquement liés au problème de la concurrence ; ils sont utiles à l'analyse de tous programmes, séquentiels comme concurrents. Le chapitre 4 étudie des domaines numériques inférant des égalités et inégalités affines, développés en collaboration avec Liqian Chen, alors doctorant en visite à l'ENS. La motivation première était l'emploi de nombres à virgule flottante afin d'améliorer l'efficacité du domaine des polyèdres, mais ces travaux ont également débouché sur la découverte de nouveaux domaines, basés sur les relations affines à coefficients intervalles, que nous présentons également. Le chapitre 5 étudie les abstractions de types de données réalistes, comme ceux rencontrés dans le langage C : les entiers machines, les nombres à virgule flottante, et les blocs structurés (tableaux, structures, unions). Nos abstractions modélisent finement les détails de l'encodage en mémoire des données afin de permettre l'analyse de programmes qui en dépendent (par exemple, ceux utilisant le type-punning). Ces abstractions sont motivées par nos expériences d'analyses, avec les outils Astrée et AstréeA, de programmes C industriels ; ceux-ci employant fréquemment ce type de constructions de bas niveau. Le sixième chapitre est consacré aux applications des méthodes présentées ci-dessus à la construction d'outils d'analyse statique. Il décrit en particulier mon travail sur l'outil Astrée que j'ai co-développé avec l'équipe Abstraction pendant et après mon doctorat, et qui a été industrialisé en 2009. Mes résultats théoriques et appliqués ont contribué au succès d'Astrée, tandis que celui-ci m'a fourni de nouveaux thèmes de recherches, sous la forme de problèmes concrets dont la résolution n'a pu se faire que grâce à des développements théoriques. Ce chapitre décrit également AstréeA, une extension d'Astrée utilisant l'abstraction d'interférences proposée plus haut pour l'analyse de programmes concurrents (Astrée étant limité aux programmes séquentiels). Il décrit également Apron, une bibliothèque de domaines abstraits numériques que j'ai co-développée. Il s'agit d'un outil plus académique, dont le but est d'encourager la recherche sur les domaines numériques abstraits. Le mémoire se conclue par quelques perspectives sur des recherches futures.

Cette thèse s'inscrit dans le contexte de la forte évolution du réseau d'abonnées sur fibre optique (FTTH). Elle a l'objectif d'étudier les solutions d'émetteurs dits "achromatiques" à base de nouveaux composants optoélectroniques pour les réseaux d'accès optiques multiplexés en longueurs d'onde (WDM-PON). Ces émetteurs doivent être peu chers et identiques chez tout abonné quelque soit la longueur d'onde de fonctionnement. Deux types d'émetteurs achromatiques à base de modulateur réflectif sont étudiés dans cette thèse : le laser Fabry-Perot verrouillé par injection optique (IL-FP) et le modulateur électro-absorbant amplifié en réflexion (R-EAM-SOA). Les caractéristiques de l'IL-FP en régime de verrouillage sont évaluées en termes de bruit d'intensité, de modulation, de facteur de couplage phase-amplitude,... La caractérisation tant statique que dynamique est aussi effectuée pour le second composant R-EAM-SOA. D'autres fonctionnalités de ce composant comme la détection directe et la régénération promettent son grand potentiel pour la réalisation d'un dispositif multifonctionnel pour le réseau d'accès. Il est également proposé d'utiliser pour la première fois, le laser à bâtonnets quantiques à blocage de modes (QD-MLL) comme source d'injection multi-longueurs d'onde cohérentes pour l'accès optique WDM. Il est montré qu'il est possible de supprimer le bruit de partition de modes associé à ces structures à blocage de modes. Finalement l'intégration de ces trois composants dans des architectures WDM-PON est réalisée. La faisabilité des systèmes WDM-PON à 2,5 Gb/s à base des IL-FP injectés par une source QD-MLL est évaluée pour différentes configurations et architectures réseau. La montée en débit à 10 Gb/s est prouvée en utilisant le R-EAM-SOA. Un système WDM-PON bidirectionnel avec une capacité de 240 (24 x 10) Gb/s en voie descendante et 60 (24 x 2,5) Gb/s en voie montante a été démontré en utilisant ces solutions d'émetteurs achromatiques proposées. Une des principales sources de dégradation du système WDM-PON bidirectionnel est la rétrodiffusion de Rayleigh pour laquelle le bruit interférométrique produit est étudié. L'impact de ce bruit sur les performances en transmission du système WDM-PON est aussi analysé.