Por ello, de un disco duro de 20 GB estarán disponibles 18 GB.