Passage au quotient par une relation d’équivalence plate