ajout du lemme 1.1 Cumulativity