pourquoi `type ~` et pas `type =`