Commutative Algebra: Constructive Methods. Finite Projective Modules