exemple1-JM.bopl works again
exemple2-JM.bopl works again