Si un feu de circulation change alors qu’un piéton est encore dans la rue, qui a la priorité ?