début de la preuve d'atteignabilité