Quelques corrections de syntaxex