extraire

Définitions

1. 1. Tirer ou retirer une chose d’un lieu, d’un corps dans lequel elle s’est formée ou introduite.
   Pendant longtemps le sucre ordinaire a été extrait exclusivement de la canne à sucre ; cette opération se pratique encore, surtout dans les Indes et en Amérique.
   M. Personne qui, […], a fait une étude très-approfondie du lupulin, conseille, pour extraire cette matière des cônes du houblon, défroisser les cônes entiers sur un tamis de crin, […].
   Le dix-septième jour de la seconde année de sa prévention, Jacques Errant fut extrait de son cachot et conduit entre deux gendarmes dans une grande salle […].
2. 2. Tirer d’un livre, d’un registre, d’un acte, etc., les passages, les renseignements dont on a besoin.
   Il a extrait ce passage d’un dialogue de Platon.
   Il n’a extrait de cette histoire que les faits les plus intéressants.
   Cela est extrait des registres de la mairie, est extrait de tel journal.
3. 3. Tirer, séparer par quelque opération chimique une substance simple ou composée d’un corps dont elle faisait partie.
   Extraire le suc, l’huile de quelque substance.
4. 4. l’arithmétique Effectuer certaines formes de calcul, en particulier itératif, notamment pour le calcul de racine, carrée ou cubique, qui sont chacune/une fonction implicite.
   Extraire la racine carrée, la racine cubique d’un nombre, En chercher la racine carrée, la racine cubique.
   Extraire les entiers contenus dans un nombre fractionnaire, Chercher combien de fois ce nombre contient l’unité.
   ou bien, poursuis la précédente façon d' extraire tant que tu voudras, & selon la commodité, & nécessité
5. 5. informatique Retirer, dans le sens de recopier, un ou plusieurs fichiers d’une archive.
   Extraire les fichiers d’une archive, y retirer les fichiers.

Étymologie

Du latin extrahere, de ex, « hors », et trahere, « tirer ». Le sens 4 est consacré par l'usage depuis le frison Gemma Frisius. (information à préciser ou à vérifier)

Synonymes

Antonymes

Dérivés

Hyperonymes

Mots apparentés

Formes fléchies