1: \begin{definition}[$\cosdeuxpi$]
2: % Let $\cosdeuxpi(x+n)=\cosdeuxpi(x+n)$
3: % \OBCOMMENT{A compléter selon preuve de Theorem~\ref{th:cont_redux}}
4: % \begin{align*}
5: % \cosdeuxpi([-\frac13,\frac13]) )&<\tfrac{1}{2}\\
6: % \cosdeuxpi(..) & \\
7: % \end{align*}
8:
9:
10: % \end{definition}
11: