"Corection bug du code fournis et ajoute de where et let in dans le lex"