**Why is the automorphism group of a sympelctic symmetric space a Lie group?**

$\\$

A symplectic symmetric space is a triple $(M, \omega, s)$, where $(M, \omega)$ is a symplectic manifold and $ s \; \colon M \times M \to M $, $(x, y) \mapsto s_x(y)$, is such that $s_x$ is an involutive symplectic diffeomorphism with an isolated fixed point at $x$ and $s_xs_ys_x = s_{s_x(y)} \; \forall \; x, y \in M\; $ $\big($this can be read as $s_x s = ss_x \; \forall x \in M$$\big)$.

An interesting fact about a symplectic symmetric space is the one that once $x$ is an isolated fixed point of $s_x$ and $s_x^2 = Id$, $ds_{x (x)} = -Id_{T_xM}$. Furthermore, a symplectic symmetric space admits a unique affine connection $\nabla$ on it such that $s_x$ is an affinity for every $x \in M$ and such that $\nabla \omega = 0$. This connection has no torsion and is thus a symplectic connection.

The automorphism group $Aut(M, \omega, s)$ of $(M, \omega, s)$ is the group of symplectic automorphisms $\varphi$ of $(M, \omega)$ that satisfy $\varphi \circ s_x = s_{\varphi(x)} \circ \varphi \; \forall \; x \in M$ $\big($ or, in other words, $\varphi \circ s = s\circ \varphi$ $\big)$. It's simple to check that this group is the intersection of the symplectic automorphism group of $(M, \omega)$ and the affine group of $(M, \nabla)$.

My question then is: why is $Aut(M, \omega, s)$ a Lie group?