simplifier logique du -v