Relations d' équivalence
Intro
1