Les restaurants de la Marina, il parait qu'on y mange bien pour des prix très raisonnables (menus à 6 ou 7 euros). Mais vu que nous avions la demi-pension à l'hôtel, le midi nous nous sommes contenté d'un coupe-faim. Nous n'avons donc pas testé les restos.