en fait,
j'ai complètement résolu mon premier problème, qui était d'avoir un virtualbox qui marche avec tous les noyaux.
pour ça, j'ai simplement avec synaptic installé le paquet virtualbox-5.1
ça a desintallé le paquet virtualbox que j'avais
mais tout marche nickel : virtualbox-5.1 a bien repris mes machines virtuelles, donc rien à re-installer
et ça marche avec tous les noyaux apparemment.
par contre, je n'arrive toujours pas à charger (avec synaptic ou par
sudo apt-get update
) les paquets de
deb https://download.virtualbox.org/virtualbox/debian <mydist> contrib
ça me redonne toujours
Err https://download.virtualbox.org <trusty>/contrib amd64 Packages
HttpError404
du coup, j'ai supprimé ce dépôt des listes....
