Update Tresor.hpp