Not according to El Pais. Nor beaches, either.
However, why not vote it in? We have a sign banning smoking round the pool area but have a shaded gazebo at the side of the pools. Problem smoking round pools is that they cause a mess, especially when the butts get into the pool.
Bring it up at your next community meeting.