Un grand rectangle est partitionné en un nombre fini de petits rectangles.
Chaque petit rectangle a au moins l'un de ses côtés entier (i.e sa longueur est un nombre entier).

Problème : montrer que le grand rectangle a l'un de ses côtés entier.