Pour installer la version stock d'ICS : allez à https://developers.google.com/Android/nexus/images et choisissez votre appareil (le mien, par exemple, un Nexus S américain qui fonctionne avec T-Mobile, est https://developers.google.com/Android/nexus/images#sojuimm76d ), téléchargez le fichier, puis téléchargez le kit SDK Android, étonnamment peu volumineux, à partir du site suivant http://developer.Android.com/sdk/index.html . Lancez le sdk manager (il s'appelle "tools/Android") qui ouvrira une interface graphique ; assurez-vous que "Android SDK" et "Android SDK Platform Tools" sont cochés. Vous pouvez décocher les autres cases, car celles-ci téléchargeront des éléments très volumineux dont vous n'avez pas besoin.
Une fois que vous avez tout cela, suivez les instructions dans le fichier tarball que vous avez téléchargé en premier ; en gros, vous devez mettre le répertoire "platform tools" du sdk dans votre PATH, éteignez votre téléphone, puis maintenez la touche "power-up" et rallumez-le (cela lui permettra d'afficher l'écran de démarrage de Sekrit) ; puis sur votre ordinateur, exécutez "fastboot oem unlock" et ensuite "flash-all.sh".
J'ai fait cela deux fois ces derniers jours (pour le plaisir :-) et bien que cela puisse paraître compliqué, c'est en fait assez facile et cela a bien fonctionné. (J'ai installé 2.3.6 juste pour la nostalgie, puis j'ai installé Cyanogenmod et je suis revenu à la version stock 4.0.4).