Beppo_Levi's_lemma loading ...