Quel type contre le type