encodage HTML -> UTF-8