Correction fonction principale verif.java