Ce fichier introduit la notion de base et de dimension d'un espace vectoriel et démontre notamment le théorème de la dimension et le théorème de la base incomplète