Windows 11 : le nouvel explorateur de fichiers est bien moins gourmand qu'avant