preuve de l'atteignabilité terminée