modifications mineurs des Vagrantfiles