sel_et_moutarde(B, C, D, L, M) :-
        Rien = 0,
        Sel = 1,
        Moutarde = 2,
        SelEtMoutarde = 3,
        fd_domain([B,C,D,L,M],0,3),
        (B#=Sel ## B#=SelEtMoutarde) #<=> (C#=Sel ## C#=Moutarde),
        (B#=Moutarde #\/ B#=SelEtMoutarde) #<=> (D#=Rien ## M#=SelEtMoutarde),
        (C#=Sel ## C#=SelEtMoutarde) #<=> (B#=Sel ## B#=Moutarde ## M#=Rien) ,
        (C#=Moutarde ## C#=SelEtMoutarde) #<=> (D#=SelEtMoutarde #\/ L#=SelEtMoutarde) ,
        (D#=Sel ## D#=SelEtMoutarde) #<=> (B#=Rien ## C#=SelEtMoutarde),
        (D#=Moutarde ## D#=SelEtMoutarde) #<=> (L#=Rien #\/ M#=Rien),
        (L#=Sel ## L#=SelEtMoutarde) #<=> (B#=Rien #\/ D#=Rien),
        (L#=Moutarde ## L#=SelEtMoutarde) #<=> (C#=Rien #\/ M#=Rien),
        (M#=Sel ## M#=SelEtMoutarde) #<=> (B#=SelEtMoutarde #\/ L#=SelEtMoutarde),
        (M#=Moutarde ## M#=SelEtMoutarde) #<=> (C#=Sel #\/ C#=Moutarde #\/ D#=Sel #\/ D#=Moutarde),
        fd_labeling([B,C,D,L,M]).