ajout tool HTML, fixes #172