maj mineure

Suppression d'une ligne inutile oubliée lors d'un précédent commit.