param n_lign:=4 ; param n_col:=4 ; param n_piece:=16 ; 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 ;