modif verif.java