petits ajouts sur symplectique