Diables rouges: avec quel numéro 9 ?