Lors de mes essais de réinstallation, hier, j'ai vu effectivement le paquet docker.io Je vais voir, si je peux utiliser les commandes pull, si j'installe simplement docker.io Merci
Docker me ... XYZ !!! Avec ce sources.list : deb-src [arch=amd64] https://download.docker.com/linux/debian stretch stable