ok, je dois extraire donc. Mais en quel format?
Et ensuite, je grave les fichiers sous quel format? iso, compil,...?