Restaurant
Restaurant Royal Wok
Spécialités thaïlandaises, chinoises et japonaises servies sous forme de buffet à volonté.
Spécialités
- Cuisine asiatique
- Buffet
Tarifs & Horaires Ouverture :
Fermé le lundi
Du mardi au dimanche : 12h - 14h30 et 19h - 22h30
