Modélisation PROG PEDA