Should we give varicella vaccine to a child at 15th month if the baby already suffered chicken pox in infancy?