From the Gradient-Step Denoiser to the Proximal Denoiser and their associated convergent Plug-and-Play algorithms