If $a$ and $b$ are two real numbers, we denote $K _ { a , b }$ the function defined for all real $t$ by $K _ { a , b } ( t ) = \begin{cases} \frac { \mathrm { e } ^ { \mathrm { i } t b } - \mathrm { e } ^ { \mathrm { i } t a } } { 2 \mathrm { i } t } & \text { if } t \neq 0 , \\ \frac { b - a } { 2 } & \text { if } t = 0 . \end{cases}$\\
Using power series, show that $K _ { a , b }$ is of class $C ^ { \infty }$ on $\mathbb { R }$.