modif erreur syntaxe
preuve steent