Démonstration (logique et mathématiques)vignette| : un des plus vieux fragments des Éléments d'Euclide qui montre une démonstration mathématique. En mathématiques et en logique, une démonstration est un ensemble structuré d'étapes correctes de raisonnement. Dans une démonstration, chaque étape est soit un axiome (un fait acquis), soit l'application d'une règle qui permet d'affirmer qu'une proposition, la conclusion, est une conséquence logique d'une ou plusieurs autres propositions, les prémisses de la règle.
Longueur d'un arcthumb|Camille Jordan est l'auteur de la définition la plus courante de la longueur d'un arc. En géométrie, la question de la longueur d'un arc est simple à concevoir (intuitive). L'idée d'arc correspond à celle d'une ligne, ou d'une trajectoire d'un point dans un plan ou l'espace par exemple. Sa longueur peut être vue comme la distance parcourue par un point matériel suivant cette trajectoire ou encore comme la longueur d'un fil prenant exactement la place de cette ligne. La longueur d'un arc est, soit un nombre positif, soit l'infini.
Scaphandre à casqueLe scaphandre à casque, aussi appelé scaphandre pieds lourds, est un dispositif qui permet à un plongeur de déambuler sur le fond d'une masse d'eau (la mer, un lac, une rivière, une carrière immergée, un bassin, etc.) en respirant grâce à un tube relié à la surface, où d'autres hommes lui fournissent l'air nécessaire à sa survie grâce à un mécanisme de pompage.
Immune thrombocytopenic purpuraImmune thrombocytopenic purpura (ITP), also known as idiopathic thrombocytopenic purpura or immune thrombocytopenia, is a type of thrombocytopenic purpura characterized by a low platelet count in the absence of other causes, and accompanied by a red-purple rash called purpura. It leads to an increased risk of bleeding. ITP manifests in two distinct clinical syndromes: an acute form observed in children, and chronic conditions observed in adults.
Unité de longueurUne unité de longueur est une unité, c'est-à-dire un étalon, permettant d'exprimer la mesure physique. Selon les époques, il existe différentes unités permettant d'expliquer la grandeur physique, intégrées à divers systèmes. L'unité de longueur de référence, internationalement reconnue dans le cadre du Système international est le mètre ; il est décliné en multiples et sous-multiples décimaux. D'autres unités de longueur issus de systèmes différents sont utilisées, soit pour simplifier les expressions dans des domaines d'activités spécifiques, soit pour des raisons culturelles et traditionnelles.
ChapeauLe chapeau est un couvre-chef, devenu un accessoire de mode. Il se distingue des autres couvre-chefs par sa matière, le feutre, la présence d'un bord plus ou moins large, et sa mise en forme. Le mot chapeau vient de l'ancien français chapel, lui-même issu du latin caput (tête). En normand il a donné le mot cap, qui désigne en anglais la casquette (et non le chapeau).
ConiqueEn géométrie euclidienne, une conique est une courbe plane algébrique, définie initialement comme l’intersection d'un cône de révolution (supposé prolongé à l’infini de part et d’autre du sommet) avec un plan. Lorsque le plan de coupe ne passe pas par le sommet du cône, la conique est dite non dégénérée et réalise l’une des trois formes de courbe suivantes : ellipse, parabole ou hyperbole (le cercle étant un cas particulier de l'ellipse, parfois appelé quatrième forme). Ces courbes sont caractérisées par un paramètre réel appelé excentricité.
Haut-de-formeUn haut-de-forme (ou haute forme) est un chapeau à calotte haute et cylindrique qui se porte généralement avec la redingote ou l'habit. Le haut-de-forme passe, dans les années 1810, d'une simple nouveauté de la mode à un symbole de la condition sociale de l'homme bourgeois du . En raison de sa hauteur et de son allure imposante, il confère une certaine élégance à l'homme, qu'il fait paraître plus grand. Le haut-de-forme en vient à symboliser la respectabilité, la richesse, la dignité et un rang social élevé.
De factoDe facto (prononcer « dé facto ») est une locution latine signifiant « de par les faits », « dans les faits » ou encore « dans la pratique ». Elle s'oppose couramment à la locution « de jure » (signifiant « de par la loi » ou « en droit »). Elle est utilisée pour désigner ce qui relève des faits, en opposition à ce qui est avancé par un groupe comme étant officiel (et conséquemment pas nécessairement vrai ou appliqué dans la réalité). De facto peut également désigner ce qui est officieux sans forcément être officiel.
Logiciel librethumb|200px|Logo du projet GNU, initiateur du mouvement du logiciel libre.|alt=Gnou du projet GNU Un logiciel libre est un logiciel dont l'utilisation, l'étude, la modification et la duplication par autrui en vue de sa diffusion sont permises, techniquement et juridiquement, ceci afin de garantir certaines libertés induites, dont le contrôle du programme par l'utilisateur et la possibilité de partage entre individus. Ces droits peuvent être simplement disponibles ou bien établis par une licence, dite « libre », basée sur le droit d'auteur.
De jureDe jure (prononcer « dé youré ») est une locution latine signifiant « de droit », « de par le droit » ou encore « par la loi ». Elle s'oppose couramment à la locution « de facto » (signifiant « de fait » ou « dans les faits »). La locution est d'origine romaine. Exemples d'utilisation : Le français est langue officielle de jure de 29 États et territoires dans le monde.
Œuvre librethumb|150px|Logo œuvres culturelles libres Une œuvre libre, ou contenu libre, est une œuvre de l'esprit (ce qui implique sa soumission au droit d'auteur) dont la diffusion et la modification sont libres. Ces œuvres sont notamment des s, des textes, de la musique et des logiciels dont chacun peut distribuer autant de copies qu'il le souhaite, et aussi les modifier pour les améliorer. Cela ne signifie pas pour autant que ces œuvres ne sont pas soumises au droit d’auteur.
