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 […].', 'La noix verte du cocotier donne une eau rafraîchissante, […]; de l’amande râpée on extraie par compression un lait crémeux qui entre dans la préparation des aliments ; […].', 'Extraire un prisonnier de sa prison, Le tirer de sa prison pour le conduire dans une autre, ou pour l’amener devant le juge.', 'Un camion-benne et son chauffeur percutés par un train arrivant à 80 km/h en décembre 2022, un automobiliste coincé sur les voies et qui parvient à s’ extraire de son véhicule in extremis en mai 2023.']
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. 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. Retirer, dans le sens de recopier, un ou plusieurs fichiers d’une archive.
   ['Extraire les fichiers d’une archive, y retirer les fichiers.']

Synonymes

Antonymes

Dérivés

Mots apparentés

Formes fléchies