Définition, conditions d'équivalence et exemples de modules injectifs