1: \begin{abstract}

2: Let $f$ be a smooth diffeomorphism of the half-line fixing only the origin and

3: $\ZZ^r_f$ its centralizer in the group of $\CC^r$ diffeomorphisms. According to

4: well-known results of Szekeres and Kopell, $\ZZ^1_f$ is always a one-parameter

5: group, naturally identified to $\R$, with $f \cong 1$. On the other hand,

6: $\ZZ^r_f$, $2 \le r \le \infty$, can be smaller: in \cite{Se}, Sergeraert

7: constructed an $f$ whose $\Cinf$ centralizer reduces to the infinite cyclic

8: group generated by $f$ (\emph{i.e} $\ZZ^\infty_f \cong \Z$). In \cite{Ey1}, we

9: adapted Sergeraert's construction to obtain an $f$ whose $\CC^r$ centralizer,

10: for all $2 \le r \le \infty$, contains a Cantor set $K$ but is still strictly

11: smaller than $\ZZ^1_f \cong \R$. Here, we improve \cite{Ey1}

12: to construct, for any Liouville number $\alpha$, an $f$ as above such

13: that, in addition, $\alpha \in K \subset \ZZ^r_f$.

14: \end{abstract}

15: