Merci pour ces premiers éléments, même si ce n'est pas encore solutionné...
Les guest additions 4.1.2 étaient sans doute installées auparavant. Je viens de les désinstaller complètement -> pas de changement
vboxdrv : je me suis demandé si le fait que c'était un fichier "root" n'était pas la cause. je viens de lui rendre ses permissions d'origine...
dkms : j'ai supprimé les éléments liés à une ancienne version de virtualbox pour ne garder que dkms seul -> pas de changement
Quant à "sudo /etc/init.d/vboxdrv setup" j'avais tenté sans succès. Là, la réponse qui m'est donnée est :
gilles@gilles-fixe:~$ sudo /etc/init.d/vboxdrv setup
* Stopping VirtualBox kernel modules [ OK ]
* Uninstalling old VirtualBox DKMS kernel modules [ OK ]
* Trying to register the VirtualBox kernel modules using DKMS Error! Your kernel headers for kernel 3.0.0-16-generic-pae cannot be found.
Please install the linux-headers-3.0.0-16-generic-pae package,
or use the --kernelsourcedir option to tell DKMS where it's located
* Failed, trying without DKMS
* Recompiling VirtualBox kernel modules
* Look at /var/log/vbox-install.log to find out what went wrong
Et en allant sur "/var/log/vbox-install.log", voilà la réponse :
Uninstalling modules from DKMS
removing old DKMS module vboxhost version 4.1.8
------------------------------
Deleting module version: 4.1.8
completely from the DKMS tree.
------------------------------
Done.
Attempting to install using DKMS
Creating symlink /var/lib/dkms/vboxhost/4.1.8/source ->
/usr/src/vboxhost-4.1.8
DKMS: add Completed.
Failed to install using DKMS, attempting to install without
Makefile:172: *** Error: unable to find the sources of your current Linux kernel. Specify KERN_DIR=<directory> and run Make again. Arrêt.
Avec bien entendu aucun changement...
Merci d'avance de vos contributions qui ne vont pas manquer...
