Nous ferons un certain nombre de rappels sur les ensembles prox-réguliers et leurs applications. Nous présenterons ensuite plusieurs résultats nouveaux sur la fonction distance à de tels ensembles.