Prox-regular sets and Legendre-Fenchel transform related to separation properties. (3rd July 2022)