Détecter les erreurs de syntaxe

• "3 +" : boucle_add voit Plus, appelle parse_terme sur la liste vide ; parse_facteur [] ne filtre ni Nombre ni ParenG $\to$ failwith "facteur attendu".

• "(3 + 4" : la parenthèse fermante manque ; parse_facteur ne trouve pas ParenD $\to$ failwith "parenthese attendue".

• "3 4" : parse_expr analyse 3, mais il reste [Nombre 4] non consommé ; le test reste <> [] dans interprete le rejette.

Un analyseur correct refuse les entrées invalides au lieu de produire un résultat absurde — c'est la rigueur du contrat (chapitre 1).