On the structure of the critical set of non-differentiable functions with a weak compactness condition | Synapse