voici la procédure que j'ai trouvée et qui fonctionne :
- désinstallation de la version 4.0.2 : sudo vmware-installer -u vmware-player
- après téléchargement sur le site de vmware, installation de la version 4.0.3 en suivant la
procédure standard.
- éditer le fichier précédemment modifié "patch-modules_3.2.0.sh". modifier cette ligne en mettant le numéro de la nouvelle version : plreqver=4.0.3
- ouvrir un sudo nautilus, en affichant les fichiers cachés. aller dans usr/lib/vmware/modules/source. supprimer le fichier .patched
- lancer à nouveau la commande ./patch-modules_3.2.0.sh dans le dossier qui contient le patch. elle s'exécute correctement.
- on peut alors faire fonctionner la nouvelle version vmware player dans ubuntu 12.04
je remets [RESOLU]
good luck !