Chargement du repli court dans $HOT