Nouvelle approche de la détection de types