Une collection de JGA en pleine exposition dans une compilation explicite Une collection de JGA en pleine exposition dans une compilation explicite PleinJga