PASCAL, lionnet