Nous prouvons une conjecture de Kuznetsov qui affirme que la K-théorie équivariante des espaces affines de Laumon est le module universel de Verma de l'algèbre quantique affine de ${U_q(\dot{\mathfrak{gl}}_n)}$. Nous le faisons en réinterprétant l'action bien connue de l'algèbre quantique toroïdale de type ${U_{q,oq}(\ddot{\mathfrak{gl}}_n)}$ sur la K-théorie des espaces affines de Laumon en termes d'algèbre de battage, ce qui nous permet d'utiliser une certaine incorporation de l'algèbre quantique affine dans l'algèbre quantique toroïdale.