modif verif.java + correction lexical divreel