Applications de l'algèbre homologique en algèbre commutative (théorie des idéaux)