Extraire rapidement un seul fichier d'une archive