Dictionnaire

extension

Définition "extension"

n.f.
  1. Action d'étendre ou de s'étendre en longueur.
  2. Ajout à la longueur de qqch
  3. Action d'étendre (qqch) sur une portée ou une étendue plus large d'espace ou de temps
  4. Fait de dénoter; chose dénotée ; pour un mot, fait d'acquérir une signification plus large ; élément stable, non subjectif de signification (ex. l'extension de `satellite de Mars' est un ensemble contenant seulement Deimos et Phobos.)
  5. Élément logiciel que l'on adjoint à une application pour en étendre les fonctions.(date de la publication : 16/03/1999 - éd. commission de l'informatique et des composants électroniques)
Noms communs Noms propres