espace vectoriel symplectique