Let $A \in S _ { n } ^ { + + } ( \mathbf { R } )$ and $M \in S _ { n } ( \mathbf { R } )$. Let the application $f _ { A }$ defined on $\mathbf { R }$ by
$$f _ { A } ( t ) = \operatorname { det } ( A + t M )$$
Show that there exists $\varepsilon _ { 0 } > 0$ such that, for all $t \in ] - \varepsilon _ { 0 } , \varepsilon _ { 0 } [ , A + t M \in S _ { n } ^ { + + } ( \mathbf { R } )$.