Luc a atteint le sommet (retrouver ses camarades) motion(during(E), Agent) not(location(start(E), Agent, Destination)) location(end(E), Agent, Destination)