fini jusqu'à l'exo 4 (generation inefficace par diagonales) inclus. Manque plus que la génération par diags efficaces, et la généralisation du problème