$AGT suivant $JCT ?