% cas 1 remplacer(MotAnc,Motnv,[],[]). % cas 2 remplacer(MotAnc,Motnv,[MotAnc|Q],[Motnv|R]) :- remplacer(MotAnc,Motnv,Q,R). % cas 3 remplacer(MotAnc,Motnv,[Mot|Q],[Mot|R]) :- MotAnc\==Mot, remplacer(MotAnc,Motnv,Q,R).