Ce fichier introduit la notion d'espace vectoriel, de sous espace vectoriel, de partie libre et de partie liée