$ZEC est toujours vide, on peut prendre une partie de la bande, et une partie pour revenir au point de départ.