Emballage durabledroite|vignette|250x250px|La pâte moulée utilise du papier journal recyclé pour former les composants de l'emballage. Ici, les chercheurs moulent des emballages à base de paille. L'emballage durable est le développement et l'utilisation d'emballages qui se traduisent par une meilleure durabilité. Cela implique une utilisation accrue de l'inventaire du cycle de vie (LCI) et de l'analyse du cycle de vie (ACV) pour aider à guider l'utilisation des emballages qui réduisent l'impact environnemental et l'empreinte écologique.
Sustainable livingSustainable living describes a lifestyle that attempts to reduce the use of Earth's natural resources by an individual or society. Its practitioners often attempt to reduce their ecological footprint (including their carbon footprint) by altering their home designs and methods of transportation, energy consumption and diet. Its proponents aim to conduct their lives in ways that are consistent with sustainability, naturally balanced, and respectful of humanity's symbiotic relationship with the Earth's natural ecology.
KaoliniteLa kaolinite est une espèce minérale composée de silicate d'aluminium hydraté, de formule du groupe des silicates, sous-groupe des phyllosilicates. Le nom kaolinite provient du chinois (sinogrammes : 高岭土, pinyin : gāo líng tǔ), signifiant « terre des hautes collines ». La surface de contact de la kaolinite est de , donc peu réactive. La kaolinite cristallise dans le système triclinique. Au plan structural, elle est formée d'un empilement de feuillets.
Grande écoleUne grande école est un établissement de l'enseignement supérieur français hors du système universitaire, qui recrute ses élèves sur concours. Le concept de grande école est créé au pour former les cadres techniques et militaires de l'État. Le concept de grande école est propre à l'enseignement supérieur français. Il désigne des établissements très sélectifs qui recrutent leurs élèves par concours. Ils . Plus de 60 % des P-DG du CAC 40 étaient issus d'une grande école française en 2018, comme sept des huit présidents de la .
IlliteL’illite est le nom d'un groupe de minéraux argileux non gonflants. Les illites sont composées de trois couches de phyllosilicates, une couche d'aluminium (Al) entourée de deux couches de silicate (Si). Elles sont structurellement très proches des micas (muscovite, biotite) et d'autres silicates (feldspath, feldspathoïdes, orthose et autres) dont elles sont issues par bisiallitisation, réaction ayant lieu lors de l'attaque de l'eau dans certaines conditions de température et de pression : orthose + H2O → illite + silice + ion potassium ou, plus précisément : 5 KAlSi3O8 + 20 H2O → 4 K+ + 8 Si(OH)4 + illite + 4 (OH−) Sa formule chimique est (K,H3O)(Al,Mg,Fe)2(Si,Al)4O10[(OH)2,(H2O)] Le nom Illite vient de l'État américain de l'Illinois, où l'illite a été décrite pour la première fois en 1937.
Bentonitevignette|Bentonite. vignette|Les boues à base de bentonite permettent, grâce à la pression hydrostatique exercée sur le terrain encaissant, de retenir les parois des fouilles et d'empêcher leur effondrement. La bentonite est une argile colloïdale dont le nom vient de Fort Benton dans le Wyoming aux États-Unis. Connue aussi sous le terme de terre à foulon, elle peut être considérée comme une smectite, étant essentiellement constituée de montmorillonite (Na,Ca)0.
ShaleLe shale (terme anglais) est une roche sédimentaire détritique litée, à grain très fin. Ce terme s'applique aux roches argileuses ou marneuses, voire aux schistes sédimentaires qui peuvent contenir du gaz naturel, contrairement aux schistes de type métamorphique qui ont subi des conditions de température situées entre 250 °C et 300 °C, laissant s'échapper le méthane, principale composante du gaz naturel.
Quantification (logique)vignette|Symboles mathématiques des deux quantificateurs logiques les plus courants.|236px En mathématiques, les expressions « pour tout » (ou « quel que soit ») et « il existe », utilisées pour formuler des propositions mathématiques dans le calcul des prédicats, sont appelées des quantifications. Les symboles qui les représentent en langage formel sont appelés des quantificateurs (ou autrefois des quanteurs). La quantification universelle (« pour tout ... » ou « quel que soit ... ») se dénote par le symbole ∀ (un A à l'envers).
Medicinal clayThe use of medicinal clay in folk medicine goes back to prehistoric times. Indigenous peoples around the world still use clay widely, which is related to geophagy. The first recorded use of medicinal clay goes back to ancient Mesopotamia. A wide variety of clays are used for medicinal purposes—primarily for external applications, such as the clay baths in health spas (mud therapy). Among the clays most commonly used are kaolin and the smectite clays such as bentonite, montmorillonite, and Fuller's earth.
Universal quantificationIn mathematical logic, a universal quantification is a type of quantifier, a logical constant which is interpreted as "given any", "for all", or "for any". It expresses that a predicate can be satisfied by every member of a domain of discourse. In other words, it is the predication of a property or relation to every member of the domain. It asserts that a predicate within the scope of a universal quantifier is true of every value of a predicate variable.
Branching quantifierIn logic a branching quantifier, also called a Henkin quantifier, finite partially ordered quantifier or even nonlinear quantifier, is a partial ordering of quantifiers for Q ∈ {∀,∃}. It is a special case of generalized quantifier. In classical logic, quantifier prefixes are linearly ordered such that the value of a variable ym bound by a quantifier Qm depends on the value of the variables y1, ..., ym−1 bound by quantifiers Qy1, ..., Qym−1 preceding Qm. In a logic with (finite) partially ordered quantification this is not in general the case.
Lindström quantifierIn mathematical logic, a Lindström quantifier is a generalized polyadic quantifier. Lindström quantifiers generalize first-order quantifiers, such as the existential quantifier, the universal quantifier, and the counting quantifiers. They were introduced by Per Lindström in 1966. They were later studied for their applications in logic in computer science and database query languages. In order to facilitate discussion, some notational conventions need explaining.
