corrections + tests synthaxique