param n_lign:=14; # nbre lignes de la grille
param n_col:=12; # 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                1  1  0  0     
2                5  1  0  0
3                5  1  0  0
4                1  1  1  1    
5                5  1  0  0
6                3  1  0  0
7                4  1  0  0
8                7  1  0  0
9                8  1  0  0
10               9  1  0  0
11               9  1  0  0
12               11  0  0  0
13               2  5  0  0
14               3  6  0  0

;
# nbre cases du bloc k (en col.) dans la colonne j
param bloc_col: 1  2  3  4  :=
1               5  1  0  0    
2               2  10  0  0
3               13  0  0  0
4               2  8  0  0
5               5  6  1  0    
6               7  0  0  0
7               7  0  0  0
8               7  0  0  0
9               6  0  0  0
10              4  5  0  0
11              1  1  1  0
12              1  4  0  0
;