# Support of a microlocal defect measure

I'm trying to complete the proof of the Theorem 6.1 in the notes https://www.math.u-psud.fr/~nb/articles/coursX.pdf, which ensures, under certain conditions, that the support of the microlocal defect measure is a union of curves of the type $s \mapsto \left(x(s), \frac{\xi(s)}{|\xi(s)|}\right)$.

I am not able to prove two statements in the proof, being them:

1) d'où, pour $s$ assez petit de sorte que $a \circ \phi_s$ est définie sur tout $\Omega \times S^{d-1}$.

1) $\textbf{whence, for$s$small enough so that$a\circ \phi_s$is defined on all$\Omega \times S^{d-1}$.}$

2) Il en résulte que le support de $\mu$ est invariant par la projection de flot $\phi_s$ sur la sphère unité, donc est une union de projetées de courbes bicaractéristiques de $q$, ou encore de $p$, puisque $q=|\xi|^{1-m}p$.

2) $\textbf{ It follows the support of$\mu $is invariant by the projection of the flux$ \phi_s $on}$ $\textbf{the unit sphere, thus it is a union union of projected curves}$ $\textbf{bicharacteristics of$ q $}$, or still, of $p$, since $q = | \xi |^{1-m} p$.

The second statement can be rewritten as: Let $(x_0,\xi_0) \in \operatorname{supp} \mu$ and consider $s \in I \mapsto (x(s),\xi(s))$ a bicharacteristic starting in $(x_0,\xi_0)$, then $\left( x(s),\frac{\xi(s)}{|\xi(s)|}\right) \in \operatorname{supp} \mu$ for all $s \in I.$ To prove this statement, I am trying to use a characterization of the support of a Radon measure, which can be found here https://math.stackexchange.com/questions/1348050/support-of-radon-measures, combined with the fact that $$\int_{\Omega \times S^{d-1} } a \circ \phi_s d \mu=\int_{\Omega \times S^{d-1} } a d \mu,$$ since $$\frac{d}{ds} \int_{\Omega \times S^{d-1} } a \circ \phi_s d \mu =0.$$

Can anybody help me?