VerifPile et changement de noms des classes