There is NO smoking at the Martinez (or anywhere in France AFAIK). To make sure I just called them.

That's the problem with some of those online guides: outdated. Still trying to find a recent publication. But I am sure that some fellow FTers have some up-to-date and first-hand suggestions.