Soixante-dix-sept lots de matières premières (MP) (10 de blé, 10 de triticale, 5 de seigle, 5 d'orge, 7 de maïs, 6 de sorgho, 3 de farine basse de blé, 4 de remoulage de blé, 3 de son de blé, 7 de corn gluten feed, 4 de tourteau de colza, 4 de tourteau de tournesol et 9 de tourteau de soja) ont fait l'objet d'une caractérisation analytique et d'une mesure de digestibilité iléale des acides aminés (AA) sur des porcs, mâles castrés, pesant entre 35 et 100 kg, et préparés en anastomose iléo-rectale termino-terminale. La digestibilité iléale vraie (DIV) de l'azote (N) et des AA de chaque lot de MP a été calculée en corrigeant la digestibilité iléale apparente de l'excrétion endogène basale. Cette dernière a été mesurée au moyen d'un aliment protéiprive. La digestibilité iléale réelle (DIR) des AA des lots de céréales, de tourteau de colza et de tourteau de soja a été calculée après détermination de l'excrétion endogène totale d'AA par régression linéaire multiple.<br />L'excrétion endogène basale d'azote est en moyenne de 1.14 g/kg MSI. L'animal en est le principal facteur de variation.<br />En moyenne, la DIV de l'N des céréales se situe entre 77% pour le seigle et 87-89% pour le blé, le triticale, et le maïs. Celle des issues de meunerie passe de 94% pour les farines basses à 70% pour les sons. Celle du corn gluten feed varie de 62 à 75%, selon le lot. Elle est de 74% pour le tourteau de colza, 81 % pour le tourteau de tournesol et 88% pour le tourteau de soja. La DIV des AA des issues de meunerie, du corn gluten feed et du tourteau de soja peut être prédite à partir de leurs teneurs en fibres insolubles et/ou du pourcentage d'azote lié au résidu NDF (NNDF).<br />En moyenne, l'excrétion endogène spécifique d'N se situe entre 1.1 et 2.1 g/kg MS pour les céréales. Elle est de 3.6 et 7.9 g/kg MS pour, respectivement, le tourteau de soja et le tourteau de colza. Pour la plupart des matières premières, l'excrétion endogène spécifique d'N augmente significativement avec la teneur en fibres insolubles. Toutefois, plus l'animal est léger, plus il semble sensible à une augmentation de la teneur en fibres insolubles, et en particulier en ligno-cellulose, du régime. Par ailleurs, la fibre de type blé serait plus stimulante que la fibre de type orge. Des équations de prédiction de l'excrétion endogène spécifique d'N en fonction de la teneur en ADF (Acid Detergent Fibre) du lot de matière première et du poids de l'animal sont proposées.<br />En moyenne, la DIR de l'azote est supérieure à 95% pour le blé, le triticale et le maïs, elle est de 94% pour le tourteau de soja, 91 % pour le sorgho, 88% pour l'orge, 84% pour le seigle et 86% pour le tourteau de colza.

L’objectif de ce travail est la valorisation des molécules bioactives présentes initialement dans Gelidium sesquipedale. Les rhodophycées agarophytes dont Gelidium sesquipedale sont exploitées à l’échelle industrielle pour l’agar, un phycocolloïde aux propriétés gélifiantes, qu’elles contiennent en abondance. Une multitude de coproduits sont générés lors de l’extraction de l’agar. Ces derniers, peu étudiés, ne sont pas valorisés alors qu’ils constituent une source potentielle de molécules d’intérêts. En premier lieu, le process industriel d’extraction de l’agar a été adapté à l’échelle du laboratoire afin de récupérer ces co-produits dont l’analyse a montré la richesse en glucides. Ils ont par la suite été fractionnés pour isoler les oligosaccharides dont certains sont connus comme éliciteurs chez les plantes. Ainsi, plusieurs fractions oligosaccharidiques ont été obtenues avec un rendement estimé à 15,7% de Gelidium sesquipedale sec. Les fractions sélectionnées ont été caractérisées par CPG, ESI-MS, RMN et perméthylation ce qui a permis d’élucider les structures des oligosaccharides qu’elles contiennent et de révéler notamment la présence de dérivés de floridoside dont le Gal2glycérol, le Gal3glycérol et le Gal4glycérol qui sont des molécules originales chez Gelidium sesquipedale non décrites à ce jour chez les algues rouges. Une dernière partie a consisté en la mesure de l’activité élicitrice de ces fractions qui a pu être vérifiée sur des plantes de tomate à travers des mesures de marqueurs biochimiques relatifs à l’expression des réactions de défense chez la plante. En conclusion, les coproduits issus de l’extraction de l’agar représentent une source de pSDNs (phyto stimulateur des défenses naturelles chez la plante) ; ils offrent une nouvelle perspective de développement à l’industrie de l’agar. / This work aims at promoting the bioactive molecules initially present in Gelidium sesquipedale. The rhodophycea agarophytes, including Gelidium sesquipedale, are used for industrial extraction of agar, a phycocolloid with gelling properties, which they contain in abundance. A multitude of co-products are generated during the extraction of the agar. These co-products have only been studied a little, hence not valued, while they constitute a significant source of molecules of interest. Firstly, the industrial agar extraction process was adapted on a laboratory scale, in order to recover these coproducts, which were subsequently subjected to an analysis, which revealed the presence of carbohydrates as major components. They were submitted to a fractionation process to obtain oligosaccharidic fractions, with a potential of elicitor activity, and a yield estimated at 15.7% of dry Gelidium sesquipedale. Also, a follow-up of co-products from batches of Gelidium sesquipedale harvested in different years from 2014 to 2016, enabled the comparison of the composition of the various co-products, depending on the year of the harvest, and thus to evaluate the variability of the initial resource. In addition, the impact of an extraction factor, being the sodium concentration, and the comparison with an industrial co-product produced by this process, were carried out. The retained fractions were characterized by GPC, ESI-MS, NMR and permethylation that allowed the elucidation of the structures of the oligosaccharides they contain, and revealed in particular the presence of floridoside derivatives including Gal2glycerol, Gal3glycerol and Gal4glycerol, which are original molecules in Gelidium sesquipedale, not described to date in red algae. A final part consisted in measuring the activity of these fractions as elicitor that could be estimated on tomato plants through measurements of biochemical markers relating to the expression of defense reactions in the plant. In conclusion, the co-products from agar extraction represent a source of pSDNs (phyto stimulator of natural defense in the plant) and give a new perspective to the agar industry.

Le but de cette thèse est d'étudier la somme et le zéro dans deux principaux cadres : les isomorphismes de types et la normalisation de lambda-termes. Les isomorphismes de type avaient déjà été étudiés dans le cadre du lambda-calcul simplement typé avec paires surjectives mais sans somme. Pour aborder le cas avec somme et zéro, j'ai commencé par restreindre l'étude au cas des isomorphismes linéaires, dans le cadre de la logique linéaire, ce qui a conduit à une caractérisation remarquablement simple de ces isomorphismes, obtenue grâce à une méthode syntaxique sur les réseaux de preuve. Le cadre plus général de la logique intuitionniste correspond au problème ouvert de la caractérisation des isomorphismes dans les catégories bi-cartésiennes fermées. J'ai pu apporter une contribution à cette étude en montrant qu'il n'y a pas d'axiomatisation finie de ces isomorphismes. Pour cela, j'ai tiré partie de travaux en théorie des nombres portant sur un problème énoncé par Alfred Tarski et connu sous le nom du « problème des égalités du lycée ». Pendant tout ce travail sur les isomorphismes de types, s'est posé le problème de trouver une forme canonique pour représenter les lambda-termes, que ce soit dans le but de nier l'existence d'un isomorphisme par une étude de cas sur la forme du terme, ou pour vérifier leur existence dans le cas des fonctions très complexes que j'étais amené à manipuler. Cette réflexion a abouti à poser une définition « extensionnelle » de forme normale pour le lambda-calcul avec somme et zéro, obtenue par des méthodes catégoriques grâce aux relations logiques de Grothendieck, apportant ainsi une nouvelle avancée dans l'étude de la question réputée difficile de la normalisation de ce lambda-calcul. Enfin je montrerai comment il est possible d'obtenir une version « intentionnelle » de ce résultat en utilisant la normalisation par évaluation. J'ai pu ainsi donner une adaptation de la technique d' évaluation partielle dirigée par les types pour qu'elle produise un résultat dans cette forme normale, ce qui en réduit considérablement la taille et diminue aussi beaucoup le temps de normalisation dans le cas des isomorphismes de types considérés auparavant.