le problème décrit dans le TODO a été réglé sans faire exprès…