Challenge n° 14 de Math-OS : un calcul élémentaire de probabilité dans un contexte arithmétique.