Correspondance entre les idéaux et les variétés algébriques (théorème de Nullstellensatz de Hilbert)