Domains for TP8 of constraint programming