Ion laserAn ion laser is a gas laser that uses an ionized gas as its lasing medium. Like other gas lasers, ion lasers feature a sealed cavity containing the laser medium and mirrors forming a Fabry–Pérot resonator. Unlike helium–neon lasers, the energy level transitions that contribute to laser action come from ions. Because of the large amount of energy required to excite the ionic transitions used in ion lasers, the required current is much greater, and as a result almost all except for the smallest ion lasers are water-cooled.
Laserthumb|250px|Lasers rouges (660 & ), verts (532 & ) et bleus (445 & ). thumb|250px|Rayon laser à travers un dispositif optique. thumb|250px|Démonstration de laser hélium-néon au laboratoire Kastler-Brossel à l'Université Pierre-et-Marie-Curie. Un laser (acronyme issu de l'anglais light amplification by stimulated emission of radiation qui signifie « amplification de la lumière par émission stimulée de radiation ») est un système photonique.
Encrevignette|Flacon d'encre noire. Une encre est une substance liquide ou pâteuse fortement teintée qui sert à marquer le papier ou d'autres matériaux imprimables. Les encres peuvent être constituées de colorants dissous qui imprègnent ou mordent le support comme les teintures, ou de dispersions de pigments dans un liant comme les peintures, dont elles ne se distinguent que par leur usage. On distingue les encres à écrire ou à dessiner des encres d'imprimerie, de propriétés et de composition très différentes.
Laser à excimèreUn laser à excimère, parfois appelé (et de façon souvent plus appropriée) laser à exciplexe, est un type de laser ultraviolet couramment utilisé en chirurgie oculaire et en photolithographie dans l'industrie des semiconducteurs. Un excimère est un dimère qui n'est stable qu'à l'état excité et se dissocie à l'état fondamental, tandis qu'un exciplexe est un complexe qui n'est stable qu'à l'état excité et se dissocie à l'état fondamental ; un excimère est donc un cas particulier d'exciplexe.
Laser à fluorure d'argonUn laser à fluorure d'argon, ou laser ArF, est un type particulier de laser à excimère (plus exactement, ici, de laser à exciplexe). Ce type de laser produit un rayonnement électromagnétique cohérent par dissociation d'un complexe excité ArF* de fluor et d'argon formé en absorbant de l'énergie d'une source extérieure : 2 Ar + F + énergie → 2 ArF* ArF* → ArF + hν à 2 ArF → 2 Ar + F Le complexe ArF* n'est stable qu'à l'état excité (c'est le sens du mot exciplexe) et se dissocie immédiatement en argon et fluor dès qu'il est retombé à son état fondamental, après émission de photons correspondant à la transition énergétique, à savoir un rayonnement électromagnétique à de longueur d'onde, c'est-à-dire dans l'ultraviolet.
Pointeur laser (présentation)vignette|300px|Pointeurs laser. Un pointeur laser est un outil utilisé par les conférenciers pour désigner des objets sur un tableau ou un écran. C'est la version moderne de la baguette d'autrefois. À base d'une diode laser de couleur rouge, il prend généralement la forme d'un stylo ou d'un porte-clef. Muni d'un bouton poussoir, il est alimenté grâce à des piles. Il existe une version « haute technologie », pour conférenciers, du célèbre couteau suisse. Il est équipé d'un stylo, d'un éclairage à LED, d'un pointeur laser et d'une clé USB.
Liste des outils de jardinagevignette|Représentation de plusieurs outils La pratique du jardinage repose sur des savoir-faire et des outils. Utiliser le bon outil pour la bonne tâche. On peut différencier les outils selon leur utilisation : préparation des sols avant plantation ou semis : par exemple motoculteur, fourche, bêche. préparation et entretien des sols déjà plantés ou semés, par exemple : tondeuse à gazon, arrosoir. outils d'élagage, coupe ou suppression : par exemple : tronçonneuse, scie, sécateur, taille-haie.
Diode laserUne diode laser est un composant opto-électronique à base de matériaux semi-conducteurs. Elle émet de la lumière monochromatique cohérente (une puissance optique) destinée, entre autres, à transporter un signal contenant des informations sur de longues distances (dans le cas d'un système de télécommunications) ou à apporter de l'énergie lumineuse pour le pompage de certains lasers (lasers à fibre, laser DPSS) et amplificateurs optiques (OFA, Optical Fiber Amplifier).
Outil à mainUn outil à main est un outil qui est actionné à la main plutôt qu' à l'aide d'un moteur. Catégories d'outils à main comprennent des clés, pinces, cutter, outils de frappe, ciseaux, tournevis, étaux, serre-joint, cisailles, scies, perceuses et couteaux. Les outils d'extérieur tels que les fourches, les sécateurs et les râteaux sont aussi des outils à main. Les outils électroportatifs ne sont pas considérés comme des outils à main. Les outils à main sont utilisés par les humains depuis l'âge de pierre, où les pierres étaient utilisées pour couper et frapper.
Encre métallo-galliqueL’encre au gallo-tannate de fer est une encre noire à violette, fabriquée à partir de sels métalliques, surtout de sulfate ferreux mais parfois de sulfate de cuivre, et de divers tanins d’origine végétale. Encre noire emblématique du scriptorium monastique, elle est l’encre la plus utilisée en Europe entre les . Cette encre tannique ou à base de tanins solubilisés est parfois dénommée encre ferrique, ferro-gallique ou métallo-gallique. Les dégradations irréversibles du papier dues à cette encre corrosive posent d'importants problèmes de conservation.
Laser à fluorure de kryptonUn laser à fluorure de krypton, souvent abrégé en laser KrF, est un type particulier de laser à excimère (qu'on devrait d'ailleurs appeler ici "laser à exciplexe"). Ce type de laser produit un rayonnement électromagnétique cohérent par dissociation d'un complexe excité KrF* de fluor et de krypton formé en absorbant de l'énergie d'une source extérieure : 2 Kr + + énergie → 2 KrF* KrF* → KrF + hν à 2 KrF → 2 Kr + Le complexe KrF* n'est stable qu'à l'état excité (la définition même d'un exciplexe) et se dissocie immédiatement en krypton et fluor dès qu'il est retombé à son état fondamental après émission de photons correspondant à la transition énergétique, à savoir un rayonnement électromagnétique à de longueur d'onde, c'est-à-dire dans l'ultraviolet.
Power toolA power tool is a tool that is actuated by an additional power source and mechanism other than the solely manual labor used with hand tools. The most common types of power tools use electric motors. Internal combustion engines and compressed air are also commonly used. Tools directly driven by animal power are not generally considered power tools. Power tools are used in industry, in construction, in the garden, for housework tasks such as cooking, cleaning, and around the house for purposes of driving (fasteners), drilling, cutting, shaping, sanding, grinding, routing, polishing, painting, heating and more.
Laser à colorantvignette|316x316px|Gros plan d'un laser à colorant CW de table à base de rhodamine 6G, émettant à 580 nm (jaune). Le faisceau laser émis est visible sous forme de lignes jaunes pâles entre la fenêtre jaune (au centre) et l'optique jaune (en haut à droite), où il se reflète à travers l'image vers un miroir invisible, et revient dans le jet de colorant depuis le coin inférieur gauche. La solution de colorant orange entre dans le laser par la gauche et sort par la droite, toujours brillante de phosphorescence triplet, et est pompée par un faisceau de 514 nm (bleu-vert) provenant d'un laser à argon.
Machine-outilUne machine-outil est un équipement mécanique destiné à exécuter un usinage, ou autre tâche répétitive, avec une précision et une puissance adaptées. Elle imprime à un outil, qu'il soit fixe, mobile, ou tournant, un mouvement permettant d'usiner ou de déformer une pièce ou un ensemble fixés sur un plateau mobile ou non. Le tour et notamment le tour à métaux a joué un rôle de premier plan au cours de la révolution industrielle. C'est la machine élémentaire de la mécanique industrielle, celle sans laquelle aucune autre machine ne peut voir le jour.
Encre de ChineL'encre de Chine est une encre noire utilisée pour l'écriture, le dessin et la peinture au lavis. Réputée venir d'Orient, Chine ou Inde, elle associe un pigment noir de carbone et un liant aqueux. L'encre de Chine proprement dite se présente sous forme de bâtons à frotter sur une pierre dans de l'eau. Elle est indélébile. Sa composition varie. À l'époque moderne, le terme « encre de Chine désigne couramment une variété plus grande encore de préparations liquides, qui partagent plus ou moins ses qualités essentielles.
Laser safetyLaser radiation safety is the safe design, use and implementation of lasers to minimize the risk of laser accidents, especially those involving eye injuries. Since even relatively small amounts of laser light can lead to permanent eye injuries, the sale and usage of lasers is typically subject to government regulations. Moderate and high-power lasers are potentially hazardous because they can burn the retina, or even the skin.
Type systemIn computer programming, a type system is a logical system comprising a set of rules that assigns a property called a type (for example, integer, floating point, string) to every "term" (a word, phrase, or other set of symbols). Usually the terms are various constructs of a computer program, such as variables, expressions, functions, or modules. A type system dictates the operations that can be performed on a term. For variables, the type system determines the allowed values of that term.
Sûreté du typageLa sûreté du typage est un principe permettant d'améliorer la qualité de la programmation. Dans les langages à typage statique, l'un des objectifs est d'intercepter les erreurs de type de données lors de la compilation. Un type peut être vu comme un ensemble de valeurs et un ensemble d'opérateurs. La programmation objet a introduit les notions d'objets, messages, classes, héritage. Il est tentant de faire coller les classes à des types.
Type (informatique)vignette|Présentation des principaux types de données. En programmation informatique, un type de donnée, ou simplement un type, définit la nature des valeurs que peut prendre une donnée, ainsi que les opérateurs qui peuvent lui être appliqués. La plupart des langages de programmation de haut niveau offrent des types de base correspondant aux données qui peuvent être traitées directement — à savoir : sans conversion ou formatage préalable — par le processeur.
Type dépendantEn Informatique et en Logique, un type dépendant est un type qui peut dépendre d'une valeur définie dans le langage typé. Les langages Agda et Gallina (de l'assistant de preuve Coq) sont des exemples de langages à type dépendant. Les types dépendants permettent par exemple de définir le type des listes à n éléments. Voici un exemple en Coq. Inductive Vect (A: Type): nat -> Type := | nil: Vect A 0 | cons (n: nat) (x: A) (t: Vect A n): Vect A (S n).
