Définition de extensions
1
-
''Pluriel de'' extension.
Définition de extension
15
-
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.
-
(''métonymie'') Propriété d’un corps d’avoir une étendue, d’occuper une portion d’espace
-
(''sémantique'') Capacité du sens d’un terme, d’un concept, d’inclure un nombre plus ou moins important d’objets référents
-
Opération par laquelle on étend, en la tirant, une partie luxée ou fracturée, pour remettre les os dans leur situation naturelle.
-
Relâchement d’un nerf, d’un tendon, qui vient, par quelque effort, à s’étendre plus qu’il ne faudrait.
-
Augmentation d’un privilège, d’une autorité.
-
Interprétation ou application d’une loi, d’une clause, etc., dans un sens plus étendu.
-
Action d’étendre la signification d’un mot, tient le milieu entre le sens propre et le sens figuré.
-
Suffixe identifiant le format d’un fichier.
-
Programme destiné à rajouter des possibilités supplémentaires à un autre programme. Pour un jeu, on parle plutôt d’addon (ou add-on). Pour un logiciel, on emploie plutôt le mot plug-in.
-
Terme utilisé dans la théorie des corps, par opposition à sous-corps.
-
Extension.
-
Délai, prolongation consentie pour achever la réalisation d’un projet.