Je pense que $AGT est terminé, ou peut-il aller plus haut ?