OrmeLes ormes sont des arbres du genre Ulmus, famille des Ulmaceae ou Ulmacées atteignant une trentaine de mètres (et rarement ). L'orme est un arbre de haute futaie, et fournit un excellent bois d'œuvre, pratiquement comparable au bois de chêne. Il a pratiquement disparu d'Europe de l'Ouest en raison de sa graphiose. Le développement de cultivars résistants fait l'objet de recherches intenses depuis les années 1960. Le mot Orme présente une altération au de l'ancien français olme, lui-même issu d’ulmus, nom latin de la plante.
Intuitionistic type theoryIntuitionistic type theory (also known as constructive type theory, or Martin-Löf type theory) is a type theory and an alternative foundation of mathematics. Intuitionistic type theory was created by Per Martin-Löf, a Swedish mathematician and philosopher, who first published it in 1972. There are multiple versions of the type theory: Martin-Löf proposed both intensional and extensional variants of the theory and early impredicative versions, shown to be inconsistent by Girard's paradox, gave way to predicative versions.
Base de données spatialesUne base de données spatiales est une base de données optimisée pour stocker et interroger des données reliées à des objets référencés géographiquement, y compris des points, les lignes et des polygones. Alors que les bases de données classiques peuvent comprendre différents types de données numériques et caractères, des fonctions additionnelles ont besoin d'être ajoutées pour traiter les types de données spatiales. Celles-ci sont typiquement appelées géométrie ou caractère.
Rotor propulsé par réactionvignette|upright=1.25|Le Hiller Hornet fut l'un des premiers aéronefs à rotor propulsé par réaction. vignette|upright=1.25|Éjecteur d'extrémité de pale d'un Sud-Ouest Djinn. Un système dit « tip jet » se réfère à des tuyères de propulsion installées à l'extrémité des pales de rotor principal de certains hélicoptères, qui font tourner le rotor un peu à la manière des , un type de Feux d'artifice, ou des éolipyles. Il n'existe pas vraiment de traduction française parfaite du terme désignant ce système, mais « rotor propulsé par réaction » semble être la désignation la plus proche de la réalité.
Orme champêtreL’orme champêtre, l’ormeau ou le petit orme (Ulmus minor) est une espèce d'arbres à feuilles caduques de la famille des Ulmaceae. Il est aussi parfois appelé ipréau, orme cilié ou yvet. Il s'agit d'une espèce communément établie à des altitudes modestes sur des sols modérément calcaires, souvent à l'état subspontané. Les plus vieux spécimens ont été décimés par l'épidémie de graphiose de l'orme (maladie hollandaise de l'orme) et il est toujours déconseillé à la plantation, la graphiose évoluant en variantes de plus en plus dévastatrices.
Analyse spatialevignette|200px|Carte de cas de choléra pendant l'épidémie de 1854 à Londres L'analyse spatiale est une approche géographique qui étudie les localisations et les interactions spatiales en tant que composantes actives des fonctionnements sociétaux. Elle part du postulat selon lequel l'espace est acteur organisé. C'est une science nomothétique donc elle vise à proposer une approche modélisée de l'espace géographique en mettant en évidence des formes récurrentes d'organisation spatiales et des théories, notamment à travers diverses notions-clés : distance, réseaux, structure, .
Ligne de KármánLa ligne de Kármán définit la limite entre l'atmosphère terrestre et l'espace, pour la Fédération aéronautique internationale. Elle correspond à l'altitude approximative où la densité de l'air devient si faible, que l'ordre de grandeur de la vitesse de vol, devenue nécessaire pour sustenter un aéronef, est égale à la vitesse orbitale, suffisante pour permettre à un satellite d'orbiter. La ligne de Kármán s'étend, suivant les normes internationales, à au-dessus de la surface de la Terre.
PulsoréacteurLe pulsoréacteur est un moteur à réaction cyclique, , et développé spécialement pour la bombe volante allemande V1 durant la Seconde Guerre mondiale. Le modèle équipant le V1 était composé d'un long cylindre comprenant un ensemble de clapets à l'avant permettant de fermer complètement l'entrée d'air, d'une chambre de combustion équipée d'injecteurs de carburant et de bougies et enfin d'une tuyère d'éjection des gaz.
Droite réelle achevéeEn mathématiques, la droite réelle achevée désigne l'ensemble ordonné constitué des nombres réels auxquels sont adjoints deux éléments supplémentaires : un plus grand élément, noté +∞ et un plus petit élément, noté –∞. Elle est notée [–∞, +∞], R ∪ {–∞, +∞} ou (notation toutefois ambiguë, car la barre signifie généralement "complémentaire" en théorie des ensembles, ou "adhérence" en topologie). Cet ensemble est très utile en analyse, notamment pour généraliser les formules et théorèmes sur les limites sans avoir à effectuer une disjonction des cas, et dans certaines théories de l'intégration.
Ulmus thomasiiUlmus thomasii, the rock elm or cork elm (or orme liège in Québec), is a deciduous tree native primarily to the Midwestern United States. The tree ranges from southern Ontario and Quebec, south to Tennessee, west to northeastern Kansas, and north to Minnesota. The tree was named in 1902 for David Thomas, an American civil engineer who had first named and described the tree in 1831 as Ulmus racemosa. Ulmus thomasii grows as a tree from tall, and may live for up to 300 years.
