In order to apply Theorem 8.12 and Corollary 8.13 of Azaïs and Wschebor [1]}, we have to check the conditions (A1) to (A5) (see [1]}). The first three are regularity conditions that are included in Assumption A. Note that since the edges are of dimension 1, a direct proof of the Rice formula can be performed without assuming that they are of class \(\mathcal {C}^3\)  as in (A1).
