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 :
Ouvert du mardi au dimanche midi et soir
