Problème proposé par Michel Lafond
Peut-on paver le carré 2015 x 2015 avec deux sortes de pavés (disponibles à volonté) : des dominos (rectangles 1 x 2) et des triminos (rectangles 1 x 3) avec la contrainte suivante : tous les dominos ont la même direction et tous les triminos ont la même direction perpendiculaire à la précédente ?