Every graph is contained in a sparsest possible balanced graph

On montre que pour tout graphe G fini, non oriente, sans boucles ni aretes multiples, il existe un graphe G tel que G soit un sous-graphe de F et |E(F)|/|V(F)|=max|E(H)|/HF|V(H)|=max|E(H)|/H⊆G|V(H)|