Soit K une extension finie de Q_p et O_K l'anneau de ses entiers. La théorie des groupes formels de Lubin-Tate permet de construire de nombreux polynômes à valeurs entières sur O_K. Dans quelle mesure les polynômes ainsi construits engendrent-ils tous les polynômes à valeurs entières sur O_K ? J'expliquerai des résultats dus à de Shalit et Iceland, puis à Ardakov et moi-même, en lien avec cette question.