Optimisation du VerificateurFou