Strong convergence of some algorithms for strict pseudo-contractions in HIlbert spaces