Construction de l'ext-fonctor (par résolution injective) et ses propriétés