groupe symplectique