Sup. des fonctions et code purement impératif