r101463 avait gardé par copier-coller un continue non pertinent. Cela ne posait pas de problème en PHP 5, mais par contre est fatal en PHP 7