Mixed formulation for Stokes problem with Tresca friction