Les champions de Gironde doublette mixte à pétanque 2023