https://www.exosup.com/2015/02/cours-espace-vectoriel.html