Pas besoin de classe Hotp finalement