Mise en place des principes de base des espaces vectoriels