rotation espace vectoriel