An enlarged phase space for finite-dimensional constrained systems, unifying their Lagrangian, phase- and velocity-space descriptions