Playing pétanque at Arènes de Lutece