On choisit $8$ points dans un disque de rayon $1$. Montrer qu'il y a deux
points distants d'au plus $1$.
