version fonctionnelle, n=2^k