Espaço_vectorial_gerado loading ...