Lexeur normalement ok