Pour corriger le problème, il "suffit" de :

faire un
set VAGRANT_HOME=C:\HashiCorp\Vagrant

(ou un export si vous êtes dans cygwin).

et de changer le répertoire par défaut des machines virtuelles de virtualbox
Fichier -> Paramêtres -> dossier par défaut des machines virtuelles

le problème arrive lorsque vous avec des caractères spéciaux dans le nom de ce répertoire (notamment des accents comme dans "Frédéric".... :/)

voilà FIXED !

Changing the default VM folder on VirtualBox preferences

Configurer votre machine virtuelle pour le développement web.

le tout en PHP ?

Comment diminuer la taille d'une image Vagrant.