Thematic network for a Phebus FPT1 international standard problem (THENPHEBISP)