" METHODOLOGIE D'AUTOMATISATION DE TESTS APPLIQUEE AUX ROUTEURS CONFIGURABLES.POMPES PAR TRANSITIONS MULTIPLES "