modifications mineures VagrantFiles