PASCAL, norme ISO et extensions — Patrice Lignelet