Refactorización con Spring MVC del Carrito (versión mejorada)