Thomas possède un lecteur MP3 sur lequel il a stocké plusieurs milliers de morceaux
musicaux.
L'ensemble des morceaux musicaux qu'il possède se divise en trois genres distincts selon la
répartition suivante :
30 % de musique classique, 45% de variété, le reste étant du jazz.
Thomas a utilisé deux qualités d'encodage pour stocker ses morceaux musicaux : un encodage
de haute qualité et un encodage standard. On sait que :
les 5/6 des morceaux de musique classique sont encodés en haute qualité.
les 5/9 des morceaux de musique variété sont encodés en qualité standard.