Le présent mémoire étudie le modèle de calcul des programmes de branchement k- catalytiques. Un programme de branchement k-catalytique sert à effectuer le calcul de k fonctions booléennes sur une même entrée et représente la contrepartie non uniforme ...