Let $M \in \mathbb{R}_+^* \cup \{+\infty\}$ and $f : {]-\infty, M[} \rightarrow \mathbb{R}$ be a continuous function such that
$$\forall (x, y) \in {\left]-\infty, \frac{M}{2}\right[}^2, \quad 2f(x+y) = f(2x) + f(2y) \tag{IV.1}$$
Deduce that the function $f$ is of class $C^\infty$ on $]-\infty, M[$.