param n_lign:=5 ;
param n_col:=5 ;
param n_piece:=25 ;
param n_coul:=4 ;
param piece: 1 2 3 4 :=
1  1 4 4 2 
2  2 2 3 4 
3  1 1 4 2 
4  4 1 2 3 
5  1 4 4 1 
6  1 3 4 2 
7  1 2 1 1 
8  2 2 1 1 
9  1 2 2 1 
10  4 3 3 1 
11  4 4 1 2 
12  3 3 4 2 
13  4 3 2 3 
14  4 4 3 3 
15  1 1 4 2 
16  1 3 3 3 
17  2 2 3 4 
18  3 2 2 1 
19  1 3 4 3 
20  2 1 3 4 
21  4 3 4 1 
22  3 4 3 2 
23  2 3 4 1 
24  4 4 4 3 
25  4 3 3 2 
;