Comment choisir une valeur avec une probabilité donnée ?

Exemple. Katya a obtenu 10 points, et Kolya — 20 points. Cela signifie que dans un cas sur trois, Katya gagnera, et dans deux cas sur trois, Kolya gagnera.

Il faut choisir aléatoirement le gagnant de la loterie en tenant compte de leurs probabilités de gain.

Quelle formule permet de calculer cela (il faut une formule universelle pour un nombre quelconque de participants à la loterie) ?

P.S. Langage Python.