Le package docker déjà dans Ubuntu s'appelle docker.io
[1] alors faites-le
sudo apt-get install docker.io
Mais si vous suivez ce lien que vous avez donné et suivez les étapes 7, 8, 9, puis votre installation connaîtra le paquet sur le référentiel docker et trouvera également docker-engine
.
Ton appel. J'exécute la version Ubuntu (actuellement 0.11.2 sur Ubuntu 16.04) sur certaines machines, et celle de Docker sur d'autres (car j'étais curieux de connaître certaines fonctionnalités 0.12). Les deux fonctionneront très bien.
[1] Comme docker
est utilisé pour les icônes d'ancrage d'une application de lancement de bureau.