(trivial) suppression d'un mot apparemment inutile