Modification de ext, ajout de l'énoncé