Idées pour le typage