La spécification formelle avec z | lit.salon