Title: La spécification formelle avec z