Je discuterai des limites des groupes de réflexions associés aux polytopes de Coxeter des espaces hyperboliques réels, dans la topologie de Chabauty et dans sa version invariante, la topologie de Benjamini--Schramm.