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