extension
Définition "extension"
- Action d'étendre ou de s'étendre en longueur.
- Ajout à la longueur de qqch
- Action d'étendre (qqch) sur une portée ou une étendue plus large d'espace ou de temps
- 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.)
- É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)
Synonyme "extension"
accroissement, agrandissement, allongement, amplification, arrondissement, augmentation, banlieue, croissance, déploiement, détente, détirement, développement, dilatation, dimension, distension, élargissement, élongation, envergure, essor, étendue, étirage, étirement, expansion, généralisation, grandissement, grossissement, importance, intensification, modification, multiplication, progrès, progression, prolongation, prolongement, propagation, rallonge, recrudescence, transmission