not sure this qualifies for dubgging artifact, yet i don’t know where to
put it;
les dérives de l’autocomplétion?
