L’objet de cette présentation est d’introduire une généralisation du théorème de compacité en temps d'Aubin en prenant en compte le fait qu'en analyse numérique les espaces considérés dépendent de la discrétisation spatiale utilisée. Ensuite je proposerai une version qui pourra s’appliquer dans un contexte numérique. Nous utiliserons ensuite cette version discrète dans le cadre d’une discrétisation MAC d’un modèle simplifié du système de Navier-Stokes compressible, introduit par Lions (1998), et qui trouve son application dans la dynamique des vortex dans la théorie de Ginzburg-Landau sur la supraconductivité.