add demo dans l'énoncé