450 Mio sur 16 Gio, c’est vrai que c’est énooorme…
Bon, la prochaine fois que tu redémarreras, note combien ça prend le plus tôt possible, histoire de comparer et voir si c’est constant ou augmente avec le temps.
EDIT 21/1 à 10h42 : OK, je viens de vérifier de mon côté (mais moi, c’est un W10 32 bits sur un PC avec 4 Gio de RAM), et une fois que le disque dur a cessé de pleurer sa maman, ça se stabilise autour de 95-100 Mio. Mais avant ça, je l’ai vu faire des pointes à 400, voire 500 Mio, avant de redescendre.