Typage des expressiions binaires.