Petites modif et ajout du théorème