FRANCOIS ET THOMAS

posectr([],Lp,Lc).
posectr([[P1,P2]|R],Lp,Lc):-
	unectr(P1,P2,Lp,Lc),
	posectr(R,Lp,Lc).

unectr(P1,P2,Lp,Lc):-
	nth0(I,Lp,P1),
	nth0(I,Lc,C1),
	nth0(J,Lp,P2),
	nth0(J,Lc,C2),
	C1#\=C2.

coloration():-
	Lpays=[all,hol,bel,lux,fra,sui,aut,tch,esp,ita],
	Lcolor=[ALL,HOL,BEL,LUX,FRA,SUI,AUT,TCH,ESP,ITA],
	Lcolor ins 1..4,
	findall([P1,P2], frontiere(P1,P2), L),
	posectr(L, Lpays, Lcolor),
	labeling([],Lcolor).