On vire des variables inutiles