Changer le symbole d'une monnaie dans WooCommerce