Feedback Pierre : add box url in vagrant file.
What is going on with wget to wait for jenkins ?