Correction d'un oubli de then