We can now write:
\begin{ccDeprecated}
...
\end{ccDeprecated}
or
\begin{ccDeprecated}[3.8]
...
\end{ccDeprecated}
The optional argument is not used, for the moment.
That is *not yet* documented.
Triangulation_euclidean_traits_xy_3.tex is a test case.
