[Circadian variation of blood pressure in shift workers].