extension
noun
{f}
/ɛk.stɑ̃.sjɔ̃/
|
- Accroissement d’étendue
- Action d’étendre un corps, de lui faire acquérir plus de surface
- Action de ce qui s’étend ; se dit surtout des membres
- (Linguistique) Capacité du sens d’un terme, d’un concept, d’inclure un nombre plus ou moins important d’objets référents
- (Chirurgie) Opération par laquelle on étend, en la tirant, une partie luxée ou fracturée, pour remettre les os dans leur situation naturelle
- (Sens figuré) Augmentation d’un privilège, d’une autorité
- (Sens figuré) Interprétation ou application d’une loi, d’une clause, etc., dans un sens plus étendu
- (Grammaire) Action d’étendre la signification d’un mot, tient le milieu entre le sens propre et le sens figuré
|
extension
|
- Module conçu pour rajouter des possibilités supplémentaires à un programme, à un jeu… Pour un jeu vidéo, on parle plutôt d’addon (ou add-on). Pour un logiciel, on emploie plutôt le mot plug-in
- (Logique) Désignation d’un ensemble d’éléments par énumération explicite de chacun des cas correspondant
|
add-on
|