param n_lign:=12; # nbre lignes de la grille
param n_col:=13; # nbre colonnes
param n_bloc_max:=2; # 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   :=
1                3  3      
2                5  5    
3                13  0    
4                13 0    
5                13  0  
6                13  0  
7                11  0
8                9  0  
9                7  0  
10               5  0  
11               3  0
12               1  0  
;
# nbre cases du bloc k (en col.) dans la colonne j
param bloc_col: 1  2  :=
1               4  0  
2               6  0  
3               8  0  
4               9  0  
5               10  0  
6               10  0  
7               10  0  
8               10  0  
9               10  0  
10              9  0
11              8  0
12              6  0
13              4  0  
;