Fin des tests negatifs et petites modifs dans Verif.java.