$ETH Devons-nous entrer ou descendre, puis devons-nous attendre ?