La vérification par énumération explicite