Extraire un fichier d'une archive