Définition, opérations et propriétés fondamentales des modules sur un anneau