On avance dans la fameuse PELT 1 (une PELT parce que Proposition)