Construction des modules libres, base et propriétés générales