On the congruence subgroup problem for branch groups

We prove here an energy estimate for the Cauchy problem for hyperbolic equations with double characteristic, which contains both effectively and non-effectively points (see L. Hörmander [3] and R. Melrose [8]) in a unique framework.