Ouvrir le dossier de l'explorateur Windows dans un shell 32 bits lors de l'utilisation de Windows 7 64 bits