Noyaux VS Murs en BA sur CYPECAD