Stéphane, you can find Debian (or other popular) boxes at HashiCorp/Atlas; e.g.:vagrant init debian/jessie64; vagrant up --provider virtualboxIt looks to be an "Official" box. I use it on macOS; works great.