hypothèses++ pré-conditions--