\begin{propriete}
  Tout nombre réel $x$ a un point-image unique sur le cercle $C$.

  S'il existe $k\in{}\Z$ tel que $x'=x+k\times{}2\pi{}$, alors $x$ et
  $x'$ ont le même point-image sur le cercle~$C$.
\end{propriete}