emploi(L) :- L = [C1,C2,C3,C4,C5,C6,C7],
             fd_domain(L,1,4),
             C4 #< C6, C5 #< C7, C6 #< C2,
             C1 #\= C2, C1 #\= C3, C1 #\= C4, C1 #\= C7,
             C2 #\= C3, C2 #\= C6, 
             C3 #\= C4, C3 #\= C5, C3 #\= C6,
             C4 #\= C5, C4 #\= C6,
             C5 #\= C7,
             fd_cardinality(1,[C1#=1,C2#=1,C3#=1,C4#=1,C5#=1,C6#=1,C7#=1],2),
             fd_cardinality(1,[C1#=2,C2#=2,C3#=2,C4#=2,C5#=2,C6#=2,C7#=2],2),
             fd_cardinality(1,[C1#=3,C2#=3,C3#=3,C4#=3,C5#=3,C6#=3,C7#=3],2),
             fd_cardinality(1,[C1#=4,C2#=4,C3#=4,C4#=4,C5#=4,C6#=4,C7#=4],2),
             fd_labeling(L).

