param n_lign:=15; # nbre lignes de la grille
param n_col:=9; # nbre colonnes
param n_bloc_max:=4; # nbre max de blocs dans une ligne ou colonne
# nbre cases du bloc k (en col.) dans la ligne i
param bloc_lign: 1  2  3  4:=
1                3  0  0  0  
2                1  1  1  0
3                1  1  1  0
4                1  1  1  0
5                3  1  0  0
6                1  1  0  0
7                6  0  0  0
8                1  5  0  0
9                1  5  0  0
10               1  3  0  0
11               1  1  0  0    
12               3  0  0  0
13               1  1  0  0
14               1  1  0  0
15               2  2  0  0
;
# nbre cases du bloc k (en col.) dans la colonne j
param bloc_col: 1  2  3  4:=
1               4  0  0  0
2               1  1  0  0
3               3  3  3  0
4               1  1  4  1
5               1  8  0  0
6               1  1  4  1
7               3  3  3  0  
8               1  1  0  0
9               4  0  0  0
;