Stochastic User Equilibrium and capacity constraints: formulation and theoretical evidences