Isa: arrangé stats compilait mal si non rep