Typage des condtionnelles.