L’expérience d’Aimé Bonpland invite à réfléchir sur les conditions nécessaires au transfert d’une science et sur l’idéologie qui le porte. Partisan de l’indépendance du Río de la Plata, imprégné d’une culture politique mettant au premier plan la nécessité d’un Etat fort permettant la stabilité et le rayonnement d’une nation, Bonpland se heurte à l’instabilité qui caractérise la construction politique de cette région. En suivant son parcours on assiste à la rencontre manquée entre un naturaliste porteur d’un projet fondé sur le modèle universaliste du centre scientifique européen et des élites qui, à la périphérie, souhaitent mettre en place une politique spécifique basée sur l’utilisation des ressources naturelles à des fins de développement interne. Cette expérience permet de mettre en évidence différents moments de la construction des nations rioplatenses et de les insérer dans une grille de lecture américaniste. La notion d’américanisme, abordée comme un ensemble d’idéologies en action ayant comme propriété essentielle le développement d’interactions culturelles, soulève le problème de la convergence des idéologies et de leur adaptation transatlantique. En effet, il faut attendre la mise en place de projets politiques et scientifiques rioplatenses fondés sur la production externalisée des connaissances pour que l’action scientifique menée par Bonpland, elle-même basée sur la recherche appliquée, devienne opératoire. L’expérience de Bonpland est à replacer dans cette continuité, depuis l’inadéquation entre l’offre et la demande scientifique jusqu’à la convergence des projets américanistes. / Aimé Bonpland’s experience leads us to reflect about the necessary conditions for the transfer of a science and the ideology it bears. In favour of the independence of the Rio de la plata, imbued with a political culture putting forward the necessity of a strong state thus enabling a nation to be stable and to shine forth, Bonpland comes up against the instability that characterizes the political construction of this region. By following his path, we witness the wasted accounter between, on the one hand a naturalist bearing a project based on the universalist pattern of the European scientific center, and, on the other hand the elites who, at the periphery, want to settle a specific policy based on the use of natural resources aiming at international development. This experience enables to bring to the fore different moments of the construction of the Rioplatenses nations and to insert them from an americanist perspective. The notion of americanism tackled as a set of ideologies into action whose main property is the development of cultural interactions, arises the issue of the convergence of ideologies and of their transatlantic adaptation. Indeed, to become operating, it is necessary to wait for the setting up of political and scientific rioplatenses projects, based on the outsourced production of knowledge, for the scientific action led by Bonpland, itself based on applied research, to become operating. It is necessary to put Bonpland’s position back in this continuity, from the inadequacy between the scientific supply and demand, up to the convergence of americanist projects.

Les cellules NK sont capables d’ADCC (Antibody Dependent Cytotoxicity) suite à l’engagement durécepteur Fc!RIIIa/CD16a, et de fonctions effectrices directes antivirales et anti-tumorales: c’est la«cytotoxicité naturelle ». Ainsi activées elles peuvent également répondre en produisant des cytokines, commel’IFN-!. La dégranulation et la synthèse d’IFN-! par les cellules NK observées après engagement du récepteurCD16a, dont l’expression est indépendante du polymorphisme V158F, ont été largement supérieures à cellesobtenues avec les autres récepteurs activateurs. Son engagement par les AcMor thérapeutiques a produit desréponses fonctionnelles variables selon l’AcMor, et selon les donneurs de cellules. La perte d’expression duCD16a membranaire s’est révélé être un marqueur sensible de l’activation des cellules NK, même quand cedernier n’était pas engagé. Enfin, l’emploi de d’inhibiteur d’ADAM17 (TMI-2 et TIMP3) a permis d’observerle maintien de l’expression du CD16a après activation cellulaire sans augmenter les réponses fonctionnelles.Ce travail souligne la place centrale de l’engagement du CD16a dans l’activation NK. / NK cell can trigger ADCC (Antibody Dependent Cytotoxicity) through the engagement of theFc!RIIIa/CD16a receptor, and « Natural Cytotoxicity » after integration of cellular signals coming from theiractivating and inhibitory receptors. Moreover, activated NK cells produce cytokines such as IFN-!.Engagement by monoclonal antibodies (mAb) of CD16a was strongly more efficient than that of any otheractivating receptor to induce degranulation and IFN-! synthesis. Functional responses depend on thetherapeutic mAb used to engage CD16a and on the donor of NK cells. CD16a down-modulation was a verysensitive marker of NK cell activation, whatever the mean of activation. It was inhibited in the presence ofTMI-2 and TIMP3 (ADAM17 inhibitors), whereas CD16-dependent functional responses were not increased.This work highlighted the major role of the CD16a receptor in the activation of NK cells.

Face à un monde qui ne tardera pas à mettre les lumières de la raison à la place de Dieu, alors que la prolifération des sectes dissidentes, que le déisme et la libre-pensée mènent chaque jour de nouvelles âmes sur la voie de l'hétérodoxie, voire de l'athéisme, Leibniz et Berkeley prennent la plume pour défendre la cause d'un Créateur attaqué de toutes parts. L'apologétique, qui se donne pour double objectif de prouver la vérité de là religion et de montrer que le Dieu du christianisme est digne d'amour, est une exigence de l'intelligence et du cœur, elle est ce qui permet de pouvoir croire en raison. Pour le philosophe, la défense de la religion fait nécessairement corps avec la compréhension générale du monde et de ses principes, tandis que la métaphysique ne doit pas contredire les visées apologétiques et les présupposés théologiques qui l'accompagnent. Il existe, chez Leibniz et Berkeley, un va-et-vient constant entre le dieu de la raison, créateur des substances et de l'univers, simple cause première, et le Dieu d'amour des Évangiles qu'il faut défendre contre les accusations faites à l'encontre de sa bonté. Étudier la manière dont l'apologétique et la métaphysique s'entremêlent dans un système philosophique, c'est interroger les rapports de la raison et de la religion pour savoir si l'apologétique peut être une propédeutique à la foi chrétienne ou si elle n'atteint jamais que la cause première des déistes. / In a world where God will soon be replaced by the lights of reason, where dissident sects are multiplying, and where deism and free thinking lead ever more souls on the path to heterodoxy and even atheism, Leibniz and Berkeley stand up to defend the cause of a creator attacked on every side. Apologetics, whose goals are both to prove the truth of religion and to show that the Christian God is worthy of love, require mind and heart, and allow to believe in reason. When philosophers defend religion, it is inevitably linked to a global understanding of the world and its principles, when on the other hand metaphysics should not refute apologetic designs and theological presupposition. Leibniz and Berkeley go back and forth between the god of reason, creator of the substances and the universe, simple root cause, and the loving God from the Gospels, who needs to be defended against the accusations against his goodness. To study how apologetics and metaphysics intertwine in a philosophical system is to question the relationship between reason and religion: can apologetics be a propaedeutic to the Christian faith, or does it only achieve the root cause of the deists?

En informatique, les logiques formelles ont une place centrale dans la représentation et le traitement des connaissances. Elles sont utilisées pour la modélisation et la vérification de systèmes informatiques et de leurs propriétés ainsi que pour la formalisation de différents types de raisonnement. Dans ce contexte il existe un large spectre de logiques non-classiques parmi lesquelles les logiques modales jouent un rôle important. Alors que les logiques modales classiques ont été largement étudiées, nous nous focalisons dans cette thèse sur les logiques modales intuitionnistes et aussi hybrides floues en abordant un certain nombre de questions principalement du point de vue de la théorie de la démonstration. Nous proposons pour ces logiques de nouveaux systèmes de preuve, notamment suivant les formalismes de déduction naturelle et de calcul des séquents, qui sont fondés sur de nouvelles structures multi-contextuelles généralisant la structure standard de séquent / In computer science, formal logics are central for studying the representation and the treatment of knowledge. Indeed, they are widely used for modeling and verifying computer systems and their properties and also for formalizing different kinds of reasoning. In this context there exist many non-classical logics and among them modal logics play a key role. As classical modal logics have been deeply studied, we focus in this thesis on the intuitionistic modal logics and also on fuzzy hybrid logics by studying some important questions mainly from the viewpoint of proof theory . We define for these logics new proof systems, following natural deduction and sequent calculus formalisms, that are based on new multi-contextual structures generalizing the standard sequent structure

Cette thèse propose et étudie de nouveaux systèmes déductifs mêlant calculs et déductions. La déduction modulo est un premier formalisme qui traduit un pouvoir calculatoire grâce à un système de réécriture. Nous présentons un paradigme dual appelé superdéduction qui traduit un pouvoir déductif par de nouvelles inférences. Ces pouvoirs calculatoires et déductifs modifient la représentation des preuves et leur interaction par les processus d'élimination des coupures. La normalisation forte ou l'admissibilité des coupures ne sont plus garanties et apparaissent alors comme des propriétés intrinsèques des théories représentées sous forme de systèmes de réécriture. Nous démontrons que certains critères permettent d'assurer ces propriétés, notamment en définissant un langage de termes de preuve pour la superdéduction et en étudiant la permutabilité des inférences en calcul des séquents classique. Notre attention est focalisée sur les calculs des séquents classiques et la représentation des preuves dans de tels systèmes. D'autres formalismes connexes sont envisagés, notamment les réseaux de preuve et le focusing. Nous comparons cette dernière approche à la superdéduction, ce qui nous amène à proposer une refonte du paradigme de superdéduction basée sur un système de multifocusing pour la logique classique. Nous en montrons les effets bénéfiques en démontrant la complétude des systèmes déductifs obtenus. / In this thesis we propose and study several deduction systems that mix deduction and computation. Deduction modulo proposes to translate a computational power through a rewriting system. We present the dual concept called superdeduction. It translates a deductive power into custom inference rules that enrich the deduction system. These computational and deductive powers modify the representation of proofs as well as their interaction through cut-elimination processes. Strong normalisation or cut-admissibility may be lost and therefore appear as intrinsic properties of theories represented as rewriting systems. We prove that certain criteria imply these properties by defining a proof-term language for superdeduction and by studying the permutability of inferences in classical sequent calculus. Our attention is focused on classical sequent calculi and on the representation of proofs in such systems. Other related paradigms are considered, namely proof-nets and focusing. We compare this latter approach with superdeduction. We consequently reforge the superdeduction paradigm on top of a multifocusing system for classical logic. We demonstrate the benefits of this approach by proving the completeness of the obtained deduction systems.

L'État de droit se présente comme un ensemble de règles juridiques qui limite la puissance souveraine et préserve les droits individuels. Avant que la Déclaration des droits de l'homme et du citoyen de 1789 n'acquière en France une véritable autorité constitutionnelle, la loi naturelle légitimait le politique. Si Rousseau a donné à la loi un fondement philosophique avec la volonté générale, Montesquieu a accordé à la concurrence une fonction primordiale dans la reconnaissance conjuguée de la liberté et de la propriété des hommes. A cette époque, l'économie donnait à l'intérêt particulier une importance toute nouvelle et la concurrence entre les hommes devenait même un modèle pour l'organisation politique. Alors que Montesquieu et les économistes associent l'autorité du souverain et l'expression libre de l'intérêt particulier, la société doit reposer d'après Rousseau sur le droit politique. Si les philosophies de Montesquieu et de Rousseau se rejoignent sur les questions du respect de la liberté et de la sûreté des personnes, l'une détaille les principaux modes d'organisation politique et prescrit de limiter la puissance de l'exécutif, l'autre pose la toute-puissance du souverain. Cependant, l'histoire des différents apports philosophiques, anthropologiques, économiques et juridiques du XVIIIe siècle permet de nuancer, sans les diminuer, leur influence politique sur les thèmes de l'intérêt particulier et de l'intérêt général, tels qu'ils sont aujourd'hui discutés, en France, par des juristes. / The Rule of Law is a group of legal rules which limit the sovereign power and preserve the individual rights. Before the Declaration of the Rights of Man and of the Citizen of 1789 established a genuine constitutional authority in France, the natural law legitimized politics. At that time, the economy gave to the interest more importance to individual interest and competition between men became a model for the political organization. While Montesquieu and the political economists combine sovereign authority and the self-expression of the vested interest, Rousseau founded society on political right and identified the general will as the guiding principle of political acts. If political philosophers Montesquieu and Rousseau agreed on the respect of freedom and the safety of people, the former detailed the main methods of political organization and called for a restriction of the executive power while the latter confirmed the all- mighty sovereign. The history of the different philosophical, anthropological, economical and legal inputs allows us to moderate the political influences of Montesquieu and Rousseau on the main themes of vested interest, general interest - discussed nowadays in France by legal experts - without reducing them.

Nous avons cherché à comprendre le comportement sous écoulement de suspensions colloïdales d'argiles naturelles. Les particules constitutives de ces argiles ont comme particularité d'être extrêmement anisotropes puisqu'elles se présentent (en moyenne) sous la forme de disques de 200 nm de diamètre pour une épaisseur de 1 nm. Ces matériaux présentent des propriétés mécaniques remarquables parmi lesquelles une forte rhéofluidification ainsi que l'apparition de seuils d'écoulement et ce, pour de très faibles fractions volumiques en particules (environ 1%). Afin de comprendre l'origine de ces propriétés mécaniques, nous avons mis en place un dispositif expérimental permettant d'effectuer simultanément des mesures de viscosité (en cellule de Couette cylindrique) et des mesures de diffusion de rayons-X aux petits angles. Le champ orientationnel de particules 2D très anisotropes en écoulement cisaillé a ainsi été mesuré. En l'absence de cisaillement, et dans la phase de liquide isotrope, les particules s'orientent librement et occupent statistiquement un volume équivalent à celui de la sphère de volume exclu englobant la particule. En appliquant un cisaillement croissant on confine les particules discoïdales, faisant passer progressivement le volume de fluide piégé dans le mouvement moyen des particules de la sphère de volume exclu à un ellipsoïde à double anisotropie. Connaissant le champ orientationnel des particules on peut alors, par le biais d'une relation viscosité - fraction volumique de type Quemada, reconstruire la rhéofluidification de ces suspensions en prenant en compte, non pas la fraction volumique en disques mais celle en ellipsoïdes de confinement / We focussed our interest on the flow behaviour of colloidal suspensions of natural swelling clays. Such systems are strongly anisotropic since the disk-shaped particles in suspensions display an average diameter around 200 nm with a thickness close to 1 nm. Under flow, and for very low volume fractions (around 1%), these materials display remarkable mechanical properties going from quasi-Newtonian liquid to yield stress gel. In order to understand the mechanisms leading to such macroscopic behaviour, we have set up an experimental device that enables us to perform simultaneously viscosity (in a cylindrical Couette cell) and small angles x-ray scattering measurements. Thanks to this Rheo-SAXS device, we measured the orientational field of strongly anisotropic bi-dimensional particles in shear flow. When no shear is applied (and in the isotropic liquid phase), the particles are randomly oriented and occupy statistically a volume equivalent to that of the sphere of excluded volume encompassing the particle. The stronger is the applied shear stress, the more confined are the disk-like particles and consequently the small amount of fluid trapped in the statistical motion of the particles decreases from that of the sphere of excluded volume to that of an oblate ellipsoid with double anisotropy. Thus, knowing the orientational field of the particles (measured by SAXS) and applying an effective approach as the one suggested by Quemada for hard spheres, we tried to rebuild the shear-thinning behaviour of these suspensions by taking the volume fraction in statistical ellipsoid instead of that of disk-shaped particles

Cette thèse, à la fois numérique et expérimentale, porte sur l’étude du transfert de chaleur par convection naturelle qui apparait au sein d’une cavité hémisphérique en régime stationnaire. L’enceinte est remplie d’eau ou de nanofluide de type eau / ZnO. La fraction volumique varie entre 0 (eau pure) et 10%. La coupole de la cavité est maintenue à température froide. Ce travail s’applique au domaine de l’ingénierie électronique et plus particulièrement au refroidissement des composants actifs de différentes formes. Trois géométries de sources de chaleur sont étudiées : la première est plane et circulaire (disque) et les suivantes, centrées sur le disque, de même surface d’échange, sont cubique et hémisphérique. L’angle d’inclinaison du disque varie entre 0 (coupole orientée vers le haut) et 180° (coupole orientée vers le bas) par rapport au plan horizontal. Les sources de chaleur génèrent des puissances qui conduisent à des Rayleigh importants. L’approche numérique est effectuée à l’aide de la méthode des volumes finis basée sur l’algorithme SIMPLE et un modèle monophasique. Pour chaque source active, le transfert de chaleur convectif est analysé et quantifié par l’intermédiaire d’une corrélation du type Nusselt-Rayleigh-Prandtl-angle d’inclinaison. D’un point de vue expérimental, la fabrication des sources de chaleur est minutieusement décrite étape par étape et le calcul du coefficient de transfert convectif moyen expérimental est détaillé. La comparaison mesures-corrélations remet en question l’efficacité du nanofluide en termes de refroidissement. / This numerical and experimental thesis deals with natural convective heat transfer that occurs in a hemispherical cavity in steady state. The enclosure is filled with water or ZnO / water nanofluid. The volume fraction varies between 0% (pure water) and 10%. The coupola of the cavity is kept at a cold temperature. This work corresponds to the field of electronics and the cooling of different actives composants. Three active heating sources are studied: the first one is plane and circular (the disc) and the followings, centered on the disc with the same surface, are cubical and hemispherical. The tilted angle varies between 0 (dome facing upwards) and 180° (dome facing downwards) with respect to the horizontal plane. Heat sources generate important heat fluxes leading to high Rayleigh numbers values. Numerical approach is done by means of the volume control method based on the SIMPLE algorithm and using monophasic model. For each active source, the convective heat transfer is analyzed and quantified by means of a correlation of the Nusselt-Rayleig-Prandtl-tilt angle type. Experimentally, the heat sources are built step by step and the average convective heat transfer coefficient is calculated. The comparison measures-correlations questions on the cooling nanofluid’s efficiency.

Les microorganismes extrêmophiles jouent un rôle déterminant dans le cycle du fer (oxydation et précipitation) dans les drainages miniers acides. Les phases minérales formées peuvent piéger efficacement des éléments toxiques tels que l'arsenic. L'objectif de ce travail est de mieux comprendre le rôle de l'activité bactérienne dans les processus d'atténuation naturelle des concentrations en Fe et As dans les DMA. Pour cela, différents marqueurs potentiels de l'activité bactérienne ont été étudiés (changement de spéciation, formation de biominéraux, fractionnement isotopique). L'approche de terrain a été combinée à des expériences de laboratoire. Des variations journalières et annuelles des concentrations en fer et arsenic ont été mises en évidence dans le DMA du Reigous, attribuées respectivement à des facteurs physico-chimiques et hydrologiques. La tooéléite, un oxyhydroxysulfate de Fe(III) et As(III), est présente dans les concrétions bactériennes tout au long de l'année. L'influence des facteurs biotiques (identité des souches bactériennes d'Acidithiobacillus ferrooxidans et concentration cellulaire) sur la formation de ce minéral a été étudiée en laboratoire. L'évolution de la composition isotopique du fer dans l'eau et les solides, mesurée au cours de ces expériences d'incubation et in situ (Reigous et Rio Tinto) montre un enrichissement systématique en isotopes lourds dans les solides par rapport à l'eau de départ quelle que soit la spéciation du fer initiale. Bien que l'activité bactérienne intervienne dans l'oxydation et la précipitation du fer dans ces systèmes, les fractionnements observés sont des fractionnements d'équilibre dominés par des processus abiotiques.

La thèse présentée concerne l'étude de deux problématiques liées à l'extraction supercritique. Le premier objective a été de tester la capacité du procédé de la Détente Instantanée Contrôlée (DIC), appliquée en tant que technique de prétraitement, à l'efficacité de l'extraction par le CO2 supercritique grâce à la modification de la structure du matériel extrait. Le deuxième objective a été d'élaborer une méthode de mesure de la distribution des temps de séjour afin d'observer l'effet de la direction du flux moyen sur la distribution des temps de séjour dans un extracteur supercritique. L'extraction supercritique attire attention grâce aux avantages qu'elle possède en comparaison avec les méthodes d'extraction conventionnelles. Néanmoins, les applications de la technique à l'industrie sont souvent inhibées par les coûts d'investissement de l'installation de haute pression. Optimisation des paramètres de procédé peut baisser les coûts totaux. Le prétraitement du produit avant l'extraction est un des paramètres les plus importants qui influence la cinétique et le rendement de l'extraction. Dans cette étude, le procédé DIC a été testé en tant que technique de prétraitement. Les grains d'amarante, de soja et de café ont été traités par DIC et extraits par le CO2 supercritique. La structure du matériel a été étudiée par la microscopie électronique à balayage, la porosimétrie à mercure et la pycnométrie à hélium. Les données expérimentales ont été décrites par deux modèles: le modèle BIC basé sur l'extraction des cellules cassées et intactes, et le modèle « hot ball » basé sur la diffusion dans une sphère. L'effet le plus remarquable a été observé pour les grains de soja. Leur porosité a augmenté considérablement après le traitement par DIC et la vitesse de transfert interne de masse a augmenté six fois. La structure des grains d'amarante et de café n'a pas été modifiée par le traitement par DIC, et les résultats de l'extraction ne montrent aucune amélioration. La problématique de l'extraction de la caféine par rapport à la présence de l'eau a été discutée. Grâce à la viscosité cinématique basse, les fluides supercritiques inclinent plus à la convection naturelle, ce qui influence la cinétique et le rendement d'extraction. Plusieurs études sont accessibles concernant la dispersion axiale dans l'extracteur supercritique, évaluée à l'aide des mesures de la réponse à l'injection du traceur dans l'extracteur. Ces travaux étudient le système CO2 pure-traceur, mais ils observent pas la réponse pendant l'extraction proprement dite, ce qui est justement le cas où la convection naturelle peut se développer à cause des différences de densité. Le but de cette étude a été d'élaborer une méthode de mesure de la réponse à l'injection du traceur. L'acide benzoïque a été utilisé comme traceur. Plusieurs solutés ont été testés; le tetracosane a été choisi pour les expériences sous conditions subcritiques (12 MPa, 25ºC), la trilaurine pour les expériences supercritiques (12 MPa, 40ºC). L'extraction a été réalisée avec le solvant passant dans le sens de la pesanteur et aussi dans la direction opposite. Les résultats préliminaires montrent un effet significatif de la direction de flux de solvant sous conditions supercritiques. Par contre, cet effet n'a pas été observé sous conditions subcritiques. Les résultats obtenus doivent être encore vérifiés par une étude suivante.