Typage de Idecl et Ideclinit.