Projection canonique sur un groupe quotient