Luc a démissionné de l'armée. cause(Agent, E) location(start(E), Source) not(location(end(E), Source))