Where is the Ocean Club Filmed in Casino Royale - Decoding the Filming Location

Where is the Ocean Club Filmed in Casino Royale — Decoding the Filming Location