L'ISO 32 bits fait 2.5 Go, apparemment.