🇫🇷 fr ru 🇷🇺

extension

удлинитель

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é
продле́ние
  • 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
аддо́н
Wiktionary Links