Controle de type fini !