Trop d'insuffisance et un échec logique