Définitionsnombrable