Les champions de la Haute-Loire doublette mixte à pétanque 2023