Vevay city phone area codes