Hi Ismael,
Thanks for your answer, I've checked and the tabs located in the file are:
attributes - review - description
tab-attributes - tab-reviews - tab-description
ie: here is the php content of reviews
<?php
/**
* Reviews Tab
*/
global $woocommerce, $post;
if ( comments_open() ) : ?>
<div class="panel entry-content" id="tab-reviews">
<?php comments_template(); ?>
</div>
<?php endif; ?>
and the php content of tab-reviews
<?php if ( comments_open() ) : ?>
<li class="reviews_tab"><?php _e('Reviews', 'woocommerce'); ?><?php echo comments_number(' (0)', ' (1)', ' (%)'); ?>
<?php endif; ?>
do you see anything missing I should add or delete in order to get those options back?
I'd rather not install again woocommerce, for the reasons you give :)
many thanks for your help
sophie