  We prove that a formulation of a conjecture of Lubin regarding two power
series commuting for the composition is equivalent to a criterion of checking
that some extensions generated by the nonarchimedean dynamical system arising
from the power series are Galois. As a consequence of this criterion, we obtain
a proof of Lubin's conjecture in a new case.
