Définition des modules projectifs, conditions d'équivalence et exemples