Définitionsdénombrant