Escaping strict saddle points of the Moreau envelope in nonsmooth optimization