Une disque fermé de rayon $1$ contient sept points, tels que la distance
mutuelle entre tous les points est $\geq 1$. Prouvez que le centre du disque
est l'un de ces sept points.
