Aubin–Lions lemma
[fr] Lemme d'Aubin–Lions