From a irc discussion, we should:

• add a check in the vagrant plugin to ensure that network_name is one of these values: "private_network" / "public_network" / and "forwarded_port"
• deal with the fact that options may be empty (cf https://developer.hashicorp.com/vagrant/docs/networking/public_network#dhcp)