“…Comme la dimension cohomologique de π 1 (X, x) est 1 ([11], Proposition 1), on peut, alternativement, considérer la suite exacte du Lemme 4 comme la suite exacte d'inflation-restriction relative au module A et à la suite exacte 1 → π 1 (Y, y) → π 1 (X, x) → H → 1. On conclut grâce au fait suivant (pour lequel on renvoie à [6], qui traite le cas des groupes abstraits) : soit 1 → F → G → H → 1 une suite exacte de groupes profinis, A un groupe abélien discret équipé d'une action continue de H. Soit de plus F le sous-groupe dérivé de …”