Que devient hds.to : remplacé par quoi ?