Fichier spécialUn fichier spécial (special file), ou fichier de périphérique (device file), est la manière dont certains systèmes d'exploitation permettent d'accéder à un périphérique — unité d'entrée-sortie (écran, imprimante, clavier, souris, modem...), unité de stockage (disque dur, clef USB, CD-ROM, DVD-ROM, disquette...). Pour l'utilisateur, le périphérique quel qu'il soit est vu de la même manière qu'un fichier ; par exemple, l'écriture sur un écran se fait de la même manière que l'écriture d'un fichier sur un disque dur.
Pilote informatiqueUn pilote informatique (driver), souvent abrégé en pilote, est un programme informatique destiné à permettre à un autre programme (souvent un système d'exploitation) d'interagir avec un périphérique. En général, chaque périphérique a son propre pilote. Dit de manière simplifiée, un pilote d'imprimante est un logiciel qui traduit les ordres de l'utilisateur (le système) dans le langage de l'imprimante. Sans pilote, l'imprimante ou la carte graphique par exemple ne pourraient pas être utilisées.
Objet substellairevignette Un objet substellaire, ou sous-stellaire, est un corps céleste dont la masse est inférieure à la masse limite permettant la fusion de l'hydrogène par chaîne proton-proton au cœur de l'astre, soit environ (masses solaires), ou encore (masses joviennes). Par cette définition, les objets substellaires regroupent les objets de masse planétaire (de masse inférieure à ), les naines brunes (de masse comprise entre ), ainsi que les résidus d'étoiles, tels que , de masse inférieure à .
Schéma d'axiomes de compréhensionLe schéma d'axiomes de compréhension, ou schéma d'axiomes de séparation, est un schéma d'axiomes de la théorie des ensembles introduit par Zermelo dans sa théorie des ensembles, souvent notée Z. On dit souvent en abrégé schéma de compréhension ou schéma de séparation. La théorie des classes permet de l'exprimer comme un seul axiome. Étant donné un ensemble A et une propriété P exprimée dans le langage de la théorie des ensembles, il affirme l'existence de l'ensemble B des éléments de A vérifiant la propriété P.
