Stéphane, you can find Debian (or other popular) boxes at HashiCorp/Atlas <https://atlas.hashicorp.com/boxes/search?utm_source=vagrantcloud.com&vagrantcloud=1>; e.g.: vagrant init debian/jessie64; vagrant up --provider virtualbox
It looks to be an "Official" box. I use it on macOS; works great. TT
