Commutative algebra: constructive methods finite projective modules - Lombardi, Henri; Quitté, Claude (Algebra and Applications, 2015)