Commutative algebra: constructive methods : finite projective modules / Henri Lombardi ; Claude Quitté