1: \begin{abstract}
2: Let $k$ be a perfect field of characteristic $p>2$ and $K$ an
3: extension of $F=\Frac W(k)$ contained in some $F(\mu_{p^r})$.
4: Using crystalline Dieudonn\'e theory, we
5: provide a classification of $p$-divisible groups over $R=\OOO_K[[t_1,\ldots,t_d]]$
6: in terms of finite height $(\varphi,\Gamma)$-modules over
7: $\FS:=W(k)[[u,t_1,\ldots,t_d]]$.
8: When $d=0$, such a classification is a consequence
9: of (a special case of) the theory of Kisin--Ren;
10: in this setting, our construction
11: gives an independent proof of this result, and moreover allows us to recover
12: the Dieudonn\'e crystal of a $p$-divisible group
13: from the Wach module associated to its Tate module
14: by Berger--Breuil or by Kisin--Ren.
15: \end{abstract}
16: