C'est "un coup dur": la pétanque est-elle vraiment indésirable aux JO?