Fix #1643 : correction d'un nom de variable