vagrant dev : set time zone to Europe/Paris