Idéal de type fini