Corrections + ajout d'un Lemme