Ajout de l'énoncé de PPE