Ce type est fini $AGT