Smoking is not permitted in the rooms at Petit Palace Puerta del Sol; it's a smoke-free hotel.