import équivalebces