Théorème de la base de Hilbert