Toward a precise smoothness hypothesis in Sard’s theorem