le nombre de pouces rouges