Résultats de la primaire du Parti républicain en Ohio pour l'élection du Sénat de novembre 2022