index IF
(au cas où la redirection ne se fait pas automatiquement)