matrices symplectiques