Bonjour,
là n'est pas la question : c'est précisément un ajout intempestif que je devais comprendre. Il se trouve que c'est un autre grand itinéraire qui a été endommagé par ce changeset-ci, mais il m'a fallu beaucoup de temps pour tout démêler.