Correction d'une properties sur les groupes.