Edit 2 : just saw that this is an option in : theme options > Woocommerce.
But still, for further development, it might be useful to me to know how to modify the shop page template manually.
Edit : I add that there is no “meta options” showing up on the “Shop” page editor.