WooCommerce: liste de toutes les catégories

J'utilise le plugin WooCommerce avec WordPress et dans mon thème, je voudrais répertorier toutes les catégories dans un menu de navigation avec PHP.

J'ai essayé d'utiliser woocommerce_product_categories();

mais je ne veux pas des images, ou d'autres éléments HTML, juste leurs noms (et peut-être des permaliens).

Comment puis-je obtenir ces données?

tiré de cette même fonction:

// prior to wordpress 4.5.0
$args = array(
    'number'     => $number,
    'orderby'    => $orderby,
    'order'      => $order,
    'hide_empty' => $hide_empty,
    'include'    => $ids
);

$product_categories = get_terms( 'product_cat', $args );

// since wordpress 4.5.0
$args = array(
    'taxonomy'   => "product_cat",
    'number'     => $number,
    'orderby'    => $orderby,
    'order'      => $order,
    'hide_empty' => $hide_empty,
    'include'    => $ids
);
$product_categories = get_terms($args);

vous donnera la liste des catégories de produits. facile!