Windows 10 : une nouvelle fonction permet de mieux gérer le disque dur et de gagner de la place