complexite espace finie