Donner une estimation, justifiée, de la taille du « trou » de la boule de pétanque